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/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMb85a90571dde4fe12541342d5605d680
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of terms in the objective function 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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 7891

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-20 14:56:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5051 boxname=wulflinc10 idbench=363 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc10/normalized-frb50-23-4.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5051
/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:        741896 kB
Buffers:         39320 kB
Cached:         225788 kB
SwapCached:        228 kB
Active:          86836 kB
Inactive:       181232 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        741644 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6292 kB
Slab:            19028 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:16:33 (client local time) WITH STATUS 10 IN 1189.23 SECONDS
stats: 5051 0 1189.23 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: 1150 - #constraints read: 80259
c total time              : 1189.14 s
s SATISFIABLE
v -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -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/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801237209 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 41 3 40 18 0 23 0
[pid=22632] 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.0028 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3028 0 0 0 979 11 0 0 25 0 1 0 1801237209 14176256 2994 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 3461 2994 566 18 0 3443 0
[pid=22632] vsize: 13844
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 13844

[startup+20.0034 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3028 0 0 0 1973 13 0 0 25 0 1 0 1801237209 14176256 2994 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 3461 2994 566 18 0 3443 0
[pid=22632] vsize: 13844
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 13844

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3028 0 0 0 2968 16 0 0 25 0 1 0 1801237209 14176256 2994 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 3461 2994 566 18 0 3443 0
[pid=22632] vsize: 13844
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 13844

[startup+40.0035 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3558 0 0 0 3959 20 0 0 25 0 1 0 1801237209 16412672 3524 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 4007 3524 566 18 0 3989 0
[pid=22632] vsize: 16028
Current children cumulated CPU time (s) 39.79
Current children cumulated vsize (Kb) 16028

[startup+50.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 4007 0 0 0 4955 22 0 0 25 0 1 0 1801237209 18210816 3973 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 4446 3973 566 18 0 4428 0
[pid=22632] vsize: 17784
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (Kb) 17784

[startup+60.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 4501 0 0 0 5945 25 0 0 25 0 1 0 1801237209 20217856 4467 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 4936 4467 566 18 0 4918 0
[pid=22632] vsize: 19744
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 19744

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 5027 0 0 0 6941 28 0 0 25 0 1 0 1801237209 22421504 4993 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 5474 4993 566 18 0 5456 0
[pid=22632] vsize: 21896
Current children cumulated CPU time (s) 69.69
Current children cumulated vsize (Kb) 21896

[startup+80.0058 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 5574 0 0 0 7935 31 0 0 25 0 1 0 1801237209 24604672 5540 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 6007 5540 566 18 0 5989 0
[pid=22632] vsize: 24028
Current children cumulated CPU time (s) 79.66
Current children cumulated vsize (Kb) 24028

[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 5832 0 0 0 8931 32 0 0 25 0 1 0 1801237209 25616384 5798 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 6254 5798 566 18 0 6236 0
[pid=22632] vsize: 25016
Current children cumulated CPU time (s) 89.63
Current children cumulated vsize (Kb) 25016

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 6104 0 0 0 9930 33 0 0 25 0 1 0 1801237209 26775552 6070 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 6537 6070 566 18 0 6519 0
[pid=22632] vsize: 26148
Current children cumulated CPU time (s) 99.63
Current children cumulated vsize (Kb) 26148

[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 6526 0 0 0 10928 34 0 0 25 0 1 0 1801237209 28536832 6492 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 6967 6492 566 18 0 6949 0
[pid=22632] vsize: 27868
Current children cumulated CPU time (s) 109.62
Current children cumulated vsize (Kb) 27868

[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 6788 0 0 0 11925 36 0 0 25 0 1 0 1801237209 29540352 6754 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 7212 6754 566 18 0 7194 0
[pid=22632] vsize: 28848
Current children cumulated CPU time (s) 119.61
Current children cumulated vsize (Kb) 28848

[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 7144 0 0 0 12920 37 0 0 25 0 1 0 1801237209 31047680 7110 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 7580 7110 566 18 0 7562 0
[pid=22632] vsize: 30320
Current children cumulated CPU time (s) 129.57
Current children cumulated vsize (Kb) 30320

[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 7580 0 0 0 13917 38 0 0 25 0 1 0 1801237209 32776192 7546 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 8002 7546 566 18 0 7984 0
[pid=22632] vsize: 32008
Current children cumulated CPU time (s) 139.55
Current children cumulated vsize (Kb) 32008

[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 7826 0 0 0 14915 39 0 0 25 0 1 0 1801237209 33775616 7792 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 8246 7792 566 18 0 8228 0
[pid=22632] vsize: 32984
Current children cumulated CPU time (s) 149.54
Current children cumulated vsize (Kb) 32984

[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) T 22631 22632 22582 0 -1 0 8177 0 0 0 15913 41 0 0 25 0 1 0 1801237209 35336192 8143 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22632/statm): 8627 8143 566 18 0 8609 0
[pid=22632] vsize: 34508
Current children cumulated CPU time (s) 159.54
Current children cumulated vsize (Kb) 34508

[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 8543 0 0 0 16911 42 0 0 25 0 1 0 1801237209 36757504 8509 4294967295 134512640 134578447 3221224624 3221223572 134526396 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 8974 8509 566 18 0 8956 0
[pid=22632] vsize: 35896
Current children cumulated CPU time (s) 169.53
Current children cumulated vsize (Kb) 35896

[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 8826 0 0 0 17909 43 0 0 25 0 1 0 1801237209 37908480 8792 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 9255 8792 566 18 0 9237 0
[pid=22632] vsize: 37020
Current children cumulated CPU time (s) 179.52
Current children cumulated vsize (Kb) 37020

[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) T 22631 22632 22582 0 -1 0 9095 0 0 0 18907 44 0 0 25 0 1 0 1801237209 39051264 9061 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22632/statm): 9534 9061 566 18 0 9516 0
[pid=22632] vsize: 38136
Current children cumulated CPU time (s) 189.51
Current children cumulated vsize (Kb) 38136

[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 22632
Raw data (/proc/22632/stat): 22632 (Pueblo) T 22631 22632 22582 0 -1 0 9461 0 0 0 19900 48 0 0 25 0 1 0 1801237209 40579072 9427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/22632/statm): 9907 9427 566 18 0 9889 0
[pid=22632] vsize: 39628
Current children cumulated CPU time (s) 199.48
Current children cumulated vsize (Kb) 39628

[startup+210.071 s]
Raw data (loadavg): 1.15 1.01 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 9759 0 0 0 20887 59 0 0 25 0 1 0 1801237209 41717760 9725 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 10185 9725 566 18 0 10167 0
[pid=22632] vsize: 40740
Current children cumulated CPU time (s) 209.46
Current children cumulated vsize (Kb) 40740

[startup+220.072 s]
Raw data (loadavg): 1.12 1.01 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 10120 0 0 0 21885 60 0 0 25 0 1 0 1801237209 43257856 10086 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 10561 10086 566 18 0 10543 0
[pid=22632] vsize: 42244
Current children cumulated CPU time (s) 219.45
Current children cumulated vsize (Kb) 42244

[startup+230.072 s]
Raw data (loadavg): 1.10 1.01 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 10447 0 0 0 22882 62 0 0 25 0 1 0 1801237209 44646400 10413 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 10900 10413 566 18 0 10882 0
[pid=22632] vsize: 43600
Current children cumulated CPU time (s) 229.44
Current children cumulated vsize (Kb) 43600

[startup+240.072 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 10759 0 0 0 23879 64 0 0 25 0 1 0 1801237209 45813760 10725 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 11185 10725 566 18 0 11167 0
[pid=22632] vsize: 44740
Current children cumulated CPU time (s) 239.43
Current children cumulated vsize (Kb) 44740

[startup+250.072 s]
Raw data (loadavg): 1.07 1.00 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 11083 0 0 0 24877 65 0 0 25 0 1 0 1801237209 47185920 11049 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 11520 11049 566 18 0 11502 0
[pid=22632] vsize: 46080
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (Kb) 46080

[startup+260.073 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 11417 0 0 0 25875 67 0 0 25 0 1 0 1801237209 48513024 11383 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 11844 11383 566 18 0 11826 0
[pid=22632] vsize: 47376
Current children cumulated CPU time (s) 259.42
Current children cumulated vsize (Kb) 47376

[startup+270.074 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 22687
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 11744 0 0 0 26873 68 0 0 25 0 1 0 1801237209 49963008 11710 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 12198 11710 566 18 0 12180 0
[pid=22632] vsize: 48792
Current children cumulated CPU time (s) 269.41
Current children cumulated vsize (Kb) 48792

[startup+280.075 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 22689
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 12219 0 0 0 27870 70 0 0 25 0 1 0 1801237209 51802112 12185 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 12647 12185 566 18 0 12629 0
[pid=22632] vsize: 50588
Current children cumulated CPU time (s) 279.4
Current children cumulated vsize (Kb) 50588

[startup+290.075 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 12535 0 0 0 28868 71 0 0 25 0 1 0 1801237209 53096448 12501 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 12963 12501 566 18 0 12945 0
[pid=22632] vsize: 51852
Current children cumulated CPU time (s) 289.39
Current children cumulated vsize (Kb) 51852

[startup+300.075 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 12887 0 0 0 29864 74 0 0 25 0 1 0 1801237209 54562816 12853 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 13321 12853 566 18 0 13303 0
[pid=22632] vsize: 53284
Current children cumulated CPU time (s) 299.38
Current children cumulated vsize (Kb) 53284

[startup+310.075 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 13394 0 0 0 30862 75 0 0 25 0 1 0 1801237209 56684544 13360 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 13839 13360 566 18 0 13821 0
[pid=22632] vsize: 55356
Current children cumulated CPU time (s) 309.37
Current children cumulated vsize (Kb) 55356

[startup+320.075 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 13676 0 0 0 31859 77 0 0 25 0 1 0 1801237209 57823232 13642 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 14117 13642 566 18 0 14099 0
[pid=22632] vsize: 56468
Current children cumulated CPU time (s) 319.36
Current children cumulated vsize (Kb) 56468

[startup+330.076 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 14124 0 0 0 32856 78 0 0 25 0 1 0 1801237209 59674624 14090 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 14569 14090 566 18 0 14551 0
[pid=22632] vsize: 58276
Current children cumulated CPU time (s) 329.34
Current children cumulated vsize (Kb) 58276

[startup+340.075 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 14498 0 0 0 33853 80 0 0 25 0 1 0 1801237209 61169664 14464 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 14934 14464 566 18 0 14916 0
[pid=22632] vsize: 59736
Current children cumulated CPU time (s) 339.33
Current children cumulated vsize (Kb) 59736

[startup+350.075 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 14914 0 0 0 34847 83 0 0 25 0 1 0 1801237209 62922752 14880 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 15362 14880 566 18 0 15344 0
[pid=22632] vsize: 61448
Current children cumulated CPU time (s) 349.3
Current children cumulated vsize (Kb) 61448

[startup+360.076 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 15263 0 0 0 35845 84 0 0 25 0 1 0 1801237209 64344064 15229 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 15709 15229 566 18 0 15691 0
[pid=22632] vsize: 62836
Current children cumulated CPU time (s) 359.29
Current children cumulated vsize (Kb) 62836

[startup+370.076 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 15605 0 0 0 36842 85 0 0 25 0 1 0 1801237209 65781760 15571 4294967295 134512640 134578447 3221224624 3221220704 134533043 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 16060 15571 566 18 0 16042 0
[pid=22632] vsize: 64240
Current children cumulated CPU time (s) 369.27
Current children cumulated vsize (Kb) 64240

[startup+380.076 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 15877 0 0 0 37839 86 0 0 25 0 1 0 1801237209 66879488 15843 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 16328 15843 566 18 0 16310 0
[pid=22632] vsize: 65312
Current children cumulated CPU time (s) 379.25
Current children cumulated vsize (Kb) 65312

[startup+390.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 16135 0 0 0 38837 88 0 0 25 0 1 0 1801237209 67854336 16101 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 16566 16101 566 18 0 16548 0
[pid=22632] vsize: 66264
Current children cumulated CPU time (s) 389.25
Current children cumulated vsize (Kb) 66264

[startup+400.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 16476 0 0 0 39835 89 0 0 25 0 1 0 1801237209 69283840 16442 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 16915 16442 566 18 0 16897 0
[pid=22632] vsize: 67660
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (Kb) 67660

[startup+410.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 16786 0 0 0 40834 90 0 0 25 0 1 0 1801237209 70524928 16752 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 17218 16752 566 18 0 17200 0
[pid=22632] vsize: 68872
Current children cumulated CPU time (s) 409.24
Current children cumulated vsize (Kb) 68872

[startup+420.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 17181 0 0 0 41832 91 0 0 25 0 1 0 1801237209 72142848 17147 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 17613 17147 566 18 0 17595 0
[pid=22632] vsize: 70452
Current children cumulated CPU time (s) 419.23
Current children cumulated vsize (Kb) 70452

[startup+430.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 17469 0 0 0 42830 93 0 0 25 0 1 0 1801237209 73302016 17435 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 17896 17435 566 18 0 17878 0
[pid=22632] vsize: 71584
Current children cumulated CPU time (s) 429.23
Current children cumulated vsize (Kb) 71584

[startup+440.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 17670 0 0 0 43828 94 0 0 25 0 1 0 1801237209 74174464 17636 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 18109 17636 566 18 0 18091 0
[pid=22632] vsize: 72436
Current children cumulated CPU time (s) 439.22
Current children cumulated vsize (Kb) 72436

[startup+450.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 18085 0 0 0 44825 96 0 0 25 0 1 0 1801237209 75878400 18051 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 18525 18051 566 18 0 18507 0
[pid=22632] vsize: 74100
Current children cumulated CPU time (s) 449.21
Current children cumulated vsize (Kb) 74100

[startup+460.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 18441 0 0 0 45823 97 0 0 25 0 1 0 1801237209 77328384 18407 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 18879 18407 566 18 0 18861 0
[pid=22632] vsize: 75516
Current children cumulated CPU time (s) 459.2
Current children cumulated vsize (Kb) 75516

[startup+470.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 18807 0 0 0 46819 98 0 0 25 0 1 0 1801237209 78872576 18773 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 19256 18773 566 18 0 19238 0
[pid=22632] vsize: 77024
Current children cumulated CPU time (s) 469.17
Current children cumulated vsize (Kb) 77024

[startup+480.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19185 0 0 0 47815 100 0 0 25 0 1 0 1801237209 80338944 19151 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 19614 19151 566 18 0 19596 0
[pid=22632] vsize: 78456
Current children cumulated CPU time (s) 479.15
Current children cumulated vsize (Kb) 78456

[startup+490.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19537 0 0 0 48813 101 0 0 25 0 1 0 1801237209 81817600 19503 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 19975 19503 566 18 0 19957 0
[pid=22632] vsize: 79900
Current children cumulated CPU time (s) 489.14
Current children cumulated vsize (Kb) 79900

[startup+500.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19849 0 0 0 49805 104 0 0 25 0 1 0 1801237209 83038208 19815 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 20273 19815 566 18 0 20255 0
[pid=22632] vsize: 81092
Current children cumulated CPU time (s) 499.09
Current children cumulated vsize (Kb) 81092

[startup+510.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 20257 0 0 0 50803 105 0 0 25 0 1 0 1801237209 84774912 20223 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 20697 20223 566 18 0 20679 0
[pid=22632] vsize: 82788
Current children cumulated CPU time (s) 509.08
Current children cumulated vsize (Kb) 82788

[startup+520.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 20660 0 0 0 51802 105 0 0 25 0 1 0 1801237209 86384640 20626 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 21090 20626 566 18 0 21072 0
[pid=22632] vsize: 84360
Current children cumulated CPU time (s) 519.07
Current children cumulated vsize (Kb) 84360

[startup+530.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 20942 0 0 0 52799 107 0 0 25 0 1 0 1801237209 87535616 20908 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 21371 20908 566 18 0 21353 0
[pid=22632] vsize: 85484
Current children cumulated CPU time (s) 529.06
Current children cumulated vsize (Kb) 85484

[startup+540.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 21318 0 0 0 53797 108 0 0 25 0 1 0 1801237209 89104384 21284 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 21754 21284 566 18 0 21736 0
[pid=22632] vsize: 87016
Current children cumulated CPU time (s) 539.05
Current children cumulated vsize (Kb) 87016

[startup+550.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 21673 0 0 0 54794 110 0 0 25 0 1 0 1801237209 90505216 21639 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 22096 21639 566 18 0 22078 0
[pid=22632] vsize: 88384
Current children cumulated CPU time (s) 549.04
Current children cumulated vsize (Kb) 88384

[startup+560.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22691
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 22132 0 0 0 55791 111 0 0 25 0 1 0 1801237209 92459008 22098 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 22573 22098 566 18 0 22555 0
[pid=22632] vsize: 90292
Current children cumulated CPU time (s) 559.02
Current children cumulated vsize (Kb) 90292

[startup+570.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 22419 0 0 0 56788 113 0 0 25 0 1 0 1801237209 93581312 22385 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 22847 22385 566 18 0 22829 0
[pid=22632] vsize: 91388
Current children cumulated CPU time (s) 569.01
Current children cumulated vsize (Kb) 91388

[startup+580.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 22896 0 0 0 57785 115 0 0 25 0 1 0 1801237209 95588352 22862 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 23337 22862 566 18 0 23319 0
[pid=22632] vsize: 93348
Current children cumulated CPU time (s) 579
Current children cumulated vsize (Kb) 93348

[startup+590.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 23222 0 0 0 58782 116 0 0 25 0 1 0 1801237209 97021952 23188 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 23687 23188 566 18 0 23669 0
[pid=22632] vsize: 94748
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (Kb) 94748

[startup+600.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 23603 0 0 0 59779 117 0 0 25 0 1 0 1801237209 98508800 23569 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 24050 23569 566 18 0 24032 0
[pid=22632] vsize: 96200
Current children cumulated CPU time (s) 598.96
Current children cumulated vsize (Kb) 96200

[startup+610.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 23886 0 0 0 60777 119 0 0 25 0 1 0 1801237209 99778560 23852 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 24360 23852 566 18 0 24342 0
[pid=22632] vsize: 97440
Current children cumulated CPU time (s) 608.96
Current children cumulated vsize (Kb) 97440

[startup+620.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 24399 0 0 0 61774 120 0 0 25 0 1 0 1801237209 101777408 24365 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 24848 24365 566 18 0 24830 0
[pid=22632] vsize: 99392
Current children cumulated CPU time (s) 618.94
Current children cumulated vsize (Kb) 99392

[startup+630.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 24731 0 0 0 62771 121 0 0 25 0 1 0 1801237209 103256064 24697 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 25209 24697 566 18 0 25191 0
[pid=22632] vsize: 100836
Current children cumulated CPU time (s) 628.92
Current children cumulated vsize (Kb) 100836

[startup+640.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 25074 0 0 0 63768 123 0 0 25 0 1 0 1801237209 104624128 25040 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 25543 25040 566 18 0 25525 0
[pid=22632] vsize: 102172
Current children cumulated CPU time (s) 638.91
Current children cumulated vsize (Kb) 102172

[startup+650.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 25367 0 0 0 64767 123 0 0 25 0 1 0 1801237209 105848832 25333 4294967295 134512640 134578447 3221224624 3221223228 1075289104 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 25842 25333 566 18 0 25824 0
[pid=22632] vsize: 103368
Current children cumulated CPU time (s) 648.9
Current children cumulated vsize (Kb) 103368

[startup+660.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 25763 0 0 0 65764 124 0 0 25 0 1 0 1801237209 107565056 25729 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 26261 25729 566 18 0 26243 0
[pid=22632] vsize: 105044
Current children cumulated CPU time (s) 658.88
Current children cumulated vsize (Kb) 105044

[startup+670.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 26277 0 0 0 66761 126 0 0 25 0 1 0 1801237209 109740032 26243 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 26792 26243 566 18 0 26774 0
[pid=22632] vsize: 107168
Current children cumulated CPU time (s) 668.87
Current children cumulated vsize (Kb) 107168

[startup+680.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 26656 0 0 0 67759 128 0 0 25 0 1 0 1801237209 111243264 26622 4294967295 134512640 134578447 3221224624 3221220736 134533075 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 27159 26622 566 18 0 27141 0
[pid=22632] vsize: 108636
Current children cumulated CPU time (s) 678.87
Current children cumulated vsize (Kb) 108636

[startup+690.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 27025 0 0 0 68754 130 0 0 25 0 1 0 1801237209 112721920 26991 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 27520 26991 566 18 0 27502 0
[pid=22632] vsize: 110080
Current children cumulated CPU time (s) 688.84
Current children cumulated vsize (Kb) 110080

[startup+700.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 27649 0 0 0 69746 133 0 0 25 0 1 0 1801237209 115351552 27615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 28162 27615 566 18 0 28144 0
[pid=22632] vsize: 112648
Current children cumulated CPU time (s) 698.79
Current children cumulated vsize (Kb) 112648

[startup+710.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 28089 0 0 0 70744 134 0 0 25 0 1 0 1801237209 117125120 28055 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 28595 28055 566 18 0 28577 0
[pid=22632] vsize: 114380
Current children cumulated CPU time (s) 708.78
Current children cumulated vsize (Kb) 114380

[startup+720.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 28366 0 0 0 71742 136 0 0 25 0 1 0 1801237209 118247424 28332 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 28869 28332 566 18 0 28851 0
[pid=22632] vsize: 115476
Current children cumulated CPU time (s) 718.78
Current children cumulated vsize (Kb) 115476

[startup+730.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 28800 0 0 0 72739 137 0 0 25 0 1 0 1801237209 120045568 28766 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 29308 28766 566 18 0 29290 0
[pid=22632] vsize: 117232
Current children cumulated CPU time (s) 728.76
Current children cumulated vsize (Kb) 117232

[startup+740.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 29372 0 0 0 73733 140 0 0 25 0 1 0 1801237209 122388480 29338 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 29880 29338 566 18 0 29862 0
[pid=22632] vsize: 119520
Current children cumulated CPU time (s) 738.73
Current children cumulated vsize (Kb) 119520

[startup+750.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 29770 0 0 0 74728 142 0 0 25 0 1 0 1801237209 124030976 29736 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 30281 29736 566 18 0 30263 0
[pid=22632] vsize: 121124
Current children cumulated CPU time (s) 748.7
Current children cumulated vsize (Kb) 121124

[startup+760.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 30125 0 0 0 75726 144 0 0 25 0 1 0 1801237209 125575168 30091 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 30658 30091 566 18 0 30640 0
[pid=22632] vsize: 122632
Current children cumulated CPU time (s) 758.7
Current children cumulated vsize (Kb) 122632

[startup+770.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 30603 0 0 0 76723 145 0 0 25 0 1 0 1801237209 127512576 30569 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 31131 30569 566 18 0 31113 0
[pid=22632] vsize: 124524
Current children cumulated CPU time (s) 768.68
Current children cumulated vsize (Kb) 124524

[startup+780.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 30888 0 0 0 77720 147 0 0 25 0 1 0 1801237209 128839680 30854 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 31455 30854 566 18 0 31437 0
[pid=22632] vsize: 125820
Current children cumulated CPU time (s) 778.67
Current children cumulated vsize (Kb) 125820

[startup+790.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 31372 0 0 0 78717 148 0 0 25 0 1 0 1801237209 130711552 31338 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 31912 31338 566 18 0 31894 0
[pid=22632] vsize: 127648
Current children cumulated CPU time (s) 788.65
Current children cumulated vsize (Kb) 127648

[startup+800.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 31594 0 0 0 79714 151 0 0 25 0 1 0 1801237209 131760128 31560 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 32168 31560 566 18 0 32150 0
[pid=22632] vsize: 128672
Current children cumulated CPU time (s) 798.65
Current children cumulated vsize (Kb) 128672

[startup+810.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 32017 0 0 0 80711 152 0 0 25 0 1 0 1801237209 133525504 31983 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 32599 31983 566 18 0 32581 0
[pid=22632] vsize: 130396
Current children cumulated CPU time (s) 808.63
Current children cumulated vsize (Kb) 130396

[startup+820.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 32487 0 0 0 81707 155 0 0 25 0 1 0 1801237209 135393280 32453 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 33055 32453 566 18 0 33037 0
[pid=22632] vsize: 132220
Current children cumulated CPU time (s) 818.62
Current children cumulated vsize (Kb) 132220

[startup+830.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 32772 0 0 0 82703 157 0 0 25 0 1 0 1801237209 136544256 32738 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 33336 32738 566 18 0 33318 0
[pid=22632] vsize: 133344
Current children cumulated CPU time (s) 828.6
Current children cumulated vsize (Kb) 133344

[startup+840.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 33173 0 0 0 83700 159 0 0 25 0 1 0 1801237209 138240000 33139 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 33750 33139 566 18 0 33732 0
[pid=22632] vsize: 135000
Current children cumulated CPU time (s) 838.59
Current children cumulated vsize (Kb) 135000

[startup+850.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 33551 0 0 0 84696 161 0 0 25 0 1 0 1801237209 139747328 33517 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 34118 33517 566 18 0 34100 0
[pid=22632] vsize: 136472
Current children cumulated CPU time (s) 848.57
Current children cumulated vsize (Kb) 136472

[startup+860.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 33773 0 0 0 85694 162 0 0 25 0 1 0 1801237209 140603392 33739 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 34327 33739 566 18 0 34309 0
[pid=22632] vsize: 137308
Current children cumulated CPU time (s) 858.56
Current children cumulated vsize (Kb) 137308

[startup+870.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 34018 0 0 0 86693 162 0 0 25 0 1 0 1801237209 141750272 33984 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 34607 33984 566 18 0 34589 0
[pid=22632] vsize: 138428
Current children cumulated CPU time (s) 868.55
Current children cumulated vsize (Kb) 138428

[startup+880.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 34478 0 0 0 87690 164 0 0 25 0 1 0 1801237209 143663104 34444 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 35074 34444 566 18 0 35056 0
[pid=22632] vsize: 140296
Current children cumulated CPU time (s) 878.54
Current children cumulated vsize (Kb) 140296

[startup+890.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 34702 0 0 0 88686 165 0 0 25 0 1 0 1801237209 144560128 34668 4294967295 134512640 134578447 3221224624 3221223456 134528605 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 35293 34668 566 18 0 35275 0
[pid=22632] vsize: 141172
Current children cumulated CPU time (s) 888.51
Current children cumulated vsize (Kb) 141172

[startup+900.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 35364 0 0 0 89680 169 0 0 25 0 1 0 1801237209 147324928 35330 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 35968 35330 566 18 0 35950 0
[pid=22632] vsize: 143872
Current children cumulated CPU time (s) 898.49
Current children cumulated vsize (Kb) 143872

[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 35617 0 0 0 90677 170 0 0 25 0 1 0 1801237209 148295680 35583 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 36205 35583 566 18 0 36187 0
[pid=22632] vsize: 144820
Current children cumulated CPU time (s) 908.47
Current children cumulated vsize (Kb) 144820

[startup+920.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 35974 0 0 0 91675 171 0 0 25 0 1 0 1801237209 149807104 35940 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 36574 35940 566 18 0 36556 0
[pid=22632] vsize: 146296
Current children cumulated CPU time (s) 918.46
Current children cumulated vsize (Kb) 146296

[startup+930.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 36269 0 0 0 92673 173 0 0 25 0 1 0 1801237209 151003136 36235 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 36866 36235 566 18 0 36848 0
[pid=22632] vsize: 147464
Current children cumulated CPU time (s) 928.46
Current children cumulated vsize (Kb) 147464

[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 36564 0 0 0 93671 174 0 0 25 0 1 0 1801237209 152272896 36530 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 37176 36530 566 18 0 37158 0
[pid=22632] vsize: 148704
Current children cumulated CPU time (s) 938.45
Current children cumulated vsize (Kb) 148704

[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 36993 0 0 0 94669 175 0 0 25 0 1 0 1801237209 154103808 36959 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 37623 36959 566 18 0 37605 0
[pid=22632] vsize: 150492
Current children cumulated CPU time (s) 948.44
Current children cumulated vsize (Kb) 150492

[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37139 0 0 0 95668 175 0 0 25 0 1 0 1801237209 154656768 37105 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 37758 37105 566 18 0 37740 0
[pid=22632] vsize: 151032
Current children cumulated CPU time (s) 958.43
Current children cumulated vsize (Kb) 151032

[startup+970.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37481 0 0 0 96665 177 0 0 25 0 1 0 1801237209 156102656 37447 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 38111 37447 566 18 0 38093 0
[pid=22632] vsize: 152444
Current children cumulated CPU time (s) 968.42
Current children cumulated vsize (Kb) 152444

[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37513 0 0 0 97664 178 0 0 25 0 1 0 1801237209 156295168 37479 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 38158 37479 566 18 0 38140 0
[pid=22632] vsize: 152632
Current children cumulated CPU time (s) 978.42
Current children cumulated vsize (Kb) 152632

[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37940 0 0 0 98662 179 0 0 25 0 1 0 1801237209 158060544 37906 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 38589 37906 566 18 0 38571 0
[pid=22632] vsize: 154356
Current children cumulated CPU time (s) 988.41
Current children cumulated vsize (Kb) 154356

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 38327 0 0 0 99659 181 0 0 25 0 1 0 1801237209 159629312 38293 4294967295 134512640 134578447 3221224624 3221223124 1075289793 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 38972 38293 566 18 0 38954 0
[pid=22632] vsize: 155888
Current children cumulated CPU time (s) 998.4
Current children cumulated vsize (Kb) 155888

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 38603 0 0 0 100653 183 0 0 25 0 1 0 1801237209 160714752 38569 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 39237 38569 566 18 0 39219 0
[pid=22632] vsize: 156948
Current children cumulated CPU time (s) 1008.36
Current children cumulated vsize (Kb) 156948

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 38907 0 0 0 101651 184 0 0 25 0 1 0 1801237209 161947648 38873 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 39538 38873 566 18 0 39520 0
[pid=22632] vsize: 158152
Current children cumulated CPU time (s) 1018.35
Current children cumulated vsize (Kb) 158152

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39055 0 0 0 102649 185 0 0 25 0 1 0 1801237209 162598912 39021 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 39697 39021 566 18 0 39679 0
[pid=22632] vsize: 158788
Current children cumulated CPU time (s) 1028.34
Current children cumulated vsize (Kb) 158788

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39321 0 0 0 103647 186 0 0 25 0 1 0 1801237209 163729408 39287 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 39973 39287 566 18 0 39955 0
[pid=22632] vsize: 159892
Current children cumulated CPU time (s) 1038.33
Current children cumulated vsize (Kb) 159892

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39529 0 0 0 104645 187 0 0 25 0 1 0 1801237209 164532224 39495 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 40169 39495 566 18 0 40151 0
[pid=22632] vsize: 160676
Current children cumulated CPU time (s) 1048.32
Current children cumulated vsize (Kb) 160676

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39769 0 0 0 105643 189 0 0 25 0 1 0 1801237209 165654528 39735 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 40443 39735 566 18 0 40425 0
[pid=22632] vsize: 161772
Current children cumulated CPU time (s) 1058.32
Current children cumulated vsize (Kb) 161772

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40152 0 0 0 106641 190 0 0 25 0 1 0 1801237209 167129088 40118 4294967295 134512640 134578447 3221224624 3221223476 134555878 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 40803 40118 566 18 0 40785 0
[pid=22632] vsize: 163212
Current children cumulated CPU time (s) 1068.31
Current children cumulated vsize (Kb) 163212

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40653 0 0 0 107637 192 0 0 25 0 1 0 1801237209 169197568 40619 4294967295 134512640 134578447 3221224624 3221222672 134532402 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22632/statm): 41308 40619 566 18 0 41290 0
[pid=22632] vsize: 165232
Current children cumulated CPU time (s) 1078.29
Current children cumulated vsize (Kb) 165232

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40690 0 0 0 108635 193 0 0 25 0 1 0 1801237209 169345024 40656 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 41344 40656 566 18 0 41326 0
[pid=22632] vsize: 165376
Current children cumulated CPU time (s) 1088.28
Current children cumulated vsize (Kb) 165376

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40939 0 0 0 109634 193 0 0 25 0 1 0 1801237209 170496000 40905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 41625 40905 566 18 0 41607 0
[pid=22632] vsize: 166500
Current children cumulated CPU time (s) 1098.27
Current children cumulated vsize (Kb) 166500

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 41193 0 0 0 110633 195 0 0 25 0 1 0 1801237209 171511808 41159 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 41873 41159 566 18 0 41855 0
[pid=22632] vsize: 167492
Current children cumulated CPU time (s) 1108.28
Current children cumulated vsize (Kb) 167492

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 41323 0 0 0 111631 196 0 0 25 0 1 0 1801237209 172048384 41289 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 42004 41289 566 18 0 41986 0
[pid=22632] vsize: 168016
Current children cumulated CPU time (s) 1118.27
Current children cumulated vsize (Kb) 168016

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 41730 0 0 0 112629 197 0 0 25 0 1 0 1801237209 173723648 41696 4294967295 134512640 134578447 3221224624 3221223456 134528576 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 42413 41696 566 18 0 42395 0
[pid=22632] vsize: 169652
Current children cumulated CPU time (s) 1128.26
Current children cumulated vsize (Kb) 169652

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 42205 0 0 0 113626 199 0 0 25 0 1 0 1801237209 175710208 42171 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 42898 42171 566 18 0 42880 0
[pid=22632] vsize: 171592
Current children cumulated CPU time (s) 1138.25
Current children cumulated vsize (Kb) 171592

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 42490 0 0 0 114624 201 0 0 25 0 1 0 1801237209 176930816 42456 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 43196 42456 566 18 0 43178 0
[pid=22632] vsize: 172784
Current children cumulated CPU time (s) 1148.25
Current children cumulated vsize (Kb) 172784

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 42832 0 0 0 115621 202 0 0 25 0 1 0 1801237209 178241536 42798 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 43516 42798 566 18 0 43498 0
[pid=22632] vsize: 174064
Current children cumulated CPU time (s) 1158.23
Current children cumulated vsize (Kb) 174064

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 43227 0 0 0 116618 204 0 0 25 0 1 0 1801237209 179908608 43193 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 43923 43193 566 18 0 43905 0
[pid=22632] vsize: 175692
Current children cumulated CPU time (s) 1168.22
Current children cumulated vsize (Kb) 175692

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 43671 0 0 0 117616 206 0 0 25 0 1 0 1801237209 181665792 43637 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 44352 43637 566 18 0 44334 0
[pid=22632] vsize: 177408
Current children cumulated CPU time (s) 1178.22
Current children cumulated vsize (Kb) 177408

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 22693
Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 43985 0 0 0 118614 207 0 0 25 0 1 0 1801237209 182910976 43951 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22632/statm): 44656 43951 566 18 0 44638 0
[pid=22632] vsize: 178624
Current children cumulated CPU time (s) 1188.21
Current children cumulated vsize (Kb) 178624
One traced child (pid=22632) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.12
CPU time (s): 1189.23
CPU user time (s): 1187.07
CPU system time (s): 2.15567
CPU usage (%): 99.8411
Max. virtual memory (cumulated for all children) (Kb): 178624

Verifier Data

Verifier:	OK	-6