Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb |
MD5SUM | cafd7bd480d889c74d8810dc689bffd8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 736 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 1518 |
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 | 1518 |
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 | 1518 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 24.7562 |
Number of variables | 1518 |
Total number of constraints | 21621 |
Number of constraints which are clauses | 21621 |
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 | 32 |
LAUNCH ON wulflinc28 THE 2005-09-23 14:38:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8351 boxname=wulflinc28 idbench=147 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: cafd7bd480d889c74d8810dc689bffd8 /oldhome/oroussel/tmp/wulflinc28/normalized-ii32c4.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-ii32c4.opb IDLAUNCH: 8351 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.188 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 938756 kB Buffers: 10992 kB Cached: 68024 kB SwapCached: 0 kB Active: 44552 kB Inactive: 37416 kB HighTotal: 131008 kB HighFree: 58688 kB LowTotal: 903652 kB LowFree: 880068 kB SwapTotal: 2097640 kB SwapFree: 2097640 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 8504 kB Committed_AS: 63628 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 14:58:34 (client local time) WITH STATUS 0 IN 1211.77 SECONDS stats: 8351 0 1211.77 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 759 c big objective detected c trying from 0 to 511 c trying from 512 to 758 c got solution with objective value: 757 c starting final optimization c CONFLICT during preprocess c [startup+968.541 s] setting bit 10 to 0 c [startup+1011.21 s] setting bit 9 to 0 c [startup+1035.11 s] setting bit 8 to 0 c [startup+1059.11 s] setting bit 7 to 0 c [startup+1079.46 s] setting bit 6 to 0 s SATISFIABLE v -x1 -x10 -x100 x1000 x1001 -x1002 -x1003 x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x101 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 x1018 x1019 x102 -x1020 -x1021 x1022 x1023 -x1024 -x1025 x1026 -x1027 x1028 x1029 x103 -x1030 -x1031 x1032 -x1033 x1034 x1035 -x1036 -x1037 x1038 -x1039 -x104 x1040 x1041 -x1042 -x1043 x1044 -x1045 x1046 x1047 -x1048 -x1049 x105 x1050 -x1051 x1052 x1053 -x1054 -x1055 x1056 x1057 -x1058 -x1059 -x106 x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 -x1067 x1068 x1069 x107 -x1070 -x1071 x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 -x1079 -x108 x1080 -x1081 x1082 x1083 -x1084 -x1085 x1086 -x1087 x1088 x1089 x109 -x1090 -x1091 x1092 -x1093 x1094 x1095 -x1096 -x1097 x1098 -x1099 x11 -x110 x1100 x1101 -x1102 -x1103 x1104 -x1105 x1106 x1107 -x1108 -x1109 x111 x1110 -x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 x1118 -x1119 -x112 x1120 x1121 -x1122 -x1123 x1124 x1125 -x1126 -x1127 x1128 x1129 x113 -x1130 -x1131 x1132 -x1133 x1134 x1135 -x1136 -x1137 x1138 -x1139 -x114 x1140 -x1141 x1142 x1143 -x1144 -x1145 x1146 -x1147 x1148 x1149 x115 -x1150 -x1151 x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 -x1159 -x116 x1160 x1161 -x1162 -x1163 x1164 -x1165 x1166 x1167 -x1168 -x1169 x117 x1170 -x1171 x1172 -x1173 x1174 x1175 -x1176 -x1177 x1178 x1179 -x118 -x1180 -x1181 x1182 -x1183 x1184 x1185 -x1186 -x1187 x1188 -x1189 x119 x1190 x1191 -x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 -x12 -x120 x1200 -x1201 x1202 -x1203 x1204 x1205 -x1206 -x1207 x1208 -x1209 x121 x1210 x1211 -x1212 -x1213 x1214 -x1215 x1216 x1217 -x1218 -x1219 -x122 x1220 x1221 -x1222 -x1223 x1224 -x1225 x1226 x1227 -x1228 -x1229 x123 x1230 x1231 -x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 x1239 -x124 -x1240 -x1241 x1242 -x1243 x1244 -x1245 x1246 x1247 -x1248 -x1249 x125 x1250 x1251 -x1252 -x1253 x1254 -x1255 x1256 -x1257 x1258 x1259 -x126 -x1260 -x1261 x1262 x1263 -x1264 -x1265 x1266 -x1267 x1268 x1269 x127 -x1270 -x1271 x1272 -x1273 x1274 x1275 -x1276 -x1277 x1278 x1279 -x128 -x1280 -x1281 x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 x1289 x129 -x1290 -x1291 x1292 -x1293 x1294 x1295 -x1296 -x1297 x1298 x1299 x13 -x130 -x1300 -x1301 x1302 -x1303 x1304 x1305 -x1306 -x1307 x1308 -x1309 x131 x1310 x1311 -x1312 -x1313 x1314 x1315 -x1316 -x1317 x1318 -x1319 -x132 x1320 -x1321 x1322 x1323 -x1324 -x1325 x1326 -x1327 x1328 x1329 -x133 -x1330 -x1331 x1332 -x1333 x1334 x1335 -x1336 -x1337 x1338 -x1339 x134 x1340 x1341 -x1342 -x1343 x1344 -x1345 x1346 x1347 -x1348 -x1349 x135 x1350 -x1351 x1352 x1353 -x1354 -x1355 x1356 -x1357 x1358 x1359 -x136 -x1360 -x1361 x1362 -x1363 x1364 x1365 -x1366 -x1367 x1368 -x1369 x137 x1370 x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 x1378 x1379 -x138 -x1380 -x1381 x1382 x1383 -x1384 -x1385 x1386 -x1387 x1388 x1389 x139 -x1390 -x1391 x1392 -x1393 x1394 -x1395 x1396 x1397 -x1398 -x1399 -x14 -x140 x1400 x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 x1408 x1409 x141 -x1410 -x1411 x1412 -x1413 x1414 x1415 -x1416 -x1417 x1418 -x1419 -x142 x1420 x1421 -x1422 x1423 -x1424 -x1425 x1426 -x1427 x1428 -x1429 x143 x1430 x1431 -x1432 -x1433 x1434 x1435 -x1436 -x1437 x1438 -x1439 -x144 x1440 -x1441 x1442 x1443 -x1444 -x1445 x1446 -x1447 x1448 -x1449 x145 x1450 x1451 -x1452 -x1453 x1454 -x1455 x1456 x1457 -x1458 -x1459 -x146 x1460 -x1461 x1462 x1463 -x1464 -x1465 x1466 x1467 -x1468 -x1469 x147 x1470 -x1471 x1472 x1473 -x1474 -x1475 x1476 -x1477 x1478 x1479 -x148 -x1480 -x1481 x1482 -x1483 x1484 -x1485 x1486 x1487 -x1488 -x1489 x149 x1490 x1491 -x1492 -x1493 x1494 -x1495 x1496 -x1497 x1498 x1499 x15 -x150 -x1500 -x1501 x1502 x1503 -x1504 -x1505 x1506 -x1507 x1508 -x1509 x151 x1510 x1511 -x1512 -x1513 x1514 -x1515 x1516 x1517 -x1518 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 x21 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 x25 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x26 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 -x291 x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 -x303 x304 x305 -x306 x307 -x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 x33 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 x35 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x36 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 x37 -x370 x371 -x372 x373 -x374 x375 -x376 -x377 x378 x379 -x38 -x380 x381 -x382 x383 -x384 -x385 x386 x387 -x388 -x389 x39 x390 -x391 x392 x393 -x394 -x395 x396 x397 -x398 x399 -x4 -x40 -x400 x401 -x402 -x403 x404 x405 -x406 -x407 x408 -x409 x41 x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 -x42 x420 -x421 x422 -x423 x424 x425 -x426 x427 -x428 -x429 x43 x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 -x439 -x44 x440 x441 -x442 -x443 x444 x445 -x446 x447 -x448 -x449 x45 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 -x46 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x47 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 -x48 x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 x489 x49 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 -x5 -x50 x500 x501 -x502 -x503 x504 -x505 x506 -x507 x508 x509 x51 -x510 -x511 x512 x513 -x514 -x515 x516 x517 -x518 -x519 -x52 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x53 x530 -x531 x532 x533 -x534 -x535 x536 x537 -x538 -x539 -x54 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548 -x549 x55 x550 x551 -x552 -x553 x554 x555 -x556 -x557 x558 -x559 -x56 x560 x561 -x562 -x563 x564 -x565 x566 x567 -x568 -x569 x57 x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 x579 -x58 -x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 -x589 x59 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x6 -x60 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 x609 x61 -x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 -x62 x620 -x621 x622 x623 -x624 -x625 x626 x627 -x628 -x629 x63 x630 -x631 x632 -x633 x634 x635 -x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 x647 -x648 -x649 x65 x650 x651 -x652 -x653 x654 -x655 x656 x657 -x658 -x659 -x66 x660 -x661 x662 x663 -x664 -x665 x666 -x667 x668 x669 x67 -x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 -x68 x680 x681 -x682 -x683 x684 -x685 x686 x687 -x688 -x689 x69 x690 -x691 x692 x693 -x694 -x695 x696 -x697 x698 -x699 x7 -x70 x700 x701 -x702 -x703 x704 -x705 x706 x707 -x708 -x709 x71 x710 -x711 x712 x713 -x714 x715 -x716 -x717 x718 -x719 -x72 x720 -x721 x722 -x723 x724 x725 -x726 x727 -x728 -x729 -x73 x730 -x731 x732 -x733 x734 x735 -x736 -x737 x738 -x739 x74 x740 -x741 x742 x743 -x744 -x745 x746 -x747 x748 x749 x75 -x750 -x751 x752 x753 -x754 -x755 x756 -x757 x758 -x759 -x76 x760 x761 -x762 -x763 x764 -x765 x766 x767 -x768 -x769 x77 x770 -x771 x772 x773 -x774 -x775 x776 -x777 x778 x779 -x78 -x780 -x781 x782 -x783 x784 x785 -x786 x787 -x788 -x789 x79 x790 -x791 x792 x793 -x794 -x795 x796 -x797 x798 -x799 -x8 -x80 x800 -x801 x802 x803 -x804 -x805 x806 x807 -x808 -x809 x81 x810 -x811 x812 -x813 x814 x815 -x816 -x817 x818 x819 -x82 -x820 -x821 x822 x823 -x824 -x825 x826 -x827 x828 x829 x83 -x830 -x831 x832 -x833 x834 -x835 x836 x837 -x838 -x839 -x84 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 x849 x85 -x850 -x851 x852 -x853 x854 x855 -x856 -x857 x858 -x859 -x86 x860 x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 x87 x870 -x871 x872 x873 -x874 -x875 x876 -x877 x878 x879 -x88 -x880 -x881 x882 -x883 x884 x885 -x886 -x887 x888 x889 x89 -x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 x899 x9 -x90 -x900 -x901 x902 -x903 x904 x905 -x906 x907 -x908 -x909 -x91 x910 -x911 x912 -x913 x914 -x915 x916 x917 -x918 x919 x92 -x920 -x921 x922 -x923 x924 -x925 x926 x927 -x928 -x929 x93 x930 -x931 x932 -x933 x934 x935 -x936 -x937 x938 x939 -x94 -x940 -x941 x942 -x943 x944 x945 -x946 -x947 x948 -x949 x95 x950 -x951 x952 x953 -x954 x955 -x956 -x957 x958 -x959 -x96 x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 x969 x97 -x970 -x971 -x972 -x973 x974 -x975 x976 x977 -x978 -x979 -x98 x980 x981 -x982 -x983 x984 -x985 x986 x987 -x988 -x989 x99 x990 -x991 x992 x993 -x994 -x995 x996 -x997 x998 -x999
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/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 20931683 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 373 2 364 364 0 9 0 [pid=6955] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-ii32c4.opb [startup+10.0015 s] Raw data (loadavg): 1.01 1.05 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 25568 0 0 0 940 56 0 0 25 0 1 0 20931683 81944576 14540 4294967295 134512640 135987407 3221224576 3220858364 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 20006 14540 364 364 0 19642 0 [pid=6955] vsize: 80024 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 80024 [startup+20.0022 s] Raw data (loadavg): 1.01 1.05 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 55338 0 0 0 1867 125 0 0 25 0 1 0 20931683 184131584 33111 4294967295 134512640 135987407 3221224576 3221024864 134864321 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 44954 33111 364 364 0 44590 0 [pid=6955] vsize: 179816 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 179816 [startup+30.0029 s] Raw data (loadavg): 1.01 1.05 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 89847 0 0 0 2792 198 0 0 25 0 1 0 20931683 336723968 54933 4294967295 134512640 135987407 3221224576 3221028540 135500012 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 82208 54933 364 364 0 81844 0 [pid=6955] vsize: 328832 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 328832 [startup+40.0036 s] Raw data (loadavg): 1.01 1.04 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 112171 0 0 0 3742 245 0 0 25 0 1 0 20931683 375214080 67612 4294967295 134512640 135987407 3221224576 3221223008 134829319 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 91605 67612 364 364 0 91241 0 [pid=6955] vsize: 366420 Current children cumulated CPU time (s) 39.87 Current children cumulated vsize (Kb) 366420 [startup+50.0043 s] Raw data (loadavg): 1.01 1.04 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 115092 0 0 0 4735 251 0 0 25 0 1 0 20931683 379764736 68531 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 92716 68531 364 364 0 92352 0 [pid=6955] vsize: 370864 Current children cumulated CPU time (s) 49.86 Current children cumulated vsize (Kb) 370864 [startup+60.0049 s] Raw data (loadavg): 1.00 1.04 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 116118 0 0 0 5731 254 0 0 25 0 1 0 20931683 382853120 68985 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 93470 68985 364 364 0 93106 0 [pid=6955] vsize: 373880 Current children cumulated CPU time (s) 59.85 Current children cumulated vsize (Kb) 373880 [startup+70.0046 s] Raw data (loadavg): 1.00 1.04 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 117353 0 0 0 6728 256 0 0 25 0 1 0 20931683 386023424 69640 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94244 69640 364 364 0 93880 0 [pid=6955] vsize: 376976 Current children cumulated CPU time (s) 69.84 Current children cumulated vsize (Kb) 376976 [startup+80.0053 s] Raw data (loadavg): 1.00 1.04 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 117799 0 0 0 7726 258 0 0 25 0 1 0 20931683 387342336 69829 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94566 69829 364 364 0 94202 0 [pid=6955] vsize: 378264 Current children cumulated CPU time (s) 79.84 Current children cumulated vsize (Kb) 378264 [startup+90.005 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 117846 0 0 0 8725 258 0 0 25 0 1 0 20931683 387477504 69876 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94599 69876 364 364 0 94235 0 [pid=6955] vsize: 378396 Current children cumulated CPU time (s) 89.83 Current children cumulated vsize (Kb) 378396 [startup+100.006 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118152 0 0 0 9724 259 0 0 25 0 1 0 20931683 388263936 69988 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94791 69988 364 364 0 94427 0 [pid=6955] vsize: 379164 Current children cumulated CPU time (s) 99.83 Current children cumulated vsize (Kb) 379164 [startup+110.006 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118176 0 0 0 10723 259 0 0 25 0 1 0 20931683 388399104 70012 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70012 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 109.82 Current children cumulated vsize (Kb) 379296 [startup+120.006 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118185 0 0 0 11723 259 0 0 25 0 1 0 20931683 388399104 70021 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70021 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 119.82 Current children cumulated vsize (Kb) 379296 [startup+130.007 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118185 0 0 0 12723 259 0 0 25 0 1 0 20931683 388399104 70021 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70021 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 129.82 Current children cumulated vsize (Kb) 379296 [startup+140.007 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118191 0 0 0 13723 260 0 0 25 0 1 0 20931683 388399104 70027 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70027 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 139.83 Current children cumulated vsize (Kb) 379296 [startup+150.008 s] Raw data (loadavg): 1.00 1.03 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118195 0 0 0 14723 260 0 0 25 0 1 0 20931683 388399104 70031 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70031 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 149.83 Current children cumulated vsize (Kb) 379296 [startup+160.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118195 0 0 0 15723 260 0 0 25 0 1 0 20931683 388399104 70031 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70031 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 159.83 Current children cumulated vsize (Kb) 379296 [startup+170.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118196 0 0 0 16723 260 0 0 25 0 1 0 20931683 388399104 70032 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 94824 70032 364 364 0 94460 0 [pid=6955] vsize: 379296 Current children cumulated CPU time (s) 169.83 Current children cumulated vsize (Kb) 379296 [startup+180.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118397 0 0 0 17722 260 0 0 25 0 1 0 20931683 389124096 70135 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95001 70135 364 364 0 94637 0 [pid=6955] vsize: 380004 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (Kb) 380004 [startup+190.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118428 0 0 0 18722 261 0 0 25 0 1 0 20931683 389124096 70166 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95001 70166 364 364 0 94637 0 [pid=6955] vsize: 380004 Current children cumulated CPU time (s) 189.83 Current children cumulated vsize (Kb) 380004 [startup+200.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118702 0 0 0 19721 262 0 0 25 0 1 0 20931683 389648384 70311 4294967295 134512640 135987407 3221224576 3221223264 134824323 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95129 70311 364 364 0 94765 0 [pid=6955] vsize: 380516 Current children cumulated CPU time (s) 199.83 Current children cumulated vsize (Kb) 380516 [startup+210.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118702 0 0 0 20720 262 0 0 25 0 1 0 20931683 389648384 70311 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95129 70311 364 364 0 94765 0 [pid=6955] vsize: 380516 Current children cumulated CPU time (s) 209.82 Current children cumulated vsize (Kb) 380516 [startup+220.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118706 0 0 0 21720 262 0 0 25 0 1 0 20931683 389648384 70315 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95129 70315 364 364 0 94765 0 [pid=6955] vsize: 380516 Current children cumulated CPU time (s) 219.82 Current children cumulated vsize (Kb) 380516 [startup+230.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118820 0 0 0 22720 262 0 0 25 0 1 0 20931683 389910528 70364 4294967295 134512640 135987407 3221224576 3221223136 134812023 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95193 70364 364 364 0 94829 0 [pid=6955] vsize: 380772 Current children cumulated CPU time (s) 229.82 Current children cumulated vsize (Kb) 380772 [startup+240.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118858 0 0 0 23719 263 0 0 25 0 1 0 20931683 390045696 70402 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70402 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 239.82 Current children cumulated vsize (Kb) 380904 [startup+250.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118858 0 0 0 24719 263 0 0 25 0 1 0 20931683 390045696 70402 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70402 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 249.82 Current children cumulated vsize (Kb) 380904 [startup+260.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118858 0 0 0 25719 263 0 0 25 0 1 0 20931683 390045696 70402 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70402 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 259.82 Current children cumulated vsize (Kb) 380904 [startup+270.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118859 0 0 0 26719 263 0 0 25 0 1 0 20931683 390045696 70403 4294967295 134512640 135987407 3221224576 3221223264 134824323 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70403 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 269.82 Current children cumulated vsize (Kb) 380904 [startup+280.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118859 0 0 0 27719 263 0 0 25 0 1 0 20931683 390045696 70403 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70403 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 279.82 Current children cumulated vsize (Kb) 380904 [startup+290.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118862 0 0 0 28719 263 0 0 25 0 1 0 20931683 390045696 70406 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70406 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 289.82 Current children cumulated vsize (Kb) 380904 [startup+300.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118863 0 0 0 29719 263 0 0 25 0 1 0 20931683 390045696 70407 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70407 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 299.82 Current children cumulated vsize (Kb) 380904 [startup+310.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118864 0 0 0 30719 263 0 0 25 0 1 0 20931683 390045696 70408 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70408 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 309.82 Current children cumulated vsize (Kb) 380904 [startup+320.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118867 0 0 0 31718 263 0 0 25 0 1 0 20931683 390045696 70411 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70411 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 319.81 Current children cumulated vsize (Kb) 380904 [startup+330.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118869 0 0 0 32718 263 0 0 25 0 1 0 20931683 390045696 70413 4294967295 134512640 135987407 3221224576 3221223136 134811915 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70413 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 329.81 Current children cumulated vsize (Kb) 380904 [startup+340.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118872 0 0 0 33718 263 0 0 25 0 1 0 20931683 390045696 70416 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70416 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 339.81 Current children cumulated vsize (Kb) 380904 [startup+350.009 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118872 0 0 0 34718 263 0 0 25 0 1 0 20931683 390045696 70416 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70416 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 349.81 Current children cumulated vsize (Kb) 380904 [startup+360.008 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118875 0 0 0 35718 263 0 0 25 0 1 0 20931683 390045696 70419 4294967295 134512640 135987407 3221224576 3221223136 134811747 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70419 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 359.81 Current children cumulated vsize (Kb) 380904 [startup+370.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118876 0 0 0 36717 264 0 0 25 0 1 0 20931683 390045696 70420 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70420 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 369.81 Current children cumulated vsize (Kb) 380904 [startup+380.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118878 0 0 0 37717 264 0 0 25 0 1 0 20931683 390045696 70422 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70422 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 379.81 Current children cumulated vsize (Kb) 380904 [startup+390.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118878 0 0 0 38717 264 0 0 25 0 1 0 20931683 390045696 70422 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70422 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 389.81 Current children cumulated vsize (Kb) 380904 [startup+400.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118881 0 0 0 39716 264 0 0 25 0 1 0 20931683 390045696 70425 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70425 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 399.8 Current children cumulated vsize (Kb) 380904 [startup+410.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118883 0 0 0 40715 264 0 0 25 0 1 0 20931683 390045696 70427 4294967295 134512640 135987407 3221224576 3221223136 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70427 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 409.79 Current children cumulated vsize (Kb) 380904 [startup+420.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118884 0 0 0 41715 264 0 0 25 0 1 0 20931683 390045696 70428 4294967295 134512640 135987407 3221224576 3221223136 134812194 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70428 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 419.79 Current children cumulated vsize (Kb) 380904 [startup+430.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118886 0 0 0 42715 264 0 0 25 0 1 0 20931683 390045696 70430 4294967295 134512640 135987407 3221224576 3221223264 134824216 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70430 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 429.79 Current children cumulated vsize (Kb) 380904 [startup+440.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118887 0 0 0 43715 265 0 0 25 0 1 0 20931683 390045696 70431 4294967295 134512640 135987407 3221224576 3221223264 134824256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70431 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 439.8 Current children cumulated vsize (Kb) 380904 [startup+450.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118888 0 0 0 44715 265 0 0 25 0 1 0 20931683 390045696 70432 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70432 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 449.8 Current children cumulated vsize (Kb) 380904 [startup+460.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118889 0 0 0 45715 265 0 0 25 0 1 0 20931683 390045696 70433 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70433 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 459.8 Current children cumulated vsize (Kb) 380904 [startup+470.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118891 0 0 0 46714 265 0 0 25 0 1 0 20931683 390045696 70435 4294967295 134512640 135987407 3221224576 3221223136 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70435 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 469.79 Current children cumulated vsize (Kb) 380904 [startup+480.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118893 0 0 0 47714 265 0 0 25 0 1 0 20931683 390045696 70437 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70437 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 479.79 Current children cumulated vsize (Kb) 380904 [startup+490.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118893 0 0 0 48714 265 0 0 25 0 1 0 20931683 390045696 70437 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70437 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 489.79 Current children cumulated vsize (Kb) 380904 [startup+500.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118897 0 0 0 49714 265 0 0 25 0 1 0 20931683 390045696 70441 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70441 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 499.79 Current children cumulated vsize (Kb) 380904 [startup+510.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118898 0 0 0 50713 266 0 0 25 0 1 0 20931683 390045696 70442 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70442 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 509.79 Current children cumulated vsize (Kb) 380904 [startup+520.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118901 0 0 0 51713 266 0 0 25 0 1 0 20931683 390045696 70445 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 95226 70445 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 519.79 Current children cumulated vsize (Kb) 380904 [startup+530.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118903 0 0 0 52713 266 0 0 25 0 1 0 20931683 390045696 70447 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95226 70447 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 529.79 Current children cumulated vsize (Kb) 380904 [startup+540.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118904 0 0 0 53713 266 0 0 25 0 1 0 20931683 390045696 70448 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95226 70448 364 364 0 94862 0 [pid=6955] vsize: 380904 Current children cumulated CPU time (s) 539.79 Current children cumulated vsize (Kb) 380904 [startup+550.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118925 0 0 0 54712 266 0 0 25 0 1 0 20931683 390180864 70469 4294967295 134512640 135987407 3221224576 3221223136 134812157 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70469 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 549.78 Current children cumulated vsize (Kb) 381036 [startup+560.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118928 0 0 0 55712 266 0 0 25 0 1 0 20931683 390180864 70472 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70472 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 559.78 Current children cumulated vsize (Kb) 381036 [startup+570.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118932 0 0 0 56712 266 0 0 25 0 1 0 20931683 390180864 70476 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70476 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 569.78 Current children cumulated vsize (Kb) 381036 [startup+580.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118934 0 0 0 57712 267 0 0 25 0 1 0 20931683 390180864 70478 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70478 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 579.79 Current children cumulated vsize (Kb) 381036 [startup+590.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118934 0 0 0 58711 267 0 0 25 0 1 0 20931683 390180864 70478 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70478 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 589.78 Current children cumulated vsize (Kb) 381036 [startup+600.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118936 0 0 0 59711 267 0 0 25 0 1 0 20931683 390180864 70480 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70480 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 599.78 Current children cumulated vsize (Kb) 381036 [startup+610.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118937 0 0 0 60711 267 0 0 25 0 1 0 20931683 390180864 70481 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70481 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 609.78 Current children cumulated vsize (Kb) 381036 [startup+620.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118942 0 0 0 61711 267 0 0 25 0 1 0 20931683 390180864 70486 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70486 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 619.78 Current children cumulated vsize (Kb) 381036 [startup+630.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118943 0 0 0 62711 267 0 0 25 0 1 0 20931683 390180864 70487 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95259 70487 364 364 0 94895 0 [pid=6955] vsize: 381036 Current children cumulated CPU time (s) 629.78 Current children cumulated vsize (Kb) 381036 [startup+640.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 118988 0 0 0 63709 268 0 0 25 0 1 0 20931683 390311936 70499 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95291 70499 364 364 0 94927 0 [pid=6955] vsize: 381164 Current children cumulated CPU time (s) 639.77 Current children cumulated vsize (Kb) 381164 [startup+650.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119087 0 0 0 64709 268 0 0 25 0 1 0 20931683 390574080 70533 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95355 70533 364 364 0 94991 0 [pid=6955] vsize: 381420 Current children cumulated CPU time (s) 649.77 Current children cumulated vsize (Kb) 381420 [startup+660.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119305 0 0 0 65707 269 0 0 25 0 1 0 20931683 391098368 70622 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95483 70622 364 364 0 95119 0 [pid=6955] vsize: 381932 Current children cumulated CPU time (s) 659.76 Current children cumulated vsize (Kb) 381932 [startup+670.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119305 0 0 0 66707 270 0 0 25 0 1 0 20931683 391098368 70622 4294967295 134512640 135987407 3221224576 3221223136 134811907 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95483 70622 364 364 0 95119 0 [pid=6955] vsize: 381932 Current children cumulated CPU time (s) 669.77 Current children cumulated vsize (Kb) 381932 [startup+680.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119306 0 0 0 67707 270 0 0 25 0 1 0 20931683 391098368 70623 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95483 70623 364 364 0 95119 0 [pid=6955] vsize: 381932 Current children cumulated CPU time (s) 679.77 Current children cumulated vsize (Kb) 381932 [startup+690.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119308 0 0 0 68706 270 0 0 25 0 1 0 20931683 391098368 70625 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95483 70625 364 364 0 95119 0 [pid=6955] vsize: 381932 Current children cumulated CPU time (s) 689.76 Current children cumulated vsize (Kb) 381932 [startup+700.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 119309 0 0 0 69706 270 0 0 25 0 1 0 20931683 391098368 70626 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 95483 70626 364 364 0 95119 0 [pid=6955] vsize: 381932 Current children cumulated CPU time (s) 699.76 Current children cumulated vsize (Kb) 381932 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120478 0 0 0 70702 273 0 0 25 0 1 0 20931683 394379264 71071 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96284 71071 364 364 0 95920 0 [pid=6955] vsize: 385136 Current children cumulated CPU time (s) 709.75 Current children cumulated vsize (Kb) 385136 [startup+720.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120480 0 0 0 71702 273 0 0 25 0 1 0 20931683 394379264 71073 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96284 71073 364 364 0 95920 0 [pid=6955] vsize: 385136 Current children cumulated CPU time (s) 719.75 Current children cumulated vsize (Kb) 385136 [startup+730.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120480 0 0 0 72702 273 0 0 25 0 1 0 20931683 394379264 71073 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96284 71073 364 364 0 95920 0 [pid=6955] vsize: 385136 Current children cumulated CPU time (s) 729.75 Current children cumulated vsize (Kb) 385136 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120480 0 0 0 73702 273 0 0 25 0 1 0 20931683 394379264 71073 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96284 71073 364 364 0 95920 0 [pid=6955] vsize: 385136 Current children cumulated CPU time (s) 739.75 Current children cumulated vsize (Kb) 385136 [startup+750.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120517 0 0 0 74702 273 0 0 25 0 1 0 20931683 394514432 71110 4294967295 134512640 135987407 3221224576 3221223136 134811832 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96317 71110 364 364 0 95953 0 [pid=6955] vsize: 385268 Current children cumulated CPU time (s) 749.75 Current children cumulated vsize (Kb) 385268 [startup+760.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120518 0 0 0 75701 274 0 0 25 0 1 0 20931683 394514432 71111 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96317 71111 364 364 0 95953 0 [pid=6955] vsize: 385268 Current children cumulated CPU time (s) 759.75 Current children cumulated vsize (Kb) 385268 [startup+770.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120963 0 0 0 76700 275 0 0 25 0 1 0 20931683 395431936 71329 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71329 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 769.75 Current children cumulated vsize (Kb) 386164 [startup+780.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120963 0 0 0 77700 275 0 0 25 0 1 0 20931683 395431936 71329 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71329 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 779.75 Current children cumulated vsize (Kb) 386164 [startup+790.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120965 0 0 0 78699 275 0 0 25 0 1 0 20931683 395431936 71331 4294967295 134512640 135987407 3221224576 3221223136 134811915 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71331 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 789.74 Current children cumulated vsize (Kb) 386164 [startup+800.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120968 0 0 0 79699 275 0 0 25 0 1 0 20931683 395431936 71334 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71334 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 799.74 Current children cumulated vsize (Kb) 386164 [startup+810.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 120970 0 0 0 80699 275 0 0 25 0 1 0 20931683 395431936 71336 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71336 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 809.74 Current children cumulated vsize (Kb) 386164 [startup+820.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121020 0 0 0 81698 275 0 0 25 0 1 0 20931683 395431936 71386 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71386 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 819.73 Current children cumulated vsize (Kb) 386164 [startup+830.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121022 0 0 0 82698 276 0 0 25 0 1 0 20931683 395431936 71388 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71388 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 829.74 Current children cumulated vsize (Kb) 386164 [startup+840.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121025 0 0 0 83697 276 0 0 25 0 1 0 20931683 395431936 71391 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71391 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 839.73 Current children cumulated vsize (Kb) 386164 [startup+850.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121027 0 0 0 84696 277 0 0 25 0 1 0 20931683 395431936 71393 4294967295 134512640 135987407 3221224576 3221223296 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71393 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 849.73 Current children cumulated vsize (Kb) 386164 [startup+860.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121029 0 0 0 85695 277 0 0 25 0 1 0 20931683 395431936 71395 4294967295 134512640 135987407 3221224576 3221223200 134801245 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71395 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 859.72 Current children cumulated vsize (Kb) 386164 [startup+870.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121031 0 0 0 86695 277 0 0 25 0 1 0 20931683 395431936 71397 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71397 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 869.72 Current children cumulated vsize (Kb) 386164 [startup+880.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121032 0 0 0 87695 277 0 0 25 0 1 0 20931683 395431936 71398 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71398 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 879.72 Current children cumulated vsize (Kb) 386164 [startup+890.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 121034 0 0 0 88694 277 0 0 25 0 1 0 20931683 395431936 71400 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 96541 71400 364 364 0 96177 0 [pid=6955] vsize: 386164 Current children cumulated CPU time (s) 889.71 Current children cumulated vsize (Kb) 386164 [startup+900.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 123710 0 0 0 89685 285 0 0 25 0 1 0 20931683 406376448 74043 4294967295 134512640 135987407 3221224576 3221223392 134802371 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 99213 74043 364 364 0 98849 0 [pid=6955] vsize: 396852 Current children cumulated CPU time (s) 899.7 Current children cumulated vsize (Kb) 396852 [startup+910.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 153042 0 0 0 90608 354 0 0 25 0 1 0 20931683 500183040 103261 4294967295 134512640 135987407 3221224576 3221032608 134856430 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 122115 103261 364 364 0 121751 0 [pid=6955] vsize: 488460 Current children cumulated CPU time (s) 909.62 Current children cumulated vsize (Kb) 488460 [startup+920.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 165720 0 0 0 91584 378 0 0 25 0 1 0 20931683 500318208 115717 4294967295 134512640 135987407 3221224576 3220945440 134887887 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 122148 115717 364 364 0 121784 0 [pid=6955] vsize: 488592 Current children cumulated CPU time (s) 919.62 Current children cumulated vsize (Kb) 488592 [startup+930.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 226862 0 0 0 92455 504 0 0 25 0 1 0 20931683 718651392 132705 4294967295 134512640 135987407 3221224576 3221109472 134892737 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 175452 132705 364 364 0 175088 0 [pid=6955] vsize: 701808 Current children cumulated CPU time (s) 929.59 Current children cumulated vsize (Kb) 701808 [startup+940.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 234989 0 0 0 93437 522 0 0 25 0 1 0 20931683 719462400 140670 4294967295 134512640 135987407 3221224576 3221165168 134560508 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 175650 140670 364 364 0 175286 0 [pid=6955] vsize: 702600 Current children cumulated CPU time (s) 939.59 Current children cumulated vsize (Kb) 702600 [startup+950.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 249324 0 0 0 94405 553 0 0 25 0 1 0 20931683 741089280 154794 4294967295 134512640 135987407 3221224576 3221178212 134636948 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 180930 154794 364 364 0 180566 0 [pid=6955] vsize: 723720 Current children cumulated CPU time (s) 949.58 Current children cumulated vsize (Kb) 723720 [startup+960.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 260895 0 0 0 95376 581 0 0 25 0 1 0 20931683 758677504 159531 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 185224 159531 364 364 0 184860 0 [pid=6955] vsize: 740896 Current children cumulated CPU time (s) 959.57 Current children cumulated vsize (Kb) 740896 [startup+970.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 269911 0 0 0 96350 605 0 0 25 0 1 0 20931683 775614464 163448 4294967295 134512640 135987407 3221224576 3221222928 134829342 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 189359 163448 364 364 0 188995 0 [pid=6955] vsize: 757436 Current children cumulated CPU time (s) 969.55 Current children cumulated vsize (Kb) 757436 [startup+980.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273722 0 0 0 97340 615 0 0 25 0 1 0 20931683 770404352 161648 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188087 161648 364 364 0 187723 0 [pid=6955] vsize: 752348 Current children cumulated CPU time (s) 979.55 Current children cumulated vsize (Kb) 752348 [startup+990.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273747 0 0 0 98340 615 0 0 25 0 1 0 20931683 770543616 161673 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188121 161673 364 364 0 187757 0 [pid=6955] vsize: 752484 Current children cumulated CPU time (s) 989.55 Current children cumulated vsize (Kb) 752484 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273798 0 0 0 99339 616 0 0 25 0 1 0 20931683 770678784 161724 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188154 161724 364 364 0 187790 0 [pid=6955] vsize: 752616 Current children cumulated CPU time (s) 999.55 Current children cumulated vsize (Kb) 752616 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 273842 0 0 0 100339 616 0 0 25 0 1 0 20931683 770818048 161768 4294967295 134512640 135987407 3221224576 3221223168 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188188 161768 364 364 0 187824 0 [pid=6955] vsize: 752752 Current children cumulated CPU time (s) 1009.55 Current children cumulated vsize (Kb) 752752 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 278458 0 0 0 101326 628 0 0 25 0 1 0 20931683 770899968 161798 4294967295 134512640 135987407 3221224576 3221223232 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 188208 161798 364 364 0 187844 0 [pid=6955] vsize: 752832 Current children cumulated CPU time (s) 1019.54 Current children cumulated vsize (Kb) 752832 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 278594 0 0 0 102326 628 0 0 25 0 1 0 20931683 770899968 161934 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6955/statm): 188208 161934 364 364 0 187844 0 [pid=6955] vsize: 752832 Current children cumulated CPU time (s) 1029.54 Current children cumulated vsize (Kb) 752832 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 283188 0 0 0 103316 638 0 0 25 0 1 0 20931683 775135232 162577 4294967295 134512640 135987407 3221224576 3221223216 134817687 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 189242 162577 364 364 0 188878 0 [pid=6955] vsize: 756968 Current children cumulated CPU time (s) 1039.54 Current children cumulated vsize (Kb) 756968 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 283790 0 0 0 104314 639 0 0 25 0 1 0 20931683 773033984 162034 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188729 162034 364 364 0 188365 0 [pid=6955] vsize: 754916 Current children cumulated CPU time (s) 1049.53 Current children cumulated vsize (Kb) 754916 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 286780 0 0 0 105308 646 0 0 25 0 1 0 20931683 785145856 165024 4294967295 134512640 135987407 3221224576 3221222904 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 191686 165024 364 364 0 191322 0 [pid=6955] vsize: 766744 Current children cumulated CPU time (s) 1059.54 Current children cumulated vsize (Kb) 766744 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 288740 0 0 0 106302 652 0 0 25 0 1 0 20931683 774082560 162141 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188985 162141 364 364 0 188621 0 [pid=6955] vsize: 755940 Current children cumulated CPU time (s) 1069.54 Current children cumulated vsize (Kb) 755940 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 288755 0 0 0 107302 652 0 0 25 0 1 0 20931683 774082560 162156 4294967295 134512640 135987407 3221224576 3221223184 134789452 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188985 162156 364 364 0 188621 0 [pid=6955] vsize: 755940 Current children cumulated CPU time (s) 1079.54 Current children cumulated vsize (Kb) 755940 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 293341 0 0 0 108289 664 0 0 25 0 1 0 20931683 774094848 162159 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 188988 162159 364 364 0 188624 0 [pid=6955] vsize: 755952 Current children cumulated CPU time (s) 1089.53 Current children cumulated vsize (Kb) 755952 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 295889 0 0 0 109282 669 0 0 25 0 1 0 20931683 781303808 163259 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 190748 163259 364 364 0 190384 0 [pid=6955] vsize: 762992 Current children cumulated CPU time (s) 1099.51 Current children cumulated vsize (Kb) 762992 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 297462 0 0 0 110277 673 0 0 25 0 1 0 20931683 785772544 163829 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 191839 163829 364 364 0 191475 0 [pid=6955] vsize: 767356 Current children cumulated CPU time (s) 1109.5 Current children cumulated vsize (Kb) 767356 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 297865 0 0 0 111276 675 0 0 25 0 1 0 20931683 786821120 163975 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 192095 163975 364 364 0 191731 0 [pid=6955] vsize: 768380 Current children cumulated CPU time (s) 1119.51 Current children cumulated vsize (Kb) 768380 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299407 0 0 0 112272 678 0 0 25 0 1 0 20931683 790491136 164618 4294967295 134512640 135987407 3221224576 3221223056 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 192991 164618 364 364 0 192627 0 [pid=6955] vsize: 771964 Current children cumulated CPU time (s) 1129.5 Current children cumulated vsize (Kb) 771964 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299543 0 0 0 113271 679 0 0 25 0 1 0 20931683 790757376 164721 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 193056 164721 364 364 0 192692 0 [pid=6955] vsize: 772224 Current children cumulated CPU time (s) 1139.5 Current children cumulated vsize (Kb) 772224 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299585 0 0 0 114271 679 0 0 25 0 1 0 20931683 790757376 164763 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 193056 164763 364 364 0 192692 0 [pid=6955] vsize: 772224 Current children cumulated CPU time (s) 1149.5 Current children cumulated vsize (Kb) 772224 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 299585 0 0 0 115271 679 0 0 25 0 1 0 20931683 790757376 164763 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 193056 164763 364 364 0 192692 0 [pid=6955] vsize: 772224 Current children cumulated CPU time (s) 1159.5 Current children cumulated vsize (Kb) 772224 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 300799 0 0 0 116268 682 0 0 25 0 1 0 20931683 793903104 165207 4294967295 134512640 135987407 3221224576 3221223056 134811891 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 193824 165207 364 364 0 193460 0 [pid=6955] vsize: 775296 Current children cumulated CPU time (s) 1169.5 Current children cumulated vsize (Kb) 775296 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 300799 0 0 0 117267 682 0 0 25 0 1 0 20931683 793903104 165207 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 193824 165207 364 364 0 193460 0 [pid=6955] vsize: 775296 Current children cumulated CPU time (s) 1179.49 Current children cumulated vsize (Kb) 775296 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 301101 0 0 0 118267 682 0 0 25 0 1 0 20931683 794951680 165252 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 194080 165252 364 364 0 193716 0 [pid=6955] vsize: 776320 Current children cumulated CPU time (s) 1189.49 Current children cumulated vsize (Kb) 776320 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 301101 0 0 0 119266 682 0 0 25 0 1 0 20931683 794951680 165252 4294967295 134512640 135987407 3221224576 3221223056 134811816 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 194080 165252 364 364 0 193716 0 [pid=6955] vsize: 776320 Current children cumulated CPU time (s) 1199.48 Current children cumulated vsize (Kb) 776320 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 302069 0 0 0 120263 685 0 0 25 0 1 0 20931683 797048832 165707 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 194592 165707 364 364 0 194228 0 [pid=6955] vsize: 778368 Current children cumulated CPU time (s) 1209.48 Current children cumulated vsize (Kb) 778368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 6955 Raw data (/proc/6955/stat): 6955 (pb2sat) R 6954 6955 4005 0 -1 0 302069 0 0 0 120263 685 0 0 25 0 1 0 20931683 797048832 165707 4294967295 134512640 135987407 3221224576 3221223184 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6955/statm): 194592 165707 364 364 0 194228 0 [pid=6955] vsize: 778368 Current children cumulated CPU time (s) 1209.48 Current children cumulated vsize (Kb) 778368 Sending SIGTERM to -6955 Sleeping 2 seconds Sending SIGKILL to -6955 One traced child (pid=6955) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 1212.32 CPU time (s): 1211.77 CPU user time (s): 1204.59 CPU system time (s): 7.18191 CPU usage (%): 99.9546 Max. virtual memory (cumulated for all children) (Kb): 778368
Verifier: OK 757