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/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUMb7f280d80b52f97899362fbc10d59421
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 1272
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 1272
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 1272
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 benchmark1205.82
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
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 7898

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        880504 kB
Buffers:         32560 kB
Cached:          92424 kB
SwapCached:        612 kB
Active:          45092 kB
Inactive:        82456 kB
HighTotal:      131008 kB
HighFree:        34524 kB
LowTotal:       903652 kB
LowFree:        845980 kB
SwapTotal:     2097892 kB
SwapFree:      2096676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            20944 kB
Committed_AS:    64284 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:18:49 (client local time) WITH STATUS 10 IN 1189.12 SECONDS
stats: 5056 0 1189.12 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: 1272 - #constraints read: 94309
c total time              : 1189.04 s
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -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/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859466768 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 41 9 40 18 0 23 0
[pid=22665] 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.0034 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 22665
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 3854 0 0 0 979 13 0 0 25 0 1 0 1859466768 17530880 3820 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 4280 3820 566 18 0 4262 0
[pid=22665] vsize: 17120
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 17120

[startup+20.004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 22665
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 3916 0 0 0 1973 16 0 0 25 0 1 0 1859466768 17682432 3882 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 4317 3882 566 18 0 4299 0
[pid=22665] vsize: 17268
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 17268

[startup+30.0046 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 22665
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 3922 0 0 0 2967 19 0 0 25 0 1 0 1859466768 17833984 3888 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 4354 3888 566 18 0 4336 0
[pid=22665] vsize: 17416
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 17416

[startup+40.0052 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22665
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 4015 0 0 0 3960 21 0 0 25 0 1 0 1859466768 18014208 3938 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 4398 3938 566 18 0 4380 0
[pid=22665] vsize: 17592
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 17592

[startup+50.0058 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 22665
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 4108 0 0 0 4958 22 0 0 25 0 1 0 1859466768 18014208 3945 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 4398 3945 566 18 0 4380 0
[pid=22665] vsize: 17592
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (Kb) 17592

[startup+60.0064 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 22665
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 4346 0 0 0 5956 23 0 0 25 0 1 0 1859466768 19001344 4183 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 4639 4183 566 18 0 4621 0
[pid=22665] vsize: 18556
Current children cumulated CPU time (s) 59.79
Current children cumulated vsize (Kb) 18556

[startup+70.007 s]
Raw data (loadavg): 0.97 0.97 0.91 3/59 22705
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 4707 0 0 0 6948 25 0 0 25 0 1 0 1859466768 20389888 4544 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 4978 4544 566 18 0 4960 0
[pid=22665] vsize: 19912
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 19912

[startup+80.0106 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 22720
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 5045 0 0 0 7944 28 0 0 25 0 1 0 1859466768 21815296 4882 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 5326 4882 566 18 0 5308 0
[pid=22665] vsize: 21304
Current children cumulated CPU time (s) 79.72
Current children cumulated vsize (Kb) 21304

[startup+90.0102 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 22720
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 5415 0 0 0 8942 28 0 0 25 0 1 0 1859466768 23396352 5252 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 5712 5252 566 18 0 5694 0
[pid=22665] vsize: 22848
Current children cumulated CPU time (s) 89.7
Current children cumulated vsize (Kb) 22848

[startup+100.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/56 22720
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 5818 0 0 0 9940 30 0 0 25 0 1 0 1859466768 24985600 5655 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 6100 5655 566 18 0 6082 0
[pid=22665] vsize: 24400
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (Kb) 24400

[startup+110.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/56 22720
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 6266 0 0 0 10933 32 0 0 25 0 1 0 1859466768 26820608 6103 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 6548 6103 566 18 0 6530 0
[pid=22665] vsize: 26192
Current children cumulated CPU time (s) 109.65
Current children cumulated vsize (Kb) 26192

[startup+120.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 22720
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 6591 0 0 0 11931 34 0 0 25 0 1 0 1859466768 28180480 6428 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 6880 6428 566 18 0 6862 0
[pid=22665] vsize: 27520
Current children cumulated CPU time (s) 119.65
Current children cumulated vsize (Kb) 27520

[startup+130.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 22720
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 7109 0 0 0 12928 35 0 0 25 0 1 0 1859466768 30289920 6946 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 7395 6946 566 18 0 7377 0
[pid=22665] vsize: 29580
Current children cumulated CPU time (s) 129.63
Current children cumulated vsize (Kb) 29580

[startup+140.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 22722
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 7444 0 0 0 13926 36 0 0 25 0 1 0 1859466768 31678464 7281 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 7734 7281 566 18 0 7716 0
[pid=22665] vsize: 30936
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 30936

[startup+150.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 7909 0 0 0 14923 38 0 0 25 0 1 0 1859466768 33562624 7746 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 8194 7746 566 18 0 8176 0
[pid=22665] vsize: 32776
Current children cumulated CPU time (s) 149.61
Current children cumulated vsize (Kb) 32776

[startup+160.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 8355 0 0 0 15917 41 0 0 25 0 1 0 1859466768 35454976 8192 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 8656 8192 566 18 0 8638 0
[pid=22665] vsize: 34624
Current children cumulated CPU time (s) 159.58
Current children cumulated vsize (Kb) 34624

[startup+170.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 8617 0 0 0 16914 42 0 0 25 0 1 0 1859466768 36462592 8454 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 8902 8454 566 18 0 8884 0
[pid=22665] vsize: 35608
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (Kb) 35608

[startup+180.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 8980 0 0 0 17912 43 0 0 25 0 1 0 1859466768 37965824 8817 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 9269 8817 566 18 0 9251 0
[pid=22665] vsize: 37076
Current children cumulated CPU time (s) 179.55
Current children cumulated vsize (Kb) 37076

[startup+190.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 9485 0 0 0 18909 44 0 0 25 0 1 0 1859466768 40017920 9322 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 9770 9322 566 18 0 9752 0
[pid=22665] vsize: 39080
Current children cumulated CPU time (s) 189.53
Current children cumulated vsize (Kb) 39080

[startup+200.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 9870 0 0 0 19906 45 0 0 25 0 1 0 1859466768 41644032 9707 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 10167 9707 566 18 0 10149 0
[pid=22665] vsize: 40668
Current children cumulated CPU time (s) 199.51
Current children cumulated vsize (Kb) 40668

[startup+210.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 10242 0 0 0 20898 49 0 0 25 0 1 0 1859466768 43196416 10079 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 10546 10079 566 18 0 10528 0
[pid=22665] vsize: 42184
Current children cumulated CPU time (s) 209.47
Current children cumulated vsize (Kb) 42184

[startup+220.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 10819 0 0 0 21895 51 0 0 25 0 1 0 1859466768 45494272 10656 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 11107 10656 566 18 0 11089 0
[pid=22665] vsize: 44428
Current children cumulated CPU time (s) 219.46
Current children cumulated vsize (Kb) 44428

[startup+230.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 11229 0 0 0 22893 53 0 0 25 0 1 0 1859466768 47251456 11066 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 11536 11066 566 18 0 11518 0
[pid=22665] vsize: 46144
Current children cumulated CPU time (s) 229.46
Current children cumulated vsize (Kb) 46144

[startup+240.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 11609 0 0 0 23889 55 0 0 25 0 1 0 1859466768 48787456 11446 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 11911 11446 566 18 0 11893 0
[pid=22665] vsize: 47644
Current children cumulated CPU time (s) 239.44
Current children cumulated vsize (Kb) 47644

[startup+250.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 12054 0 0 0 24886 56 0 0 25 0 1 0 1859466768 50585600 11891 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 12350 11891 566 18 0 12332 0
[pid=22665] vsize: 49400
Current children cumulated CPU time (s) 249.42
Current children cumulated vsize (Kb) 49400

[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 12478 0 0 0 25884 58 0 0 25 0 1 0 1859466768 52252672 12315 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 12757 12315 566 18 0 12739 0
[pid=22665] vsize: 51028
Current children cumulated CPU time (s) 259.42
Current children cumulated vsize (Kb) 51028

[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 12939 0 0 0 26881 59 0 0 25 0 1 0 1859466768 54210560 12776 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 13235 12776 566 18 0 13217 0
[pid=22665] vsize: 52940
Current children cumulated CPU time (s) 269.4
Current children cumulated vsize (Kb) 52940

[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 13193 0 0 0 27879 60 0 0 25 0 1 0 1859466768 55296000 13030 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 13500 13030 566 18 0 13482 0
[pid=22665] vsize: 54000
Current children cumulated CPU time (s) 279.39
Current children cumulated vsize (Kb) 54000

[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 13625 0 0 0 28876 62 0 0 25 0 1 0 1859466768 56942592 13462 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 13902 13462 566 18 0 13884 0
[pid=22665] vsize: 55608
Current children cumulated CPU time (s) 289.38
Current children cumulated vsize (Kb) 55608

[startup+300.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 14062 0 0 0 29874 63 0 0 21 0 1 0 1859466768 58814464 13899 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 14359 13899 566 18 0 14341 0
[pid=22665] vsize: 57436
Current children cumulated CPU time (s) 299.37
Current children cumulated vsize (Kb) 57436

[startup+310.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 14524 0 0 0 30867 65 0 0 25 0 1 0 1859466768 60674048 14361 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 14813 14361 566 18 0 14795 0
[pid=22665] vsize: 59252
Current children cumulated CPU time (s) 309.32
Current children cumulated vsize (Kb) 59252

[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 14867 0 0 0 31865 67 0 0 25 0 1 0 1859466768 62083072 14704 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 15157 14704 566 18 0 15139 0
[pid=22665] vsize: 60628
Current children cumulated CPU time (s) 319.32
Current children cumulated vsize (Kb) 60628

[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 15210 0 0 0 32863 68 0 0 25 0 1 0 1859466768 63594496 15047 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 15526 15047 566 18 0 15508 0
[pid=22665] vsize: 62104
Current children cumulated CPU time (s) 329.31
Current children cumulated vsize (Kb) 62104

[startup+340.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 15510 0 0 0 33861 69 0 0 25 0 1 0 1859466768 64745472 15347 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 15807 15347 566 18 0 15789 0
[pid=22665] vsize: 63228
Current children cumulated CPU time (s) 339.3
Current children cumulated vsize (Kb) 63228

[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 15870 0 0 0 34859 71 0 0 25 0 1 0 1859466768 66306048 15707 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 16188 15707 566 18 0 16170 0
[pid=22665] vsize: 64752
Current children cumulated CPU time (s) 349.3
Current children cumulated vsize (Kb) 64752

[startup+360.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 16147 0 0 0 35856 72 0 0 25 0 1 0 1859466768 67375104 15984 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 16449 15984 566 18 0 16431 0
[pid=22665] vsize: 65796
Current children cumulated CPU time (s) 359.28
Current children cumulated vsize (Kb) 65796

[startup+370.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 16409 0 0 0 36854 73 0 0 25 0 1 0 1859466768 68521984 16246 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 16729 16246 566 18 0 16711 0
[pid=22665] vsize: 66916
Current children cumulated CPU time (s) 369.27
Current children cumulated vsize (Kb) 66916

[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 16833 0 0 0 37851 75 0 0 25 0 1 0 1859466768 70254592 16670 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 17152 16670 566 18 0 17134 0
[pid=22665] vsize: 68608
Current children cumulated CPU time (s) 379.26
Current children cumulated vsize (Kb) 68608

[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22724
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 17247 0 0 0 38847 78 0 0 25 0 1 0 1859466768 71856128 17084 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 17543 17084 566 18 0 17525 0
[pid=22665] vsize: 70172
Current children cumulated CPU time (s) 389.25
Current children cumulated vsize (Kb) 70172

[startup+400.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 17597 0 0 0 39844 79 0 0 25 0 1 0 1859466768 73277440 17434 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 17890 17434 566 18 0 17872 0
[pid=22665] vsize: 71560
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (Kb) 71560

[startup+410.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 17967 0 0 0 40841 81 0 0 25 0 1 0 1859466768 74883072 17804 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 18282 17804 566 18 0 18264 0
[pid=22665] vsize: 73128
Current children cumulated CPU time (s) 409.22
Current children cumulated vsize (Kb) 73128

[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 18362 0 0 0 41839 83 0 0 25 0 1 0 1859466768 76537856 18199 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 18686 18199 566 18 0 18668 0
[pid=22665] vsize: 74744
Current children cumulated CPU time (s) 419.22
Current children cumulated vsize (Kb) 74744

[startup+430.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 18659 0 0 0 42836 84 0 0 25 0 1 0 1859466768 77660160 18496 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 18960 18496 566 18 0 18942 0
[pid=22665] vsize: 75840
Current children cumulated CPU time (s) 429.2
Current children cumulated vsize (Kb) 75840

[startup+440.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 18935 0 0 0 43834 85 0 0 25 0 1 0 1859466768 78884864 18772 4294967295 134512640 134578447 3221224624 3221223520 134519844 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 19259 18772 566 18 0 19241 0
[pid=22665] vsize: 77036
Current children cumulated CPU time (s) 439.19
Current children cumulated vsize (Kb) 77036

[startup+450.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 19319 0 0 0 44830 87 0 0 25 0 1 0 1859466768 80543744 19156 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 19664 19156 566 18 0 19646 0
[pid=22665] vsize: 78656
Current children cumulated CPU time (s) 449.17
Current children cumulated vsize (Kb) 78656

[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 19759 0 0 0 45824 91 0 0 25 0 1 0 1859466768 82337792 19596 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 20102 19596 566 18 0 20084 0
[pid=22665] vsize: 80408
Current children cumulated CPU time (s) 459.15
Current children cumulated vsize (Kb) 80408

[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 19996 0 0 0 46821 92 0 0 25 0 1 0 1859466768 83296256 19833 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 20336 19833 566 18 0 20318 0
[pid=22665] vsize: 81344
Current children cumulated CPU time (s) 469.13
Current children cumulated vsize (Kb) 81344

[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 20320 0 0 0 47819 93 0 0 25 0 1 0 1859466768 84623360 20157 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 20660 20157 566 18 0 20642 0
[pid=22665] vsize: 82640
Current children cumulated CPU time (s) 479.12
Current children cumulated vsize (Kb) 82640

[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 20569 0 0 0 48818 94 0 0 25 0 1 0 1859466768 85561344 20406 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 20889 20406 566 18 0 20871 0
[pid=22665] vsize: 83556
Current children cumulated CPU time (s) 489.12
Current children cumulated vsize (Kb) 83556

[startup+500.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 20780 0 0 0 49816 95 0 0 25 0 1 0 1859466768 86507520 20617 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 21120 20617 566 18 0 21102 0
[pid=22665] vsize: 84480
Current children cumulated CPU time (s) 499.11
Current children cumulated vsize (Kb) 84480

[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 21171 0 0 0 50814 96 0 0 25 0 1 0 1859466768 88055808 21008 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 21498 21008 566 18 0 21480 0
[pid=22665] vsize: 85992
Current children cumulated CPU time (s) 509.1
Current children cumulated vsize (Kb) 85992

[startup+520.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 21441 0 0 0 51811 97 0 0 25 0 1 0 1859466768 89128960 21278 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 21760 21278 566 18 0 21742 0
[pid=22665] vsize: 87040
Current children cumulated CPU time (s) 519.08
Current children cumulated vsize (Kb) 87040

[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 21762 0 0 0 52809 98 0 0 25 0 1 0 1859466768 90497024 21599 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 22094 21599 566 18 0 22076 0
[pid=22665] vsize: 88376
Current children cumulated CPU time (s) 529.07
Current children cumulated vsize (Kb) 88376

[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 22006 0 0 0 53807 100 0 0 25 0 1 0 1859466768 91451392 21843 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 22327 21843 566 18 0 22309 0
[pid=22665] vsize: 89308
Current children cumulated CPU time (s) 539.07
Current children cumulated vsize (Kb) 89308

[startup+550.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 22307 0 0 0 54805 101 0 0 25 0 1 0 1859466768 92712960 22144 4294967295 134512640 134578447 3221224624 3221223476 134555888 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 22635 22144 566 18 0 22617 0
[pid=22665] vsize: 90540
Current children cumulated CPU time (s) 549.06
Current children cumulated vsize (Kb) 90540

[startup+560.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 22788 0 0 0 55802 102 0 0 25 0 1 0 1859466768 94695424 22625 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 23119 22625 566 18 0 23101 0
[pid=22665] vsize: 92476
Current children cumulated CPU time (s) 559.04
Current children cumulated vsize (Kb) 92476

[startup+570.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 23004 0 0 0 56801 103 0 0 25 0 1 0 1859466768 95571968 22841 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 23333 22841 566 18 0 23315 0
[pid=22665] vsize: 93332
Current children cumulated CPU time (s) 569.04
Current children cumulated vsize (Kb) 93332

[startup+580.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 23246 0 0 0 57798 104 0 0 25 0 1 0 1859466768 96583680 23083 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 23580 23083 566 18 0 23562 0
[pid=22665] vsize: 94320
Current children cumulated CPU time (s) 579.02
Current children cumulated vsize (Kb) 94320

[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 23695 0 0 0 58795 106 0 0 25 0 1 0 1859466768 98414592 23532 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 24027 23532 566 18 0 24009 0
[pid=22665] vsize: 96108
Current children cumulated CPU time (s) 589.01
Current children cumulated vsize (Kb) 96108

[startup+600.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 23843 0 0 0 59794 107 0 0 25 0 1 0 1859466768 98963456 23680 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 24161 23680 566 18 0 24143 0
[pid=22665] vsize: 96644
Current children cumulated CPU time (s) 599.01
Current children cumulated vsize (Kb) 96644

[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 24296 0 0 0 60790 108 0 0 25 0 1 0 1859466768 100921344 24133 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 24639 24133 566 18 0 24621 0
[pid=22665] vsize: 98556
Current children cumulated CPU time (s) 608.98
Current children cumulated vsize (Kb) 98556

[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 24890 0 0 0 61786 110 0 0 25 0 1 0 1859466768 103325696 24727 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 25226 24727 566 18 0 25208 0
[pid=22665] vsize: 100904
Current children cumulated CPU time (s) 618.96
Current children cumulated vsize (Kb) 100904

[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 25056 0 0 0 62784 112 0 0 25 0 1 0 1859466768 104042496 24893 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 25401 24893 566 18 0 25383 0
[pid=22665] vsize: 101604
Current children cumulated CPU time (s) 628.96
Current children cumulated vsize (Kb) 101604

[startup+640.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 25462 0 0 0 63781 113 0 0 25 0 1 0 1859466768 105762816 25299 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 25821 25299 566 18 0 25803 0
[pid=22665] vsize: 103284
Current children cumulated CPU time (s) 638.94
Current children cumulated vsize (Kb) 103284

[startup+650.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 25834 0 0 0 64777 115 0 0 25 0 1 0 1859466768 107237376 25671 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 26181 25671 566 18 0 26163 0
[pid=22665] vsize: 104724
Current children cumulated CPU time (s) 648.92
Current children cumulated vsize (Kb) 104724

[startup+660.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 26107 0 0 0 65775 116 0 0 25 0 1 0 1859466768 108331008 25944 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 26448 25944 566 18 0 26430 0
[pid=22665] vsize: 105792
Current children cumulated CPU time (s) 658.91
Current children cumulated vsize (Kb) 105792

[startup+670.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 26487 0 0 0 66773 117 0 0 25 0 1 0 1859466768 109858816 26324 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 26821 26324 566 18 0 26803 0
[pid=22665] vsize: 107284
Current children cumulated CPU time (s) 668.9
Current children cumulated vsize (Kb) 107284

[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 26812 0 0 0 67771 119 0 0 25 0 1 0 1859466768 111230976 26649 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 27156 26649 566 18 0 27138 0
[pid=22665] vsize: 108624
Current children cumulated CPU time (s) 678.9
Current children cumulated vsize (Kb) 108624

[startup+690.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 27148 0 0 0 68768 120 0 0 25 0 1 0 1859466768 112656384 26985 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 27504 26985 566 18 0 27486 0
[pid=22665] vsize: 110016
Current children cumulated CPU time (s) 688.88
Current children cumulated vsize (Kb) 110016

[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 27436 0 0 0 69761 123 0 0 25 0 1 0 1859466768 113938432 27273 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 27817 27273 566 18 0 27799 0
[pid=22665] vsize: 111268
Current children cumulated CPU time (s) 698.84
Current children cumulated vsize (Kb) 111268

[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 27744 0 0 0 70759 124 0 0 25 0 1 0 1859466768 115163136 27581 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 28116 27581 566 18 0 28098 0
[pid=22665] vsize: 112464
Current children cumulated CPU time (s) 708.83
Current children cumulated vsize (Kb) 112464

[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 28201 0 0 0 71756 126 0 0 25 0 1 0 1859466768 116998144 28038 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 28564 28038 566 18 0 28546 0
[pid=22665] vsize: 114256
Current children cumulated CPU time (s) 718.82
Current children cumulated vsize (Kb) 114256

[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 28531 0 0 0 72753 128 0 0 25 0 1 0 1859466768 118472704 28368 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 28924 28368 566 18 0 28906 0
[pid=22665] vsize: 115696
Current children cumulated CPU time (s) 728.81
Current children cumulated vsize (Kb) 115696

[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 28812 0 0 0 73751 129 0 0 25 0 1 0 1859466768 119496704 28649 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 29174 28649 566 18 0 29156 0
[pid=22665] vsize: 116696
Current children cumulated CPU time (s) 738.8
Current children cumulated vsize (Kb) 116696

[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 29038 0 0 0 74748 130 0 0 25 0 1 0 1859466768 120492032 28875 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 29417 28875 566 18 0 29399 0
[pid=22665] vsize: 117668
Current children cumulated CPU time (s) 748.78
Current children cumulated vsize (Kb) 117668

[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 29379 0 0 0 75746 132 0 0 25 0 1 0 1859466768 121864192 29216 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 29752 29216 566 18 0 29734 0
[pid=22665] vsize: 119008
Current children cumulated CPU time (s) 758.78
Current children cumulated vsize (Kb) 119008

[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 29778 0 0 0 76744 133 0 0 25 0 1 0 1859466768 123539456 29615 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 30161 29615 566 18 0 30143 0
[pid=22665] vsize: 120644
Current children cumulated CPU time (s) 768.77
Current children cumulated vsize (Kb) 120644

[startup+780.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 29953 0 0 0 77742 134 0 0 25 0 1 0 1859466768 124256256 29790 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 30336 29790 566 18 0 30318 0
[pid=22665] vsize: 121344
Current children cumulated CPU time (s) 778.76
Current children cumulated vsize (Kb) 121344

[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 30114 0 0 0 78740 135 0 0 25 0 1 0 1859466768 124801024 29951 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 30469 29951 566 18 0 30451 0
[pid=22665] vsize: 121876
Current children cumulated CPU time (s) 788.75
Current children cumulated vsize (Kb) 121876

[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 30469 0 0 0 79738 136 0 0 25 0 1 0 1859466768 126443520 30306 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 30870 30306 566 18 0 30852 0
[pid=22665] vsize: 123480
Current children cumulated CPU time (s) 798.74
Current children cumulated vsize (Kb) 123480

[startup+810.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 30657 0 0 0 80735 138 0 0 25 0 1 0 1859466768 127107072 30494 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 31032 30494 566 18 0 31014 0
[pid=22665] vsize: 124128
Current children cumulated CPU time (s) 808.73
Current children cumulated vsize (Kb) 124128

[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 30835 0 0 0 81733 139 0 0 25 0 1 0 1859466768 127889408 30672 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 31223 30672 566 18 0 31205 0
[pid=22665] vsize: 124892
Current children cumulated CPU time (s) 818.72
Current children cumulated vsize (Kb) 124892

[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 31097 0 0 0 82732 140 0 0 25 0 1 0 1859466768 128983040 30934 4294967295 134512640 134578447 3221224624 3221223476 134555886 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 31490 30934 566 18 0 31472 0
[pid=22665] vsize: 125960
Current children cumulated CPU time (s) 828.72
Current children cumulated vsize (Kb) 125960

[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 31350 0 0 0 83729 142 0 0 25 0 1 0 1859466768 130125824 31187 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 31769 31187 566 18 0 31751 0
[pid=22665] vsize: 127076
Current children cumulated CPU time (s) 838.71
Current children cumulated vsize (Kb) 127076

[startup+850.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 31571 0 0 0 84727 142 0 0 25 0 1 0 1859466768 131117056 31408 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 32011 31408 566 18 0 31993 0
[pid=22665] vsize: 128044
Current children cumulated CPU time (s) 848.69
Current children cumulated vsize (Kb) 128044

[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 31787 0 0 0 85726 143 0 0 25 0 1 0 1859466768 132038656 31624 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 32236 31624 566 18 0 32218 0
[pid=22665] vsize: 128944
Current children cumulated CPU time (s) 858.69
Current children cumulated vsize (Kb) 128944

[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 32030 0 0 0 86724 144 0 0 25 0 1 0 1859466768 132927488 31867 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 32453 31867 566 18 0 32435 0
[pid=22665] vsize: 129812
Current children cumulated CPU time (s) 868.68
Current children cumulated vsize (Kb) 129812

[startup+880.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 32350 0 0 0 87721 146 0 0 25 0 1 0 1859466768 134397952 32187 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 32812 32187 566 18 0 32794 0
[pid=22665] vsize: 131248
Current children cumulated CPU time (s) 878.67
Current children cumulated vsize (Kb) 131248

[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 32678 0 0 0 88719 147 0 0 25 0 1 0 1859466768 135647232 32515 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 33117 32515 566 18 0 33099 0
[pid=22665] vsize: 132468
Current children cumulated CPU time (s) 888.66
Current children cumulated vsize (Kb) 132468

[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 33025 0 0 0 89716 149 0 0 25 0 1 0 1859466768 137048064 32862 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 33459 32862 566 18 0 33441 0
[pid=22665] vsize: 133836
Current children cumulated CPU time (s) 898.65
Current children cumulated vsize (Kb) 133836

[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 33353 0 0 0 90712 151 0 0 25 0 1 0 1859466768 138448896 33190 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 33801 33190 566 18 0 33783 0
[pid=22665] vsize: 135204
Current children cumulated CPU time (s) 908.63
Current children cumulated vsize (Kb) 135204

[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 33680 0 0 0 91710 152 0 0 25 0 1 0 1859466768 139698176 33517 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 34106 33517 566 18 0 34088 0
[pid=22665] vsize: 136424
Current children cumulated CPU time (s) 918.62
Current children cumulated vsize (Kb) 136424

[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 34118 0 0 0 92708 154 0 0 25 0 1 0 1859466768 141672448 33955 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 34588 33955 566 18 0 34570 0
[pid=22665] vsize: 138352
Current children cumulated CPU time (s) 928.62
Current children cumulated vsize (Kb) 138352

[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 34589 0 0 0 93705 156 0 0 25 0 1 0 1859466768 143474688 34426 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 35028 34426 566 18 0 35010 0
[pid=22665] vsize: 140112
Current children cumulated CPU time (s) 938.61
Current children cumulated vsize (Kb) 140112

[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 35000 0 0 0 94702 157 0 0 25 0 1 0 1859466768 145268736 34837 4294967295 134512640 134578447 3221224624 3221223228 1075289104 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 35466 34838 566 18 0 35448 0
[pid=22665] vsize: 141864
Current children cumulated CPU time (s) 948.59
Current children cumulated vsize (Kb) 141864

[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 35407 0 0 0 95699 159 0 0 25 0 1 0 1859466768 146944000 35244 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 35875 35244 566 18 0 35857 0
[pid=22665] vsize: 143500
Current children cumulated CPU time (s) 958.58
Current children cumulated vsize (Kb) 143500

[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 35739 0 0 0 96696 160 0 0 25 0 1 0 1859466768 148303872 35576 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 36207 35576 566 18 0 36189 0
[pid=22665] vsize: 144828
Current children cumulated CPU time (s) 968.56
Current children cumulated vsize (Kb) 144828

[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 36117 0 0 0 97694 161 0 0 25 0 1 0 1859466768 149852160 35954 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 36585 35954 566 18 0 36567 0
[pid=22665] vsize: 146340
Current children cumulated CPU time (s) 978.55
Current children cumulated vsize (Kb) 146340

[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 36532 0 0 0 98691 162 0 0 25 0 1 0 1859466768 151498752 36369 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 36987 36369 566 18 0 36969 0
[pid=22665] vsize: 147948
Current children cumulated CPU time (s) 988.53
Current children cumulated vsize (Kb) 147948

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 36653 0 0 0 99687 164 0 0 25 0 1 0 1859466768 152059904 36490 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 37124 36490 566 18 0 37106 0
[pid=22665] vsize: 148496
Current children cumulated CPU time (s) 998.51
Current children cumulated vsize (Kb) 148496

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 37004 0 0 0 100684 165 0 0 25 0 1 0 1859466768 153452544 36841 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 37464 36841 566 18 0 37446 0
[pid=22665] vsize: 149856
Current children cumulated CPU time (s) 1008.49
Current children cumulated vsize (Kb) 149856

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 37425 0 0 0 101681 167 0 0 25 0 1 0 1859466768 155238400 37262 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 37900 37262 566 18 0 37882 0
[pid=22665] vsize: 151600
Current children cumulated CPU time (s) 1018.48
Current children cumulated vsize (Kb) 151600

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 37922 0 0 0 102678 169 0 0 25 0 1 0 1859466768 157257728 37759 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 38393 37759 566 18 0 38375 0
[pid=22665] vsize: 153572
Current children cumulated CPU time (s) 1028.47
Current children cumulated vsize (Kb) 153572

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 38264 0 0 0 103676 171 0 0 25 0 1 0 1859466768 158683136 38101 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 38741 38101 566 18 0 38723 0
[pid=22665] vsize: 154964
Current children cumulated CPU time (s) 1038.47
Current children cumulated vsize (Kb) 154964

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 38545 0 0 0 104667 174 0 0 25 0 1 0 1859466768 159809536 38382 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 39016 38382 566 18 0 38998 0
[pid=22665] vsize: 156064
Current children cumulated CPU time (s) 1048.41
Current children cumulated vsize (Kb) 156064

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 38995 0 0 0 105664 175 0 0 25 0 1 0 1859466768 161591296 38832 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 39451 38832 566 18 0 39433 0
[pid=22665] vsize: 157804
Current children cumulated CPU time (s) 1058.39
Current children cumulated vsize (Kb) 157804

[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 39085 0 0 0 106663 176 0 0 25 0 1 0 1859466768 161996800 38922 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 39550 38922 566 18 0 39532 0
[pid=22665] vsize: 158200
Current children cumulated CPU time (s) 1068.39
Current children cumulated vsize (Kb) 158200

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 39320 0 0 0 107661 177 0 0 25 0 1 0 1859466768 162902016 39157 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 39771 39157 566 18 0 39753 0
[pid=22665] vsize: 159084
Current children cumulated CPU time (s) 1078.38
Current children cumulated vsize (Kb) 159084

[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 39322 0 0 0 108661 178 0 0 25 0 1 0 1859466768 162902016 39159 4294967295 134512640 134578447 3221224624 3221223296 134523438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 39771 39159 566 18 0 39753 0
[pid=22665] vsize: 159084
Current children cumulated CPU time (s) 1088.39
Current children cumulated vsize (Kb) 159084

[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 39628 0 0 0 109660 179 0 0 25 0 1 0 1859466768 164290560 39465 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 40110 39465 566 18 0 40092 0
[pid=22665] vsize: 160440
Current children cumulated CPU time (s) 1098.39
Current children cumulated vsize (Kb) 160440

[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 39645 0 0 0 110658 179 0 0 25 0 1 0 1859466768 164290560 39482 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 40110 39482 566 18 0 40092 0
[pid=22665] vsize: 160440
Current children cumulated CPU time (s) 1108.37
Current children cumulated vsize (Kb) 160440

[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 40033 0 0 0 111656 181 0 0 25 0 1 0 1859466768 165937152 39870 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 40512 39870 566 18 0 40494 0
[pid=22665] vsize: 162048
Current children cumulated CPU time (s) 1118.37
Current children cumulated vsize (Kb) 162048

[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 40186 0 0 0 112655 182 0 0 25 0 1 0 1859466768 166481920 40023 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 40645 40023 566 18 0 40627 0
[pid=22665] vsize: 162580
Current children cumulated CPU time (s) 1128.37
Current children cumulated vsize (Kb) 162580

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 40478 0 0 0 113653 183 0 0 25 0 1 0 1859466768 167735296 40315 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/22665/statm): 40951 40315 566 18 0 40933 0
[pid=22665] vsize: 163804
Current children cumulated CPU time (s) 1138.36
Current children cumulated vsize (Kb) 163804

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 40865 0 0 0 114649 185 0 0 25 0 1 0 1859466768 169316352 40702 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 41337 40702 566 18 0 41319 0
[pid=22665] vsize: 165348
Current children cumulated CPU time (s) 1148.34
Current children cumulated vsize (Kb) 165348

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 40905 0 0 0 115648 185 0 0 25 0 1 0 1859466768 169594880 40742 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 41405 40742 566 18 0 41387 0
[pid=22665] vsize: 165620
Current children cumulated CPU time (s) 1158.33
Current children cumulated vsize (Kb) 165620

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 41226 0 0 0 116647 186 0 0 25 0 1 0 1859466768 170885120 41063 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 41720 41063 566 18 0 41702 0
[pid=22665] vsize: 166880
Current children cumulated CPU time (s) 1168.33
Current children cumulated vsize (Kb) 166880

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 41296 0 0 0 117645 187 0 0 25 0 1 0 1859466768 171143168 41133 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 41783 41133 566 18 0 41765 0
[pid=22665] vsize: 167132
Current children cumulated CPU time (s) 1178.32
Current children cumulated vsize (Kb) 167132

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 22726
Raw data (/proc/22665/stat): 22665 (Pueblo) R 22664 22665 19316 0 -1 0 41614 0 0 0 118643 188 0 0 25 0 1 0 1859466768 172457984 41451 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22665/statm): 42104 41451 566 18 0 42086 0
[pid=22665] vsize: 168416
Current children cumulated CPU time (s) 1188.31
Current children cumulated vsize (Kb) 168416
One traced child (pid=22665) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1190.83
CPU time (s): 1189.12
CPU user time (s): 1187.15
CPU system time (s): 1.9687
CPU usage (%): 99.8562
Max. virtual memory (cumulated for all children) (Kb): 168416

Verifier Data

Verifier:	OK	-7