Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb |
MD5SUM | 42c2d619b73aa24781f1b54bddde28cc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
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 | 1534 |
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 | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1202.47 |
Number of variables | 1534 |
Total number of constraints | 126555 |
Number of constraints which are clauses | 126555 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
LAUNCH ON wulflinc24 THE 2005-09-20 15:02:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5064 boxname=wulflinc24 idbench=376 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 42c2d619b73aa24781f1b54bddde28cc /oldhome/oroussel/tmp/wulflinc24/normalized-frb59-26-1.opb REAL COMMAND: Pueblo IDLAUNCH: 5064 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 846248 kB Buffers: 30588 kB Cached: 129548 kB SwapCached: 820 kB Active: 54744 kB Inactive: 108108 kB HighTotal: 131008 kB HighFree: 12516 kB LowTotal: 903652 kB LowFree: 833732 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5752 kB Slab: 19852 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 15:22:32 (client local time) WITH STATUS 10 IN 1189.74 SECONDS stats: 5064 0 1189.74 10
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: 1534 - #constraints read: 126556 c total time : 1189.65 s s SATISFIABLE v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -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
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/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1859464655 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18107/statm): 41 3 40 18 0 23 0 [pid=18107] 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.0027 s] Raw data (loadavg): 0.93 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 4771 0 0 0 978 15 0 0 25 0 1 0 1859464655 21143552 4737 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18107/statm): 5162 4737 566 18 0 5144 0 [pid=18107] vsize: 20648 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 20648 [startup+20.0034 s] Raw data (loadavg): 0.94 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5005 0 0 0 1963 20 0 0 23 0 1 0 1859464655 22069248 4971 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 5388 4971 566 18 0 5370 0 [pid=18107] vsize: 21552 Current children cumulated CPU time (s) 19.83 Current children cumulated vsize (Kb) 21552 [startup+30.0041 s] Raw data (loadavg): 0.95 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5072 0 0 0 2962 20 0 0 25 0 1 0 1859464655 22130688 5003 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 5403 5003 566 18 0 5385 0 [pid=18107] vsize: 21612 Current children cumulated CPU time (s) 29.82 Current children cumulated vsize (Kb) 21612 [startup+40.0048 s] Raw data (loadavg): 0.96 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5145 0 0 0 3953 23 0 0 25 0 1 0 1859464655 22437888 5076 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 5478 5076 566 18 0 5460 0 [pid=18107] vsize: 21912 Current children cumulated CPU time (s) 39.76 Current children cumulated vsize (Kb) 21912 [startup+50.0055 s] Raw data (loadavg): 0.97 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5188 0 0 0 4944 26 0 0 25 0 1 0 1859464655 22589440 5083 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18107/statm): 5515 5083 566 18 0 5497 0 [pid=18107] vsize: 22060 Current children cumulated CPU time (s) 49.7 Current children cumulated vsize (Kb) 22060 [startup+60.0052 s] Raw data (loadavg): 0.97 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5444 0 0 0 5936 29 0 0 25 0 1 0 1859464655 23592960 5339 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 5760 5339 566 18 0 5742 0 [pid=18107] vsize: 23040 Current children cumulated CPU time (s) 59.65 Current children cumulated vsize (Kb) 23040 [startup+70.0059 s] Raw data (loadavg): 0.97 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5764 0 0 0 6935 30 0 0 25 0 1 0 1859464655 24870912 5659 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 6072 5659 566 18 0 6054 0 [pid=18107] vsize: 24288 Current children cumulated CPU time (s) 69.65 Current children cumulated vsize (Kb) 24288 [startup+80.0066 s] Raw data (loadavg): 0.98 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 5909 0 0 0 7934 31 0 0 25 0 1 0 1859464655 25432064 5804 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 6209 5804 566 18 0 6191 0 [pid=18107] vsize: 24836 Current children cumulated CPU time (s) 79.65 Current children cumulated vsize (Kb) 24836 [startup+90.0073 s] Raw data (loadavg): 0.98 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 6110 0 0 0 8933 31 0 0 25 0 1 0 1859464655 26320896 6005 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 6426 6005 566 18 0 6408 0 [pid=18107] vsize: 25704 Current children cumulated CPU time (s) 89.64 Current children cumulated vsize (Kb) 25704 [startup+100.007 s] Raw data (loadavg): 0.98 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 6387 0 0 0 9931 32 0 0 25 0 1 0 1859464655 27463680 6282 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 6705 6282 566 18 0 6687 0 [pid=18107] vsize: 26820 Current children cumulated CPU time (s) 99.63 Current children cumulated vsize (Kb) 26820 [startup+110.008 s] Raw data (loadavg): 0.98 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 6643 0 0 0 10926 34 0 0 25 0 1 0 1859464655 28446720 6538 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 6945 6538 566 18 0 6927 0 [pid=18107] vsize: 27780 Current children cumulated CPU time (s) 109.6 Current children cumulated vsize (Kb) 27780 [startup+120.015 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 6910 0 0 0 11925 36 0 0 25 0 1 0 1859464655 29614080 6805 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 7230 6805 566 18 0 7212 0 [pid=18107] vsize: 28920 Current children cumulated CPU time (s) 119.61 Current children cumulated vsize (Kb) 28920 [startup+130.015 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 7112 0 0 0 12924 36 0 0 25 0 1 0 1859464655 30470144 7007 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 7439 7007 566 18 0 7421 0 [pid=18107] vsize: 29756 Current children cumulated CPU time (s) 129.6 Current children cumulated vsize (Kb) 29756 [startup+140.016 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 7335 0 0 0 13923 37 0 0 25 0 1 0 1859464655 31330304 7230 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 7649 7230 566 18 0 7631 0 [pid=18107] vsize: 30596 Current children cumulated CPU time (s) 139.6 Current children cumulated vsize (Kb) 30596 [startup+150.016 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 7542 0 0 0 14922 38 0 0 25 0 1 0 1859464655 32202752 7437 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 7862 7437 566 18 0 7844 0 [pid=18107] vsize: 31448 Current children cumulated CPU time (s) 149.6 Current children cumulated vsize (Kb) 31448 [startup+160.016 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 7825 0 0 0 15920 39 0 0 25 0 1 0 1859464655 33337344 7720 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 8139 7720 566 18 0 8121 0 [pid=18107] vsize: 32556 Current children cumulated CPU time (s) 159.59 Current children cumulated vsize (Kb) 32556 [startup+170.017 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18107 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 8095 0 0 0 16918 40 0 0 25 0 1 0 1859464655 34402304 7990 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 8399 7990 566 18 0 8381 0 [pid=18107] vsize: 33596 Current children cumulated CPU time (s) 169.58 Current children cumulated vsize (Kb) 33596 [startup+180.017 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 8456 0 0 0 17917 41 0 0 25 0 1 0 1859464655 35979264 8351 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 8784 8351 566 18 0 8766 0 [pid=18107] vsize: 35136 Current children cumulated CPU time (s) 179.58 Current children cumulated vsize (Kb) 35136 [startup+190.017 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 8661 0 0 0 18909 43 0 0 25 0 1 0 1859464655 36818944 8556 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 8989 8556 566 18 0 8971 0 [pid=18107] vsize: 35956 Current children cumulated CPU time (s) 189.52 Current children cumulated vsize (Kb) 35956 [startup+200.018 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 9012 0 0 0 19907 45 0 0 25 0 1 0 1859464655 38256640 8907 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 9340 8907 566 18 0 9322 0 [pid=18107] vsize: 37360 Current children cumulated CPU time (s) 199.52 Current children cumulated vsize (Kb) 37360 [startup+210.018 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 9203 0 0 0 20905 45 0 0 25 0 1 0 1859464655 38944768 9098 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 9508 9098 566 18 0 9490 0 [pid=18107] vsize: 38032 Current children cumulated CPU time (s) 209.5 Current children cumulated vsize (Kb) 38032 [startup+220.018 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 9508 0 0 0 21904 47 0 0 25 0 1 0 1859464655 40194048 9403 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 9813 9403 566 18 0 9795 0 [pid=18107] vsize: 39252 Current children cumulated CPU time (s) 219.51 Current children cumulated vsize (Kb) 39252 [startup+230.019 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 9756 0 0 0 22901 48 0 0 25 0 1 0 1859464655 41209856 9651 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 10061 9651 566 18 0 10043 0 [pid=18107] vsize: 40244 Current children cumulated CPU time (s) 229.49 Current children cumulated vsize (Kb) 40244 [startup+240.02 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 10000 0 0 0 23900 49 0 0 25 0 1 0 1859464655 42205184 9895 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 10304 9895 566 18 0 10286 0 [pid=18107] vsize: 41216 Current children cumulated CPU time (s) 239.49 Current children cumulated vsize (Kb) 41216 [startup+250.019 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 10334 0 0 0 24898 50 0 0 25 0 1 0 1859464655 43589632 10229 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 10642 10229 566 18 0 10624 0 [pid=18107] vsize: 42568 Current children cumulated CPU time (s) 249.48 Current children cumulated vsize (Kb) 42568 [startup+260.02 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 10486 0 0 0 25897 51 0 0 25 0 1 0 1859464655 44244992 10381 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 10802 10381 566 18 0 10784 0 [pid=18107] vsize: 43208 Current children cumulated CPU time (s) 259.48 Current children cumulated vsize (Kb) 43208 [startup+270.021 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 10780 0 0 0 26895 52 0 0 25 0 1 0 1859464655 45408256 10675 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 11086 10675 566 18 0 11068 0 [pid=18107] vsize: 44344 Current children cumulated CPU time (s) 269.47 Current children cumulated vsize (Kb) 44344 [startup+280.021 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 11065 0 0 0 27894 53 0 0 25 0 1 0 1859464655 46563328 10960 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 11368 10960 566 18 0 11350 0 [pid=18107] vsize: 45472 Current children cumulated CPU time (s) 279.47 Current children cumulated vsize (Kb) 45472 [startup+290.021 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 11320 0 0 0 28893 53 0 0 25 0 1 0 1859464655 47710208 11215 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 11648 11215 566 18 0 11630 0 [pid=18107] vsize: 46592 Current children cumulated CPU time (s) 289.46 Current children cumulated vsize (Kb) 46592 [startup+300.022 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 11500 0 0 0 29887 55 0 0 25 0 1 0 1859464655 48439296 11395 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 11826 11395 566 18 0 11808 0 [pid=18107] vsize: 47304 Current children cumulated CPU time (s) 299.42 Current children cumulated vsize (Kb) 47304 [startup+310.022 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 11847 0 0 0 30886 56 0 0 25 0 1 0 1859464655 49737728 11742 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 12143 11742 566 18 0 12125 0 [pid=18107] vsize: 48572 Current children cumulated CPU time (s) 309.42 Current children cumulated vsize (Kb) 48572 [startup+320.022 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 12158 0 0 0 31885 57 0 0 25 0 1 0 1859464655 51040256 12053 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 12461 12053 566 18 0 12443 0 [pid=18107] vsize: 49844 Current children cumulated CPU time (s) 319.42 Current children cumulated vsize (Kb) 49844 [startup+330.023 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 12317 0 0 0 32884 57 0 0 25 0 1 0 1859464655 51740672 12212 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 12632 12212 566 18 0 12614 0 [pid=18107] vsize: 50528 Current children cumulated CPU time (s) 329.41 Current children cumulated vsize (Kb) 50528 [startup+340.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 12584 0 0 0 33883 59 0 0 25 0 1 0 1859464655 52862976 12479 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 12906 12479 566 18 0 12888 0 [pid=18107] vsize: 51624 Current children cumulated CPU time (s) 339.42 Current children cumulated vsize (Kb) 51624 [startup+350.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 12767 0 0 0 34882 59 0 0 25 0 1 0 1859464655 53555200 12662 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 13075 12662 566 18 0 13057 0 [pid=18107] vsize: 52300 Current children cumulated CPU time (s) 349.41 Current children cumulated vsize (Kb) 52300 [startup+360.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 13045 0 0 0 35880 60 0 0 25 0 1 0 1859464655 54767616 12940 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 13371 12940 566 18 0 13353 0 [pid=18107] vsize: 53484 Current children cumulated CPU time (s) 359.4 Current children cumulated vsize (Kb) 53484 [startup+370.025 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 13242 0 0 0 36879 61 0 0 25 0 1 0 1859464655 55603200 13137 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 13575 13137 566 18 0 13557 0 [pid=18107] vsize: 54300 Current children cumulated CPU time (s) 369.4 Current children cumulated vsize (Kb) 54300 [startup+380.024 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 13548 0 0 0 37879 61 0 0 25 0 1 0 1859464655 56754176 13443 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 13856 13443 566 18 0 13838 0 [pid=18107] vsize: 55424 Current children cumulated CPU time (s) 379.4 Current children cumulated vsize (Kb) 55424 [startup+390.025 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 13726 0 0 0 38877 61 0 0 25 0 1 0 1859464655 57491456 13621 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 14036 13621 566 18 0 14018 0 [pid=18107] vsize: 56144 Current children cumulated CPU time (s) 389.38 Current children cumulated vsize (Kb) 56144 [startup+400.026 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 14012 0 0 0 39875 62 0 0 25 0 1 0 1859464655 58753024 13907 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 14344 13907 566 18 0 14326 0 [pid=18107] vsize: 57376 Current children cumulated CPU time (s) 399.37 Current children cumulated vsize (Kb) 57376 [startup+410.026 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 14326 0 0 0 40874 63 0 0 25 0 1 0 1859464655 59994112 14221 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 14647 14221 566 18 0 14629 0 [pid=18107] vsize: 58588 Current children cumulated CPU time (s) 409.37 Current children cumulated vsize (Kb) 58588 [startup+420.026 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 14524 0 0 0 41872 64 0 0 25 0 1 0 1859464655 60719104 14419 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 14824 14419 566 18 0 14806 0 [pid=18107] vsize: 59296 Current children cumulated CPU time (s) 419.36 Current children cumulated vsize (Kb) 59296 [startup+430.026 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 14914 0 0 0 42871 65 0 0 25 0 1 0 1859464655 62316544 14809 4294967295 134512640 134578447 3221224624 3221220736 134533081 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 15214 14809 566 18 0 15196 0 [pid=18107] vsize: 60856 Current children cumulated CPU time (s) 429.36 Current children cumulated vsize (Kb) 60856 [startup+440.027 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 15126 0 0 0 43869 65 0 0 25 0 1 0 1859464655 63315968 15021 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 15458 15021 566 18 0 15440 0 [pid=18107] vsize: 61832 Current children cumulated CPU time (s) 439.34 Current children cumulated vsize (Kb) 61832 [startup+450.027 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 15397 0 0 0 44868 66 0 0 25 0 1 0 1859464655 64425984 15292 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 15729 15292 566 18 0 15711 0 [pid=18107] vsize: 62916 Current children cumulated CPU time (s) 449.34 Current children cumulated vsize (Kb) 62916 [startup+460.027 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 15776 0 0 0 45866 67 0 0 25 0 1 0 1859464655 65847296 15671 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 16076 15671 566 18 0 16058 0 [pid=18107] vsize: 64304 Current children cumulated CPU time (s) 459.33 Current children cumulated vsize (Kb) 64304 [startup+470.028 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 16019 0 0 0 46865 68 0 0 25 0 1 0 1859464655 66867200 15914 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 16325 15914 566 18 0 16307 0 [pid=18107] vsize: 65300 Current children cumulated CPU time (s) 469.33 Current children cumulated vsize (Kb) 65300 [startup+480.028 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 16263 0 0 0 47863 69 0 0 25 0 1 0 1859464655 67993600 16158 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 16600 16158 566 18 0 16582 0 [pid=18107] vsize: 66400 Current children cumulated CPU time (s) 479.32 Current children cumulated vsize (Kb) 66400 [startup+490.029 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 16663 0 0 0 48861 70 0 0 25 0 1 0 1859464655 69562368 16558 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18107/statm): 16983 16558 566 18 0 16965 0 [pid=18107] vsize: 67932 Current children cumulated CPU time (s) 489.31 Current children cumulated vsize (Kb) 67932 [startup+500.03 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 16858 0 0 0 49858 72 0 0 25 0 1 0 1859464655 70356992 16753 4294967295 134512640 134578447 3221224624 3221223504 134518855 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 17177 16753 566 18 0 17159 0 [pid=18107] vsize: 68708 Current children cumulated CPU time (s) 499.3 Current children cumulated vsize (Kb) 68708 [startup+510.031 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 17122 0 0 0 50857 73 0 0 25 0 1 0 1859464655 71471104 17017 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 17449 17017 566 18 0 17431 0 [pid=18107] vsize: 69796 Current children cumulated CPU time (s) 509.3 Current children cumulated vsize (Kb) 69796 [startup+520.031 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 17447 0 0 0 51850 76 0 0 25 0 1 0 1859464655 72753152 17342 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 17762 17342 566 18 0 17744 0 [pid=18107] vsize: 71048 Current children cumulated CPU time (s) 519.26 Current children cumulated vsize (Kb) 71048 [startup+530.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 17698 0 0 0 52848 76 0 0 25 0 1 0 1859464655 73744384 17593 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 18004 17593 566 18 0 17986 0 [pid=18107] vsize: 72016 Current children cumulated CPU time (s) 529.24 Current children cumulated vsize (Kb) 72016 [startup+540.033 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 17987 0 0 0 53846 78 0 0 25 0 1 0 1859464655 75030528 17882 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 18318 17882 566 18 0 18300 0 [pid=18107] vsize: 73272 Current children cumulated CPU time (s) 539.24 Current children cumulated vsize (Kb) 73272 [startup+550.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 18370 0 0 0 54844 78 0 0 25 0 1 0 1859464655 76603392 18265 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 18702 18265 566 18 0 18684 0 [pid=18107] vsize: 74808 Current children cumulated CPU time (s) 549.22 Current children cumulated vsize (Kb) 74808 [startup+560.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 18586 0 0 0 55844 79 0 0 25 0 1 0 1859464655 77492224 18481 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 18919 18481 566 18 0 18901 0 [pid=18107] vsize: 75676 Current children cumulated CPU time (s) 559.23 Current children cumulated vsize (Kb) 75676 [startup+570.033 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 18830 0 0 0 56843 79 0 0 25 0 1 0 1859464655 78487552 18725 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 19162 18725 566 18 0 19144 0 [pid=18107] vsize: 76648 Current children cumulated CPU time (s) 569.22 Current children cumulated vsize (Kb) 76648 [startup+580.032 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 19055 0 0 0 57841 81 0 0 25 0 1 0 1859464655 79437824 18950 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 19394 18950 566 18 0 19376 0 [pid=18107] vsize: 77576 Current children cumulated CPU time (s) 579.22 Current children cumulated vsize (Kb) 77576 [startup+590.033 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 19322 0 0 0 58840 82 0 0 25 0 1 0 1859464655 80527360 19217 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 19660 19217 566 18 0 19642 0 [pid=18107] vsize: 78640 Current children cumulated CPU time (s) 589.22 Current children cumulated vsize (Kb) 78640 [startup+600.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 19561 0 0 0 59839 83 0 0 25 0 1 0 1859464655 81518592 19456 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 19902 19456 566 18 0 19884 0 [pid=18107] vsize: 79608 Current children cumulated CPU time (s) 599.22 Current children cumulated vsize (Kb) 79608 [startup+610.033 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 19899 0 0 0 60837 84 0 0 25 0 1 0 1859464655 82821120 19794 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 20220 19794 566 18 0 20202 0 [pid=18107] vsize: 80880 Current children cumulated CPU time (s) 609.21 Current children cumulated vsize (Kb) 80880 [startup+620.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 20215 0 0 0 61835 85 0 0 25 0 1 0 1859464655 84180992 20110 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 20552 20110 566 18 0 20534 0 [pid=18107] vsize: 82208 Current children cumulated CPU time (s) 619.2 Current children cumulated vsize (Kb) 82208 [startup+630.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 20553 0 0 0 62833 86 0 0 25 0 1 0 1859464655 85577728 20448 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 20893 20448 566 18 0 20875 0 [pid=18107] vsize: 83572 Current children cumulated CPU time (s) 629.19 Current children cumulated vsize (Kb) 83572 [startup+640.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 20748 0 0 0 63832 87 0 0 25 0 1 0 1859464655 86388736 20643 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 21091 20643 566 18 0 21073 0 [pid=18107] vsize: 84364 Current children cumulated CPU time (s) 639.19 Current children cumulated vsize (Kb) 84364 [startup+650.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 21062 0 0 0 64830 88 0 0 25 0 1 0 1859464655 87654400 20957 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 21400 20957 566 18 0 21382 0 [pid=18107] vsize: 85600 Current children cumulated CPU time (s) 649.18 Current children cumulated vsize (Kb) 85600 [startup+660.034 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 21249 0 0 0 65829 88 0 0 25 0 1 0 1859464655 88350720 21144 4294967295 134512640 134578447 3221224624 3221223472 134520167 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 21570 21144 566 18 0 21552 0 [pid=18107] vsize: 86280 Current children cumulated CPU time (s) 659.17 Current children cumulated vsize (Kb) 86280 [startup+670.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 21514 0 0 0 66828 89 0 0 25 0 1 0 1859464655 89436160 21409 4294967295 134512640 134578447 3221224624 3221222672 134532402 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 21835 21409 566 18 0 21817 0 [pid=18107] vsize: 87340 Current children cumulated CPU time (s) 669.17 Current children cumulated vsize (Kb) 87340 [startup+680.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 21674 0 0 0 67827 90 0 0 25 0 1 0 1859464655 90185728 21569 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 22018 21569 566 18 0 22000 0 [pid=18107] vsize: 88072 Current children cumulated CPU time (s) 679.17 Current children cumulated vsize (Kb) 88072 [startup+690.036 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 22070 0 0 0 68825 90 0 0 25 0 1 0 1859464655 91738112 21965 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 22397 21965 566 18 0 22379 0 [pid=18107] vsize: 89588 Current children cumulated CPU time (s) 689.15 Current children cumulated vsize (Kb) 89588 [startup+700.036 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 22307 0 0 0 69824 91 0 0 25 0 1 0 1859464655 92745728 22202 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 22643 22202 566 18 0 22625 0 [pid=18107] vsize: 90572 Current children cumulated CPU time (s) 699.15 Current children cumulated vsize (Kb) 90572 [startup+710.035 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 22511 0 0 0 70823 92 0 0 25 0 1 0 1859464655 93605888 22406 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 22853 22406 566 18 0 22835 0 [pid=18107] vsize: 91412 Current children cumulated CPU time (s) 709.15 Current children cumulated vsize (Kb) 91412 [startup+720.036 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 22783 0 0 0 71821 93 0 0 25 0 1 0 1859464655 94720000 22678 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 23125 22678 566 18 0 23107 0 [pid=18107] vsize: 92500 Current children cumulated CPU time (s) 719.14 Current children cumulated vsize (Kb) 92500 [startup+730.036 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 23012 0 0 0 72820 94 0 0 25 0 1 0 1859464655 95727616 22907 4294967295 134512640 134578447 3221224624 3221223228 1075289104 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 23371 22907 566 18 0 23353 0 [pid=18107] vsize: 93484 Current children cumulated CPU time (s) 729.14 Current children cumulated vsize (Kb) 93484 [startup+740.037 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 23299 0 0 0 73818 95 0 0 25 0 1 0 1859464655 96899072 23194 4294967295 134512640 134578447 3221224624 3221223504 134518950 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 23657 23194 566 18 0 23639 0 [pid=18107] vsize: 94628 Current children cumulated CPU time (s) 739.13 Current children cumulated vsize (Kb) 94628 [startup+750.037 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 23581 0 0 0 74817 95 0 0 25 0 1 0 1859464655 98013184 23476 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 23929 23476 566 18 0 23911 0 [pid=18107] vsize: 95716 Current children cumulated CPU time (s) 749.12 Current children cumulated vsize (Kb) 95716 [startup+760.037 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 23847 0 0 0 75809 97 0 0 25 0 1 0 1859464655 99102720 23742 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18107/statm): 24195 23742 566 18 0 24177 0 [pid=18107] vsize: 96780 Current children cumulated CPU time (s) 759.06 Current children cumulated vsize (Kb) 96780 [startup+770.038 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 24043 0 0 0 76807 99 0 0 25 0 1 0 1859464655 99934208 23938 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 24398 23938 566 18 0 24380 0 [pid=18107] vsize: 97592 Current children cumulated CPU time (s) 769.06 Current children cumulated vsize (Kb) 97592 [startup+780.038 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 24310 0 0 0 77803 100 0 0 25 0 1 0 1859464655 100933632 24205 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18107/statm): 24642 24205 566 18 0 24624 0 [pid=18107] vsize: 98568 Current children cumulated CPU time (s) 779.03 Current children cumulated vsize (Kb) 98568 [startup+790.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 24619 0 0 0 78800 102 0 0 25 0 1 0 1859464655 102309888 24514 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 24978 24514 566 18 0 24960 0 [pid=18107] vsize: 99912 Current children cumulated CPU time (s) 789.02 Current children cumulated vsize (Kb) 99912 [startup+800.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 24848 0 0 0 79799 102 0 0 25 0 1 0 1859464655 103161856 24743 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 25186 24743 566 18 0 25168 0 [pid=18107] vsize: 100744 Current children cumulated CPU time (s) 799.01 Current children cumulated vsize (Kb) 100744 [startup+810.038 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 25090 0 0 0 80798 103 0 0 25 0 1 0 1859464655 104132608 24985 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 25423 24985 566 18 0 25405 0 [pid=18107] vsize: 101692 Current children cumulated CPU time (s) 809.01 Current children cumulated vsize (Kb) 101692 [startup+820.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 25315 0 0 0 81797 103 0 0 25 0 1 0 1859464655 105123840 25210 4294967295 134512640 134578447 3221224624 3221221504 134532177 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 25665 25210 566 18 0 25647 0 [pid=18107] vsize: 102660 Current children cumulated CPU time (s) 819 Current children cumulated vsize (Kb) 102660 [startup+830.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 25722 0 0 0 82795 104 0 0 25 0 1 0 1859464655 106790912 25617 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 26072 25617 566 18 0 26054 0 [pid=18107] vsize: 104288 Current children cumulated CPU time (s) 828.99 Current children cumulated vsize (Kb) 104288 [startup+840.038 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 25921 0 0 0 83794 105 0 0 25 0 1 0 1859464655 107659264 25816 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 26284 25816 566 18 0 26266 0 [pid=18107] vsize: 105136 Current children cumulated CPU time (s) 838.99 Current children cumulated vsize (Kb) 105136 [startup+850.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 26142 0 0 0 84792 106 0 0 25 0 1 0 1859464655 108498944 26037 4294967295 134512640 134578447 3221224624 3221223228 1075289347 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 26489 26037 566 18 0 26471 0 [pid=18107] vsize: 105956 Current children cumulated CPU time (s) 848.98 Current children cumulated vsize (Kb) 105956 [startup+860.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 26428 0 0 0 85791 107 0 0 25 0 1 0 1859464655 109637632 26323 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 26767 26323 566 18 0 26749 0 [pid=18107] vsize: 107068 Current children cumulated CPU time (s) 858.98 Current children cumulated vsize (Kb) 107068 [startup+870.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 26660 0 0 0 86790 107 0 0 25 0 1 0 1859464655 110604288 26555 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 27003 26555 566 18 0 26985 0 [pid=18107] vsize: 108012 Current children cumulated CPU time (s) 868.97 Current children cumulated vsize (Kb) 108012 [startup+880.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 26992 0 0 0 87789 108 0 0 25 0 1 0 1859464655 111915008 26887 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 27323 26887 566 18 0 27305 0 [pid=18107] vsize: 109292 Current children cumulated CPU time (s) 878.97 Current children cumulated vsize (Kb) 109292 [startup+890.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 27259 0 0 0 88788 108 0 0 25 0 1 0 1859464655 113086464 27154 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 27609 27154 566 18 0 27591 0 [pid=18107] vsize: 110436 Current children cumulated CPU time (s) 888.96 Current children cumulated vsize (Kb) 110436 [startup+900.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 27524 0 0 0 89786 110 0 0 25 0 1 0 1859464655 114237440 27419 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 27890 27419 566 18 0 27872 0 [pid=18107] vsize: 111560 Current children cumulated CPU time (s) 898.96 Current children cumulated vsize (Kb) 111560 [startup+910.038 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 27782 0 0 0 90784 111 0 0 25 0 1 0 1859464655 115212288 27677 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 28128 27677 566 18 0 28110 0 [pid=18107] vsize: 112512 Current children cumulated CPU time (s) 908.95 Current children cumulated vsize (Kb) 112512 [startup+920.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 27974 0 0 0 91782 112 0 0 25 0 1 0 1859464655 116035584 27869 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 28329 27869 566 18 0 28311 0 [pid=18107] vsize: 113316 Current children cumulated CPU time (s) 918.94 Current children cumulated vsize (Kb) 113316 [startup+930.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 28355 0 0 0 92780 114 0 0 25 0 1 0 1859464655 117538816 28250 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 28696 28250 566 18 0 28678 0 [pid=18107] vsize: 114784 Current children cumulated CPU time (s) 928.94 Current children cumulated vsize (Kb) 114784 [startup+940.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 28849 0 0 0 93776 116 0 0 25 0 1 0 1859464655 119615488 28744 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 29203 28744 566 18 0 29185 0 [pid=18107] vsize: 116812 Current children cumulated CPU time (s) 938.92 Current children cumulated vsize (Kb) 116812 [startup+950.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 29276 0 0 0 94773 117 0 0 25 0 1 0 1859464655 121294848 29171 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 29613 29171 566 18 0 29595 0 [pid=18107] vsize: 118452 Current children cumulated CPU time (s) 948.9 Current children cumulated vsize (Kb) 118452 [startup+960.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 29738 0 0 0 95769 120 0 0 25 0 1 0 1859464655 123244544 29633 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 30089 29633 566 18 0 30071 0 [pid=18107] vsize: 120356 Current children cumulated CPU time (s) 958.89 Current children cumulated vsize (Kb) 120356 [startup+970.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 30383 0 0 0 96765 122 0 0 25 0 1 0 1859464655 125964288 30278 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 30753 30278 566 18 0 30735 0 [pid=18107] vsize: 123012 Current children cumulated CPU time (s) 968.87 Current children cumulated vsize (Kb) 123012 [startup+980.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 30528 0 0 0 97763 123 0 0 25 0 1 0 1859464655 126504960 30423 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 30885 30423 566 18 0 30867 0 [pid=18107] vsize: 123540 Current children cumulated CPU time (s) 978.86 Current children cumulated vsize (Kb) 123540 [startup+990.039 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 31124 0 0 0 98760 124 0 0 25 0 1 0 1859464655 128970752 31019 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 31487 31019 566 18 0 31469 0 [pid=18107] vsize: 125948 Current children cumulated CPU time (s) 988.84 Current children cumulated vsize (Kb) 125948 [startup+1000.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 31280 0 0 0 99759 125 0 0 25 0 1 0 1859464655 129556480 31175 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 31630 31175 566 18 0 31612 0 [pid=18107] vsize: 126520 Current children cumulated CPU time (s) 998.84 Current children cumulated vsize (Kb) 126520 [startup+1010.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 31825 0 0 0 100756 127 0 0 25 0 1 0 1859464655 131907584 31720 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 32204 31720 566 18 0 32186 0 [pid=18107] vsize: 128816 Current children cumulated CPU time (s) 1008.83 Current children cumulated vsize (Kb) 128816 [startup+1020.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 32040 0 0 0 101754 128 0 0 25 0 1 0 1859464655 132730880 31935 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 32405 31935 566 18 0 32387 0 [pid=18107] vsize: 129620 Current children cumulated CPU time (s) 1018.82 Current children cumulated vsize (Kb) 129620 [startup+1030.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 32293 0 0 0 102750 129 0 0 25 0 1 0 1859464655 133808128 32188 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 32668 32188 566 18 0 32650 0 [pid=18107] vsize: 130672 Current children cumulated CPU time (s) 1028.79 Current children cumulated vsize (Kb) 130672 [startup+1040.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 32661 0 0 0 103748 131 0 0 25 0 1 0 1859464655 135294976 32556 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 33031 32556 566 18 0 33013 0 [pid=18107] vsize: 132124 Current children cumulated CPU time (s) 1038.79 Current children cumulated vsize (Kb) 132124 [startup+1050.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 33008 0 0 0 104745 132 0 0 25 0 1 0 1859464655 136753152 32903 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 33387 32903 566 18 0 33369 0 [pid=18107] vsize: 133548 Current children cumulated CPU time (s) 1048.77 Current children cumulated vsize (Kb) 133548 [startup+1060.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 33380 0 0 0 105737 136 0 0 25 0 1 0 1859464655 138240000 33275 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 33750 33275 566 18 0 33732 0 [pid=18107] vsize: 135000 Current children cumulated CPU time (s) 1058.73 Current children cumulated vsize (Kb) 135000 [startup+1070.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 33689 0 0 0 106734 137 0 0 25 0 1 0 1859464655 139444224 33584 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 34044 33584 566 18 0 34026 0 [pid=18107] vsize: 136176 Current children cumulated CPU time (s) 1068.71 Current children cumulated vsize (Kb) 136176 [startup+1080.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 33715 0 0 0 107733 137 0 0 25 0 1 0 1859464655 139571200 33610 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 34075 33610 566 18 0 34057 0 [pid=18107] vsize: 136300 Current children cumulated CPU time (s) 1078.7 Current children cumulated vsize (Kb) 136300 [startup+1090.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 34168 0 0 0 108730 139 0 0 25 0 1 0 1859464655 141410304 34063 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 34524 34063 566 18 0 34506 0 [pid=18107] vsize: 138096 Current children cumulated CPU time (s) 1088.69 Current children cumulated vsize (Kb) 138096 [startup+1100.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 34425 0 0 0 109729 139 0 0 25 0 1 0 1859464655 142532608 34320 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 34798 34320 566 18 0 34780 0 [pid=18107] vsize: 139192 Current children cumulated CPU time (s) 1098.68 Current children cumulated vsize (Kb) 139192 [startup+1110.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 34436 0 0 0 110729 140 0 0 25 0 1 0 1859464655 142532608 34331 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 34798 34331 566 18 0 34780 0 [pid=18107] vsize: 139192 Current children cumulated CPU time (s) 1108.69 Current children cumulated vsize (Kb) 139192 [startup+1120.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 34797 0 0 0 111728 140 0 0 25 0 1 0 1859464655 144121856 34692 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 35186 34692 566 18 0 35168 0 [pid=18107] vsize: 140744 Current children cumulated CPU time (s) 1118.68 Current children cumulated vsize (Kb) 140744 [startup+1130.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 34867 0 0 0 112727 141 0 0 25 0 1 0 1859464655 144408576 34762 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 35256 34762 566 18 0 35238 0 [pid=18107] vsize: 141024 Current children cumulated CPU time (s) 1128.68 Current children cumulated vsize (Kb) 141024 [startup+1140.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 35134 0 0 0 113726 141 0 0 25 0 1 0 1859464655 145371136 35029 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 35491 35029 566 18 0 35473 0 [pid=18107] vsize: 141964 Current children cumulated CPU time (s) 1138.67 Current children cumulated vsize (Kb) 141964 [startup+1150.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 35244 0 0 0 114725 142 0 0 25 0 1 0 1859464655 145903616 35139 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 35621 35139 566 18 0 35603 0 [pid=18107] vsize: 142484 Current children cumulated CPU time (s) 1148.67 Current children cumulated vsize (Kb) 142484 [startup+1160.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 35410 0 0 0 115724 143 0 0 25 0 1 0 1859464655 146620416 35305 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 35796 35305 566 18 0 35778 0 [pid=18107] vsize: 143184 Current children cumulated CPU time (s) 1158.67 Current children cumulated vsize (Kb) 143184 [startup+1170.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 35411 0 0 0 116723 143 0 0 25 0 1 0 1859464655 146620416 35306 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 35796 35306 566 18 0 35778 0 [pid=18107] vsize: 143184 Current children cumulated CPU time (s) 1168.66 Current children cumulated vsize (Kb) 143184 [startup+1180.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 35666 0 0 0 117722 144 0 0 25 0 1 0 1859464655 147607552 35561 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 36037 35561 566 18 0 36019 0 [pid=18107] vsize: 144148 Current children cumulated CPU time (s) 1178.66 Current children cumulated vsize (Kb) 144148 [startup+1190.04 s] Raw data (loadavg): 0.99 0.99 0.92 2/56 18109 Raw data (/proc/18107/stat): 18107 (Pueblo) R 18106 18107 20728 0 -1 0 35968 0 0 0 118720 145 0 0 25 0 1 0 1859464655 148848640 35863 4294967295 134512640 134578447 3221224624 3221223296 134523427 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18107/statm): 36340 35863 566 18 0 36322 0 [pid=18107] vsize: 145360 Current children cumulated CPU time (s) 1188.65 Current children cumulated vsize (Kb) 145360 One traced child (pid=18107) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1191.12 CPU time (s): 1189.74 CPU user time (s): 1188.21 CPU system time (s): 1.52477 CPU usage (%): 99.8834 Max. virtual memory (cumulated for all children) (Kb): 145360
Verifier: OK -5