Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb |
MD5SUM | baa7b619e2dc55a18c674a719d78c00c |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1272 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.05 |
Number of variables | 1272 |
Total number of constraints | 94127 |
Number of constraints which are clauses | 94127 |
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 wulflinc14 THE 2005-09-23 15:41:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8574 boxname=wulflinc14 idbench=370 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: baa7b619e2dc55a18c674a719d78c00c /oldhome/oroussel/tmp/wulflinc14/normalized-frb53-24-3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-frb53-24-3.opb IDLAUNCH: 8574 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.058 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.058 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: 993440 kB Buffers: 1668 kB Cached: 22200 kB SwapCached: 0 kB Active: 18888 kB Inactive: 7908 kB HighTotal: 131008 kB HighFree: 104496 kB LowTotal: 903652 kB LowFree: 888944 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8624 kB Committed_AS: 63620 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 16:01:22 (client local time) WITH STATUS 10 IN 1208.38 SECONDS stats: 8574 0 1208.38 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1272 c big objective detected c trying from 0 to 511 c Decision: 3526/522244 Time: 175.927/86400 c Decision: 3542/522244 Time: 243.697/86400 c Decision: 11016/522244 Time: 377.391/86400 c Decision: 16040/522244 Time: 509.694/86400 c Decision: 32453/522244 Time: 764.761/86400 c Decision: 92650/522244 Time: 914.575/86400 c Decision: 92782/522244 Time: 1088.7/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 -C128 -C129 -C13 -C130 -C131 -C132 -C133 -C134 -C135 -C136 -C137 -C138 -C139 -C14 -C140 -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
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/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21344726 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 373 2 364 364 0 9 0 [pid=7380] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-frb53-24-3.opb [startup+10.0015 s] Raw data (loadavg): 0.94 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 14277 0 0 0 961 35 0 0 25 0 1 0 21344726 47837184 8875 4294967295 134512640 135987407 3221224560 3221086208 134887887 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 11679 8875 364 364 0 11315 0 [pid=7380] vsize: 46716 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 46716 [startup+20.0021 s] Raw data (loadavg): 0.95 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 50890 0 0 0 1876 117 0 0 25 0 1 0 21344726 161619968 28786 4294967295 134512640 135987407 3221224560 3220937696 134887887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 39458 28786 364 364 0 39094 0 [pid=7380] vsize: 157832 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 157832 [startup+30.0028 s] Raw data (loadavg): 0.95 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 68586 0 0 0 2835 156 0 0 25 0 1 0 21344726 200970240 46268 4294967295 134512640 135987407 3221224560 3221005488 134640450 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 49065 46269 364 364 0 48701 0 [pid=7380] vsize: 196260 Current children cumulated CPU time (s) 29.91 Current children cumulated vsize (Kb) 196260 [startup+40.0025 s] Raw data (loadavg): 0.96 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 89543 0 0 0 3779 206 0 0 25 0 1 0 21344726 272052224 53291 4294967295 134512640 135987407 3221224560 3221223216 134812371 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 66419 53291 364 364 0 66055 0 [pid=7380] vsize: 265676 Current children cumulated CPU time (s) 39.85 Current children cumulated vsize (Kb) 265676 [startup+50.0031 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 92529 0 0 0 4763 216 0 0 25 0 1 0 21344726 280367104 55074 4294967295 134512640 135987407 3221224560 3221223216 134812349 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 68449 55074 364 364 0 68085 0 [pid=7380] vsize: 273796 Current children cumulated CPU time (s) 49.79 Current children cumulated vsize (Kb) 273796 [startup+60.0028 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 94546 0 0 0 5751 223 0 0 25 0 1 0 21344726 286236672 56167 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 69882 56167 364 364 0 69518 0 [pid=7380] vsize: 279528 Current children cumulated CPU time (s) 59.74 Current children cumulated vsize (Kb) 279528 [startup+70.0025 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 96123 0 0 0 6744 228 0 0 25 0 1 0 21344726 292032512 57155 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 71297 57155 364 364 0 70933 0 [pid=7380] vsize: 285188 Current children cumulated CPU time (s) 69.72 Current children cumulated vsize (Kb) 285188 [startup+80.0032 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 97491 0 0 0 7738 232 0 0 25 0 1 0 21344726 296693760 57890 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 72435 57890 364 364 0 72071 0 [pid=7380] vsize: 289740 Current children cumulated CPU time (s) 79.7 Current children cumulated vsize (Kb) 289740 [startup+90.0028 s] Raw data (loadavg): 1.06 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 98834 0 0 0 8730 236 0 0 25 0 1 0 21344726 301527040 58727 4294967295 134512640 135987407 3221224560 3221223120 134811885 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 73615 58727 364 364 0 73251 0 [pid=7380] vsize: 294460 Current children cumulated CPU time (s) 89.66 Current children cumulated vsize (Kb) 294460 [startup+100.004 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 100956 0 0 0 9723 242 0 0 25 0 1 0 21344726 308015104 59870 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 75199 59870 364 364 0 74835 0 [pid=7380] vsize: 300796 Current children cumulated CPU time (s) 99.65 Current children cumulated vsize (Kb) 300796 [startup+110.004 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 101288 0 0 0 10721 243 0 0 25 0 1 0 21344726 308961280 60039 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 75430 60039 364 364 0 75066 0 [pid=7380] vsize: 301720 Current children cumulated CPU time (s) 109.64 Current children cumulated vsize (Kb) 301720 [startup+120.004 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 101590 0 0 0 11718 245 0 0 25 0 1 0 21344726 309882880 60235 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 75655 60235 364 364 0 75291 0 [pid=7380] vsize: 302620 Current children cumulated CPU time (s) 119.63 Current children cumulated vsize (Kb) 302620 [startup+130.005 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102226 0 0 0 12716 246 0 0 25 0 1 0 21344726 311627776 60551 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76081 60551 364 364 0 75717 0 [pid=7380] vsize: 304324 Current children cumulated CPU time (s) 129.62 Current children cumulated vsize (Kb) 304324 [startup+140.005 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102369 0 0 0 13714 247 0 0 25 0 1 0 21344726 312037376 60694 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76181 60694 364 364 0 75817 0 [pid=7380] vsize: 304724 Current children cumulated CPU time (s) 139.61 Current children cumulated vsize (Kb) 304724 [startup+150.006 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102590 0 0 0 14713 248 0 0 25 0 1 0 21344726 312696832 60786 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76342 60786 364 364 0 75978 0 [pid=7380] vsize: 305368 Current children cumulated CPU time (s) 149.61 Current children cumulated vsize (Kb) 305368 [startup+160.006 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102609 0 0 0 15712 248 0 0 25 0 1 0 21344726 312696832 60805 4294967295 134512640 135987407 3221224560 3221223120 134812002 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76342 60805 364 364 0 75978 0 [pid=7380] vsize: 305368 Current children cumulated CPU time (s) 159.6 Current children cumulated vsize (Kb) 305368 [startup+170.005 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102626 0 0 0 16711 249 0 0 25 0 1 0 21344726 312696832 60822 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76342 60822 364 364 0 75978 0 [pid=7380] vsize: 305368 Current children cumulated CPU time (s) 169.6 Current children cumulated vsize (Kb) 305368 [startup+180.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102644 0 0 0 17711 249 0 0 25 0 1 0 21344726 312832000 60840 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76375 60840 364 364 0 76011 0 [pid=7380] vsize: 305500 Current children cumulated CPU time (s) 179.6 Current children cumulated vsize (Kb) 305500 [startup+190.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102655 0 0 0 18711 249 0 0 25 0 1 0 21344726 312832000 60851 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76375 60851 364 364 0 76011 0 [pid=7380] vsize: 305500 Current children cumulated CPU time (s) 189.6 Current children cumulated vsize (Kb) 305500 [startup+200.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 102668 0 0 0 19710 250 0 0 25 0 1 0 21344726 312832000 60864 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 76375 60864 364 364 0 76011 0 [pid=7380] vsize: 305500 Current children cumulated CPU time (s) 199.6 Current children cumulated vsize (Kb) 305500 [startup+210.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 104280 0 0 0 20705 253 0 0 25 0 1 0 21344726 314585088 61135 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 76803 61135 364 364 0 76439 0 [pid=7380] vsize: 307212 Current children cumulated CPU time (s) 209.58 Current children cumulated vsize (Kb) 307212 [startup+220.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 105526 0 0 0 21693 258 0 0 25 0 1 0 21344726 318750720 61972 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 77820 61972 364 364 0 77456 0 [pid=7380] vsize: 311280 Current children cumulated CPU time (s) 219.51 Current children cumulated vsize (Kb) 311280 [startup+230.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 106512 0 0 0 22679 265 0 0 25 0 1 0 21344726 322125824 62551 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 78644 62551 364 364 0 78280 0 [pid=7380] vsize: 314576 Current children cumulated CPU time (s) 229.44 Current children cumulated vsize (Kb) 314576 [startup+240.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 108453 0 0 0 23673 269 0 0 25 0 1 0 21344726 328491008 63692 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 80198 63692 364 364 0 79834 0 [pid=7380] vsize: 320792 Current children cumulated CPU time (s) 239.42 Current children cumulated vsize (Kb) 320792 [startup+250.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 110176 0 0 0 24666 273 0 0 25 0 1 0 21344726 333717504 64600 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 81474 64600 364 364 0 81110 0 [pid=7380] vsize: 325896 Current children cumulated CPU time (s) 249.39 Current children cumulated vsize (Kb) 325896 [startup+260.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 111688 0 0 0 25658 277 0 0 25 0 1 0 21344726 338149376 65393 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 82556 65393 364 364 0 82192 0 [pid=7380] vsize: 330224 Current children cumulated CPU time (s) 259.35 Current children cumulated vsize (Kb) 330224 [startup+270.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 112985 0 0 0 26652 282 0 0 25 0 1 0 21344726 341991424 66068 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 83494 66068 364 364 0 83130 0 [pid=7380] vsize: 333976 Current children cumulated CPU time (s) 269.34 Current children cumulated vsize (Kb) 333976 [startup+280.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 114927 0 0 0 27644 288 0 0 25 0 1 0 21344726 344772608 66531 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 84173 66531 364 364 0 83809 0 [pid=7380] vsize: 336692 Current children cumulated CPU time (s) 279.32 Current children cumulated vsize (Kb) 336692 [startup+290.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 115857 0 0 0 28626 296 0 0 25 0 1 0 21344726 347795456 67150 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 84911 67150 364 364 0 84547 0 [pid=7380] vsize: 339644 Current children cumulated CPU time (s) 289.22 Current children cumulated vsize (Kb) 339644 [startup+300.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 117122 0 0 0 29604 305 0 0 25 0 1 0 21344726 351653888 67733 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 85853 67733 364 364 0 85489 0 [pid=7380] vsize: 343412 Current children cumulated CPU time (s) 299.09 Current children cumulated vsize (Kb) 343412 [startup+310.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) T 7379 7380 4060 0 -1 0 118976 0 0 0 30590 312 0 0 25 0 1 0 21344726 357339136 68724 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7380/statm): 87241 68724 364 364 0 86877 0 [pid=7380] vsize: 348964 Current children cumulated CPU time (s) 309.02 Current children cumulated vsize (Kb) 348964 [startup+320.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 120150 0 0 0 31582 316 0 0 25 0 1 0 21344726 360501248 69313 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 88013 69313 364 364 0 87649 0 [pid=7380] vsize: 352052 Current children cumulated CPU time (s) 318.98 Current children cumulated vsize (Kb) 352052 [startup+330.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 121713 0 0 0 32574 322 0 0 25 0 1 0 21344726 365924352 70258 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 89337 70258 364 364 0 88973 0 [pid=7380] vsize: 357348 Current children cumulated CPU time (s) 328.96 Current children cumulated vsize (Kb) 357348 [startup+340.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 122467 0 0 0 33567 326 0 0 25 0 1 0 21344726 368185344 70717 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 89889 70717 364 364 0 89525 0 [pid=7380] vsize: 359556 Current children cumulated CPU time (s) 338.93 Current children cumulated vsize (Kb) 359556 [startup+350.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123231 0 0 0 34563 328 0 0 25 0 1 0 21344726 370294784 71058 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90404 71058 364 364 0 90040 0 [pid=7380] vsize: 361616 Current children cumulated CPU time (s) 348.91 Current children cumulated vsize (Kb) 361616 [startup+360.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123248 0 0 0 35562 328 0 0 25 0 1 0 21344726 370294784 71075 4294967295 134512640 135987407 3221224560 3221223120 134811715 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90404 71075 364 364 0 90040 0 [pid=7380] vsize: 361616 Current children cumulated CPU time (s) 358.9 Current children cumulated vsize (Kb) 361616 [startup+370.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123404 0 0 0 36561 329 0 0 25 0 1 0 21344726 370819072 71102 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90532 71102 364 364 0 90168 0 [pid=7380] vsize: 362128 Current children cumulated CPU time (s) 368.9 Current children cumulated vsize (Kb) 362128 [startup+380.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123460 0 0 0 37559 330 0 0 25 0 1 0 21344726 370819072 71158 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90532 71158 364 364 0 90168 0 [pid=7380] vsize: 362128 Current children cumulated CPU time (s) 378.89 Current children cumulated vsize (Kb) 362128 [startup+390.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123787 0 0 0 38557 331 0 0 25 0 1 0 21344726 371879936 71387 4294967295 134512640 135987407 3221224560 3221223120 134811937 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90791 71387 364 364 0 90427 0 [pid=7380] vsize: 363164 Current children cumulated CPU time (s) 388.88 Current children cumulated vsize (Kb) 363164 [startup+400.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123794 0 0 0 39556 332 0 0 25 0 1 0 21344726 371879936 71394 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90791 71394 364 364 0 90427 0 [pid=7380] vsize: 363164 Current children cumulated CPU time (s) 398.88 Current children cumulated vsize (Kb) 363164 [startup+410.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 123802 0 0 0 40555 332 0 0 25 0 1 0 21344726 371879936 71402 4294967295 134512640 135987407 3221224560 3221223152 134814412 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 90791 71402 364 364 0 90427 0 [pid=7380] vsize: 363164 Current children cumulated CPU time (s) 408.87 Current children cumulated vsize (Kb) 363164 [startup+420.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 125492 0 0 0 41542 338 0 0 25 0 1 0 21344726 373858304 71778 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 91274 71778 364 364 0 90910 0 [pid=7380] vsize: 365096 Current children cumulated CPU time (s) 418.8 Current children cumulated vsize (Kb) 365096 [startup+430.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 127213 0 0 0 42531 344 0 0 25 0 1 0 21344726 379265024 72591 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 92594 72591 364 364 0 92230 0 [pid=7380] vsize: 370376 Current children cumulated CPU time (s) 428.75 Current children cumulated vsize (Kb) 370376 [startup+440.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 128100 0 0 0 43519 349 0 0 25 0 1 0 21344726 381906944 73020 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 93239 73020 364 364 0 92875 0 [pid=7380] vsize: 372956 Current children cumulated CPU time (s) 438.68 Current children cumulated vsize (Kb) 372956 [startup+450.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 129191 0 0 0 44513 353 0 0 25 0 1 0 21344726 385208320 73688 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 94045 73688 364 364 0 93681 0 [pid=7380] vsize: 376180 Current children cumulated CPU time (s) 448.66 Current children cumulated vsize (Kb) 376180 [startup+460.009 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) T 7379 7380 4060 0 -1 0 130214 0 0 0 45506 356 0 0 25 0 1 0 21344726 388501504 74158 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7380/statm): 94849 74158 364 364 0 94485 0 [pid=7380] vsize: 379396 Current children cumulated CPU time (s) 458.62 Current children cumulated vsize (Kb) 379396 [startup+470.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 130606 0 0 0 46502 358 0 0 25 0 1 0 21344726 389419008 74323 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95073 74323 364 364 0 94709 0 [pid=7380] vsize: 380292 Current children cumulated CPU time (s) 468.6 Current children cumulated vsize (Kb) 380292 [startup+480.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 130640 0 0 0 47502 358 0 0 25 0 1 0 21344726 389419008 74357 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95073 74357 364 364 0 94709 0 [pid=7380] vsize: 380292 Current children cumulated CPU time (s) 478.6 Current children cumulated vsize (Kb) 380292 [startup+490.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 130690 0 0 0 48502 358 0 0 25 0 1 0 21344726 389419008 74407 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95073 74407 364 364 0 94709 0 [pid=7380] vsize: 380292 Current children cumulated CPU time (s) 488.6 Current children cumulated vsize (Kb) 380292 [startup+500.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 131022 0 0 0 49500 359 0 0 25 0 1 0 21344726 390467584 74482 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95329 74482 364 364 0 94965 0 [pid=7380] vsize: 381316 Current children cumulated CPU time (s) 498.59 Current children cumulated vsize (Kb) 381316 [startup+510.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 131027 0 0 0 50500 359 0 0 25 0 1 0 21344726 390467584 74487 4294967295 134512640 135987407 3221224560 3221223248 134824722 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95329 74487 364 364 0 94965 0 [pid=7380] vsize: 381316 Current children cumulated CPU time (s) 508.59 Current children cumulated vsize (Kb) 381316 [startup+520.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 131032 0 0 0 51498 360 0 0 25 0 1 0 21344726 390467584 74492 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95329 74492 364 364 0 94965 0 [pid=7380] vsize: 381316 Current children cumulated CPU time (s) 518.58 Current children cumulated vsize (Kb) 381316 [startup+530.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 131040 0 0 0 52497 360 0 0 25 0 1 0 21344726 390467584 74500 4294967295 134512640 135987407 3221224560 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95329 74500 364 364 0 94965 0 [pid=7380] vsize: 381316 Current children cumulated CPU time (s) 528.57 Current children cumulated vsize (Kb) 381316 [startup+540.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 131046 0 0 0 53497 360 0 0 25 0 1 0 21344726 390467584 74506 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95329 74506 364 364 0 94965 0 [pid=7380] vsize: 381316 Current children cumulated CPU time (s) 538.57 Current children cumulated vsize (Kb) 381316 [startup+550.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 132093 0 0 0 54488 365 0 0 25 0 1 0 21344726 390602752 74532 4294967295 134512640 135987407 3221224560 3221223120 134811990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 95362 74532 364 364 0 94998 0 [pid=7380] vsize: 381448 Current children cumulated CPU time (s) 548.53 Current children cumulated vsize (Kb) 381448 [startup+560.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 132741 0 0 0 55475 371 0 0 25 0 1 0 21344726 392454144 74855 4294967295 134512640 135987407 3221224560 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 95814 74855 364 364 0 95450 0 [pid=7380] vsize: 383256 Current children cumulated CPU time (s) 558.46 Current children cumulated vsize (Kb) 383256 [startup+570.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133205 0 0 0 56466 376 0 0 25 0 1 0 21344726 393646080 75123 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96105 75123 364 364 0 95741 0 [pid=7380] vsize: 384420 Current children cumulated CPU time (s) 568.42 Current children cumulated vsize (Kb) 384420 [startup+580.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133229 0 0 0 57463 377 0 0 25 0 1 0 21344726 393646080 75147 4294967295 134512640 135987407 3221224560 3221222992 134788457 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96105 75147 364 364 0 95741 0 [pid=7380] vsize: 384420 Current children cumulated CPU time (s) 578.4 Current children cumulated vsize (Kb) 384420 [startup+590.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133275 0 0 0 58460 378 0 0 25 0 1 0 21344726 393777152 75160 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96137 75160 364 364 0 95773 0 [pid=7380] vsize: 384548 Current children cumulated CPU time (s) 588.38 Current children cumulated vsize (Kb) 384548 [startup+600.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133282 0 0 0 59457 379 0 0 25 0 1 0 21344726 393777152 75167 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96137 75167 364 364 0 95773 0 [pid=7380] vsize: 384548 Current children cumulated CPU time (s) 598.36 Current children cumulated vsize (Kb) 384548 [startup+610.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133444 0 0 0 60455 380 0 0 25 0 1 0 21344726 394301440 75200 4294967295 134512640 135987407 3221224560 3221223260 135479880 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75200 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 608.35 Current children cumulated vsize (Kb) 385060 [startup+620.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133452 0 0 0 61455 380 0 0 25 0 1 0 21344726 394301440 75208 4294967295 134512640 135987407 3221224560 3221223216 134812293 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75208 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 618.35 Current children cumulated vsize (Kb) 385060 [startup+630.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133484 0 0 0 62454 380 0 0 25 0 1 0 21344726 394301440 75240 4294967295 134512640 135987407 3221224560 3221223248 134824696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75240 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 628.34 Current children cumulated vsize (Kb) 385060 [startup+640.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133501 0 0 0 63454 380 0 0 25 0 1 0 21344726 394301440 75257 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75257 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 638.34 Current children cumulated vsize (Kb) 385060 [startup+650.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133509 0 0 0 64454 381 0 0 25 0 1 0 21344726 394301440 75265 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75265 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 648.35 Current children cumulated vsize (Kb) 385060 [startup+660.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133519 0 0 0 65453 381 0 0 25 0 1 0 21344726 394301440 75275 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75275 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 658.34 Current children cumulated vsize (Kb) 385060 [startup+670.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133533 0 0 0 66453 382 0 0 25 0 1 0 21344726 394301440 75289 4294967295 134512640 135987407 3221224560 3221223216 134812346 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75289 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 668.35 Current children cumulated vsize (Kb) 385060 [startup+680.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133543 0 0 0 67452 382 0 0 25 0 1 0 21344726 394301440 75299 4294967295 134512640 135987407 3221224560 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75299 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 678.34 Current children cumulated vsize (Kb) 385060 [startup+690.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 133552 0 0 0 68451 382 0 0 25 0 1 0 21344726 394301440 75308 4294967295 134512640 135987407 3221224560 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96265 75308 364 364 0 95901 0 [pid=7380] vsize: 385060 Current children cumulated CPU time (s) 688.33 Current children cumulated vsize (Kb) 385060 [startup+700.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 134408 0 0 0 69446 385 0 0 25 0 1 0 21344726 396673024 75673 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 96844 75673 364 364 0 96480 0 [pid=7380] vsize: 387376 Current children cumulated CPU time (s) 698.31 Current children cumulated vsize (Kb) 387376 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 134819 0 0 0 70443 386 0 0 25 0 1 0 21344726 397729792 75888 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97102 75888 364 364 0 96738 0 [pid=7380] vsize: 388408 Current children cumulated CPU time (s) 708.29 Current children cumulated vsize (Kb) 388408 [startup+720.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 134826 0 0 0 71442 386 0 0 25 0 1 0 21344726 397729792 75895 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97102 75895 364 364 0 96738 0 [pid=7380] vsize: 388408 Current children cumulated CPU time (s) 718.28 Current children cumulated vsize (Kb) 388408 [startup+730.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 135084 0 0 0 72441 387 0 0 25 0 1 0 21344726 398254080 76023 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97230 76023 364 364 0 96866 0 [pid=7380] vsize: 388920 Current children cumulated CPU time (s) 728.28 Current children cumulated vsize (Kb) 388920 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 135116 0 0 0 73440 387 0 0 25 0 1 0 21344726 398389248 76055 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97263 76055 364 364 0 96899 0 [pid=7380] vsize: 389052 Current children cumulated CPU time (s) 738.27 Current children cumulated vsize (Kb) 389052 [startup+750.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 135135 0 0 0 74439 388 0 0 25 0 1 0 21344726 398389248 76074 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97263 76074 364 364 0 96899 0 [pid=7380] vsize: 389052 Current children cumulated CPU time (s) 748.27 Current children cumulated vsize (Kb) 389052 [startup+760.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 135444 0 0 0 75437 390 0 0 25 0 1 0 21344726 399446016 76221 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97521 76221 364 364 0 97157 0 [pid=7380] vsize: 390084 Current children cumulated CPU time (s) 758.27 Current children cumulated vsize (Kb) 390084 [startup+770.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 135709 0 0 0 76434 391 0 0 25 0 1 0 21344726 400236544 76356 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97714 76356 364 364 0 97350 0 [pid=7380] vsize: 390856 Current children cumulated CPU time (s) 768.25 Current children cumulated vsize (Kb) 390856 [startup+780.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 136031 0 0 0 77432 392 0 0 25 0 1 0 21344726 401022976 76482 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97906 76482 364 364 0 97542 0 [pid=7380] vsize: 391624 Current children cumulated CPU time (s) 778.24 Current children cumulated vsize (Kb) 391624 [startup+790.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 136041 0 0 0 78431 392 0 0 25 0 1 0 21344726 401022976 76492 4294967295 134512640 135987407 3221224560 3221223280 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 97906 76492 364 364 0 97542 0 [pid=7380] vsize: 391624 Current children cumulated CPU time (s) 788.23 Current children cumulated vsize (Kb) 391624 [startup+800.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 137066 0 0 0 79428 395 0 0 25 0 1 0 21344726 401022976 76496 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 97906 76496 364 364 0 97542 0 [pid=7380] vsize: 391624 Current children cumulated CPU time (s) 798.23 Current children cumulated vsize (Kb) 391624 [startup+810.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 137869 0 0 0 80420 399 0 0 25 0 1 0 21344726 403390464 76843 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 98484 76843 364 364 0 98120 0 [pid=7380] vsize: 393936 Current children cumulated CPU time (s) 808.19 Current children cumulated vsize (Kb) 393936 [startup+820.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) T 7379 7380 4060 0 -1 0 138789 0 0 0 81413 403 0 0 25 0 1 0 21344726 405622784 77273 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7380/statm): 99029 77273 364 364 0 98665 0 [pid=7380] vsize: 396116 Current children cumulated CPU time (s) 818.16 Current children cumulated vsize (Kb) 396116 [startup+830.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 139183 0 0 0 82408 405 0 0 25 0 1 0 21344726 406745088 77424 4294967295 134512640 135987407 3221224560 3221223120 134811715 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 99303 77424 364 364 0 98939 0 [pid=7380] vsize: 397212 Current children cumulated CPU time (s) 828.13 Current children cumulated vsize (Kb) 397212 [startup+840.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 140289 0 0 0 83403 408 0 0 25 0 1 0 21344726 409645056 78007 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 100011 78007 364 364 0 99647 0 [pid=7380] vsize: 400044 Current children cumulated CPU time (s) 838.11 Current children cumulated vsize (Kb) 400044 [startup+850.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 140400 0 0 0 84400 410 0 0 25 0 1 0 21344726 410042368 78085 4294967295 134512640 135987407 3221224560 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 100108 78085 364 364 0 99744 0 [pid=7380] vsize: 400432 Current children cumulated CPU time (s) 848.1 Current children cumulated vsize (Kb) 400432 [startup+860.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 142366 0 0 0 85392 415 0 0 25 0 1 0 21344726 415436800 79046 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 101425 79046 364 364 0 101061 0 [pid=7380] vsize: 405700 Current children cumulated CPU time (s) 858.07 Current children cumulated vsize (Kb) 405700 [startup+870.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143267 0 0 0 86387 418 0 0 25 0 1 0 21344726 417935360 79460 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102035 79460 364 364 0 101671 0 [pid=7380] vsize: 408140 Current children cumulated CPU time (s) 868.05 Current children cumulated vsize (Kb) 408140 [startup+880.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143296 0 0 0 87385 418 0 0 25 0 1 0 21344726 417935360 79489 4294967295 134512640 135987407 3221224560 3221223120 134812031 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102035 79489 364 364 0 101671 0 [pid=7380] vsize: 408140 Current children cumulated CPU time (s) 878.03 Current children cumulated vsize (Kb) 408140 [startup+890.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143467 0 0 0 88382 420 0 0 25 0 1 0 21344726 418463744 79595 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102164 79595 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 888.02 Current children cumulated vsize (Kb) 408656 [startup+900.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143473 0 0 0 89381 420 0 0 25 0 1 0 21344726 418463744 79601 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102164 79601 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 898.01 Current children cumulated vsize (Kb) 408656 [startup+910.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143482 0 0 0 90380 421 0 0 25 0 1 0 21344726 418463744 79610 4294967295 134512640 135987407 3221224560 3221223248 134824224 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102164 79610 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 908.01 Current children cumulated vsize (Kb) 408656 [startup+920.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143490 0 0 0 91378 422 0 0 25 0 1 0 21344726 418463744 79618 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102164 79618 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 918 Current children cumulated vsize (Kb) 408656 [startup+930.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 143499 0 0 0 92378 422 0 0 25 0 1 0 21344726 418463744 79627 4294967295 134512640 135987407 3221224560 3221223120 134812025 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102164 79627 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 928 Current children cumulated vsize (Kb) 408656 [startup+940.017 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) T 7379 7380 4060 0 -1 0 143507 0 0 0 93377 423 0 0 25 0 1 0 21344726 418463744 79635 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7380/statm): 102164 79635 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 938 Current children cumulated vsize (Kb) 408656 [startup+950.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 144534 0 0 0 94373 426 0 0 25 0 1 0 21344726 418463744 79641 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 102164 79641 364 364 0 101800 0 [pid=7380] vsize: 408656 Current children cumulated CPU time (s) 947.99 Current children cumulated vsize (Kb) 408656 [startup+960.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 145026 0 0 0 95367 428 0 0 25 0 1 0 21344726 420175872 79905 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 102582 79905 364 364 0 102218 0 [pid=7380] vsize: 410328 Current children cumulated CPU time (s) 957.95 Current children cumulated vsize (Kb) 410328 [startup+970.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 145899 0 0 0 96357 432 0 0 25 0 1 0 21344726 422010880 80326 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 103030 80326 364 364 0 102666 0 [pid=7380] vsize: 412120 Current children cumulated CPU time (s) 967.89 Current children cumulated vsize (Kb) 412120 [startup+980.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 145982 0 0 0 97350 435 0 0 25 0 1 0 21344726 422273024 80344 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 103094 80344 364 364 0 102730 0 [pid=7380] vsize: 412376 Current children cumulated CPU time (s) 977.85 Current children cumulated vsize (Kb) 412376 [startup+990.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 146455 0 0 0 98344 438 0 0 25 0 1 0 21344726 423596032 80588 4294967295 134512640 135987407 3221224560 3221223120 134811800 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 103417 80588 364 364 0 103053 0 [pid=7380] vsize: 413668 Current children cumulated CPU time (s) 987.82 Current children cumulated vsize (Kb) 413668 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 147047 0 0 0 99339 440 0 0 25 0 1 0 21344726 425578496 80952 4294967295 134512640 135987407 3221224560 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 103901 80952 364 364 0 103537 0 [pid=7380] vsize: 415604 Current children cumulated CPU time (s) 997.79 Current children cumulated vsize (Kb) 415604 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 147232 0 0 0 100336 441 0 0 25 0 1 0 21344726 426102784 81007 4294967295 134512640 135987407 3221224560 3221223120 134811933 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 104029 81007 364 364 0 103665 0 [pid=7380] vsize: 416116 Current children cumulated CPU time (s) 1007.77 Current children cumulated vsize (Kb) 416116 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 147896 0 0 0 101330 444 0 0 25 0 1 0 21344726 428077056 81314 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 104511 81314 364 364 0 104147 0 [pid=7380] vsize: 418044 Current children cumulated CPU time (s) 1017.74 Current children cumulated vsize (Kb) 418044 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) T 7379 7380 4060 0 -1 0 148562 0 0 0 102324 447 0 0 25 0 1 0 21344726 429912064 81528 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7380/statm): 104959 81528 364 364 0 104595 0 [pid=7380] vsize: 419836 Current children cumulated CPU time (s) 1027.71 Current children cumulated vsize (Kb) 419836 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148833 0 0 0 103321 448 0 0 25 0 1 0 21344726 430305280 81701 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81701 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1037.69 Current children cumulated vsize (Kb) 420220 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148866 0 0 0 104318 450 0 0 25 0 1 0 21344726 430305280 81734 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81734 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1047.68 Current children cumulated vsize (Kb) 420220 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148876 0 0 0 105317 450 0 0 25 0 1 0 21344726 430305280 81744 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81744 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1057.67 Current children cumulated vsize (Kb) 420220 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148876 0 0 0 106316 450 0 0 25 0 1 0 21344726 430305280 81744 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81744 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1067.66 Current children cumulated vsize (Kb) 420220 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148877 0 0 0 107314 451 0 0 25 0 1 0 21344726 430305280 81745 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81745 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1077.65 Current children cumulated vsize (Kb) 420220 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148877 0 0 0 108314 451 0 0 25 0 1 0 21344726 430305280 81745 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81745 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1087.65 Current children cumulated vsize (Kb) 420220 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148878 0 0 0 109314 451 0 0 25 0 1 0 21344726 430305280 81746 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81746 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1097.65 Current children cumulated vsize (Kb) 420220 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148878 0 0 0 110313 452 0 0 25 0 1 0 21344726 430305280 81746 4294967295 134512640 135987407 3221224560 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81746 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1107.65 Current children cumulated vsize (Kb) 420220 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 148890 0 0 0 111312 452 0 0 25 0 1 0 21344726 430305280 81758 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105055 81758 364 364 0 104691 0 [pid=7380] vsize: 420220 Current children cumulated CPU time (s) 1117.64 Current children cumulated vsize (Kb) 420220 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7380 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 150128 0 0 0 112303 457 0 0 25 0 1 0 21344726 430829568 81846 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105183 81846 364 364 0 104819 0 [pid=7380] vsize: 420732 Current children cumulated CPU time (s) 1127.6 Current children cumulated vsize (Kb) 420732 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7435 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 150541 0 0 0 113290 464 0 0 25 0 1 0 21344726 431878144 82001 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105439 82001 364 364 0 105075 0 [pid=7380] vsize: 421756 Current children cumulated CPU time (s) 1137.54 Current children cumulated vsize (Kb) 421756 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7435 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 150676 0 0 0 114280 467 0 0 25 0 1 0 21344726 432140288 82071 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105503 82071 364 364 0 105139 0 [pid=7380] vsize: 422012 Current children cumulated CPU time (s) 1147.47 Current children cumulated vsize (Kb) 422012 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7435 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151328 0 0 0 115277 469 0 0 25 0 1 0 21344726 433713152 82335 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 105887 82335 364 364 0 105523 0 [pid=7380] vsize: 423548 Current children cumulated CPU time (s) 1157.46 Current children cumulated vsize (Kb) 423548 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7435 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151755 0 0 0 116273 471 0 0 25 0 1 0 21344726 434499584 82568 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 106079 82568 364 364 0 105715 0 [pid=7380] vsize: 424316 Current children cumulated CPU time (s) 1167.44 Current children cumulated vsize (Kb) 424316 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7435 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151894 0 0 0 117268 473 0 0 25 0 1 0 21344726 434761728 82642 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7380/statm): 106143 82642 364 364 0 105779 0 [pid=7380] vsize: 424572 Current children cumulated CPU time (s) 1177.41 Current children cumulated vsize (Kb) 424572 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7437 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151907 0 0 0 118265 475 0 0 25 0 1 0 21344726 434761728 82655 4294967295 134512640 135987407 3221224560 3221223280 134789976 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 106143 82655 364 364 0 105779 0 [pid=7380] vsize: 424572 Current children cumulated CPU time (s) 1187.4 Current children cumulated vsize (Kb) 424572 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7439 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151908 0 0 0 119262 475 0 0 25 0 1 0 21344726 434761728 82656 4294967295 134512640 135987407 3221224560 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 106143 82656 364 364 0 105779 0 [pid=7380] vsize: 424572 Current children cumulated CPU time (s) 1197.37 Current children cumulated vsize (Kb) 424572 [startup+1210.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7441 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151909 0 0 0 120261 476 0 0 25 0 1 0 21344726 434761728 82657 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 106143 82657 364 364 0 105779 0 [pid=7380] vsize: 424572 Current children cumulated CPU time (s) 1207.37 Current children cumulated vsize (Kb) 424572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 7441 Raw data (/proc/7380/stat): 7380 (pb2sat) R 7379 7380 4060 0 -1 0 151909 0 0 0 120261 476 0 0 25 0 1 0 21344726 434761728 82657 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7380/statm): 106143 82657 364 364 0 105779 0 [pid=7380] vsize: 424572 Current children cumulated CPU time (s) 1207.37 Current children cumulated vsize (Kb) 424572 Sending SIGTERM to -7380 Sleeping 2 seconds One traced child (pid=7380) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1211.05 CPU time (s): 1208.38 CPU user time (s): 1203.45 CPU system time (s): 4.93025 CPU usage (%): 99.7799 Max. virtual memory (cumulated for all children) (Kb): 424572
Verifier: OK 0