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 wulflinc6 THE 2005-09-23 15:46:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8580 boxname=wulflinc6 idbench=376 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 42c2d619b73aa24781f1b54bddde28cc /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-1.opb IDLAUNCH: 8580 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.158 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 : 2 cpu MHz : 451.158 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 929220 kB Buffers: 12476 kB Cached: 75448 kB SwapCached: 0 kB Active: 44220 kB Inactive: 46576 kB HighTotal: 131008 kB HighFree: 52080 kB LowTotal: 903652 kB LowFree: 877140 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 9032 kB Committed_AS: 63620 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:06:20 (client local time) WITH STATUS 10 IN 1209.39 SECONDS stats: 8580 0 1209.39 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1534 c big objective detected c trying from 0 to 511 c Decision: 22023/656650 Time: 415.433/86400 c Decision: 36951/656650 Time: 618.196/86400 c Decision: 47431/656650 Time: 892.307/86400 c Decision: 47458/656650 Time: 1041/86400 c Decision: 47458/656650 Time: 1119.2/86400s SATISFIABLE v -C1 -C10 -C100 -C1000 -C1001 -C1002 -C1003 -C1004 -C1005 -C1006 -C1007 -C1008 -C1009 -C101 -C1010 -C1011 -C1012 -C1013 -C1014 -C1015 -C1016 -C1017 -C1018 -C1019 -C102 -C1020 -C1021 -C1022 -C1023 -C1024 -C1025 -C1026 -C1027 -C1028 -C1029 -C103 -C1030 -C1031 -C1032 -C1033 -C1034 -C1035 -C1036 -C1037 -C1038 -C1039 -C104 -C1040 -C1041 -C1042 -C1043 -C1044 -C1045 -C1046 -C1047 -C1048 -C1049 -C105 -C1050 -C1051 -C1052 -C1053 -C1054 -C1055 -C1056 -C1057 -C1058 -C1059 -C106 -C1060 -C1061 -C1062 -C1063 -C1064 -C1065 -C1066 -C1067 -C1068 -C1069 -C107 -C1070 -C1071 -C1072 -C1073 -C1074 -C1075 -C1076 -C1077 -C1078 -C1079 -C108 -C1080 -C1081 -C1082 -C1083 -C1084 -C1085 -C1086 -C1087 -C1088 -C1089 -C109 -C1090 -C1091 -C1092 -C1093 -C1094 -C1095 -C1096 -C1097 -C1098 -C1099 -C11 -C110 -C1100 -C1101 -C1102 -C1103 -C1104 -C1105 -C1106 -C1107 -C1108 -C1109 -C111 -C1110 -C1111 -C1112 -C1113 -C1114 -C1115 -C1116 -C1117 -C1118 -C1119 -C112 -C1120 -C1121 -C1122 -C1123 -C1124 -C1125 -C1126 -C1127 -C1128 -C1129 -C113 -C1130 -C1131 -C1132 -C1133 -C1134 -C1135 -C1136 -C1137 -C1138 -C1139 -C114 -C1140 -C1141 -C1142 -C1143 -C1144 -C1145 -C1146 -C1147 -C1148 -C1149 -C115 -C1150 -C1151 -C1152 -C1153 -C1154 -C1155 -C1156 -C1157 -C1158 -C1159 -C116 -C1160 -C1161 -C1162 -C1163 -C1164 -C1165 -C1166 -C1167 -C1168 -C1169 -C117 -C1170 -C1171 -C1172 -C1173 -C1174 -C1175 -C1176 -C1177 -C1178 -C1179 -C118 -C1180 -C1181 -C1182 -C1183 -C1184 -C1185 -C1186 -C1187 -C1188 -C1189 -C119 -C1190 -C1191 -C1192 -C1193 -C1194 -C1195 -C1196 -C1197 -C1198 -C1199 -C12 -C120 -C1200 -C1201 -C1202 -C1203 -C1204 -C1205 -C1206 -C1207 -C1208 -C1209 -C121 -C1210 -C1211 -C1212 -C1213 -C1214 -C1215 -C1216 -C1217 -C1218 -C1219 -C122 -C1220 -C1221 -C1222 -C1223 -C1224 -C1225 -C1226 -C1227 -C1228 -C1229 -C123 -C1230 -C1231 -C1232 -C1233 -C1234 -C1235 -C1236 -C1237 -C1238 -C1239 -C124 -C1240 -C1241 -C1242 -C1243 -C1244 -C1245 -C1246 -C1247 -C1248 -C1249 -C125 -C1250 -C1251 -C1252 -C1253 -C1254 -C1255 -C1256 -C1257 -C1258 -C1259 -C126 -C1260 -C1261 -C1262 -C1263 -C1264 -C1265 -C1266 -C1267 -C1268 -C1269 -C127 -C1270 -C1271 -C1272 -C1273 -C1274 -C1275 -C1276 -C1277 -C1278 -C1279 -C128 -C1280 -C1281 -C1282 -C1283 -C1284 -C1285 -C1286 -C1287 -C1288 -C1289 -C129 -C1290 -C1291 -C1292 -C1293 -C1294 -C1295 -C1296 -C1297 -C1298 -C1299 -C13 -C130 -C1300 -C1301 -C1302 -C1303 -C1304 -C1305 -C1306 -C1307 -C1308 -C1309 -C131 -C1310 -C1311 -C1312 -C1313 -C1314 -C1315 -C1316 -C1317 -C1318 -C1319 -C132 -C1320 -C1321 -C1322 -C1323 -C1324 -C1325 -C1326 -C1327 -C1328 -C1329 -C133 -C1330 -C1331 -C1332 -C1333 -C1334 -C1335 -C1336 -C1337 -C1338 -C1339 -C134 -C1340 -C1341 -C1342 -C1343 -C1344 -C1345 -C1346 -C1347 -C1348 -C1349 -C135 -C1350 -C1351 -C1352 -C1353 -C1354 -C1355 -C1356 -C1357 -C1358 -C1359 -C136 -C1360 -C1361 -C1362 -C1363 -C1364 -C1365 -C1366 -C1367 -C1368 -C1369 -C137 -C1370 -C1371 -C1372 -C1373 -C1374 -C1375 -C1376 -C1377 -C1378 -C1379 -C138 -C1380 -C1381 -C1382 -C1383 -C1384 -C1385 -C1386 -C1387 -C1388 -C1389 -C139 -C1390 -C1391 -C1392 -C1393 -C1394 -C1395 -C1396 -C1397 -C1398 -C1399 -C14 -C140 -C1400 -C1401 -C1402 -C1403 -C1404 -C1405 -C1406 -C1407 -C1408 -C1409 -C141 -C1410 -C1411 -C1412 -C1413 -C1414 -C1415 -C1416 -C1417 -C1418 -C1419 -C142 -C1420 -C1421 -C1422 -C1423 -C1424 -C1425 -C1426 -C1427 -C1428 -C1429 -C143 -C1430 -C1431 -C1432 -C1433 -C1434 -C1435 -C1436 -C1437 -C1438 -C1439 -C144 -C1440 -C1441 -C1442 -C1443 -C1444 -C1445 -C1446 -C1447 -C1448 -C1449 -C145 -C1450 -C1451 -C1452 -C1453 -C1454 -C1455 -C1456 -C1457 -C1458 -C1459 -C146 -C1460 -C1461 -C1462 -C1463 -C1464 -C1465 -C1466 -C1467 -C1468 -C1469 -C147 -C1470 -C1471 -C1472 -C1473 -C1474 -C1475 -C1476 -C1477 -C1478 -C1479 -C148 -C1480 -C1481 -C1482 -C1483 -C1484 -C1485 -C1486 -C1487 -C1488 -C1489 -C149 -C1490 -C1491 -C1492 -C1493 -C1494 -C1495 -C1496 -C1497 -C1498 -C1499 -C15 -C150 -C1500 -C1501 -C1502 -C1503 -C1504 -C1505 -C1506 -C1507 -C1508 -C1509 -C151 -C1510 -C1511 -C1512 -C1513 -C1514 -C1515 -C1516 -C1517 -C1518 -C1519 -C152 -C1520 -C1521 -C1522 -C1523 -C1524 -C1525 -C1526 -C1527 -C1528 -C1529 -C153 -C1530 -C1531 -C1532 -C1533 -C1534 -C154 -C155 -C156 -C157 -C158 -C159 -C16 -C160 -C161 -C162 -C163 -C164 -C165 -C166 -C167 -C168 -C169 -C17 -C170 -C171 -C172 -C173 -C174 -C175 -C176 -C177 -C178 -C179 -C18 -C180 -C181 -C182 -C183 -C184 -C185 -C186 -C187 -C188 -C189 -C19 -C190 -C191 -C192 -C193 -C194 -C195 -C196 -C197 -C198 -C199 -C2 -C20 -C200 -C201 -C202 -C203 -C204 -C205 -C206 -C207 -C208 -C209 -C21 -C210 -C211 -C212 -C213 -C214 -C215 -C216 -C217 -C218 -C219 -C22 -C220 -C221 -C222 -C223 -C224 -C225 -C226 -C227 -C228 -C229 -C23 -C230 -C231 -C232 -C233 -C234 -C235 -C236 -C237 -C238 -C239 -C24 -C240 -C241 -C242 -C243 -C244 -C245 -C246 -C247 -C248 -C249 -C25 -C250 -C251 -C252 -C253 -C254 -C255 -C256 -C257 -C258 -C259 -C26 -C260 -C261 -C262 -C263 -C264 -C265 -C266 -C267 -C268 -C269 -C27 -C270 -C271 -C272 -C273 -C274 -C275 -C276 -C277 -C278 -C279 -C28 -C280 -C281 -C282 -C283 -C284 -C285 -C286 -C287 -C288 -C289 -C29 -C290 -C291 -C292 -C293 -C294 -C295 -C296 -C297 -C298 -C299 -C3 -C30 -C300 -C301 -C302 -C303 -C304 -C305 -C306 -C307 -C308 -C309 -C31 -C310 -C311 -C312 -C313 -C314 -C315 -C316 -C317 -C318 -C319 -C32 -C320 -C321 -C322 -C323 -C324 -C325 -C326 -C327 -C328 -C329 -C33 -C330 -C331 -C332 -C333 -C334 -C335 -C336 -C337 -C338 -C339 -C34 -C340 -C341 -C342 -C343 -C344 -C345 -C346 -C347 -C348 -C349 -C35 -C350 -C351 -C352 -C353 -C354 -C355 -C356 -C357 -C358 -C359 -C36 -C360 -C361 -C362 -C363 -C364 -C365 -C366 -C367 -C368 -C369 -C37 -C370 -C371 -C372 -C373 -C374 -C375 -C376 -C377 -C378 -C379 -C38 -C380 -C381 -C382 -C383 -C384 -C385 -C386 -C387 -C388 -C389 -C39 -C390 -C391 -C392 -C393 -C394 -C395 -C396 -C397 -C398 -C399 -C4 -C40 -C400 -C401 -C402 -C403 -C404 -C405 -C406 -C407 -C408 -C409 -C41 -C410 -C411 -C412 -C413 -C414 -C415 -C416 -C417 -C418 -C419 -C42 -C420 -C421 -C422 -C423 -C424 -C425 -C426 -C427 -C428 -C429 -C43 -C430 -C431 -C432 -C433 -C434 -C435 -C436 -C437 -C438 -C439 -C44 -C440 -C441 -C442 -C443 -C444 -C445 -C446 -C447 -C448 -C449 -C45 -C450 -C451 -C452 -C453 -C454 -C455 -C456 -C457 -C458 -C459 -C46 -C460 -C461 -C462 -C463 -C464 -C465 -C466 -C467 -C468 -C469 -C47 -C470 -C471 -C472 -C473 -C474 -C475 -C476 -C477 -C478 -C479 -C48 -C480 -C481 -C482 -C483 -C484 -C485 -C486 -C487 -C488 -C489 -C49 -C490 -C491 -C492 -C493 -C494 -C495 -C496 -C497 -C498 -C499 -C5 -C50 -C500 -C501 -C502 -C503 -C504 -C505 -C506 -C507 -C508 -C509 -C51 -C510 -C511 -C512 -C513 -C514 -C515 -C516 -C517 -C518 -C519 -C52 -C520 -C521 -C522 -C523 -C524 -C525 -C526 -C527 -C528 -C529 -C53 -C530 -C531 -C532 -C533 -C534 -C535 -C536 -C537 -C538 -C539 -C54 -C540 -C541 -C542 -C543 -C544 -C545 -C546 -C547 -C548 -C549 -C55 -C550 -C551 -C552 -C553 -C554 -C555 -C556 -C557 -C558 -C559 -C56 -C560 -C561 -C562 -C563 -C564 -C565 -C566 -C567 -C568 -C569 -C57 -C570 -C571 -C572 -C573 -C574 -C575 -C576 -C577 -C578 -C579 -C58 -C580 -C581 -C582 -C583 -C584 -C585 -C586 -C587 -C588 -C589 -C59 -C590 -C591 -C592 -C593 -C594 -C595 -C596 -C597 -C598 -C599 -C6 -C60 -C600 -C601 -C602 -C603 -C604 -C605 -C606 -C607 -C608 -C609 -C61 -C610 -C611 -C612 -C613 -C614 -C615 -C616 -C617 -C618 -C619 -C62 -C620 -C621 -C622 -C623 -C624 -C625 -C626 -C627 -C628 -C629 -C63 -C630 -C631 -C632 -C633 -C634 -C635 -C636 -C637 -C638 -C639 -C64 -C640 -C641 -C642 -C643 -C644 -C645 -C646 -C647 -C648 -C649 -C65 -C650 -C651 -C652 -C653 -C654 -C655 -C656 -C657 -C658 -C659 -C66 -C660 -C661 -C662 -C663 -C664 -C665 -C666 -C667 -C668 -C669 -C67 -C670 -C671 -C672 -C673 -C674 -C675 -C676 -C677 -C678 -C679 -C68 -C680 -C681 -C682 -C683 -C684 -C685 -C686 -C687 -C688 -C689 -C69 -C690 -C691 -C692 -C693 -C694 -C695 -C696 -C697 -C698 -C699 -C7 -C70 -C700 -C701 -C702 -C703 -C704 -C705 -C706 -C707 -C708 -C709 -C71 -C710 -C711 -C712 -C713 -C714 -C715 -C716 -C717 -C718 -C719 -C72 -C720 -C721 -C722 -C723 -C724 -C725 -C726 -C727 -C728 -C729 -C73 -C730 -C731 -C732 -C733 -C734 -C735 -C736 -C737 -C738 -C739 -C74 -C740 -C741 -C742 -C743 -C744 -C745 -C746 -C747 -C748 -C749 -C75 -C750 -C751 -C752 -C753 -C754 -C755 -C756 -C757 -C758 -C759 -C76 -C760 -C761 -C762 -C763 -C764 -C765 -C766 -C767 -C768 -C769 -C77 -C770 -C771 -C772 -C773 -C774 -C775 -C776 -C777 -C778 -C779 -C78 -C780 -C781 -C782 -C783 -C784 -C785 -C786 -C787 -C788 -C789 -C79 -C790 -C791 -C792 -C793 -C794 -C795 -C796 -C797 -C798 -C799 -C8 -C80 -C800 -C801 -C802 -C803 -C804 -C805 -C806 -C807 -C808 -C809 -C81 -C810 -C811 -C812 -C813 -C814 -C815 -C816 -C817 -C818 -C819 -C82 -C820 -C821 -C822 -C823 -C824 -C825 -C826 -C827 -C828 -C829 -C83 -C830 -C831 -C832 -C833 -C834 -C835 -C836 -C837 -C838 -C839 -C84 -C840 -C841 -C842 -C843 -C844 -C845 -C846 -C847 -C848 -C849 -C85 -C850 -C851 -C852 -C853 -C854 -C855 -C856 -C857 -C858 -C859 -C86 -C860 -C861 -C862 -C863 -C864 -C865 -C866 -C867 -C868 -C869 -C87 -C870 -C871 -C872 -C873 -C874 -C875 -C876 -C877 -C878 -C879 -C88 -C880 -C881 -C882 -C883 -C884 -C885 -C886 -C887 -C888 -C889 -C89 -C890 -C891 -C892 -C893 -C894 -C895 -C896 -C897 -C898 -C899 -C9 -C90 -C900 -C901 -C902 -C903 -C904 -C905 -C906 -C907 -C908 -C909 -C91 -C910 -C911 -C912 -C913 -C914 -C915 -C916 -C917 -C918 -C919 -C92 -C920 -C921 -C922 -C923 -C924 -C925 -C926 -C927 -C928 -C929 -C93 -C930 -C931 -C932 -C933 -C934 -C935 -C936 -C937 -C938 -C939 -C94 -C940 -C941 -C942 -C943 -C944 -C945 -C946 -C947 -C948 -C949 -C95 -C950 -C951 -C952 -C953 -C954 -C955 -C956 -C957 -C958 -C959 -C96 -C960 -C961 -C962 -C963 -C964 -C965 -C966 -C967 -C968 -C969 -C97 -C970 -C971 -C972 -C973 -C974 -C975 -C976 -C977 -C978 -C979 -C98 -C980 -C981 -C982 -C983 -C984 -C985 -C986 -C987 -C988 -C989 -C99 -C990 -C991 -C992 -C993 -C994 -C995 -C996 -C997 -C998 -C999
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/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21391077 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 373 2 364 364 0 9 0 [pid=7528] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-1.opb [startup+10.0013 s] Raw data (loadavg): 0.93 0.95 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 6364 0 0 0 981 16 0 0 25 0 1 0 21391077 20811776 4275 4294967295 134512640 135987407 3221224576 3221049116 135487921 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 5081 4275 364 364 0 4717 0 [pid=7528] vsize: 20324 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 20324 [startup+20.0021 s] Raw data (loadavg): 0.94 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 36512 0 0 0 1910 84 0 0 25 0 1 0 21391077 151830528 25577 4294967295 134512640 135987407 3221224576 3220834560 134887487 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 37068 25577 364 364 0 36704 0 [pid=7528] vsize: 148272 Current children cumulated CPU time (s) 19.94 Current children cumulated vsize (Kb) 148272 [startup+30.0028 s] Raw data (loadavg): 0.95 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 64418 0 0 0 2845 147 0 0 25 0 1 0 21391077 195563520 42282 4294967295 134512640 135987407 3221224576 3221203712 135477380 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 47745 42282 364 364 0 47381 0 [pid=7528] vsize: 190980 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 190980 [startup+40.0036 s] Raw data (loadavg): 0.95 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 105081 0 0 0 3756 233 0 0 25 0 1 0 21391077 358559744 60776 4294967295 134512640 135987407 3221224576 3220983356 134669203 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 87539 60776 364 364 0 87175 0 [pid=7528] vsize: 350156 Current children cumulated CPU time (s) 39.89 Current children cumulated vsize (Kb) 350156 [startup+50.0043 s] Raw data (loadavg): 0.96 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 117053 0 0 0 4723 262 0 0 25 0 1 0 21391077 384397312 71165 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 93847 71165 364 364 0 93483 0 [pid=7528] vsize: 375388 Current children cumulated CPU time (s) 49.85 Current children cumulated vsize (Kb) 375388 [startup+60.0041 s] Raw data (loadavg): 0.97 0.96 0.98 1/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) T 7527 7528 4060 0 -1 0 119882 0 0 0 5709 270 0 0 25 0 1 0 21391077 392085504 72637 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7528/statm): 95724 72637 364 364 0 95360 0 [pid=7528] vsize: 382896 Current children cumulated CPU time (s) 59.79 Current children cumulated vsize (Kb) 382896 [startup+70.0048 s] Raw data (loadavg): 0.97 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 121745 0 0 0 6694 276 0 0 25 0 1 0 21391077 397058048 73656 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 96938 73656 364 364 0 96574 0 [pid=7528] vsize: 387752 Current children cumulated CPU time (s) 69.7 Current children cumulated vsize (Kb) 387752 [startup+80.0045 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 124455 0 0 0 7681 284 0 0 25 0 1 0 21391077 404656128 74961 4294967295 134512640 135987407 3221224576 3221223136 134812138 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 98793 74961 364 364 0 98429 0 [pid=7528] vsize: 395172 Current children cumulated CPU time (s) 79.65 Current children cumulated vsize (Kb) 395172 [startup+90.0053 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 126911 0 0 0 8674 289 0 0 25 0 1 0 21391077 411840512 76242 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 100547 76242 364 364 0 100183 0 [pid=7528] vsize: 402188 Current children cumulated CPU time (s) 89.63 Current children cumulated vsize (Kb) 402188 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 128873 0 0 0 9668 293 0 0 25 0 1 0 21391077 417423360 77129 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 101910 77129 364 364 0 101546 0 [pid=7528] vsize: 407640 Current children cumulated CPU time (s) 99.61 Current children cumulated vsize (Kb) 407640 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 131677 0 0 0 10662 297 0 0 25 0 1 0 21391077 425062400 78449 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 103775 78449 364 364 0 103411 0 [pid=7528] vsize: 415100 Current children cumulated CPU time (s) 109.59 Current children cumulated vsize (Kb) 415100 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 132270 0 0 0 11659 299 0 0 25 0 1 0 21391077 426606592 78815 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104152 78815 364 364 0 103788 0 [pid=7528] vsize: 416608 Current children cumulated CPU time (s) 119.58 Current children cumulated vsize (Kb) 416608 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 132296 0 0 0 12658 300 0 0 25 0 1 0 21391077 426741760 78841 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104185 78841 364 364 0 103821 0 [pid=7528] vsize: 416740 Current children cumulated CPU time (s) 129.58 Current children cumulated vsize (Kb) 416740 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 132356 0 0 0 13657 300 0 0 25 0 1 0 21391077 427008000 78901 4294967295 134512640 135987407 3221224576 3221223016 134801607 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104250 78901 364 364 0 103886 0 [pid=7528] vsize: 417000 Current children cumulated CPU time (s) 139.57 Current children cumulated vsize (Kb) 417000 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 132707 0 0 0 14657 300 0 0 25 0 1 0 21391077 427798528 79089 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104443 79089 364 364 0 104079 0 [pid=7528] vsize: 417772 Current children cumulated CPU time (s) 149.57 Current children cumulated vsize (Kb) 417772 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 132710 0 0 0 15657 301 0 0 25 0 1 0 21391077 427798528 79092 4294967295 134512640 135987407 3221224576 3221223220 134812413 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104443 79092 364 364 0 104079 0 [pid=7528] vsize: 417772 Current children cumulated CPU time (s) 159.58 Current children cumulated vsize (Kb) 417772 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 132767 0 0 0 16655 301 0 0 25 0 1 0 21391077 427929600 79116 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104475 79116 364 364 0 104111 0 [pid=7528] vsize: 417900 Current children cumulated CPU time (s) 169.56 Current children cumulated vsize (Kb) 417900 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133098 0 0 0 17653 302 0 0 25 0 1 0 21391077 428716032 79252 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104667 79252 364 364 0 104303 0 [pid=7528] vsize: 418668 Current children cumulated CPU time (s) 179.55 Current children cumulated vsize (Kb) 418668 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133360 0 0 0 18652 303 0 0 25 0 1 0 21391077 429514752 79416 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104862 79416 364 364 0 104498 0 [pid=7528] vsize: 419448 Current children cumulated CPU time (s) 189.55 Current children cumulated vsize (Kb) 419448 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133371 0 0 0 19651 304 0 0 25 0 1 0 21391077 429514752 79427 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104862 79427 364 364 0 104498 0 [pid=7528] vsize: 419448 Current children cumulated CPU time (s) 199.55 Current children cumulated vsize (Kb) 419448 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133425 0 0 0 20650 305 0 0 25 0 1 0 21391077 429514752 79481 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104862 79481 364 364 0 104498 0 [pid=7528] vsize: 419448 Current children cumulated CPU time (s) 209.55 Current children cumulated vsize (Kb) 419448 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133440 0 0 0 21649 305 0 0 25 0 1 0 21391077 429514752 79496 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104862 79496 364 364 0 104498 0 [pid=7528] vsize: 419448 Current children cumulated CPU time (s) 219.54 Current children cumulated vsize (Kb) 419448 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133469 0 0 0 22649 305 0 0 25 0 1 0 21391077 429649920 79525 4294967295 134512640 135987407 3221224576 3221223264 134812261 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 104895 79525 364 364 0 104531 0 [pid=7528] vsize: 419580 Current children cumulated CPU time (s) 229.54 Current children cumulated vsize (Kb) 419580 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133938 0 0 0 23648 306 0 0 25 0 1 0 21391077 430702592 79767 4294967295 134512640 135987407 3221224576 3221223312 134812650 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105152 79767 364 364 0 104788 0 [pid=7528] vsize: 420608 Current children cumulated CPU time (s) 239.54 Current children cumulated vsize (Kb) 420608 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133943 0 0 0 24648 306 0 0 25 0 1 0 21391077 430837760 79772 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105185 79772 364 364 0 104821 0 [pid=7528] vsize: 420740 Current children cumulated CPU time (s) 249.54 Current children cumulated vsize (Kb) 420740 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 133952 0 0 0 25647 306 0 0 25 0 1 0 21391077 430837760 79781 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105185 79781 364 364 0 104821 0 [pid=7528] vsize: 420740 Current children cumulated CPU time (s) 259.53 Current children cumulated vsize (Kb) 420740 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 134308 0 0 0 26645 307 0 0 25 0 1 0 21391077 431886336 79880 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105441 79880 364 364 0 105077 0 [pid=7528] vsize: 421764 Current children cumulated CPU time (s) 269.52 Current children cumulated vsize (Kb) 421764 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 134331 0 0 0 27645 307 0 0 25 0 1 0 21391077 431886336 79903 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105441 79903 364 364 0 105077 0 [pid=7528] vsize: 421764 Current children cumulated CPU time (s) 279.52 Current children cumulated vsize (Kb) 421764 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 134355 0 0 0 28645 308 0 0 25 0 1 0 21391077 431886336 79927 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105441 79927 364 364 0 105077 0 [pid=7528] vsize: 421764 Current children cumulated CPU time (s) 289.53 Current children cumulated vsize (Kb) 421764 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 134370 0 0 0 29644 308 0 0 25 0 1 0 21391077 431886336 79942 4294967295 134512640 135987407 3221224576 3221223312 134812600 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 105441 79942 364 364 0 105077 0 [pid=7528] vsize: 421764 Current children cumulated CPU time (s) 299.52 Current children cumulated vsize (Kb) 421764 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 135821 0 0 0 30639 312 0 0 25 0 1 0 21391077 437010432 80758 4294967295 134512640 135987407 3221224576 3221223132 135500012 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 106692 80765 364 364 0 106328 0 [pid=7528] vsize: 426768 Current children cumulated CPU time (s) 309.51 Current children cumulated vsize (Kb) 426768 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 138224 0 0 0 31634 316 0 0 25 0 1 0 21391077 443002880 81733 4294967295 134512640 135987407 3221224576 3221223136 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 108155 81733 364 364 0 107791 0 [pid=7528] vsize: 432620 Current children cumulated CPU time (s) 319.5 Current children cumulated vsize (Kb) 432620 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 141245 0 0 0 32625 322 0 0 25 0 1 0 21391077 451702784 83099 4294967295 134512640 135987407 3221224576 3221223232 134812368 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 110279 83099 364 364 0 109915 0 [pid=7528] vsize: 441116 Current children cumulated CPU time (s) 329.47 Current children cumulated vsize (Kb) 441116 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 143713 0 0 0 33615 328 0 0 25 0 1 0 21391077 459046912 84318 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 112072 84318 364 364 0 111708 0 [pid=7528] vsize: 448288 Current children cumulated CPU time (s) 339.43 Current children cumulated vsize (Kb) 448288 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 145153 0 0 0 34611 332 0 0 25 0 1 0 21391077 462938112 85075 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 113022 85075 364 364 0 112658 0 [pid=7528] vsize: 452088 Current children cumulated CPU time (s) 349.43 Current children cumulated vsize (Kb) 452088 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 145815 0 0 0 35604 334 0 0 25 0 1 0 21391077 465399808 85557 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 113623 85557 364 364 0 113259 0 [pid=7528] vsize: 454492 Current children cumulated CPU time (s) 359.38 Current children cumulated vsize (Kb) 454492 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.98 1/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) T 7527 7528 4060 0 -1 0 146229 0 0 0 36596 337 0 0 25 0 1 0 21391077 466587648 85743 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7528/statm): 113913 85743 364 364 0 113549 0 [pid=7528] vsize: 455652 Current children cumulated CPU time (s) 369.33 Current children cumulated vsize (Kb) 455652 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 148362 0 0 0 37589 343 0 0 25 0 1 0 21391077 472666112 86851 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 115397 86851 364 364 0 115033 0 [pid=7528] vsize: 461588 Current children cumulated CPU time (s) 379.32 Current children cumulated vsize (Kb) 461588 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 150181 0 0 0 38582 348 0 0 25 0 1 0 21391077 477409280 87791 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 116555 87791 364 364 0 116191 0 [pid=7528] vsize: 466220 Current children cumulated CPU time (s) 389.3 Current children cumulated vsize (Kb) 466220 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 152586 0 0 0 39574 354 0 0 25 0 1 0 21391077 484634624 89095 4294967295 134512640 135987407 3221224576 3221223312 134812593 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 118319 89095 364 364 0 117955 0 [pid=7528] vsize: 473276 Current children cumulated CPU time (s) 399.28 Current children cumulated vsize (Kb) 473276 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 154496 0 0 0 40569 358 0 0 25 0 1 0 21391077 490446848 89995 4294967295 134512640 135987407 3221224576 3221223296 134790071 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 119738 89995 364 364 0 119374 0 [pid=7528] vsize: 478952 Current children cumulated CPU time (s) 409.27 Current children cumulated vsize (Kb) 478952 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 155013 0 0 0 41566 359 0 0 25 0 1 0 21391077 492158976 90157 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 120156 90157 364 364 0 119792 0 [pid=7528] vsize: 480624 Current children cumulated CPU time (s) 419.25 Current children cumulated vsize (Kb) 480624 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 155508 0 0 0 42564 361 0 0 25 0 1 0 21391077 493211648 90425 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 120413 90425 364 364 0 120049 0 [pid=7528] vsize: 481652 Current children cumulated CPU time (s) 429.25 Current children cumulated vsize (Kb) 481652 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 157291 0 0 0 43558 365 0 0 25 0 1 0 21391077 498479104 91269 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 121699 91270 364 364 0 121335 0 [pid=7528] vsize: 486796 Current children cumulated CPU time (s) 439.23 Current children cumulated vsize (Kb) 486796 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 157853 0 0 0 44552 368 0 0 25 0 1 0 21391077 500465664 91604 4294967295 134512640 135987407 3221224576 3221223136 134811948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 122184 91604 364 364 0 121820 0 [pid=7528] vsize: 488736 Current children cumulated CPU time (s) 449.2 Current children cumulated vsize (Kb) 488736 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 159160 0 0 0 45545 372 0 0 25 0 1 0 21391077 500600832 91628 4294967295 134512640 135987407 3221224576 3221223264 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 122217 91628 364 364 0 121853 0 [pid=7528] vsize: 488868 Current children cumulated CPU time (s) 459.17 Current children cumulated vsize (Kb) 488868 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 159732 0 0 0 46530 378 0 0 25 0 1 0 21391077 502484992 92069 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 122677 92069 364 364 0 122313 0 [pid=7528] vsize: 490708 Current children cumulated CPU time (s) 469.08 Current children cumulated vsize (Kb) 490708 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 159805 0 0 0 47523 380 0 0 25 0 1 0 21391077 502755328 92142 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 122743 92142 364 364 0 122379 0 [pid=7528] vsize: 490972 Current children cumulated CPU time (s) 479.03 Current children cumulated vsize (Kb) 490972 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 159921 0 0 0 48515 383 0 0 25 0 1 0 21391077 503353344 92225 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 122889 92225 364 364 0 122525 0 [pid=7528] vsize: 491556 Current children cumulated CPU time (s) 488.98 Current children cumulated vsize (Kb) 491556 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 159982 0 0 0 49512 384 0 0 25 0 1 0 21391077 503484416 92253 4294967295 134512640 135987407 3221224576 3221223296 134790091 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 122921 92253 364 364 0 122557 0 [pid=7528] vsize: 491684 Current children cumulated CPU time (s) 498.96 Current children cumulated vsize (Kb) 491684 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 160723 0 0 0 50506 387 0 0 25 0 1 0 21391077 505327616 92604 4294967295 134512640 135987407 3221224576 3221223056 135293365 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 123371 92604 364 364 0 123007 0 [pid=7528] vsize: 493484 Current children cumulated CPU time (s) 508.93 Current children cumulated vsize (Kb) 493484 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 161228 0 0 0 51504 389 0 0 25 0 1 0 21391077 506642432 92851 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 123692 92851 364 364 0 123328 0 [pid=7528] vsize: 494768 Current children cumulated CPU time (s) 518.93 Current children cumulated vsize (Kb) 494768 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 162008 0 0 0 52501 391 0 0 25 0 1 0 21391077 508747776 93243 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 124206 93243 364 364 0 123842 0 [pid=7528] vsize: 496824 Current children cumulated CPU time (s) 528.92 Current children cumulated vsize (Kb) 496824 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 162849 0 0 0 53498 393 0 0 25 0 1 0 21391077 511389696 93760 4294967295 134512640 135987407 3221224576 3221223232 134812358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 124851 93760 364 364 0 124487 0 [pid=7528] vsize: 499404 Current children cumulated CPU time (s) 538.91 Current children cumulated vsize (Kb) 499404 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 164485 0 0 0 54492 396 0 0 25 0 1 0 21391077 515801088 94571 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 125928 94571 364 364 0 125564 0 [pid=7528] vsize: 503712 Current children cumulated CPU time (s) 548.88 Current children cumulated vsize (Kb) 503712 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 164722 0 0 0 55491 397 0 0 25 0 1 0 21391077 516460544 94677 4294967295 134512640 135987407 3221224576 3221223136 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 126089 94677 364 364 0 125725 0 [pid=7528] vsize: 504356 Current children cumulated CPU time (s) 558.88 Current children cumulated vsize (Kb) 504356 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 165771 0 0 0 56488 400 0 0 25 0 1 0 21391077 519626752 95240 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 126862 95240 364 364 0 126498 0 [pid=7528] vsize: 507448 Current children cumulated CPU time (s) 568.88 Current children cumulated vsize (Kb) 507448 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 165776 0 0 0 57487 401 0 0 25 0 1 0 21391077 519626752 95245 4294967295 134512640 135987407 3221224576 3221223264 134824711 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 126862 95245 364 364 0 126498 0 [pid=7528] vsize: 507448 Current children cumulated CPU time (s) 578.88 Current children cumulated vsize (Kb) 507448 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 165777 0 0 0 58485 402 0 0 25 0 1 0 21391077 519626752 95246 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 126862 95246 364 364 0 126498 0 [pid=7528] vsize: 507448 Current children cumulated CPU time (s) 588.87 Current children cumulated vsize (Kb) 507448 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166222 0 0 0 59484 403 0 0 25 0 1 0 21391077 520941568 95432 4294967295 134512640 135987407 3221224576 3221223008 134788469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95432 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 598.87 Current children cumulated vsize (Kb) 508732 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166222 0 0 0 60483 403 0 0 25 0 1 0 21391077 520941568 95432 4294967295 134512640 135987407 3221224576 3221223136 134812163 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95432 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 608.86 Current children cumulated vsize (Kb) 508732 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166258 0 0 0 61483 404 0 0 25 0 1 0 21391077 520941568 95468 4294967295 134512640 135987407 3221224576 3221223136 134811937 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95468 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 618.87 Current children cumulated vsize (Kb) 508732 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166264 0 0 0 62483 404 0 0 25 0 1 0 21391077 520941568 95474 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95474 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 628.87 Current children cumulated vsize (Kb) 508732 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166267 0 0 0 63482 404 0 0 25 0 1 0 21391077 520941568 95477 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95477 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 638.86 Current children cumulated vsize (Kb) 508732 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166267 0 0 0 64482 404 0 0 25 0 1 0 21391077 520941568 95477 4294967295 134512640 135987407 3221224576 3221223136 134811784 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95477 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 648.86 Current children cumulated vsize (Kb) 508732 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 166273 0 0 0 65480 405 0 0 25 0 1 0 21391077 520941568 95483 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 127183 95483 364 364 0 126819 0 [pid=7528] vsize: 508732 Current children cumulated CPU time (s) 658.85 Current children cumulated vsize (Kb) 508732 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 168595 0 0 0 66472 411 0 0 25 0 1 0 21391077 523710464 95969 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 127859 95969 364 364 0 127495 0 [pid=7528] vsize: 511436 Current children cumulated CPU time (s) 668.83 Current children cumulated vsize (Kb) 511436 [startup+680.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 171479 0 0 0 67463 417 0 0 25 0 1 0 21391077 530804736 97231 4294967295 134512640 135987407 3221224576 3221223136 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 129591 97231 364 364 0 129227 0 [pid=7528] vsize: 518364 Current children cumulated CPU time (s) 678.8 Current children cumulated vsize (Kb) 518364 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 171819 0 0 0 68461 418 0 0 25 0 1 0 21391077 531595264 97441 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 129784 97441 364 364 0 129420 0 [pid=7528] vsize: 519136 Current children cumulated CPU time (s) 688.79 Current children cumulated vsize (Kb) 519136 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 172749 0 0 0 69454 422 0 0 25 0 1 0 21391077 534499328 97883 4294967295 134512640 135987407 3221224576 3221223276 134812256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 130493 97883 364 364 0 130129 0 [pid=7528] vsize: 521972 Current children cumulated CPU time (s) 698.76 Current children cumulated vsize (Kb) 521972 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 174012 0 0 0 70450 425 0 0 25 0 1 0 21391077 538320896 98530 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 131426 98530 364 364 0 131062 0 [pid=7528] vsize: 525704 Current children cumulated CPU time (s) 708.75 Current children cumulated vsize (Kb) 525704 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 175796 0 0 0 71444 429 0 0 25 0 1 0 21391077 542797824 99536 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 132519 99536 364 364 0 132155 0 [pid=7528] vsize: 530076 Current children cumulated CPU time (s) 718.73 Current children cumulated vsize (Kb) 530076 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176316 0 0 0 72441 431 0 0 25 0 1 0 21391077 544112640 99797 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 132840 99797 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 728.72 Current children cumulated vsize (Kb) 531360 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176317 0 0 0 73441 431 0 0 25 0 1 0 21391077 544112640 99798 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 132840 99798 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 738.72 Current children cumulated vsize (Kb) 531360 [startup+750.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176318 0 0 0 74441 431 0 0 25 0 1 0 21391077 544112640 99799 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 132840 99799 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 748.72 Current children cumulated vsize (Kb) 531360 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176318 0 0 0 75439 432 0 0 25 0 1 0 21391077 544112640 99799 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 132840 99799 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 758.71 Current children cumulated vsize (Kb) 531360 [startup+770.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176319 0 0 0 76437 432 0 0 25 0 1 0 21391077 544112640 99800 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 132840 99800 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 768.69 Current children cumulated vsize (Kb) 531360 [startup+780.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176319 0 0 0 77437 433 0 0 25 0 1 0 21391077 544112640 99800 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 132840 99800 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 778.7 Current children cumulated vsize (Kb) 531360 [startup+790.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176320 0 0 0 78435 433 0 0 25 0 1 0 21391077 544112640 99801 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 132840 99801 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 788.68 Current children cumulated vsize (Kb) 531360 [startup+800.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176320 0 0 0 79435 434 0 0 25 0 1 0 21391077 544112640 99801 4294967295 134512640 135987407 3221224576 3221223264 134824247 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 132840 99801 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 798.69 Current children cumulated vsize (Kb) 531360 [startup+810.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176330 0 0 0 80432 435 0 0 25 0 1 0 21391077 544112640 99811 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 132840 99811 364 364 0 132476 0 [pid=7528] vsize: 531360 Current children cumulated CPU time (s) 808.67 Current children cumulated vsize (Kb) 531360 [startup+820.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176620 0 0 0 81431 436 0 0 25 0 1 0 21391077 545161216 99844 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 133096 99844 364 364 0 132732 0 [pid=7528] vsize: 532384 Current children cumulated CPU time (s) 818.67 Current children cumulated vsize (Kb) 532384 [startup+830.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 7528 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 176629 0 0 0 82429 436 0 0 25 0 1 0 21391077 545161216 99853 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 133096 99853 364 364 0 132732 0 [pid=7528] vsize: 532384 Current children cumulated CPU time (s) 828.65 Current children cumulated vsize (Kb) 532384 [startup+840.017 s] Raw data (loadavg): 0.99 0.97 0.98 3/58 7572 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177128 0 0 0 83424 439 0 0 25 0 1 0 21391077 546738176 100029 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133481 100029 364 364 0 133117 0 [pid=7528] vsize: 533924 Current children cumulated CPU time (s) 838.63 Current children cumulated vsize (Kb) 533924 [startup+850.017 s] Raw data (loadavg): 1.07 0.99 0.99 2/55 7583 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177131 0 0 0 84423 440 0 0 25 0 1 0 21391077 546738176 100032 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133481 100032 364 364 0 133117 0 [pid=7528] vsize: 533924 Current children cumulated CPU time (s) 848.63 Current children cumulated vsize (Kb) 533924 [startup+860.017 s] Raw data (loadavg): 1.06 0.99 0.99 2/55 7583 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177404 0 0 0 85421 441 0 0 25 0 1 0 21391077 547786752 100048 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100048 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 858.62 Current children cumulated vsize (Kb) 534948 [startup+870.018 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 7583 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177455 0 0 0 86421 441 0 0 25 0 1 0 21391077 547786752 100099 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100099 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 868.62 Current children cumulated vsize (Kb) 534948 [startup+880.017 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 7583 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177460 0 0 0 87421 441 0 0 25 0 1 0 21391077 547786752 100104 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100104 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 878.62 Current children cumulated vsize (Kb) 534948 [startup+890.018 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 7583 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177464 0 0 0 88419 442 0 0 25 0 1 0 21391077 547786752 100108 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100108 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 888.61 Current children cumulated vsize (Kb) 534948 [startup+900.018 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 7585 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177469 0 0 0 89418 442 0 0 25 0 1 0 21391077 547786752 100113 4294967295 134512640 135987407 3221224576 3221223136 134788648 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100113 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 898.6 Current children cumulated vsize (Kb) 534948 [startup+910.019 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 7587 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177476 0 0 0 90417 443 0 0 25 0 1 0 21391077 547786752 100120 4294967295 134512640 135987407 3221224576 3221223208 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100120 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 908.6 Current children cumulated vsize (Kb) 534948 [startup+920.019 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177481 0 0 0 91416 443 0 0 25 0 1 0 21391077 547786752 100125 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100125 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 918.59 Current children cumulated vsize (Kb) 534948 [startup+930.02 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 177492 0 0 0 92416 443 0 0 25 0 1 0 21391077 547786752 100136 4294967295 134512640 135987407 3221224576 3221223264 134824216 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 133737 100136 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 928.59 Current children cumulated vsize (Kb) 534948 [startup+940.021 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 178801 0 0 0 93410 448 0 0 25 0 1 0 21391077 547786752 100162 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 133737 100162 364 364 0 133373 0 [pid=7528] vsize: 534948 Current children cumulated CPU time (s) 938.58 Current children cumulated vsize (Kb) 534948 [startup+950.022 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 179416 0 0 0 94400 452 0 0 25 0 1 0 21391077 549638144 100582 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 134189 100582 364 364 0 133825 0 [pid=7528] vsize: 536756 Current children cumulated CPU time (s) 948.52 Current children cumulated vsize (Kb) 536756 [startup+960.021 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180460 0 0 0 95390 456 0 0 25 0 1 0 21391077 552935424 101140 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 134994 101140 364 364 0 134630 0 [pid=7528] vsize: 539976 Current children cumulated CPU time (s) 958.46 Current children cumulated vsize (Kb) 539976 [startup+970.022 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180641 0 0 0 96387 458 0 0 25 0 1 0 21391077 553459712 101192 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101192 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 968.45 Current children cumulated vsize (Kb) 540488 [startup+980.023 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180647 0 0 0 97386 458 0 0 25 0 1 0 21391077 553459712 101198 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101198 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 978.44 Current children cumulated vsize (Kb) 540488 [startup+990.024 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180654 0 0 0 98386 458 0 0 25 0 1 0 21391077 553459712 101205 4294967295 134512640 135987407 3221224576 3221223136 134811956 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101205 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 988.44 Current children cumulated vsize (Kb) 540488 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180659 0 0 0 99385 459 0 0 25 0 1 0 21391077 553459712 101210 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101210 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 998.44 Current children cumulated vsize (Kb) 540488 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180664 0 0 0 100385 459 0 0 25 0 1 0 21391077 553459712 101215 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101215 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1008.44 Current children cumulated vsize (Kb) 540488 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180670 0 0 0 101384 459 0 0 25 0 1 0 21391077 553459712 101221 4294967295 134512640 135987407 3221224576 3221223136 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101221 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1018.43 Current children cumulated vsize (Kb) 540488 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180675 0 0 0 102384 459 0 0 25 0 1 0 21391077 553459712 101226 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101226 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1028.43 Current children cumulated vsize (Kb) 540488 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180681 0 0 0 103383 460 0 0 25 0 1 0 21391077 553459712 101232 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101232 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1038.43 Current children cumulated vsize (Kb) 540488 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180686 0 0 0 104383 460 0 0 25 0 1 0 21391077 553459712 101237 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101237 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1048.43 Current children cumulated vsize (Kb) 540488 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180691 0 0 0 105382 460 0 0 25 0 1 0 21391077 553459712 101242 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101242 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1058.42 Current children cumulated vsize (Kb) 540488 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180695 0 0 0 106382 460 0 0 25 0 1 0 21391077 553459712 101246 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101246 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1068.42 Current children cumulated vsize (Kb) 540488 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 180700 0 0 0 107382 460 0 0 25 0 1 0 21391077 553459712 101251 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135122 101251 364 364 0 134758 0 [pid=7528] vsize: 540488 Current children cumulated CPU time (s) 1078.42 Current children cumulated vsize (Kb) 540488 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 182671 0 0 0 108372 467 0 0 25 0 1 0 21391077 555704320 101647 4294967295 134512640 135987407 3221224576 3221223136 134811829 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7528/statm): 135670 101647 364 364 0 135306 0 [pid=7528] vsize: 542680 Current children cumulated CPU time (s) 1088.39 Current children cumulated vsize (Kb) 542680 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) T 7527 7528 4060 0 -1 0 183105 0 0 0 109363 471 0 0 25 0 1 0 21391077 557424640 101917 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7528/statm): 136090 101917 364 364 0 135726 0 [pid=7528] vsize: 544360 Current children cumulated CPU time (s) 1098.34 Current children cumulated vsize (Kb) 544360 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 183487 0 0 0 110360 472 0 0 25 0 1 0 21391077 558473216 102041 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 136346 102041 364 364 0 135982 0 [pid=7528] vsize: 545384 Current children cumulated CPU time (s) 1108.32 Current children cumulated vsize (Kb) 545384 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 184530 0 0 0 111354 477 0 0 25 0 1 0 21391077 560832512 102502 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 136922 102502 364 364 0 136558 0 [pid=7528] vsize: 547688 Current children cumulated CPU time (s) 1118.31 Current children cumulated vsize (Kb) 547688 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 184670 0 0 0 112353 477 0 0 25 0 1 0 21391077 561360896 102577 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 137051 102577 364 364 0 136687 0 [pid=7528] vsize: 548204 Current children cumulated CPU time (s) 1128.3 Current children cumulated vsize (Kb) 548204 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 184880 0 0 0 113351 478 0 0 25 0 1 0 21391077 561754112 102689 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 137147 102689 364 364 0 136783 0 [pid=7528] vsize: 548588 Current children cumulated CPU time (s) 1138.29 Current children cumulated vsize (Kb) 548588 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 185260 0 0 0 114350 479 0 0 25 0 1 0 21391077 562671616 102842 4294967295 134512640 135987407 3221224576 3221223296 134790052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 137371 102842 364 364 0 137007 0 [pid=7528] vsize: 549484 Current children cumulated CPU time (s) 1148.29 Current children cumulated vsize (Kb) 549484 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 186211 0 0 0 115347 482 0 0 25 0 1 0 21391077 565297152 103212 4294967295 134512640 135987407 3221224576 3221223296 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 138012 103212 364 364 0 137648 0 [pid=7528] vsize: 552048 Current children cumulated CPU time (s) 1158.29 Current children cumulated vsize (Kb) 552048 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 187992 0 0 0 116340 486 0 0 25 0 1 0 21391077 566611968 103451 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 138333 103451 364 364 0 137969 0 [pid=7528] vsize: 553332 Current children cumulated CPU time (s) 1168.26 Current children cumulated vsize (Kb) 553332 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7589 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 188850 0 0 0 117332 490 0 0 25 0 1 0 21391077 569782272 103921 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 139107 103921 364 364 0 138743 0 [pid=7528] vsize: 556428 Current children cumulated CPU time (s) 1178.22 Current children cumulated vsize (Kb) 556428 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7591 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 188882 0 0 0 118325 493 0 0 25 0 1 0 21391077 569782272 103953 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 139107 103953 364 364 0 138743 0 [pid=7528] vsize: 556428 Current children cumulated CPU time (s) 1188.18 Current children cumulated vsize (Kb) 556428 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7591 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 190098 0 0 0 119317 497 0 0 25 0 1 0 21391077 573460480 104394 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 140005 104394 364 364 0 139641 0 [pid=7528] vsize: 560020 Current children cumulated CPU time (s) 1198.14 Current children cumulated vsize (Kb) 560020 [startup+1210.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7591 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 190427 0 0 0 120314 498 0 0 25 0 1 0 21391077 574509056 104466 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 140261 104466 364 364 0 139897 0 [pid=7528] vsize: 561044 Current children cumulated CPU time (s) 1208.12 Current children cumulated vsize (Kb) 561044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.03 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 7591 Raw data (/proc/7528/stat): 7528 (pb2sat) R 7527 7528 4060 0 -1 0 190427 0 0 0 120314 498 0 0 25 0 1 0 21391077 574509056 104466 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7528/statm): 140261 104466 364 364 0 139897 0 [pid=7528] vsize: 561044 Current children cumulated CPU time (s) 1208.12 Current children cumulated vsize (Kb) 561044 Sending SIGTERM to -7528 Sleeping 2 seconds One traced child (pid=7528) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1211.31 CPU time (s): 1209.39 CPU user time (s): 1204.19 CPU system time (s): 5.20221 CPU usage (%): 99.8419 Max. virtual memory (cumulated for all children) (Kb): 561044
Verifier: OK 0