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-3.opb
MD5SUM140696e76e8ed6af142b84a22a9a8f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
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 constraints81068
Number of constraints which are clauses81068
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 7894

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        863992 kB
Buffers:         32328 kB
Cached:         110316 kB
SwapCached:        836 kB
Active:          66172 kB
Inactive:        79108 kB
HighTotal:      131008 kB
HighFree:        19964 kB
LowTotal:       903652 kB
LowFree:        844028 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19644 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:17:01 (client local time) WITH STATUS 10 IN 1189.22 SECONDS
stats: 5053 0 1189.22 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: 81069
c total time              : 1189.12 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/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859441704 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 41 3 40 18 0 23 0
[pid=32767] 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.0033 s]
Raw data (loadavg): 0.93 0.95 0.90 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 3060 0 0 0 979 13 0 0 25 0 1 0 1859441704 14266368 3026 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 3483 3026 566 18 0 3465 0
[pid=32767] vsize: 13932
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 13932

[startup+20.004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 3060 0 0 0 1970 16 0 0 25 0 1 0 1859441704 14266368 3026 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 3483 3026 566 18 0 3465 0
[pid=32767] vsize: 13932
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 13932

[startup+30.0046 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 3065 0 0 0 2963 19 0 0 25 0 1 0 1859441704 14405632 3031 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 3517 3031 566 18 0 3499 0
[pid=32767] vsize: 14068
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 14068

[startup+40.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 3512 0 0 0 3960 21 0 0 25 0 1 0 1859441704 16203776 3478 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 3956 3478 566 18 0 3938 0
[pid=32767] vsize: 15824
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 15824

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 4012 0 0 0 4953 23 0 0 25 0 1 0 1859441704 18178048 3978 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 4438 3978 566 18 0 4420 0
[pid=32767] vsize: 17752
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 17752

[startup+60.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 4382 0 0 0 5951 25 0 0 25 0 1 0 1859441704 19738624 4348 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 4819 4348 566 18 0 4801 0
[pid=32767] vsize: 19276
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 19276

[startup+70.0062 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 4736 0 0 0 6949 26 0 0 25 0 1 0 1859441704 21143552 4702 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 5162 4702 566 18 0 5144 0
[pid=32767] vsize: 20648
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 20648

[startup+80.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 5196 0 0 0 7946 27 0 0 25 0 1 0 1859441704 23113728 5162 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 5643 5162 566 18 0 5625 0
[pid=32767] vsize: 22572
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 22572

[startup+90.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 5496 0 0 0 8944 29 0 0 25 0 1 0 1859441704 24272896 5462 4294967295 134512640 134578447 3221224624 3221221216 134532404 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 5926 5462 566 18 0 5908 0
[pid=32767] vsize: 23704
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 23704

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 5929 0 0 0 9936 32 0 0 25 0 1 0 1859441704 26030080 5895 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 6355 5895 566 18 0 6337 0
[pid=32767] vsize: 25420
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (Kb) 25420

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 6321 0 0 0 10934 34 0 0 25 0 1 0 1859441704 27664384 6287 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 6754 6287 566 18 0 6736 0
[pid=32767] vsize: 27016
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 27016

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 6753 0 0 0 11932 35 0 0 25 0 1 0 1859441704 29380608 6719 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 7173 6719 566 18 0 7155 0
[pid=32767] vsize: 28692
Current children cumulated CPU time (s) 119.67
Current children cumulated vsize (Kb) 28692

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 7234 0 0 0 12928 37 0 0 25 0 1 0 1859441704 31399936 7200 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 7666 7200 566 18 0 7648 0
[pid=32767] vsize: 30664
Current children cumulated CPU time (s) 129.65
Current children cumulated vsize (Kb) 30664

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 7624 0 0 0 13919 40 0 0 25 0 1 0 1859441704 33095680 7590 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 8080 7590 566 18 0 8062 0
[pid=32767] vsize: 32320
Current children cumulated CPU time (s) 139.59
Current children cumulated vsize (Kb) 32320

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 7922 0 0 0 14917 41 0 0 25 0 1 0 1859441704 34246656 7888 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 8361 7888 566 18 0 8343 0
[pid=32767] vsize: 33444
Current children cumulated CPU time (s) 149.58
Current children cumulated vsize (Kb) 33444

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 8295 0 0 0 15914 42 0 0 25 0 1 0 1859441704 35844096 8261 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 8751 8261 566 18 0 8733 0
[pid=32767] vsize: 35004
Current children cumulated CPU time (s) 159.56
Current children cumulated vsize (Kb) 35004

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32767
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 8619 0 0 0 16912 44 0 0 25 0 1 0 1859441704 37101568 8585 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 9058 8585 566 18 0 9040 0
[pid=32767] vsize: 36232
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (Kb) 36232

[startup+180.011 s]
Raw data (loadavg): 1.07 0.99 0.91 3/59 343
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 8909 0 0 0 17905 48 0 0 25 0 1 0 1859441704 38244352 8875 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 9337 8875 566 18 0 9319 0
[pid=32767] vsize: 37348
Current children cumulated CPU time (s) 179.53
Current children cumulated vsize (Kb) 37348

[startup+190.011 s]
Raw data (loadavg): 1.13 1.00 0.92 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 9240 0 0 0 18897 55 0 0 25 0 1 0 1859441704 39632896 9206 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 9676 9206 566 18 0 9658 0
[pid=32767] vsize: 38704
Current children cumulated CPU time (s) 189.52
Current children cumulated vsize (Kb) 38704

[startup+200.011 s]
Raw data (loadavg): 1.11 1.00 0.92 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 9611 0 0 0 19889 58 0 0 24 0 1 0 1859441704 41193472 9577 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 10057 9577 566 18 0 10039 0
[pid=32767] vsize: 40228
Current children cumulated CPU time (s) 199.47
Current children cumulated vsize (Kb) 40228

[startup+210.012 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 9990 0 0 0 20887 60 0 0 25 0 1 0 1859441704 42708992 9956 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 10427 9956 566 18 0 10409 0
[pid=32767] vsize: 41708
Current children cumulated CPU time (s) 209.47
Current children cumulated vsize (Kb) 41708

[startup+220.013 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 10287 0 0 0 21885 61 0 0 25 0 1 0 1859441704 43999232 10253 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 10742 10253 566 18 0 10724 0
[pid=32767] vsize: 42968
Current children cumulated CPU time (s) 219.46
Current children cumulated vsize (Kb) 42968

[startup+230.012 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 10699 0 0 0 22883 62 0 0 25 0 1 0 1859441704 45666304 10665 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 11149 10665 566 18 0 11131 0
[pid=32767] vsize: 44596
Current children cumulated CPU time (s) 229.45
Current children cumulated vsize (Kb) 44596

[startup+240.012 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 11041 0 0 0 23881 63 0 0 25 0 1 0 1859441704 47054848 11007 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 11488 11007 566 18 0 11470 0
[pid=32767] vsize: 45952
Current children cumulated CPU time (s) 239.44
Current children cumulated vsize (Kb) 45952

[startup+250.013 s]
Raw data (loadavg): 1.20 1.03 0.93 2/56 354
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 11422 0 0 0 24878 65 0 0 25 0 1 0 1859441704 48594944 11388 4294967295 134512640 134578447 3221224624 3221223296 134523438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 11864 11388 566 18 0 11846 0
[pid=32767] vsize: 47456
Current children cumulated CPU time (s) 249.43
Current children cumulated vsize (Kb) 47456

[startup+260.012 s]
Raw data (loadavg): 1.17 1.03 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 11768 0 0 0 25876 67 0 0 25 0 1 0 1859441704 49987584 11734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 12204 11734 566 18 0 12186 0
[pid=32767] vsize: 48816
Current children cumulated CPU time (s) 259.43
Current children cumulated vsize (Kb) 48816

[startup+270.013 s]
Raw data (loadavg): 1.14 1.03 0.93 1/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) T 32766 32767 5299 0 -1 0 12118 0 0 0 26873 68 0 0 25 0 1 0 1859441704 51376128 12084 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32767/statm): 12543 12084 566 18 0 12525 0
[pid=32767] vsize: 50172
Current children cumulated CPU time (s) 269.41
Current children cumulated vsize (Kb) 50172

[startup+280.014 s]
Raw data (loadavg): 1.12 1.03 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 12447 0 0 0 27871 70 0 0 25 0 1 0 1859441704 52744192 12413 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 12877 12413 566 18 0 12859 0
[pid=32767] vsize: 51508
Current children cumulated CPU time (s) 279.41
Current children cumulated vsize (Kb) 51508

[startup+290.013 s]
Raw data (loadavg): 1.10 1.03 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 12852 0 0 0 28867 72 0 0 25 0 1 0 1859441704 54427648 12818 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 13288 12818 566 18 0 13270 0
[pid=32767] vsize: 53152
Current children cumulated CPU time (s) 289.39
Current children cumulated vsize (Kb) 53152

[startup+300.014 s]
Raw data (loadavg): 1.09 1.03 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 13272 0 0 0 29861 74 0 0 25 0 1 0 1859441704 56225792 13238 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 13727 13238 566 18 0 13709 0
[pid=32767] vsize: 54908
Current children cumulated CPU time (s) 299.35
Current children cumulated vsize (Kb) 54908

[startup+310.014 s]
Raw data (loadavg): 1.07 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 13565 0 0 0 30859 75 0 0 25 0 1 0 1859441704 57356288 13531 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 14003 13531 566 18 0 13985 0
[pid=32767] vsize: 56012
Current children cumulated CPU time (s) 309.34
Current children cumulated vsize (Kb) 56012

[startup+320.015 s]
Raw data (loadavg): 1.06 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 13919 0 0 0 31857 75 0 0 25 0 1 0 1859441704 58830848 13885 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 14363 13885 566 18 0 14345 0
[pid=32767] vsize: 57452
Current children cumulated CPU time (s) 319.32
Current children cumulated vsize (Kb) 57452

[startup+330.015 s]
Raw data (loadavg): 1.05 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 14287 0 0 0 32855 77 0 0 25 0 1 0 1859441704 60379136 14253 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 14741 14253 566 18 0 14723 0
[pid=32767] vsize: 58964
Current children cumulated CPU time (s) 329.32
Current children cumulated vsize (Kb) 58964

[startup+340.014 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 14543 0 0 0 33852 78 0 0 25 0 1 0 1859441704 61329408 14509 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 14973 14509 566 18 0 14955 0
[pid=32767] vsize: 59892
Current children cumulated CPU time (s) 339.3
Current children cumulated vsize (Kb) 59892

[startup+350.015 s]
Raw data (loadavg): 1.04 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 14944 0 0 0 34849 80 0 0 25 0 1 0 1859441704 63045632 14910 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 15392 14910 566 18 0 15374 0
[pid=32767] vsize: 61568
Current children cumulated CPU time (s) 349.29
Current children cumulated vsize (Kb) 61568

[startup+360.015 s]
Raw data (loadavg): 1.03 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 15314 0 0 0 35847 81 0 0 25 0 1 0 1859441704 64540672 15280 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 15757 15280 566 18 0 15739 0
[pid=32767] vsize: 63028
Current children cumulated CPU time (s) 359.28
Current children cumulated vsize (Kb) 63028

[startup+370.015 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 15659 0 0 0 36844 83 0 0 25 0 1 0 1859441704 65945600 15625 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 16100 15625 566 18 0 16082 0
[pid=32767] vsize: 64400
Current children cumulated CPU time (s) 369.27
Current children cumulated vsize (Kb) 64400

[startup+380.016 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 16054 0 0 0 37841 85 0 0 25 0 1 0 1859441704 67592192 16020 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 16502 16020 566 18 0 16484 0
[pid=32767] vsize: 66008
Current children cumulated CPU time (s) 379.26
Current children cumulated vsize (Kb) 66008

[startup+390.016 s]
Raw data (loadavg): 1.02 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 16434 0 0 0 38839 86 0 0 25 0 1 0 1859441704 69144576 16400 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 16881 16400 566 18 0 16863 0
[pid=32767] vsize: 67524
Current children cumulated CPU time (s) 389.25
Current children cumulated vsize (Kb) 67524

[startup+400.016 s]
Raw data (loadavg): 1.01 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 16823 0 0 0 39837 87 0 0 25 0 1 0 1859441704 70750208 16789 4294967295 134512640 134578447 3221224624 3221222384 134532595 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 17273 16789 566 18 0 17255 0
[pid=32767] vsize: 69092
Current children cumulated CPU time (s) 399.24
Current children cumulated vsize (Kb) 69092

[startup+410.016 s]
Raw data (loadavg): 1.01 1.02 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) T 32766 32767 5299 0 -1 0 17181 0 0 0 40834 89 0 0 25 0 1 0 1859441704 72163328 17147 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32767/statm): 17618 17147 566 18 0 17600 0
[pid=32767] vsize: 70472
Current children cumulated CPU time (s) 409.23
Current children cumulated vsize (Kb) 70472

[startup+420.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 17421 0 0 0 41832 90 0 0 25 0 1 0 1859441704 73134080 17387 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 17855 17387 566 18 0 17837 0
[pid=32767] vsize: 71420
Current children cumulated CPU time (s) 419.22
Current children cumulated vsize (Kb) 71420

[startup+430.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 17832 0 0 0 42829 91 0 0 25 0 1 0 1859441704 74924032 17798 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 18292 17798 566 18 0 18274 0
[pid=32767] vsize: 73168
Current children cumulated CPU time (s) 429.2
Current children cumulated vsize (Kb) 73168

[startup+440.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 18074 0 0 0 43821 94 0 0 25 0 1 0 1859441704 75874304 18040 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 18524 18040 566 18 0 18506 0
[pid=32767] vsize: 74096
Current children cumulated CPU time (s) 439.15
Current children cumulated vsize (Kb) 74096

[startup+450.017 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 18522 0 0 0 44818 95 0 0 25 0 1 0 1859441704 77701120 18488 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 18970 18488 566 18 0 18952 0
[pid=32767] vsize: 75880
Current children cumulated CPU time (s) 449.13
Current children cumulated vsize (Kb) 75880

[startup+460.017 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 18889 0 0 0 45814 97 0 0 25 0 1 0 1859441704 79265792 18855 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 19352 18855 566 18 0 19334 0
[pid=32767] vsize: 77408
Current children cumulated CPU time (s) 459.11
Current children cumulated vsize (Kb) 77408

[startup+470.018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 19157 0 0 0 46812 99 0 0 25 0 1 0 1859441704 80371712 19123 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 19622 19123 566 18 0 19604 0
[pid=32767] vsize: 78488
Current children cumulated CPU time (s) 469.11
Current children cumulated vsize (Kb) 78488

[startup+480.018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 19461 0 0 0 47810 100 0 0 25 0 1 0 1859441704 81514496 19427 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 19901 19427 566 18 0 19883 0
[pid=32767] vsize: 79604
Current children cumulated CPU time (s) 479.1
Current children cumulated vsize (Kb) 79604

[startup+490.018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 19786 0 0 0 48808 101 0 0 25 0 1 0 1859441704 82874368 19752 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 20233 19752 566 18 0 20215 0
[pid=32767] vsize: 80932
Current children cumulated CPU time (s) 489.09
Current children cumulated vsize (Kb) 80932

[startup+500.018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 20155 0 0 0 49805 103 0 0 25 0 1 0 1859441704 84398080 20121 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 20605 20121 566 18 0 20587 0
[pid=32767] vsize: 82420
Current children cumulated CPU time (s) 499.08
Current children cumulated vsize (Kb) 82420

[startup+510.017 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 20555 0 0 0 50802 104 0 0 25 0 1 0 1859441704 86056960 20521 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 21010 20521 566 18 0 20992 0
[pid=32767] vsize: 84040
Current children cumulated CPU time (s) 509.06
Current children cumulated vsize (Kb) 84040

[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 20918 0 0 0 51799 107 0 0 25 0 1 0 1859441704 87519232 20884 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 21367 20884 566 18 0 21349 0
[pid=32767] vsize: 85468
Current children cumulated CPU time (s) 519.06
Current children cumulated vsize (Kb) 85468

[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 358
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 21231 0 0 0 52797 108 0 0 25 0 1 0 1859441704 88915968 21197 4294967295 134512640 134578447 3221224624 3221223296 134523156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 21708 21197 566 18 0 21690 0
[pid=32767] vsize: 86832
Current children cumulated CPU time (s) 529.05
Current children cumulated vsize (Kb) 86832

[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 21674 0 0 0 53793 110 0 0 25 0 1 0 1859441704 90628096 21640 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 22126 21640 566 18 0 22108 0
[pid=32767] vsize: 88504
Current children cumulated CPU time (s) 539.03
Current children cumulated vsize (Kb) 88504

[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 21994 0 0 0 54790 111 0 0 25 0 1 0 1859441704 92037120 21960 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 22470 21960 566 18 0 22452 0
[pid=32767] vsize: 89880
Current children cumulated CPU time (s) 549.01
Current children cumulated vsize (Kb) 89880

[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 22455 0 0 0 55787 113 0 0 25 0 1 0 1859441704 93872128 22421 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 22918 22421 566 18 0 22900 0
[pid=32767] vsize: 91672
Current children cumulated CPU time (s) 559
Current children cumulated vsize (Kb) 91672

[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 22809 0 0 0 56784 115 0 0 25 0 1 0 1859441704 95375360 22775 4294967295 134512640 134578447 3221224624 3221220704 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 23285 22775 566 18 0 23267 0
[pid=32767] vsize: 93140
Current children cumulated CPU time (s) 568.99
Current children cumulated vsize (Kb) 93140

[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 23386 0 0 0 57782 116 0 0 25 0 1 0 1859441704 97677312 23352 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 23847 23352 566 18 0 23829 0
[pid=32767] vsize: 95388
Current children cumulated CPU time (s) 578.98
Current children cumulated vsize (Kb) 95388

[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 23713 0 0 0 58780 117 0 0 25 0 1 0 1859441704 99123200 23679 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 24200 23679 566 18 0 24182 0
[pid=32767] vsize: 96800
Current children cumulated CPU time (s) 588.97
Current children cumulated vsize (Kb) 96800

[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 24132 0 0 0 59778 118 0 0 25 0 1 0 1859441704 100868096 24098 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 24626 24098 566 18 0 24608 0
[pid=32767] vsize: 98504
Current children cumulated CPU time (s) 598.96
Current children cumulated vsize (Kb) 98504

[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 24437 0 0 0 60776 119 0 0 25 0 1 0 1859441704 102076416 24403 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 24921 24403 566 18 0 24903 0
[pid=32767] vsize: 99684
Current children cumulated CPU time (s) 608.95
Current children cumulated vsize (Kb) 99684

[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 24735 0 0 0 61774 120 0 0 25 0 1 0 1859441704 103333888 24701 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 25228 24701 566 18 0 25210 0
[pid=32767] vsize: 100912
Current children cumulated CPU time (s) 618.94
Current children cumulated vsize (Kb) 100912

[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 25104 0 0 0 62771 121 0 0 25 0 1 0 1859441704 104849408 25070 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 25598 25070 566 18 0 25580 0
[pid=32767] vsize: 102392
Current children cumulated CPU time (s) 628.92
Current children cumulated vsize (Kb) 102392

[startup+640.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 25497 0 0 0 63768 122 0 0 25 0 1 0 1859441704 106500096 25463 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 26001 25463 566 18 0 25983 0
[pid=32767] vsize: 104004
Current children cumulated CPU time (s) 638.9
Current children cumulated vsize (Kb) 104004

[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 25945 0 0 0 64761 126 0 0 25 0 1 0 1859441704 108318720 25911 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 26445 25911 566 18 0 26427 0
[pid=32767] vsize: 105780
Current children cumulated CPU time (s) 648.87
Current children cumulated vsize (Kb) 105780

[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 26480 0 0 0 65758 128 0 0 25 0 1 0 1859441704 110616576 26446 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 27006 26446 566 18 0 26988 0
[pid=32767] vsize: 108024
Current children cumulated CPU time (s) 658.86
Current children cumulated vsize (Kb) 108024

[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 26521 0 0 0 66756 128 0 0 25 0 1 0 1859441704 110739456 26487 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 27036 26487 566 18 0 27018 0
[pid=32767] vsize: 108144
Current children cumulated CPU time (s) 668.84
Current children cumulated vsize (Kb) 108144

[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 26868 0 0 0 67754 129 0 0 25 0 1 0 1859441704 112140288 26834 4294967295 134512640 134578447 3221224624 3221223296 134523343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 27378 26834 566 18 0 27360 0
[pid=32767] vsize: 109512
Current children cumulated CPU time (s) 678.83
Current children cumulated vsize (Kb) 109512

[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 27262 0 0 0 68753 130 0 0 25 0 1 0 1859441704 113795072 27228 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 27782 27228 566 18 0 27764 0
[pid=32767] vsize: 111128
Current children cumulated CPU time (s) 688.83
Current children cumulated vsize (Kb) 111128

[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 27523 0 0 0 69751 131 0 0 25 0 1 0 1859441704 114774016 27489 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 28021 27489 566 18 0 28003 0
[pid=32767] vsize: 112084
Current children cumulated CPU time (s) 698.82
Current children cumulated vsize (Kb) 112084

[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 27715 0 0 0 70750 131 0 0 25 0 1 0 1859441704 115625984 27681 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 28229 27681 566 18 0 28211 0
[pid=32767] vsize: 112916
Current children cumulated CPU time (s) 708.81
Current children cumulated vsize (Kb) 112916

[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 27925 0 0 0 71749 132 0 0 25 0 1 0 1859441704 116449280 27891 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 28430 27891 566 18 0 28412 0
[pid=32767] vsize: 113720
Current children cumulated CPU time (s) 718.81
Current children cumulated vsize (Kb) 113720

[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 28119 0 0 0 72747 133 0 0 25 0 1 0 1859441704 117268480 28085 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 28630 28085 566 18 0 28612 0
[pid=32767] vsize: 114520
Current children cumulated CPU time (s) 728.8
Current children cumulated vsize (Kb) 114520

[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) T 32766 32767 5299 0 -1 0 28321 0 0 0 73745 134 0 0 25 0 1 0 1859441704 118083584 28287 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/32767/statm): 28829 28287 566 18 0 28811 0
[pid=32767] vsize: 115316
Current children cumulated CPU time (s) 738.79
Current children cumulated vsize (Kb) 115316

[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 28758 0 0 0 74743 136 0 0 25 0 1 0 1859441704 119873536 28724 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 29266 28724 566 18 0 29248 0
[pid=32767] vsize: 117064
Current children cumulated CPU time (s) 748.79
Current children cumulated vsize (Kb) 117064

[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 29180 0 0 0 75738 137 0 0 25 0 1 0 1859441704 121597952 29146 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 29687 29146 566 18 0 29669 0
[pid=32767] vsize: 118748
Current children cumulated CPU time (s) 758.75
Current children cumulated vsize (Kb) 118748

[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 29396 0 0 0 76736 138 0 0 25 0 1 0 1859441704 122449920 29362 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 29895 29362 566 18 0 29877 0
[pid=32767] vsize: 119580
Current children cumulated CPU time (s) 768.74
Current children cumulated vsize (Kb) 119580

[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 29704 0 0 0 77733 140 0 0 25 0 1 0 1859441704 123736064 29670 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 30209 29670 566 18 0 30191 0
[pid=32767] vsize: 120836
Current children cumulated CPU time (s) 778.73
Current children cumulated vsize (Kb) 120836

[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 30126 0 0 0 78730 142 0 0 25 0 1 0 1859441704 125419520 30092 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 30620 30092 566 18 0 30602 0
[pid=32767] vsize: 122480
Current children cumulated CPU time (s) 788.72
Current children cumulated vsize (Kb) 122480

[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 30396 0 0 0 79727 143 0 0 25 0 1 0 1859441704 126619648 30362 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 30913 30362 566 18 0 30895 0
[pid=32767] vsize: 123652
Current children cumulated CPU time (s) 798.7
Current children cumulated vsize (Kb) 123652

[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 30735 0 0 0 80725 144 0 0 25 0 1 0 1859441704 128057344 30701 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 31264 30701 566 18 0 31246 0
[pid=32767] vsize: 125056
Current children cumulated CPU time (s) 808.69
Current children cumulated vsize (Kb) 125056

[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 31142 0 0 0 81722 146 0 0 25 0 1 0 1859441704 129728512 31108 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 31672 31108 566 18 0 31654 0
[pid=32767] vsize: 126688
Current children cumulated CPU time (s) 818.68
Current children cumulated vsize (Kb) 126688

[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 31397 0 0 0 82721 146 0 0 25 0 1 0 1859441704 130732032 31363 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 31917 31363 566 18 0 31899 0
[pid=32767] vsize: 127668
Current children cumulated CPU time (s) 828.67
Current children cumulated vsize (Kb) 127668

[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 31636 0 0 0 83719 147 0 0 25 0 1 0 1859441704 131719168 31602 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 32158 31602 566 18 0 32140 0
[pid=32767] vsize: 128632
Current children cumulated CPU time (s) 838.66
Current children cumulated vsize (Kb) 128632

[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 31981 0 0 0 84718 149 0 0 25 0 1 0 1859441704 133251072 31947 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 32532 31947 566 18 0 32514 0
[pid=32767] vsize: 130128
Current children cumulated CPU time (s) 848.67
Current children cumulated vsize (Kb) 130128

[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 32239 0 0 0 85716 150 0 0 25 0 1 0 1859441704 134225920 32205 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 32770 32205 566 18 0 32752 0
[pid=32767] vsize: 131080
Current children cumulated CPU time (s) 858.66
Current children cumulated vsize (Kb) 131080

[startup+870.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 32488 0 0 0 86714 150 0 0 25 0 1 0 1859441704 135319552 32454 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/32767/statm): 33037 32454 566 18 0 33019 0
[pid=32767] vsize: 132148
Current children cumulated CPU time (s) 868.64
Current children cumulated vsize (Kb) 132148

[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 32883 0 0 0 87710 153 0 0 25 0 1 0 1859441704 136912896 32849 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 33426 32849 566 18 0 33408 0
[pid=32767] vsize: 133704
Current children cumulated CPU time (s) 878.63
Current children cumulated vsize (Kb) 133704

[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 33104 0 0 0 88708 154 0 0 25 0 1 0 1859441704 137785344 33070 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 33639 33070 566 18 0 33621 0
[pid=32767] vsize: 134556
Current children cumulated CPU time (s) 888.62
Current children cumulated vsize (Kb) 134556

[startup+900.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 33544 0 0 0 89705 156 0 0 25 0 1 0 1859441704 139575296 33510 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 34076 33510 566 18 0 34058 0
[pid=32767] vsize: 136304
Current children cumulated CPU time (s) 898.61
Current children cumulated vsize (Kb) 136304

[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 33740 0 0 0 90702 157 0 0 25 0 1 0 1859441704 140406784 33706 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 34279 33706 566 18 0 34261 0
[pid=32767] vsize: 137116
Current children cumulated CPU time (s) 908.59
Current children cumulated vsize (Kb) 137116

[startup+920.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 34129 0 0 0 91699 159 0 0 25 0 1 0 1859441704 142032896 34095 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 34676 34095 566 18 0 34658 0
[pid=32767] vsize: 138704
Current children cumulated CPU time (s) 918.58
Current children cumulated vsize (Kb) 138704

[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 34479 0 0 0 92695 161 0 0 25 0 1 0 1859441704 143519744 34445 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 35039 34445 566 18 0 35021 0
[pid=32767] vsize: 140156
Current children cumulated CPU time (s) 928.56
Current children cumulated vsize (Kb) 140156

[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 34848 0 0 0 93691 163 0 0 25 0 1 0 1859441704 145014784 34814 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 35404 34814 566 18 0 35386 0
[pid=32767] vsize: 141616
Current children cumulated CPU time (s) 938.54
Current children cumulated vsize (Kb) 141616

[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 35092 0 0 0 94688 165 0 0 25 0 1 0 1859441704 145973248 35058 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 35638 35058 566 18 0 35620 0
[pid=32767] vsize: 142552
Current children cumulated CPU time (s) 948.53
Current children cumulated vsize (Kb) 142552

[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 35559 0 0 0 95684 168 0 0 25 0 1 0 1859441704 147955712 35525 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 36122 35525 566 18 0 36104 0
[pid=32767] vsize: 144488
Current children cumulated CPU time (s) 958.52
Current children cumulated vsize (Kb) 144488

[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 36038 0 0 0 96681 170 0 0 25 0 1 0 1859441704 149889024 36004 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 36594 36004 566 18 0 36576 0
[pid=32767] vsize: 146376
Current children cumulated CPU time (s) 968.51
Current children cumulated vsize (Kb) 146376

[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 36479 0 0 0 97678 172 0 0 25 0 1 0 1859441704 151736320 36445 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 37045 36445 566 18 0 37027 0
[pid=32767] vsize: 148180
Current children cumulated CPU time (s) 978.5
Current children cumulated vsize (Kb) 148180

[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 36777 0 0 0 98674 173 0 0 25 0 1 0 1859441704 152920064 36743 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 37334 36743 566 18 0 37316 0
[pid=32767] vsize: 149336
Current children cumulated CPU time (s) 988.47
Current children cumulated vsize (Kb) 149336

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 37184 0 0 0 99667 176 0 0 25 0 1 0 1859441704 154521600 37150 4294967295 134512640 134578447 3221224624 3221223616 1075722522 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 37725 37150 566 18 0 37707 0
[pid=32767] vsize: 150900
Current children cumulated CPU time (s) 998.43
Current children cumulated vsize (Kb) 150900

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 37609 0 0 0 100663 179 0 0 25 0 1 0 1859441704 156463104 37575 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 38199 37575 566 18 0 38181 0
[pid=32767] vsize: 152796
Current children cumulated CPU time (s) 1008.42
Current children cumulated vsize (Kb) 152796

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 37869 0 0 0 101661 180 0 0 25 0 1 0 1859441704 157458432 37835 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 38442 37835 566 18 0 38424 0
[pid=32767] vsize: 153768
Current children cumulated CPU time (s) 1018.41
Current children cumulated vsize (Kb) 153768

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 37931 0 0 0 102659 181 0 0 25 0 1 0 1859441704 157917184 37897 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 38554 37897 566 18 0 38536 0
[pid=32767] vsize: 154216
Current children cumulated CPU time (s) 1028.4
Current children cumulated vsize (Kb) 154216

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 38088 0 0 0 103658 182 0 0 25 0 1 0 1859441704 158490624 38054 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 38694 38054 566 18 0 38676 0
[pid=32767] vsize: 154776
Current children cumulated CPU time (s) 1038.4
Current children cumulated vsize (Kb) 154776

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 38335 0 0 0 104654 184 0 0 25 0 1 0 1859441704 159506432 38301 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 38942 38301 566 18 0 38924 0
[pid=32767] vsize: 155768
Current children cumulated CPU time (s) 1048.38
Current children cumulated vsize (Kb) 155768

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 38766 0 0 0 105650 186 0 0 25 0 1 0 1859441704 161316864 38732 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 39384 38732 566 18 0 39366 0
[pid=32767] vsize: 157536
Current children cumulated CPU time (s) 1058.36
Current children cumulated vsize (Kb) 157536

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 39603 0 0 0 106644 189 0 0 25 0 1 0 1859441704 164667392 39569 4294967295 134512640 134578447 3221224624 3221223296 134522591 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 40202 39569 566 18 0 40184 0
[pid=32767] vsize: 160808
Current children cumulated CPU time (s) 1068.33
Current children cumulated vsize (Kb) 160808

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 40087 0 0 0 107638 192 0 0 25 0 1 0 1859441704 166690816 40053 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 40696 40053 566 18 0 40678 0
[pid=32767] vsize: 162784
Current children cumulated CPU time (s) 1078.3
Current children cumulated vsize (Kb) 162784

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 40361 0 0 0 108636 194 0 0 25 0 1 0 1859441704 167768064 40327 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 40959 40327 566 18 0 40941 0
[pid=32767] vsize: 163836
Current children cumulated CPU time (s) 1088.3
Current children cumulated vsize (Kb) 163836

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 40654 0 0 0 109632 196 0 0 25 0 1 0 1859441704 168968192 40620 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 41252 40620 566 18 0 41234 0
[pid=32767] vsize: 165008
Current children cumulated CPU time (s) 1098.28
Current children cumulated vsize (Kb) 165008

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 41380 0 0 0 110627 199 0 0 25 0 1 0 1859441704 171950080 41346 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 41980 41346 566 18 0 41962 0
[pid=32767] vsize: 167920
Current children cumulated CPU time (s) 1108.26
Current children cumulated vsize (Kb) 167920

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 41808 0 0 0 111623 201 0 0 25 0 1 0 1859441704 173731840 41774 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 42415 41774 566 18 0 42397 0
[pid=32767] vsize: 169660
Current children cumulated CPU time (s) 1118.24
Current children cumulated vsize (Kb) 169660

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 42090 0 0 0 112620 202 0 0 25 0 1 0 1859441704 174825472 42056 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 42682 42056 566 18 0 42664 0
[pid=32767] vsize: 170728
Current children cumulated CPU time (s) 1128.22
Current children cumulated vsize (Kb) 170728

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 42384 0 0 0 113617 204 0 0 25 0 1 0 1859441704 176173056 42350 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 43011 42350 566 18 0 42993 0
[pid=32767] vsize: 172044
Current children cumulated CPU time (s) 1138.21
Current children cumulated vsize (Kb) 172044

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 42741 0 0 0 114615 206 0 0 25 0 1 0 1859441704 177528832 42707 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 43342 42707 566 18 0 43324 0
[pid=32767] vsize: 173368
Current children cumulated CPU time (s) 1148.21
Current children cumulated vsize (Kb) 173368

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 42948 0 0 0 115613 207 0 0 25 0 1 0 1859441704 178413568 42914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 43558 42914 566 18 0 43540 0
[pid=32767] vsize: 174232
Current children cumulated CPU time (s) 1158.2
Current children cumulated vsize (Kb) 174232

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 43158 0 0 0 116611 208 0 0 25 0 1 0 1859441704 179261440 43124 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 43765 43124 566 18 0 43747 0
[pid=32767] vsize: 175060
Current children cumulated CPU time (s) 1168.19
Current children cumulated vsize (Kb) 175060

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 43565 0 0 0 117608 209 0 0 25 0 1 0 1859441704 180981760 43531 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 44185 43531 566 18 0 44167 0
[pid=32767] vsize: 176740
Current children cumulated CPU time (s) 1178.17
Current children cumulated vsize (Kb) 176740

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 360
Raw data (/proc/32767/stat): 32767 (Pueblo) R 32766 32767 5299 0 -1 0 43830 0 0 0 118604 211 0 0 25 0 1 0 1859441704 182079488 43796 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/32767/statm): 44453 43796 566 18 0 44435 0
[pid=32767] vsize: 177812
Current children cumulated CPU time (s) 1188.15
Current children cumulated vsize (Kb) 177812
One traced child (pid=32767) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1191.1
CPU time (s): 1189.22
CPU user time (s): 1187.02
CPU system time (s): 2.20167
CPU usage (%): 99.8417
Max. virtual memory (cumulated for all children) (Kb): 177812

Verifier Data

Verifier:	OK	-6