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/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM550a32227cb0042826e9d8b0433b2655
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -42
Optimality of the best value was proved NO
Number of terms in the objective function 1400
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 1400
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 1400
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 benchmark1203.08
Number of variables1400
Total number of constraints109401
Number of constraints which are clauses109401
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 7902

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-20 15:00:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5060 boxname=wulflinc27 idbench=372 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  550a32227cb0042826e9d8b0433b2655  /oldhome/oroussel/tmp/wulflinc27/normalized-frb56-25-2.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5060
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        808384 kB
Buffers:         33720 kB
Cached:         162516 kB
SwapCached:        692 kB
Active:          71628 kB
Inactive:       127188 kB
HighTotal:      131008 kB
HighFree:         8820 kB
LowTotal:       903652 kB
LowFree:        799564 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            21732 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:20:46 (client local time) WITH STATUS 10 IN 1189.33 SECONDS
stats: 5060 0 1189.33 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: 1400 - #constraints read: 109402
c total time              : 1189.24 s
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -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/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859437730 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 41 3 40 18 0 23 0
[pid=8523] 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.96 1.00 0.96 2/56 8523
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4286 0 0 0 981 11 0 0 25 0 1 0 1859437730 19251200 4252 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 4700 4252 566 18 0 4682 0
[pid=8523] vsize: 18800
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 18800

[startup+20.0042 s]
Raw data (loadavg): 0.97 1.00 0.96 2/56 8525
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4405 0 0 0 1968 16 0 0 25 0 1 0 1859437730 19673088 4371 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 4803 4371 566 18 0 4785 0
[pid=8523] vsize: 19212
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 19212

[startup+30.005 s]
Raw data (loadavg): 0.97 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4426 0 0 0 2966 17 0 0 25 0 1 0 1859437730 19812352 4392 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 4837 4392 566 18 0 4819 0
[pid=8523] vsize: 19348
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 19348

