PB'05 competition: run trace

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 1400
c big objective detected
c trying from 0 to 511

c Decision: 27382/587908	Time: 134.785/86400
c Decision: 27412/587908	Time: 273.449/86400
c Decision: 37500/587908	Time: 402.099/86400
c Decision: 58124/587908	Time: 800.477/86400
c Decision: 132022/587908	Time: 909.9/86400
c trying from 512 to 1023
s 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 -C141 -C142 -C143 -C144 -C145 -C146 -C147 -C148 -C149 -C15 -C150 -C151 -C152 -C153 -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 
*** glibc detected *** pb2sat: free(): invalid next size (fast): 0x0a51f848 ***
======= Backtrace: =========
[0x8133e0b]
[0x81342a2]
[0x810551d]
[0x808d2fd]
[0x8085a91]
[0x8118cb6]
[0x804902c]
[0x80491d2]
[0xffffe420]
[0x8091303]
[0x809146a]
[0x8094685]
[0x8094795]
[0x8057395]
[0x804a97e]
[0x8110e79]
[0x8048141]
======= Memory map: ========
08048000-081b1000 r-xp 00000000 00:14 3276939    /oldhome/oroussel/solvers/pb2sat
081b1000-081b4000 rw-p 00168000 00:14 3276939    /oldhome/oroussel/solvers/pb2sat
081b4000-1ac27000 rw-p 081b4000 00:00 0 
40000000-40001000 rw-p 40000000 00:00 0 
40001000-44002000 rw-p 400b6000 00:00 0 
44540000-44561000 rw-p 44540000 00:00 0 
445c1000-447c4000 rw-p 445c1000 00:00 0 
44887000-44989000 rw-p 44887000 00:00 0 
449a8000-449e9000 rw-p 449a8000 00:00 0 
44a08000-44c2a000 rw-p 44a08000 00:00 0 
44d4c000-44d8d000 rw-p 44d4c000 00:00 0 
44dae000-44e70000 rw-p 44dae000 00:00 0 
44e73000-44f98000 rw-p 44e73000 00:00 0 
44fb9000-4509c000 rw-p 44fb9000 00:00 0 
450bb000-451bc000 rw-p 450bb000 00:00 0 
451dd000-453a1000 rw-p 451dd000 00:00 0 
453c2000-45403000 rw-p 453c2000 00:00 0 
45424000-45465000 rw-p 45424000 00:00 0 
45484000-45585000 rw-p 45484000 00:00 0 
455c7000-45608000 rw-p 455c7000 00:00 0 
45627000-45648000 rw-p 45627000 00:00 0 
45669000-456ab000 rw-p 45669000 00:00 0 
456ec000-4586e000 rw-p 456ec000 00:00 0 
458b0000-458d1000 rw-p 458b0000 00:00 0 
459f0000-45ad4000 rw-p 459f0000 00:00 0 
45af1000-460f9000 rw-p 45af1000 00:00 0 
4613a000-4617b000 rw-p 4613a000 00:00 0 
461bc000-461dd000 rw-p 461bc000 00:00 0 
461fd000-4625f000 rw-p 461fd000 00:00 0 
4625f000-46280000 rw-p 4625f000 00:00 0 
462a0000-46321000 rw-p 462a0000 00:00 0 
46342000-46383000 rw-p 46342000 00:00 0 
463a4000-46406000 rw-p 463a4000 00:00 0 
46468000-464e9000 rw-p 46468000 00:00 0 
464ea000-4652b000 rw-p 464ea000 00:00 0 
465ad000-46731000 rw-p 465ad000 00:00 0 
467b2000-46b77000 rw-p 467b2000 00:00 0 
46b98000-46c7b000 rw-p 46b98000 00:00 0 
46c9b000-46d1c000 rw-p 46c9b000 00:00 0 
46d3d000-46d7f000 rw-p 46d3d000 00:00 0 
46da0000-46dc1000 rw-p 46da0000 00:00 0 
46de1000-46e62000 rw-p 46de1000 00:00 0 
46ea3000-46f25000 rw-p 46ea3000 00:00 0 
46f46000-470cd000 rw-p 46f46000 00:00 0 
4710f000-473f7000 rw-p 4710f000 00:00 0 
47416000-477bf000 rw-p 47416000 00:00 0 
477de000-47c45000 rw-p 477de000 00:00 0 
47c65000-47f4d000 rw-p 47c65000 00:00 0 
47fcf000-48050000 rw-p 47fcf000 00:00 0 
48050000-48173000 rw-p 48050000 00:00 0 
48585000-48606000 rw-p 48585000 00:00 0 
486c8000-4886b000 rw-p 486c8000 00:00 0 
4888c000-488ad000 rw-p 4888c000 00:00 0 
488cd000-48a10000 rw-p 488cd000 00:00 0 
48a51000-48d57000 rw-p 48a51000 00:00 0 
48d98000-48e5b000 rw-p 48d98000 00:00 0 
48e9c000-48f1e000 rw-p 48e9c000 00:00 0 
48f5f000-48fe1000 rw-p 48f5f000 00:00 0 
49002000-49043000 rw-p 49002000 00:00 0 
49064000-490a5000 rw-p 49064000 00:00 0 
490e7000-494f1000 rw-p 490e7000 00:00 0 
49512000-49553000 rw-p 49512000 00:00 0 
49572000-49735000 rw-p 49572000 00:00 0 
49756000-49797000 rw-p 49756000 00:00 0 
497b6000-49919000 rw-p 497b6000 00:00 0 
4993a000-4aeb7000 rw-p 4993a000 00:00 0 
4b27b000-4b380000 rw-p 4b27b000 00:00 0 
4b3a1000-4b3c2000 rw-p 4b3a1000 00:00 0 
4b3e2000-4b5cc000 rw-p 4b3e2000 00:00 0 
4b5ed000-4b60e000 rw-p 4b5ed000 00:00 0 
4b62f000-4b671000 rw-p 4b62f000 00:00 0 
4b67c000-4bbc0000 rw-p 4b67c000 00:00 0 
4bc22000-4bca3000 rw-p 4bc22000 00:00 0 
4bce4000-4bd65000 rw-p 4bce4000 00:00 0 
4bda6000-4be27000 rw-p 4bda6000 00:00 0 
4be68000-4bee9000 rw-p 4be68000 00:00 0 
4bf2a000-4bfab000 rw-p 4bf2a000 00:00 0 
4bfec000-4c06d000 rw-p 4bfec000 00:00 0 
4c0ae000-4c12f000 rw-p 4c0ae000 00:00 0 
4c170000-4c1f1000 rw-p 4c170000 00:00 0 
4c232000-4c2b3000 rw-p 4c232000 00:00 0 
4c2f4000-4c375000 rw-p 4c2f4000 00:00 0 
4c3b6000-4c437000 rw-p 4c3b6000 00:00 0 
4c478000-4c4f9000 rw-p 4c478000 00:00 0 
4c53a000-4c5fc000 rw-p 4c53a000 00:00 0 
4c600000-4c624000 rw-p 4c600000 00:00 0 
4c624000-4c700000 ---p 4c624000 00:00 0 
50386000-50b87000 rw-p 50386000 00:00 0 
54787000-54a8b000 rw-p 54787000 00:00 0 
54b0c000-54d0e000 rw-p 54b0c000 00:00 0 
54d4f000-55014000 rw-p 54d4f000 00:00 0 
55054000-55155000 rw-p 55054000 00:00 0 
55196000-55217000 rw-p 55196000 00:00 0 
55258000-55ae4000 rw-p 55258000 00:00 0 
55b05000-55b46000 rw-p 55b05000 00:00 0 
55b65000-56230000 rw-p 55b65000 00:00 0 
56270000-56bfb000 rw-p 56270000 00:00 0 
56c7c000-56eff000 rw-p 56c7c000 00:00 0 
56f80000-57586000 rw-p 56f80000 00:00 0 
57687000-57a8a000 rw-p 57687000 00:00 0 
57c8b000-6c48d000 rw-p 57c8b000 00:00 0 
bff8b000-c0000000 rw-p bff8b000 00:00 0 
ffffe000-fffff000 ---p 00000000 00:00 0

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/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21320191 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 373 2 364 364 0 9 0
[pid=7125] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-frb56-25-5.opb