[startup+40.0048 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4453 0 0 0 3959 19 0 0 25 0 1 0 1859437730 19951616 4419 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 4871 4419 566 18 0 4853 0
[pid=8523] vsize: 19484
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 19484

[startup+50.0056 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4515 0 0 0 4952 20 0 0 25 0 1 0 1859437730 20094976 4481 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 4906 4481 566 18 0 4888 0
[pid=8523] vsize: 19624
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (Kb) 19624

[startup+60.0055 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4540 0 0 0 5951 21 0 0 25 0 1 0 1859437730 20037632 4472 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 4892 4472 566 18 0 4874 0
[pid=8523] vsize: 19568
Current children cumulated CPU time (s) 59.72
Current children cumulated vsize (Kb) 19568

[startup+70.0063 s]
Raw data (loadavg): 0.98 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 4852 0 0 0 6949 22 0 0 25 0 1 0 1859437730 21364736 4784 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 5216 4784 566 18 0 5198 0
[pid=8523] vsize: 20864
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 20864

[startup+80.0071 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 5303 0 0 0 7946 24 0 0 25 0 1 0 1859437730 23175168 5235 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 5658 5235 566 18 0 5640 0
[pid=8523] vsize: 22632
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 22632

[startup+90.0069 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 5715 0 0 0 8938 27 0 0 25 0 1 0 1859437730 24891392 5647 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 6077 5647 566 18 0 6059 0
[pid=8523] vsize: 24308
Current children cumulated CPU time (s) 89.65
Current children cumulated vsize (Kb) 24308

[startup+100.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 6143 0 0 0 9935 29 0 0 25 0 1 0 1859437730 26689536 6075 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 6516 6075 566 18 0 6498 0
[pid=8523] vsize: 26064
Current children cumulated CPU time (s) 99.64
Current children cumulated vsize (Kb) 26064

[startup+110.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 6510 0 0 0 10933 30 0 0 25 0 1 0 1859437730 28164096 6442 4294967295 134512640 134578447 3221224624 3221223296 134523343 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 6876 6442 566 18 0 6858 0
[pid=8523] vsize: 27504
Current children cumulated CPU time (s) 109.63
Current children cumulated vsize (Kb) 27504

[startup+120.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 6819 0 0 0 11931 31 0 0 25 0 1 0 1859437730 29417472 6751 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 7182 6751 566 18 0 7164 0
[pid=8523] vsize: 28728
Current children cumulated CPU time (s) 119.62
Current children cumulated vsize (Kb) 28728

[startup+130.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 7253 0 0 0 12930 32 0 0 25 0 1 0 1859437730 31207424 7185 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 7619 7185 566 18 0 7601 0
[pid=8523] vsize: 30476
Current children cumulated CPU time (s) 129.62
Current children cumulated vsize (Kb) 30476

[startup+140.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 7756 0 0 0 13919 36 0 0 25 0 1 0 1859437730 33312768 7688 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 8133 7688 566 18 0 8115 0
[pid=8523] vsize: 32532
Current children cumulated CPU time (s) 139.55
Current children cumulated vsize (Kb) 32532

[startup+150.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 8427 0 0 0 14914 39 0 0 25 0 1 0 1859437730 36081664 8359 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 8809 8359 566 18 0 8791 0
[pid=8523] vsize: 35236
Current children cumulated CPU time (s) 149.53
Current children cumulated vsize (Kb) 35236

[startup+160.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 8863 0 0 0 15905 43 0 0 25 0 1 0 1859437730 37765120 8795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 9220 8795 566 18 0 9202 0
[pid=8523] vsize: 36880
Current children cumulated CPU time (s) 159.48
Current children cumulated vsize (Kb) 36880

[startup+170.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 9830 0 0 0 16899 47 0 0 25 0 1 0 1859437730 41771008 9762 4294967295 134512640 134578447 3221224624 3221223308 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 10198 9763 566 18 0 10180 0
[pid=8523] vsize: 40792
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (Kb) 40792

[startup+180.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 10555 0 0 0 17895 50 0 0 25 0 1 0 1859437730 44826624 10487 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 10944 10487 566 18 0 10926 0
[pid=8523] vsize: 43776
Current children cumulated CPU time (s) 179.45
Current children cumulated vsize (Kb) 43776

[startup+190.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 11199 0 0 0 18890 52 0 0 25 0 1 0 1859437730 47427584 11131 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 11579 11131 566 18 0 11561 0
[pid=8523] vsize: 46316
Current children cumulated CPU time (s) 189.42
Current children cumulated vsize (Kb) 46316

[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 11522 0 0 0 19883 54 0 0 25 0 1 0 1859437730 48689152 11454 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 11887 11454 566 18 0 11869 0
[pid=8523] vsize: 47548
Current children cumulated CPU time (s) 199.37
Current children cumulated vsize (Kb) 47548

[startup+210.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 12017 0 0 0 20879 56 0 0 25 0 1 0 1859437730 50733056 11949 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 12386 11949 566 18 0 12368 0
[pid=8523] vsize: 49544
Current children cumulated CPU time (s) 209.35
Current children cumulated vsize (Kb) 49544

[startup+220.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 12422 0 0 0 21875 58 0 0 25 0 1 0 1859437730 52432896 12354 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 12801 12354 566 18 0 12783 0
[pid=8523] vsize: 51204
Current children cumulated CPU time (s) 219.33
Current children cumulated vsize (Kb) 51204

[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 12614 0 0 0 22874 59 0 0 25 0 1 0 1859437730 53211136 12546 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 12991 12546 566 18 0 12973 0
[pid=8523] vsize: 51964
Current children cumulated CPU time (s) 229.33
Current children cumulated vsize (Kb) 51964

[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 13006 0 0 0 23870 61 0 0 25 0 1 0 1859437730 54820864 12938 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 13384 12938 566 18 0 13366 0
[pid=8523] vsize: 53536
Current children cumulated CPU time (s) 239.31
Current children cumulated vsize (Kb) 53536

[startup+250.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 13303 0 0 0 24869 62 0 0 25 0 1 0 1859437730 56000512 13235 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 13672 13235 566 18 0 13654 0
[pid=8523] vsize: 54688
Current children cumulated CPU time (s) 249.31
Current children cumulated vsize (Kb) 54688

[startup+260.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 13586 0 0 0 25868 62 0 0 25 0 1 0 1859437730 57122816 13518 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 13946 13518 566 18 0 13928 0
[pid=8523] vsize: 55784
Current children cumulated CPU time (s) 259.3
Current children cumulated vsize (Kb) 55784

[startup+270.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8527
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 13946 0 0 0 26866 63 0 0 25 0 1 0 1859437730 58634240 13878 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 14315 13878 566 18 0 14297 0
[pid=8523] vsize: 57260
Current children cumulated CPU time (s) 269.29
Current children cumulated vsize (Kb) 57260

[startup+280.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 14164 0 0 0 27863 65 0 0 25 0 1 0 1859437730 59490304 14096 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 14524 14096 566 18 0 14506 0
[pid=8523] vsize: 58096
Current children cumulated CPU time (s) 279.28
Current children cumulated vsize (Kb) 58096

[startup+290.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 14573 0 0 0 28861 66 0 0 25 0 1 0 1859437730 61198336 14505 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 14941 14505 566 18 0 14923 0
[pid=8523] vsize: 59764
Current children cumulated CPU time (s) 289.27
Current children cumulated vsize (Kb) 59764

[startup+300.017 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 14831 0 0 0 29859 67 0 0 25 0 1 0 1859437730 62291968 14763 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 15208 14763 566 18 0 15190 0
[pid=8523] vsize: 60832
Current children cumulated CPU time (s) 299.26
Current children cumulated vsize (Kb) 60832

[startup+310.018 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 15138 0 0 0 30858 68 0 0 25 0 1 0 1859437730 63594496 15070 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 15526 15070 566 18 0 15508 0
[pid=8523] vsize: 62104
Current children cumulated CPU time (s) 309.26
Current children cumulated vsize (Kb) 62104

[startup+320.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 15478 0 0 0 31856 69 0 0 25 0 1 0 1859437730 64897024 15410 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 15844 15410 566 18 0 15826 0
[pid=8523] vsize: 63376
Current children cumulated CPU time (s) 319.25
Current children cumulated vsize (Kb) 63376

[startup+330.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 15666 0 0 0 32855 70 0 0 25 0 1 0 1859437730 65724416 15598 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 16046 15598 566 18 0 16028 0
[pid=8523] vsize: 64184
Current children cumulated CPU time (s) 329.25
Current children cumulated vsize (Kb) 64184

[startup+340.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 16101 0 0 0 33853 71 0 0 25 0 1 0 1859437730 67477504 16033 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 16474 16033 566 18 0 16456 0
[pid=8523] vsize: 65896
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (Kb) 65896

[startup+350.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 16426 0 0 0 34851 72 0 0 25 0 1 0 1859437730 68800512 16358 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 16797 16358 566 18 0 16779 0
[pid=8523] vsize: 67188
Current children cumulated CPU time (s) 349.23
Current children cumulated vsize (Kb) 67188

[startup+360.019 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 16764 0 0 0 35849 72 0 0 25 0 1 0 1859437730 70225920 16696 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 17145 16696 566 18 0 17127 0
[pid=8523] vsize: 68580
Current children cumulated CPU time (s) 359.21
Current children cumulated vsize (Kb) 68580

[startup+370.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 17046 0 0 0 36848 73 0 0 25 0 1 0 1859437730 71397376 16978 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 17431 16978 566 18 0 17413 0
[pid=8523] vsize: 69724
Current children cumulated CPU time (s) 369.21
Current children cumulated vsize (Kb) 69724

[startup+380.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 17370 0 0 0 37846 74 0 0 25 0 1 0 1859437730 72658944 17302 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 17739 17302 566 18 0 17721 0
[pid=8523] vsize: 70956
Current children cumulated CPU time (s) 379.2
Current children cumulated vsize (Kb) 70956

[startup+390.02 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 17725 0 0 0 38844 75 0 0 25 0 1 0 1859437730 74186752 17657 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 18112 17657 566 18 0 18094 0
[pid=8523] vsize: 72448
Current children cumulated CPU time (s) 389.19
Current children cumulated vsize (Kb) 72448

[startup+400.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 17992 0 0 0 39842 76 0 0 25 0 1 0 1859437730 75317248 17924 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 18388 17924 566 18 0 18370 0
[pid=8523] vsize: 73552
Current children cumulated CPU time (s) 399.18
Current children cumulated vsize (Kb) 73552

[startup+410.021 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 18354 0 0 0 40840 77 0 0 25 0 1 0 1859437730 76726272 18286 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 18732 18286 566 18 0 18714 0
[pid=8523] vsize: 74928
Current children cumulated CPU time (s) 409.17
Current children cumulated vsize (Kb) 74928

[startup+420.022 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 18733 0 0 0 41837 79 0 0 25 0 1 0 1859437730 78266368 18665 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 19108 18665 566 18 0 19090 0
[pid=8523] vsize: 76432
Current children cumulated CPU time (s) 419.16
Current children cumulated vsize (Kb) 76432

[startup+430.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 18943 0 0 0 42837 80 0 0 25 0 1 0 1859437730 79130624 18875 4294967295 134512640 134578447 3221224624 3221222672 134532483 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 19319 18875 566 18 0 19301 0
[pid=8523] vsize: 77276
Current children cumulated CPU time (s) 429.17
Current children cumulated vsize (Kb) 77276

[startup+440.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 19137 0 0 0 43835 80 0 0 25 0 1 0 1859437730 79945728 19069 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 19518 19069 566 18 0 19500 0
[pid=8523] vsize: 78072
Current children cumulated CPU time (s) 439.15
Current children cumulated vsize (Kb) 78072

[startup+450.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 19551 0 0 0 44832 82 0 0 25 0 1 0 1859437730 81629184 19483 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 19929 19483 566 18 0 19911 0
[pid=8523] vsize: 79716
Current children cumulated CPU time (s) 449.14
Current children cumulated vsize (Kb) 79716

[startup+460.024 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 19889 0 0 0 45826 86 0 0 25 0 1 0 1859437730 83042304 19821 4294967295 134512640 134578447 3221224624 3221222384 134532499 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 20274 19821 566 18 0 20256 0
[pid=8523] vsize: 81096
Current children cumulated CPU time (s) 459.12
Current children cumulated vsize (Kb) 81096

[startup+470.025 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 20212 0 0 0 46824 86 0 0 25 0 1 0 1859437730 84275200 20144 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 20575 20144 566 18 0 20557 0
[pid=8523] vsize: 82300
Current children cumulated CPU time (s) 469.1
Current children cumulated vsize (Kb) 82300

[startup+480.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 20493 0 0 0 47822 88 0 0 25 0 1 0 1859437730 85549056 20425 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 20886 20425 566 18 0 20868 0
[pid=8523] vsize: 83544
Current children cumulated CPU time (s) 479.1
Current children cumulated vsize (Kb) 83544

[startup+490.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 20732 0 0 0 48822 88 0 0 25 0 1 0 1859437730 86413312 20664 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 21097 20664 566 18 0 21079 0
[pid=8523] vsize: 84388
Current children cumulated CPU time (s) 489.1
Current children cumulated vsize (Kb) 84388

[startup+500.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 20981 0 0 0 49820 89 0 0 25 0 1 0 1859437730 87552000 20913 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 21375 20913 566 18 0 21357 0
[pid=8523] vsize: 85500
Current children cumulated CPU time (s) 499.09
Current children cumulated vsize (Kb) 85500

[startup+510.026 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 21326 0 0 0 50817 91 0 0 25 0 1 0 1859437730 88965120 21258 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 21720 21258 566 18 0 21702 0
[pid=8523] vsize: 86880
Current children cumulated CPU time (s) 509.08
Current children cumulated vsize (Kb) 86880

[startup+520.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 21709 0 0 0 51815 92 0 0 25 0 1 0 1859437730 90537984 21641 4294967295 134512640 134578447 3221224624 3221220704 134533051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 22104 21641 566 18 0 22086 0
[pid=8523] vsize: 88416
Current children cumulated CPU time (s) 519.07
Current children cumulated vsize (Kb) 88416

[startup+530.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 22069 0 0 0 52813 93 0 0 25 0 1 0 1859437730 91910144 22001 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 22439 22001 566 18 0 22421 0
[pid=8523] vsize: 89756
Current children cumulated CPU time (s) 529.06
Current children cumulated vsize (Kb) 89756

[startup+540.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 22454 0 0 0 53810 95 0 0 25 0 1 0 1859437730 93483008 22386 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 22823 22386 566 18 0 22805 0
[pid=8523] vsize: 91292
Current children cumulated CPU time (s) 539.05
Current children cumulated vsize (Kb) 91292

[startup+550.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 22765 0 0 0 54807 96 0 0 25 0 1 0 1859437730 94822400 22697 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 23150 22697 566 18 0 23132 0
[pid=8523] vsize: 92600
Current children cumulated CPU time (s) 549.03
Current children cumulated vsize (Kb) 92600

[startup+560.027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 23078 0 0 0 55804 97 0 0 25 0 1 0 1859437730 96096256 23010 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 23461 23010 566 18 0 23443 0
[pid=8523] vsize: 93844
Current children cumulated CPU time (s) 559.01
Current children cumulated vsize (Kb) 93844

[startup+570.028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 23514 0 0 0 56801 99 0 0 25 0 1 0 1859437730 97939456 23446 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 23911 23446 566 18 0 23893 0
[pid=8523] vsize: 95644
Current children cumulated CPU time (s) 569
Current children cumulated vsize (Kb) 95644

[startup+580.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 24055 0 0 0 57798 101 0 0 25 0 1 0 1859437730 100057088 23987 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 24428 23987 566 18 0 24410 0
[pid=8523] vsize: 97712
Current children cumulated CPU time (s) 578.99
Current children cumulated vsize (Kb) 97712

[startup+590.029 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 24367 0 0 0 58795 102 0 0 25 0 1 0 1859437730 101490688 24299 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 24778 24299 566 18 0 24760 0
[pid=8523] vsize: 99112
Current children cumulated CPU time (s) 588.97
Current children cumulated vsize (Kb) 99112

[startup+600.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 24893 0 0 0 59792 103 0 0 25 0 1 0 1859437730 103616512 24825 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 25297 24825 566 18 0 25279 0
[pid=8523] vsize: 101188
Current children cumulated CPU time (s) 598.95
Current children cumulated vsize (Kb) 101188

[startup+610.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 25272 0 0 0 60789 105 0 0 25 0 1 0 1859437730 105152512 25204 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 25672 25204 566 18 0 25654 0
[pid=8523] vsize: 102688
Current children cumulated CPU time (s) 608.94
Current children cumulated vsize (Kb) 102688

[startup+620.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 25554 0 0 0 61788 106 0 0 25 0 1 0 1859437730 106246144 25486 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 25939 25486 566 18 0 25921 0
[pid=8523] vsize: 103756
Current children cumulated CPU time (s) 618.94
Current children cumulated vsize (Kb) 103756

[startup+630.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 26134 0 0 0 62780 110 0 0 25 0 1 0 1859437730 108625920 26066 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 26520 26066 566 18 0 26502 0
[pid=8523] vsize: 106080
Current children cumulated CPU time (s) 628.9
Current children cumulated vsize (Kb) 106080

[startup+640.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 26527 0 0 0 63777 112 0 0 25 0 1 0 1859437730 110288896 26459 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 26926 26459 566 18 0 26908 0
[pid=8523] vsize: 107704
Current children cumulated CPU time (s) 638.89
Current children cumulated vsize (Kb) 107704

[startup+650.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 26803 0 0 0 64775 113 0 0 25 0 1 0 1859437730 111403008 26735 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 27198 26735 566 18 0 27180 0
[pid=8523] vsize: 108792
Current children cumulated CPU time (s) 648.88
Current children cumulated vsize (Kb) 108792

[startup+660.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 27092 0 0 0 65774 114 0 0 25 0 1 0 1859437730 112500736 27024 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 27466 27024 566 18 0 27448 0
[pid=8523] vsize: 109864
Current children cumulated CPU time (s) 658.88
Current children cumulated vsize (Kb) 109864

[startup+670.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 27356 0 0 0 66772 115 0 0 25 0 1 0 1859437730 113631232 27288 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 27742 27288 566 18 0 27724 0
[pid=8523] vsize: 110968
Current children cumulated CPU time (s) 668.87
Current children cumulated vsize (Kb) 110968

[startup+680.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 27676 0 0 0 67770 116 0 0 25 0 1 0 1859437730 115048448 27608 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 28088 27608 566 18 0 28070 0
[pid=8523] vsize: 112352
Current children cumulated CPU time (s) 678.86
Current children cumulated vsize (Kb) 112352

[startup+690.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 28013 0 0 0 68768 117 0 0 25 0 1 0 1859437730 116330496 27945 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 28401 27945 566 18 0 28383 0
[pid=8523] vsize: 113604
Current children cumulated CPU time (s) 688.85
Current children cumulated vsize (Kb) 113604

[startup+700.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 28209 0 0 0 69766 118 0 0 25 0 1 0 1859437730 117268480 28141 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 28630 28141 566 18 0 28612 0
[pid=8523] vsize: 114520
Current children cumulated CPU time (s) 698.84
Current children cumulated vsize (Kb) 114520

[startup+710.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 28463 0 0 0 70763 120 0 0 25 0 1 0 1859437730 118280192 28395 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 28877 28395 566 18 0 28859 0
[pid=8523] vsize: 115508
Current children cumulated CPU time (s) 708.83
Current children cumulated vsize (Kb) 115508

[startup+720.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 28854 0 0 0 71762 121 0 0 25 0 1 0 1859437730 119857152 28786 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 29262 28786 566 18 0 29244 0
[pid=8523] vsize: 117048
Current children cumulated CPU time (s) 718.83
Current children cumulated vsize (Kb) 117048

[startup+730.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 29090 0 0 0 72760 121 0 0 25 0 1 0 1859437730 120877056 29022 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 29511 29022 566 18 0 29493 0
[pid=8523] vsize: 118044
Current children cumulated CPU time (s) 728.81
Current children cumulated vsize (Kb) 118044

[startup+740.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 29120 0 0 0 73759 122 0 0 25 0 1 0 1859437730 120877056 29052 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 29511 29052 566 18 0 29493 0
[pid=8523] vsize: 118044
Current children cumulated CPU time (s) 738.81
Current children cumulated vsize (Kb) 118044

[startup+750.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 29427 0 0 0 74757 123 0 0 25 0 1 0 1859437730 122155008 29359 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 29823 29359 566 18 0 29805 0
[pid=8523] vsize: 119292
Current children cumulated CPU time (s) 748.8
Current children cumulated vsize (Kb) 119292

[startup+760.037 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 29604 0 0 0 75756 124 0 0 25 0 1 0 1859437730 122855424 29536 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 29994 29536 566 18 0 29976 0
[pid=8523] vsize: 119976
Current children cumulated CPU time (s) 758.8
Current children cumulated vsize (Kb) 119976

[startup+770.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 29894 0 0 0 76754 124 0 0 25 0 1 0 1859437730 124088320 29826 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 30295 29826 566 18 0 30277 0
[pid=8523] vsize: 121180
Current children cumulated CPU time (s) 768.78
Current children cumulated vsize (Kb) 121180

[startup+780.037 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 30157 0 0 0 77753 125 0 0 25 0 1 0 1859437730 125235200 30089 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 30575 30089 566 18 0 30557 0
[pid=8523] vsize: 122300
Current children cumulated CPU time (s) 778.78
Current children cumulated vsize (Kb) 122300

[startup+790.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 30386 0 0 0 78751 126 0 0 25 0 1 0 1859437730 126083072 30318 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 30782 30318 566 18 0 30764 0
[pid=8523] vsize: 123128
Current children cumulated CPU time (s) 788.77
Current children cumulated vsize (Kb) 123128

[startup+800.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 30611 0 0 0 79749 127 0 0 25 0 1 0 1859437730 127082496 30543 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 31026 30543 566 18 0 31008 0
[pid=8523] vsize: 124104
Current children cumulated CPU time (s) 798.76
Current children cumulated vsize (Kb) 124104

[startup+810.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 30885 0 0 0 80748 128 0 0 25 0 1 0 1859437730 128196608 30817 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 31298 30817 566 18 0 31280 0
[pid=8523] vsize: 125192
Current children cumulated CPU time (s) 808.76
Current children cumulated vsize (Kb) 125192

[startup+820.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 31003 0 0 0 81747 129 0 0 25 0 1 0 1859437730 128630784 30935 4294967295 134512640 134578447 3221224624 3221223520 134519738 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 31404 30935 566 18 0 31386 0
[pid=8523] vsize: 125616
Current children cumulated CPU time (s) 818.76
Current children cumulated vsize (Kb) 125616

[startup+830.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 31218 0 0 0 82746 129 0 0 25 0 1 0 1859437730 129486848 31150 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 31613 31150 566 18 0 31595 0
[pid=8523] vsize: 126452
Current children cumulated CPU time (s) 828.75
Current children cumulated vsize (Kb) 126452

[startup+840.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 31425 0 0 0 83745 129 0 0 25 0 1 0 1859437730 130449408 31357 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 31848 31357 566 18 0 31830 0
[pid=8523] vsize: 127392
Current children cumulated CPU time (s) 838.74
Current children cumulated vsize (Kb) 127392

[startup+850.041 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 31590 0 0 0 84744 131 0 0 25 0 1 0 1859437730 131026944 31522 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 31989 31522 566 18 0 31971 0
[pid=8523] vsize: 127956
Current children cumulated CPU time (s) 848.75
Current children cumulated vsize (Kb) 127956

[startup+860.041 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 31731 0 0 0 85743 131 0 0 25 0 1 0 1859437730 131678208 31663 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 32148 31663 566 18 0 32130 0
[pid=8523] vsize: 128592
Current children cumulated CPU time (s) 858.74
Current children cumulated vsize (Kb) 128592

[startup+870.042 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 32017 0 0 0 86741 132 0 0 25 0 1 0 1859437730 132878336 31949 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 32441 31949 566 18 0 32423 0
[pid=8523] vsize: 129764
Current children cumulated CPU time (s) 868.73
Current children cumulated vsize (Kb) 129764

[startup+880.043 s]
Raw data (loadavg): 0.99 1.00 0.96 1/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) T 8522 8523 28974 0 -1 0 32264 0 0 0 87738 134 0 0 25 0 1 0 1859437730 133763072 32196 4294967295 134512640 134578447 3221224624 3221223232 1075693979 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/8523/statm): 32657 32196 566 18 0 32639 0
[pid=8523] vsize: 130628
Current children cumulated CPU time (s) 878.72
Current children cumulated vsize (Kb) 130628

[startup+890.042 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 32527 0 0 0 88736 135 0 0 25 0 1 0 1859437730 134914048 32459 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 32938 32459 566 18 0 32920 0
[pid=8523] vsize: 131752
Current children cumulated CPU time (s) 888.71
Current children cumulated vsize (Kb) 131752

[startup+900.043 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 32789 0 0 0 89734 136 0 0 25 0 1 0 1859437730 135938048 32721 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 33188 32721 566 18 0 33170 0
[pid=8523] vsize: 132752
Current children cumulated CPU time (s) 898.7
Current children cumulated vsize (Kb) 132752

[startup+910.044 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 33065 0 0 0 90731 138 0 0 25 0 1 0 1859437730 137076736 32997 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 33466 32997 566 18 0 33448 0
[pid=8523] vsize: 133864
Current children cumulated CPU time (s) 908.69
Current children cumulated vsize (Kb) 133864

[startup+920.045 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 33313 0 0 0 91728 139 0 0 25 0 1 0 1859437730 138158080 33245 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 33730 33245 566 18 0 33712 0
[pid=8523] vsize: 134920
Current children cumulated CPU time (s) 918.67
Current children cumulated vsize (Kb) 134920

[startup+930.046 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 33706 0 0 0 92727 140 0 0 25 0 1 0 1859437730 139710464 33638 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 34109 33638 566 18 0 34091 0
[pid=8523] vsize: 136436
Current children cumulated CPU time (s) 928.67
Current children cumulated vsize (Kb) 136436

[startup+940.046 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 33849 0 0 0 93725 141 0 0 25 0 1 0 1859437730 140259328 33781 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 34243 33781 566 18 0 34225 0
[pid=8523] vsize: 136972
Current children cumulated CPU time (s) 938.66
Current children cumulated vsize (Kb) 136972

[startup+950.046 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 34166 0 0 0 94724 142 0 0 25 0 1 0 1859437730 141615104 34098 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 34574 34098 566 18 0 34556 0
[pid=8523] vsize: 138296
Current children cumulated CPU time (s) 948.66
Current children cumulated vsize (Kb) 138296

[startup+960.047 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 34311 0 0 0 95721 143 0 0 25 0 1 0 1859437730 142151680 34243 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 34705 34243 566 18 0 34687 0
[pid=8523] vsize: 138820
Current children cumulated CPU time (s) 958.64
Current children cumulated vsize (Kb) 138820

[startup+970.048 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 34744 0 0 0 96714 147 0 0 25 0 1 0 1859437730 143933440 34676 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 35140 34676 566 18 0 35122 0
[pid=8523] vsize: 140560
Current children cumulated CPU time (s) 968.61
Current children cumulated vsize (Kb) 140560

[startup+980.049 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 35054 0 0 0 97711 148 0 0 25 0 1 0 1859437730 145313792 34986 4294967295 134512640 134578447 3221224624 3221223584 134559020 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 35477 34986 566 18 0 35459 0
[pid=8523] vsize: 141908
Current children cumulated CPU time (s) 978.59
Current children cumulated vsize (Kb) 141908

[startup+990.049 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 35055 0 0 0 98710 149 0 0 25 0 1 0 1859437730 145313792 34987 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 35477 34987 566 18 0 35459 0
[pid=8523] vsize: 141908
Current children cumulated CPU time (s) 988.59
Current children cumulated vsize (Kb) 141908

[startup+1000.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 35318 0 0 0 99709 150 0 0 25 0 1 0 1859437730 146300928 35250 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 35718 35250 566 18 0 35700 0
[pid=8523] vsize: 142872
Current children cumulated CPU time (s) 998.59
Current children cumulated vsize (Kb) 142872

[startup+1010.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 35662 0 0 0 100707 151 0 0 25 0 1 0 1859437730 147795968 35594 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 36083 35594 566 18 0 36065 0
[pid=8523] vsize: 144332
Current children cumulated CPU time (s) 1008.58
Current children cumulated vsize (Kb) 144332

[startup+1020.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 35675 0 0 0 101706 152 0 0 25 0 1 0 1859437730 147795968 35607 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 36083 35607 566 18 0 36065 0
[pid=8523] vsize: 144332
Current children cumulated CPU time (s) 1018.58
Current children cumulated vsize (Kb) 144332

[startup+1030.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 35864 0 0 0 102705 152 0 0 25 0 1 0 1859437730 148619264 35796 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 36284 35796 566 18 0 36266 0
[pid=8523] vsize: 145136
Current children cumulated CPU time (s) 1028.57
Current children cumulated vsize (Kb) 145136

[startup+1040.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 36290 0 0 0 103702 154 0 0 25 0 1 0 1859437730 150298624 36222 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 36694 36222 566 18 0 36676 0
[pid=8523] vsize: 146776
Current children cumulated CPU time (s) 1038.56
Current children cumulated vsize (Kb) 146776

[startup+1050.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 36424 0 0 0 104701 155 0 0 25 0 1 0 1859437730 150835200 36356 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 36825 36356 566 18 0 36807 0
[pid=8523] vsize: 147300
Current children cumulated CPU time (s) 1048.56
Current children cumulated vsize (Kb) 147300

[startup+1060.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 36691 0 0 0 105699 155 0 0 25 0 1 0 1859437730 151900160 36623 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 37085 36623 566 18 0 37067 0
[pid=8523] vsize: 148340
Current children cumulated CPU time (s) 1058.54
Current children cumulated vsize (Kb) 148340

[startup+1070.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 37095 0 0 0 106697 157 0 0 25 0 1 0 1859437730 153657344 37027 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 37514 37027 566 18 0 37496 0
[pid=8523] vsize: 150056
Current children cumulated CPU time (s) 1068.54
Current children cumulated vsize (Kb) 150056

[startup+1080.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 37143 0 0 0 107696 157 0 0 25 0 1 0 1859437730 153817088 37075 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 37553 37075 566 18 0 37535 0
[pid=8523] vsize: 150212
Current children cumulated CPU time (s) 1078.53
Current children cumulated vsize (Kb) 150212

[startup+1090.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 37714 0 0 0 108692 160 0 0 25 0 1 0 1859437730 156180480 37646 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 38130 37646 566 18 0 38112 0
[pid=8523] vsize: 152520
Current children cumulated CPU time (s) 1088.52
Current children cumulated vsize (Kb) 152520

[startup+1100.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 38002 0 0 0 109690 161 0 0 25 0 1 0 1859437730 157356032 37934 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 38417 37934 566 18 0 38399 0
[pid=8523] vsize: 153668
Current children cumulated CPU time (s) 1098.51
Current children cumulated vsize (Kb) 153668

[startup+1110.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 38302 0 0 0 110688 162 0 0 25 0 1 0 1859437730 158633984 38234 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 38729 38234 566 18 0 38711 0
[pid=8523] vsize: 154916
Current children cumulated CPU time (s) 1108.5
Current children cumulated vsize (Kb) 154916

[startup+1120.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 38489 0 0 0 111686 163 0 0 25 0 1 0 1859437730 159412224 38421 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8523/statm): 38919 38421 566 18 0 38901 0
[pid=8523] vsize: 155676
Current children cumulated CPU time (s) 1118.49
Current children cumulated vsize (Kb) 155676

[startup+1130.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 38969 0 0 0 112683 165 0 0 25 0 1 0 1859437730 161374208 38901 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 39398 38901 566 18 0 39380 0
[pid=8523] vsize: 157592
Current children cumulated CPU time (s) 1128.48
Current children cumulated vsize (Kb) 157592

[startup+1140.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 39163 0 0 0 113681 166 0 0 25 0 1 0 1859437730 162078720 39095 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 39570 39095 566 18 0 39552 0
[pid=8523] vsize: 158280
Current children cumulated CPU time (s) 1138.47
Current children cumulated vsize (Kb) 158280

[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 39694 0 0 0 114678 168 0 0 25 0 1 0 1859437730 164241408 39626 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 40098 39626 566 18 0 40080 0
[pid=8523] vsize: 160392
Current children cumulated CPU time (s) 1148.46
Current children cumulated vsize (Kb) 160392

[startup+1160.05 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 39949 0 0 0 115676 169 0 0 25 0 1 0 1859437730 165359616 39881 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 40371 39881 566 18 0 40353 0
[pid=8523] vsize: 161484
Current children cumulated CPU time (s) 1158.45
Current children cumulated vsize (Kb) 161484

[startup+1170.06 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 40493 0 0 0 116672 171 0 0 25 0 1 0 1859437730 167510016 40425 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 40896 40425 566 18 0 40878 0
[pid=8523] vsize: 163584
Current children cumulated CPU time (s) 1168.43
Current children cumulated vsize (Kb) 163584

[startup+1180.06 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 40814 0 0 0 117670 172 0 0 25 0 1 0 1859437730 168935424 40746 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 41244 40746 566 18 0 41226 0
[pid=8523] vsize: 164976
Current children cumulated CPU time (s) 1178.42
Current children cumulated vsize (Kb) 164976

[startup+1190.06 s]
Raw data (loadavg): 0.99 1.00 0.96 2/56 8529
Raw data (/proc/8523/stat): 8523 (Pueblo) R 8522 8523 28974 0 -1 0 41144 0 0 0 118667 174 0 0 25 0 1 0 1859437730 170360832 41076 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8523/statm): 41592 41076 566 18 0 41574 0
[pid=8523] vsize: 166368
Current children cumulated CPU time (s) 1188.41
Current children cumulated vsize (Kb) 166368
One traced child (pid=8523) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1190.97
CPU time (s): 1189.33
CPU user time (s): 1187.51
CPU system time (s): 1.81772
CPU usage (%): 99.8622
Max. virtual memory (cumulated for all children) (Kb): 166368

Verifier Data

Verifier:	OK	-7