[startup+10.0022 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 10783 0 0 0 968 29 0 0 25 0 1 0 21320191 37789696 6556 4294967295 134512640 135987407 3221224560 3220780544 134877726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 9226 6556 364 364 0 8862 0
[pid=7125] vsize: 36904
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 36904

[startup+20.003 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 42274 0 0 0 1894 100 0 0 25 0 1 0 21320191 128897024 25173 4294967295 134512640 135987407 3221224560 3220837340 135499903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 31469 25173 364 364 0 31105 0
[pid=7125] vsize: 125876
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 125876

[startup+30.0038 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 66451 0 0 0 2840 152 0 0 25 0 1 0 21320191 198340608 44290 4294967295 134512640 135987407 3221224560 3221197904 134892737 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 48423 44290 364 364 0 48059 0
[pid=7125] vsize: 193692
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 193692

[startup+40.0036 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 105400 0 0 0 3755 234 0 0 25 0 1 0 21320191 359174144 61091 4294967295 134512640 135987407 3221224560 3221223008 135477274 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 87689 61091 364 364 0 87325 0
[pid=7125] vsize: 350756
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 350756

[startup+50.0043 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 111058 0 0 0 4731 250 0 0 25 0 1 0 21320191 376455168 65196 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 91908 65196 364 364 0 91544 0
[pid=7125] vsize: 367632
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (Kb) 367632

[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 112946 0 0 0 5716 258 0 0 25 0 1 0 21320191 382550016 66233 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 93396 66233 364 364 0 93032 0
[pid=7125] vsize: 373584
Current children cumulated CPU time (s) 59.74
Current children cumulated vsize (Kb) 373584

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 113832 0 0 0 6699 265 0 0 25 0 1 0 21320191 386158592 66938 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 94277 66938 364 364 0 93913 0
[pid=7125] vsize: 377108
Current children cumulated CPU time (s) 69.64
Current children cumulated vsize (Kb) 377108

[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 115910 0 0 0 7691 270 0 0 25 0 1 0 21320191 392978432 68090 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 95942 68090 364 364 0 95578 0
[pid=7125] vsize: 383768
Current children cumulated CPU time (s) 79.61
Current children cumulated vsize (Kb) 383768

[startup+90.0054 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 117553 0 0 0 8684 274 0 0 25 0 1 0 21320191 397606912 68922 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 97072 68922 364 364 0 96708 0
[pid=7125] vsize: 388288
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (Kb) 388288

[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 117905 0 0 0 9682 276 0 0 25 0 1 0 21320191 398598144 69112 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 97314 69112 364 364 0 96950 0
[pid=7125] vsize: 389256
Current children cumulated CPU time (s) 99.58
Current children cumulated vsize (Kb) 389256

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 118310 0 0 0 10680 277 0 0 25 0 1 0 21320191 400011264 69290 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 97659 69290 364 364 0 97295 0
[pid=7125] vsize: 390636
Current children cumulated CPU time (s) 109.57
Current children cumulated vsize (Kb) 390636

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 118336 0 0 0 11680 278 0 0 25 0 1 0 21320191 400011264 69316 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 97659 69316 364 364 0 97295 0
[pid=7125] vsize: 390636
Current children cumulated CPU time (s) 119.58
Current children cumulated vsize (Kb) 390636

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 118502 0 0 0 12680 278 0 0 25 0 1 0 21320191 400408576 69417 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 97756 69417 364 364 0 97392 0
[pid=7125] vsize: 391024
Current children cumulated CPU time (s) 129.58
Current children cumulated vsize (Kb) 391024

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 118952 0 0 0 13677 279 0 0 25 0 1 0 21320191 401727488 69638 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 98078 69638 364 364 0 97714 0
[pid=7125] vsize: 392312
Current children cumulated CPU time (s) 139.56
Current children cumulated vsize (Kb) 392312

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 119013 0 0 0 14676 280 0 0 25 0 1 0 21320191 401858560 69666 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 98110 69666 364 364 0 97746 0
[pid=7125] vsize: 392440
Current children cumulated CPU time (s) 149.56
Current children cumulated vsize (Kb) 392440

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 119114 0 0 0 15674 280 0 0 25 0 1 0 21320191 401989632 69734 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 98142 69734 364 364 0 97778 0
[pid=7125] vsize: 392568
Current children cumulated CPU time (s) 159.54
Current children cumulated vsize (Kb) 392568

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 119433 0 0 0 16670 282 0 0 25 0 1 0 21320191 403038208 69796 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 98398 69796 364 364 0 98034 0
[pid=7125] vsize: 393592
Current children cumulated CPU time (s) 169.52
Current children cumulated vsize (Kb) 393592

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 120932 0 0 0 17661 288 0 0 25 0 1 0 21320191 404369408 70064 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 98723 70064 364 364 0 98359 0
[pid=7125] vsize: 394892
Current children cumulated CPU time (s) 179.49
Current children cumulated vsize (Kb) 394892

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 121789 0 0 0 18647 295 0 0 25 0 1 0 21320191 407887872 70700 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 99582 70700 364 364 0 99218 0
[pid=7125] vsize: 398328
Current children cumulated CPU time (s) 189.42
Current children cumulated vsize (Kb) 398328

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 122610 0 0 0 19641 298 0 0 25 0 1 0 21320191 411156480 71275 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 100380 71275 364 364 0 100016 0
[pid=7125] vsize: 401520
Current children cumulated CPU time (s) 199.39
Current children cumulated vsize (Kb) 401520

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 123891 0 0 0 20633 302 0 0 25 0 1 0 21320191 414453760 71906 4294967295 134512640 135987407 3221224560 3221223120 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 101185 71906 364 364 0 100821 0
[pid=7125] vsize: 404740
Current children cumulated CPU time (s) 209.35
Current children cumulated vsize (Kb) 404740

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 123931 0 0 0 21632 302 0 0 25 0 1 0 21320191 414453760 71946 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 101185 71946 364 364 0 100821 0
[pid=7125] vsize: 404740
Current children cumulated CPU time (s) 219.34
Current children cumulated vsize (Kb) 404740

[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 125043 0 0 0 22624 306 0 0 25 0 1 0 21320191 418578432 72569 4294967295 134512640 135987407 3221224560 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 102192 72569 364 364 0 101828 0
[pid=7125] vsize: 408768
Current children cumulated CPU time (s) 229.3
Current children cumulated vsize (Kb) 408768

[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 125952 0 0 0 23618 309 0 0 25 0 1 0 21320191 422047744 73116 4294967295 134512640 135987407 3221224560 3221223120 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 103039 73116 364 364 0 102675 0
[pid=7125] vsize: 412156
Current children cumulated CPU time (s) 239.27
Current children cumulated vsize (Kb) 412156

[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 127461 0 0 0 24610 313 0 0 25 0 1 0 21320191 426799104 73876 4294967295 134512640 135987407 3221224560 3221223216 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 104199 73876 364 364 0 103835 0
[pid=7125] vsize: 416796
Current children cumulated CPU time (s) 249.23
Current children cumulated vsize (Kb) 416796

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 127599 0 0 0 25602 317 0 0 25 0 1 0 21320191 427327488 73949 4294967295 134512640 135987407 3221224560 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 104328 73949 364 364 0 103964 0
[pid=7125] vsize: 417312
Current children cumulated CPU time (s) 259.19
Current children cumulated vsize (Kb) 417312

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 128374 0 0 0 26596 319 0 0 25 0 1 0 21320191 429715456 74366 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 104911 74366 364 364 0 104547 0
[pid=7125] vsize: 419644
Current children cumulated CPU time (s) 269.15
Current children cumulated vsize (Kb) 419644

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 130278 0 0 0 27589 324 0 0 25 0 1 0 21320191 435937280 75230 4294967295 134512640 135987407 3221224560 3221223120 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 106430 75230 364 364 0 106066 0
[pid=7125] vsize: 425720
Current children cumulated CPU time (s) 279.13
Current children cumulated vsize (Kb) 425720

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 131283 0 0 0 28585 327 0 0 25 0 1 0 21320191 439906304 75781 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 107399 75781 364 364 0 107035 0
[pid=7125] vsize: 429596
Current children cumulated CPU time (s) 289.12
Current children cumulated vsize (Kb) 429596

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 131378 0 0 0 29582 328 0 0 25 0 1 0 21320191 440168448 75811 4294967295 134512640 135987407 3221224560 3221223120 134811986 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 107463 75811 364 364 0 107099 0
[pid=7125] vsize: 429852
Current children cumulated CPU time (s) 299.1
Current children cumulated vsize (Kb) 429852

[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 131419 0 0 0 30580 328 0 0 25 0 1 0 21320191 440168448 75852 4294967295 134512640 135987407 3221224560 3221223120 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 107463 75852 364 364 0 107099 0
[pid=7125] vsize: 429852
Current children cumulated CPU time (s) 309.08
Current children cumulated vsize (Kb) 429852

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 133711 0 0 0 31568 337 0 0 25 0 1 0 21320191 443736064 76343 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 108334 76343 364 364 0 107970 0
[pid=7125] vsize: 433336
Current children cumulated CPU time (s) 319.05
Current children cumulated vsize (Kb) 433336

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 134465 0 0 0 32556 341 0 0 25 0 1 0 21320191 446521344 76785 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 109014 76785 364 364 0 108650 0
[pid=7125] vsize: 436056
Current children cumulated CPU time (s) 328.97
Current children cumulated vsize (Kb) 436056

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 135080 0 0 0 33548 345 0 0 25 0 1 0 21320191 449060864 77202 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 109634 77202 364 364 0 109270 0
[pid=7125] vsize: 438536
Current children cumulated CPU time (s) 338.93
Current children cumulated vsize (Kb) 438536

[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 135759 0 0 0 34542 348 0 0 25 0 1 0 21320191 451170304 77554 4294967295 134512640 135987407 3221224560 3221223120 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110149 77554 364 364 0 109785 0
[pid=7125] vsize: 440596
Current children cumulated CPU time (s) 348.9
Current children cumulated vsize (Kb) 440596

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136079 0 0 0 35540 350 0 0 25 0 1 0 21320191 452493312 77744 4294967295 134512640 135987407 3221224560 3221222992 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77744 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 358.9
Current children cumulated vsize (Kb) 441888

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136079 0 0 0 36539 350 0 0 25 0 1 0 21320191 452493312 77744 4294967295 134512640 135987407 3221224560 3221223120 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77744 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 368.89
Current children cumulated vsize (Kb) 441888

[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136133 0 0 0 37538 351 0 0 25 0 1 0 21320191 452493312 77798 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77798 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 378.89
Current children cumulated vsize (Kb) 441888

[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136133 0 0 0 38538 351 0 0 25 0 1 0 21320191 452493312 77798 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77798 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 388.89
Current children cumulated vsize (Kb) 441888

[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136133 0 0 0 39537 351 0 0 25 0 1 0 21320191 452493312 77798 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77798 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 398.88
Current children cumulated vsize (Kb) 441888

[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136134 0 0 0 40536 352 0 0 25 0 1 0 21320191 452493312 77799 4294967295 134512640 135987407 3221224560 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77799 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 408.88
Current children cumulated vsize (Kb) 441888

[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136136 0 0 0 41536 352 0 0 25 0 1 0 21320191 452493312 77801 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77801 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 418.88
Current children cumulated vsize (Kb) 441888

[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136142 0 0 0 42535 352 0 0 25 0 1 0 21320191 452493312 77807 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77807 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 428.87
Current children cumulated vsize (Kb) 441888

[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 136146 0 0 0 43534 352 0 0 25 0 1 0 21320191 452493312 77811 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110472 77811 364 364 0 110108 0
[pid=7125] vsize: 441888
Current children cumulated CPU time (s) 438.86
Current children cumulated vsize (Kb) 441888

[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 137882 0 0 0 44523 359 0 0 25 0 1 0 21320191 453804032 78073 4294967295 134512640 135987407 3221224560 3221222892 135482074 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 110792 78073 364 364 0 110428 0
[pid=7125] vsize: 443168
Current children cumulated CPU time (s) 448.82
Current children cumulated vsize (Kb) 443168

[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 139746 0 0 0 45510 366 0 0 25 0 1 0 21320191 459083776 79011 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 112081 79011 364 364 0 111717 0
[pid=7125] vsize: 448324
Current children cumulated CPU time (s) 458.76
Current children cumulated vsize (Kb) 448324

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 140832 0 0 0 46504 370 0 0 25 0 1 0 21320191 462036992 79449 4294967295 134512640 135987407 3221224560 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 112802 79449 364 364 0 112438 0
[pid=7125] vsize: 451208
Current children cumulated CPU time (s) 468.74
Current children cumulated vsize (Kb) 451208

[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 143050 0 0 0 47497 375 0 0 25 0 1 0 21320191 467562496 80500 4294967295 134512640 135987407 3221224560 3221222992 134788443 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 114151 80500 364 364 0 113787 0
[pid=7125] vsize: 456604
Current children cumulated CPU time (s) 478.72
Current children cumulated vsize (Kb) 456604

[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 144160 0 0 0 48493 378 0 0 25 0 1 0 21320191 469925888 81091 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 114728 81091 364 364 0 114364 0
[pid=7125] vsize: 458912
Current children cumulated CPU time (s) 488.71
Current children cumulated vsize (Kb) 458912

[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 145772 0 0 0 49487 381 0 0 25 0 1 0 21320191 474804224 81924 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 115919 81924 364 364 0 115555 0
[pid=7125] vsize: 463676
Current children cumulated CPU time (s) 498.68
Current children cumulated vsize (Kb) 463676

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 148044 0 0 0 50477 388 0 0 25 0 1 0 21320191 480997376 82959 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 117431 82959 364 364 0 117067 0
[pid=7125] vsize: 469724
Current children cumulated CPU time (s) 508.65
Current children cumulated vsize (Kb) 469724

[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 149763 0 0 0 51471 393 0 0 25 0 1 0 21320191 485339136 83769 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 118491 83769 364 364 0 118127 0
[pid=7125] vsize: 473964
Current children cumulated CPU time (s) 518.64
Current children cumulated vsize (Kb) 473964

[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 150658 0 0 0 52467 396 0 0 25 0 1 0 21320191 487837696 84176 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 119101 84176 364 364 0 118737 0
[pid=7125] vsize: 476404
Current children cumulated CPU time (s) 528.63
Current children cumulated vsize (Kb) 476404

[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 151623 0 0 0 53462 399 0 0 25 0 1 0 21320191 489803776 84655 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 119581 84655 364 364 0 119217 0
[pid=7125] vsize: 478324
Current children cumulated CPU time (s) 538.61
Current children cumulated vsize (Kb) 478324

[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 152388 0 0 0 54459 400 0 0 25 0 1 0 21320191 492040192 84999 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 120127 84999 364 364 0 119763 0
[pid=7125] vsize: 480508
Current children cumulated CPU time (s) 548.59
Current children cumulated vsize (Kb) 480508

[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 152641 0 0 0 55456 401 0 0 25 0 1 0 21320191 492695552 85090 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 120287 85090 364 364 0 119923 0
[pid=7125] vsize: 481148
Current children cumulated CPU time (s) 558.57
Current children cumulated vsize (Kb) 481148

[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 153913 0 0 0 56451 405 0 0 25 0 1 0 21320191 496513024 85681 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 121219 85681 364 364 0 120855 0
[pid=7125] vsize: 484876
Current children cumulated CPU time (s) 568.56
Current children cumulated vsize (Kb) 484876

[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 154061 0 0 0 57447 406 0 0 25 0 1 0 21320191 497311744 85829 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 121414 85829 364 364 0 121050 0
[pid=7125] vsize: 485656
Current children cumulated CPU time (s) 578.53
Current children cumulated vsize (Kb) 485656

[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155081 0 0 0 58441 410 0 0 25 0 1 0 21320191 500211712 86396 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122122 86396 364 364 0 121758 0
[pid=7125] vsize: 488488
Current children cumulated CPU time (s) 588.51
Current children cumulated vsize (Kb) 488488

[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155116 0 0 0 59437 411 0 0 25 0 1 0 21320191 500211712 86431 4294967295 134512640 135987407 3221224560 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122122 86431 364 364 0 121758 0
[pid=7125] vsize: 488488
Current children cumulated CPU time (s) 598.48
Current children cumulated vsize (Kb) 488488

[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155374 0 0 0 60434 413 0 0 25 0 1 0 21320191 500998144 86495 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86495 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 608.47
Current children cumulated vsize (Kb) 489256

[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155382 0 0 0 61433 413 0 0 25 0 1 0 21320191 500998144 86503 4294967295 134512640 135987407 3221224560 3221223216 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86503 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 618.46
Current children cumulated vsize (Kb) 489256

[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155391 0 0 0 62432 414 0 0 25 0 1 0 21320191 500998144 86512 4294967295 134512640 135987407 3221224560 3221223256 134812257 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86512 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 628.46
Current children cumulated vsize (Kb) 489256

[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155396 0 0 0 63432 414 0 0 25 0 1 0 21320191 500998144 86517 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86517 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 638.46
Current children cumulated vsize (Kb) 489256

[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155485 0 0 0 64432 414 0 0 25 0 1 0 21320191 500998144 86606 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86606 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 648.46
Current children cumulated vsize (Kb) 489256

[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155491 0 0 0 65431 415 0 0 25 0 1 0 21320191 500998144 86612 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86612 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 658.46
Current children cumulated vsize (Kb) 489256

[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155495 0 0 0 66431 415 0 0 25 0 1 0 21320191 500998144 86616 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86616 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 668.46
Current children cumulated vsize (Kb) 489256

[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155500 0 0 0 67430 415 0 0 25 0 1 0 21320191 500998144 86621 4294967295 134512640 135987407 3221224560 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86621 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 678.45
Current children cumulated vsize (Kb) 489256

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155506 0 0 0 68430 415 0 0 25 0 1 0 21320191 500998144 86627 4294967295 134512640 135987407 3221224560 3221223120 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86627 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 688.45
Current children cumulated vsize (Kb) 489256

[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155510 0 0 0 69430 415 0 0 25 0 1 0 21320191 500998144 86631 4294967295 134512640 135987407 3221224560 3221223216 134812358 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86631 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 698.45
Current children cumulated vsize (Kb) 489256

[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155515 0 0 0 70429 415 0 0 25 0 1 0 21320191 500998144 86636 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86636 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 708.44
Current children cumulated vsize (Kb) 489256

[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155521 0 0 0 71429 415 0 0 25 0 1 0 21320191 500998144 86642 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86642 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 718.44
Current children cumulated vsize (Kb) 489256

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155525 0 0 0 72428 415 0 0 25 0 1 0 21320191 500998144 86646 4294967295 134512640 135987407 3221224560 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86646 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 728.43
Current children cumulated vsize (Kb) 489256

[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155556 0 0 0 73428 416 0 0 25 0 1 0 21320191 500998144 86677 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86677 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 738.44
Current children cumulated vsize (Kb) 489256

[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155570 0 0 0 74428 416 0 0 25 0 1 0 21320191 500998144 86691 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86691 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 748.44
Current children cumulated vsize (Kb) 489256

[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155574 0 0 0 75427 416 0 0 25 0 1 0 21320191 500998144 86695 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86695 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 758.43
Current children cumulated vsize (Kb) 489256

[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155578 0 0 0 76425 417 0 0 25 0 1 0 21320191 500998144 86699 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86699 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 768.42
Current children cumulated vsize (Kb) 489256

[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155584 0 0 0 77424 417 0 0 25 0 1 0 21320191 500998144 86705 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86705 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 778.41
Current children cumulated vsize (Kb) 489256

[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155587 0 0 0 78424 418 0 0 25 0 1 0 21320191 500998144 86708 4294967295 134512640 135987407 3221224560 3221223120 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 122314 86708 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 788.42
Current children cumulated vsize (Kb) 489256

[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155593 0 0 0 79423 418 0 0 25 0 1 0 21320191 500998144 86714 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 122314 86714 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 798.41
Current children cumulated vsize (Kb) 489256

[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155603 0 0 0 80422 419 0 0 25 0 1 0 21320191 500998144 86724 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 122314 86724 364 364 0 121950 0
[pid=7125] vsize: 489256
Current children cumulated CPU time (s) 808.41
Current children cumulated vsize (Kb) 489256

[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 155895 0 0 0 81420 420 0 0 25 0 1 0 21320191 501653504 86853 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 122474 86853 364 364 0 122110 0
[pid=7125] vsize: 489896
Current children cumulated CPU time (s) 818.4
Current children cumulated vsize (Kb) 489896

[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 156227 0 0 0 82419 421 0 0 25 0 1 0 21320191 502702080 86927 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 122730 86927 364 364 0 122366 0
[pid=7125] vsize: 490920
Current children cumulated CPU time (s) 828.4
Current children cumulated vsize (Kb) 490920

[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 156716 0 0 0 83416 423 0 0 25 0 1 0 21320191 504287232 87286 4294967295 134512640 135987407 3221224560 3221223152 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 123117 87286 364 364 0 122753 0
[pid=7125] vsize: 492468
Current children cumulated CPU time (s) 838.39
Current children cumulated vsize (Kb) 492468

[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159205 0 0 0 84407 430 0 0 25 0 1 0 21320191 507957248 87721 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124013 87721 364 364 0 123649 0
[pid=7125] vsize: 496052
Current children cumulated CPU time (s) 848.37
Current children cumulated vsize (Kb) 496052

[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159724 0 0 0 85403 431 0 0 25 0 1 0 21320191 509267968 87917 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87917 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 858.34
Current children cumulated vsize (Kb) 497332

[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159729 0 0 0 86401 432 0 0 25 0 1 0 21320191 509267968 87922 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87922 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 868.33
Current children cumulated vsize (Kb) 497332

[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159732 0 0 0 87400 433 0 0 25 0 1 0 21320191 509267968 87925 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87925 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 878.33
Current children cumulated vsize (Kb) 497332

[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159736 0 0 0 88398 433 0 0 25 0 1 0 21320191 509267968 87929 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87929 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 888.31
Current children cumulated vsize (Kb) 497332

[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159740 0 0 0 89398 433 0 0 25 0 1 0 21320191 509267968 87933 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87933 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 898.31
Current children cumulated vsize (Kb) 497332

[startup+910.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159745 0 0 0 90398 434 0 0 25 0 1 0 21320191 509267968 87938 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87938 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 908.32
Current children cumulated vsize (Kb) 497332

[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159749 0 0 0 91397 434 0 0 25 0 1 0 21320191 509267968 87942 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87942 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 918.31
Current children cumulated vsize (Kb) 497332

[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159801 0 0 0 92396 434 0 0 25 0 1 0 21320191 509267968 87994 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 87994 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 928.3
Current children cumulated vsize (Kb) 497332

[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 159817 0 0 0 93396 435 0 0 25 0 1 0 21320191 509267968 88010 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 88010 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 938.31
Current children cumulated vsize (Kb) 497332

[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 160967 0 0 0 94393 437 0 0 25 0 1 0 21320191 513974272 89160 4294967295 134512640 135987407 3221224560 3221222816 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 125482 89160 364 364 0 125118 0
[pid=7125] vsize: 501928
Current children cumulated CPU time (s) 948.3
Current children cumulated vsize (Kb) 501928

[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 160973 0 0 0 95386 440 0 0 25 0 1 0 21320191 509267968 88017 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 88017 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 958.26
Current children cumulated vsize (Kb) 497332

[startup+970.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 7125
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161000 0 0 0 96377 442 0 0 25 0 1 0 21320191 509267968 88044 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 124333 88044 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 968.19
Current children cumulated vsize (Kb) 497332

[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 7163
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161018 0 0 0 97375 443 0 0 25 0 1 0 21320191 509267968 88062 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124333 88062 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 978.18
Current children cumulated vsize (Kb) 497332

[startup+990.049 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 7180
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161021 0 0 0 98374 444 0 0 25 0 1 0 21320191 509267968 88065 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124333 88065 364 364 0 123969 0
[pid=7125] vsize: 497332
Current children cumulated CPU time (s) 988.18
Current children cumulated vsize (Kb) 497332

[startup+1000.05 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 7180
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161247 0 0 0 99373 444 0 0 25 0 1 0 21320191 509792256 88162 4294967295 134512640 135987407 3221224560 3221223120 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88162 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 998.17
Current children cumulated vsize (Kb) 497844

[startup+1010.05 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 7180
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161252 0 0 0 100373 444 0 0 25 0 1 0 21320191 509792256 88167 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88167 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1008.17
Current children cumulated vsize (Kb) 497844

[startup+1020.05 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 7180
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161258 0 0 0 101372 445 0 0 25 0 1 0 21320191 509792256 88173 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88173 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1018.17
Current children cumulated vsize (Kb) 497844

[startup+1030.05 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7180
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161262 0 0 0 102372 445 0 0 25 0 1 0 21320191 509792256 88177 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88177 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1028.17
Current children cumulated vsize (Kb) 497844

[startup+1040.05 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 7182
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161265 0 0 0 103372 445 0 0 25 0 1 0 21320191 509792256 88180 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88180 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1038.17
Current children cumulated vsize (Kb) 497844

[startup+1050.05 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161271 0 0 0 104372 445 0 0 25 0 1 0 21320191 509792256 88186 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88186 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1048.17
Current children cumulated vsize (Kb) 497844

[startup+1060.05 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161275 0 0 0 105372 445 0 0 25 0 1 0 21320191 509792256 88190 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88190 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1058.17
Current children cumulated vsize (Kb) 497844

[startup+1070.05 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161278 0 0 0 106371 445 0 0 25 0 1 0 21320191 509792256 88193 4294967295 134512640 135987407 3221224560 3221223216 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124461 88193 364 364 0 124097 0
[pid=7125] vsize: 497844
Current children cumulated CPU time (s) 1068.16
Current children cumulated vsize (Kb) 497844

[startup+1080.05 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161591 0 0 0 107370 446 0 0 25 0 1 0 21320191 510840832 88249 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124717 88249 364 364 0 124353 0
[pid=7125] vsize: 498868
Current children cumulated CPU time (s) 1078.16
Current children cumulated vsize (Kb) 498868

[startup+1090.05 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161956 0 0 0 108368 448 0 0 25 0 1 0 21320191 511627264 88420 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124909 88420 364 364 0 124545 0
[pid=7125] vsize: 499636
Current children cumulated CPU time (s) 1088.16
Current children cumulated vsize (Kb) 499636

[startup+1100.05 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161960 0 0 0 109368 448 0 0 25 0 1 0 21320191 511627264 88424 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124909 88424 364 364 0 124545 0
[pid=7125] vsize: 499636
Current children cumulated CPU time (s) 1098.16
Current children cumulated vsize (Kb) 499636

[startup+1110.05 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 161964 0 0 0 110367 448 0 0 25 0 1 0 21320191 511627264 88428 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 124909 88428 364 364 0 124545 0
[pid=7125] vsize: 499636
Current children cumulated CPU time (s) 1108.15
Current children cumulated vsize (Kb) 499636

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 169648 0 0 0 111345 468 0 0 25 0 1 0 21320191 542142464 95855 4294967295 134512640 135987407 3221224560 3221222956 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 132359 95855 364 364 0 131995 0
[pid=7125] vsize: 529436
Current children cumulated CPU time (s) 1118.13
Current children cumulated vsize (Kb) 529436

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 193311 0 0 0 112283 527 0 0 25 0 1 0 21320191 605536256 119374 4294967295 134512640 135987407 3221224560 3220909440 134636914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 147836 119374 364 364 0 147472 0
[pid=7125] vsize: 591344
Current children cumulated CPU time (s) 1128.1
Current children cumulated vsize (Kb) 591344

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 206318 0 0 0 113256 554 0 0 25 0 1 0 21320191 607293440 132160 4294967295 134512640 135987407 3221224560 3221153328 134637036 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 148265 132160 364 364 0 147901 0
[pid=7125] vsize: 593060
Current children cumulated CPU time (s) 1138.1
Current children cumulated vsize (Kb) 593060

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 267976 0 0 0 114125 682 0 0 25 0 1 0 21320191 828059648 149665 4294967295 134512640 135987407 3221224560 3221163740 134637035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 202163 149665 364 364 0 201799 0
[pid=7125] vsize: 808652
Current children cumulated CPU time (s) 1148.07
Current children cumulated vsize (Kb) 808652

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 276311 0 0 0 115107 699 0 0 25 0 1 0 21320191 830222336 157842 4294967295 134512640 135987407 3221224560 3221033904 134866081 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 202691 157842 364 364 0 202327 0
[pid=7125] vsize: 810764
Current children cumulated CPU time (s) 1158.06
Current children cumulated vsize (Kb) 810764

[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 291017 0 0 0 116076 728 0 0 25 0 1 0 21320191 853200896 172337 4294967295 134512640 135987407 3221224560 3221177600 134560236 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 208301 172337 364 364 0 207937 0
[pid=7125] vsize: 833204
Current children cumulated CPU time (s) 1168.04
Current children cumulated vsize (Kb) 833204

[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 302822 0 0 0 117046 756 0 0 25 0 1 0 21320191 871251968 177945 4294967295 134512640 135987407 3221224560 3221223120 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 212708 177945 364 364 0 212344 0
[pid=7125] vsize: 850832
Current children cumulated CPU time (s) 1178.02
Current children cumulated vsize (Kb) 850832

[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 306292 0 0 0 118034 764 0 0 25 0 1 0 21320191 885039104 180940 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7125/statm): 216074 180940 364 364 0 215710 0
[pid=7125] vsize: 864296
Current children cumulated CPU time (s) 1187.98
Current children cumulated vsize (Kb) 864296

[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 307584 0 0 0 119029 768 0 0 25 0 1 0 21320191 888737792 181546 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 216977 181546 364 364 0 216613 0
[pid=7125] vsize: 867908
Current children cumulated CPU time (s) 1197.97
Current children cumulated vsize (Kb) 867908

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 308837 0 0 0 120026 770 0 0 25 0 1 0 21320191 892174336 182178 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 217816 182178 364 364 0 217452 0
[pid=7125] vsize: 871264
Current children cumulated CPU time (s) 1207.96
Current children cumulated vsize (Kb) 871264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 7186
Raw data (/proc/7125/stat): 7125 (pb2sat) R 7124 7125 4005 0 -1 0 308837 0 0 0 120026 770 0 0 25 0 1 0 21320191 892174336 182178 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7125/statm): 217816 182178 364 364 0 217452 0
[pid=7125] vsize: 871264
Current children cumulated CPU time (s) 1207.96
Current children cumulated vsize (Kb) 871264

Sending SIGTERM to -7125
Sleeping 2 seconds
open syscall for file /dev/tty
open syscall for file /proc/self/maps
One traced child (pid=7125) ended because it received signal 6 (SIGABRT)
All traced children have exited ! Game is over.

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1210.99
CPU time (s): 1208.9
CPU user time (s): 1200.83
CPU system time (s): 8.07077
CPU usage (%): 99.8273
Max. virtual memory (cumulated for all children) (Kb): 871264

Name	web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM	1694d09a3d3e6cb31138c73ed644b225
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1203.01
Number of variables	1400
Total number of constraints	109601
Number of constraints which are clauses	109601
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

Some explanations

General information on the benchmark

Trace number 9863

Launcher Data

Solver Data

Watcher Data

Verifier Data