Name | submitted/een/normalized-seymour.opb |
MD5SUM | 23a177449585151350479e80b33e6416 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1372 |
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 | 1372 |
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 | 1372 |
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.02 |
Number of variables | 1255 |
Total number of constraints | 4827 |
Number of constraints which are clauses | 4827 |
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 | 19 |
LAUNCH ON wulflinc15 THE 2005-09-23 15:17:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8492 boxname=wulflinc15 idbench=288 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 23a177449585151350479e80b33e6416 /oldhome/oroussel/tmp/wulflinc15/normalized-seymour.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-seymour.opb IDLAUNCH: 8492 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.045 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.045 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: 800040 kB Buffers: 14832 kB Cached: 200252 kB SwapCached: 0 kB Active: 172128 kB Inactive: 45848 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 799788 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 11036 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:37:37 (client local time) WITH STATUS 10 IN 1210.93 SECONDS stats: 8492 0 1210.93 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1372 c big objective detected c trying from 0 to 511 c Decision: 6255/573544 Time: 85.572/86400 c Decision: 6255/573544 Time: 156.949/86400 c Decision: 6255/573544 Time: 215.595/86400 c got solution with objective value: 511 c starting final optimization c CONFLICT during preprocess c [startup+288.561 s] setting bit 10 to 0 c CONFLICT during preprocess c [startup+290.904 s] setting bit 9 to 0 c Decision: 265698/573544 Time: 52.717/86400 c Decision: 276115/573544 Time: 112.625/86400 c Decision: 276532/573544 Time: 173.778/86400 c Decision: 277872/573544 Time: 239.762/86400 c Decision: 287159/573544 Time: 299.917/86400 c Decision: 287167/573544 Time: 337.914/86400 c Decision: 287173/573544 Time: 375.63/86400 c Decision: 287173/573544 Time: 435.255/86400 c Decision: 287173/573544 Time: 465.743/86400 c Decision: 287173/573544 Time: 497.476/86400 c Decision: 287173/573544 Time: 524.616/86400 c Decision: 287173/573544 Time: 554.665/86400 c Decision: 288280/573544 Time: 590.485/86400 c Decision: 288280/573544 Time: 615.152/86400 c Decision: 288280/573544 Time: 646.968/86400 c Decision: 288280/573544 Time: 680.548/86400 c Decision: 288280/573544 Time: 708.6/86400 c Decision: 288280/573544 Time: 730.771/86400 c Decision: 288280/573544 Time: 758.081/86400 c Decision: 288280/573544 Time: 786.891/86400 c Decision: 288280/573544 Time: 815.703/86400 c Decision: 288280/573544 Time: 848.411/86400 c Decision: 288280/573544 Time: 871.268/86400 c Decision: 288280/573544 Time: 893.33/86400 c Decision: 288280/573544 Time: 918.93/86400s SATISFIABLE v -x0 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 -x138 -x139 x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 x15 x150 -x151 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/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21199587 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 373 2 364 364 0 9 0 [pid=7082] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-seymour.opb [startup+10.0016 s] Raw data (loadavg): 0.82 0.93 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 29617 0 0 0 931 65 0 0 25 0 1 0 21199587 95604736 18500 4294967295 134512640 135987407 3221224576 3220983048 134789773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 23341 18500 364 364 0 22977 0 [pid=7082] vsize: 93364 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 93364 [startup+20.0024 s] Raw data (loadavg): 0.85 0.93 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 59532 0 0 0 1859 134 0 0 25 0 1 0 21199587 189538304 37214 4294967295 134512640 135987407 3221224576 3221080512 134887785 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 46274 37214 364 364 0 45910 0 [pid=7082] vsize: 185096 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 185096 [startup+30.0032 s] Raw data (loadavg): 0.87 0.93 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 101465 0 0 0 2770 220 0 0 25 0 1 0 21199587 320737280 56963 4294967295 134512640 135987407 3221224576 3220926432 134856505 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 78305 56963 364 364 0 77941 0 [pid=7082] vsize: 313220 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 313220 [startup+40.003 s] Raw data (loadavg): 0.89 0.93 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 109207 0 0 0 3740 241 0 0 25 0 1 0 21199587 340979712 63038 4294967295 134512640 135987407 3221224576 3221223136 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 83247 63038 364 364 0 82883 0 [pid=7082] vsize: 332988 Current children cumulated CPU time (s) 39.81 Current children cumulated vsize (Kb) 332988 [startup+50.0038 s] Raw data (loadavg): 0.91 0.94 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 109946 0 0 0 4694 257 0 0 25 0 1 0 21199587 343900160 63546 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 83960 63546 364 364 0 83596 0 [pid=7082] vsize: 335840 Current children cumulated CPU time (s) 49.51 Current children cumulated vsize (Kb) 335840 [startup+60.0036 s] Raw data (loadavg): 0.92 0.94 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 112419 0 0 0 5666 270 0 0 25 0 1 0 21199587 352468992 65233 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 86052 65234 364 364 0 85688 0 [pid=7082] vsize: 344208 Current children cumulated CPU time (s) 59.36 Current children cumulated vsize (Kb) 344208 [startup+70.0034 s] Raw data (loadavg): 0.93 0.94 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 113928 0 0 0 6647 279 0 0 25 0 1 0 21199587 357457920 66166 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 87270 66166 364 364 0 86906 0 [pid=7082] vsize: 349080 Current children cumulated CPU time (s) 69.26 Current children cumulated vsize (Kb) 349080 [startup+80.0043 s] Raw data (loadavg): 0.94 0.94 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 115057 0 0 0 7636 284 0 0 25 0 1 0 21199587 361373696 66873 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 88226 66873 364 364 0 87862 0 [pid=7082] vsize: 352904 Current children cumulated CPU time (s) 79.2 Current children cumulated vsize (Kb) 352904 [startup+90.0041 s] Raw data (loadavg): 0.95 0.94 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 116499 0 0 0 8625 290 0 0 25 0 1 0 21199587 365056000 67597 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 89125 67597 364 364 0 88761 0 [pid=7082] vsize: 356500 Current children cumulated CPU time (s) 89.15 Current children cumulated vsize (Kb) 356500 [startup+100.005 s] Raw data (loadavg): 0.96 0.94 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 118690 0 0 0 9613 296 0 0 25 0 1 0 21199587 370929664 68541 4294967295 134512640 135987407 3221224576 3221223296 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 90559 68541 364 364 0 90195 0 [pid=7082] vsize: 362236 Current children cumulated CPU time (s) 99.09 Current children cumulated vsize (Kb) 362236 [startup+110.006 s] Raw data (loadavg): 0.96 0.94 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 120905 0 0 0 10603 302 0 0 25 0 1 0 21199587 376520704 69588 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 91924 69588 364 364 0 91560 0 [pid=7082] vsize: 367696 Current children cumulated CPU time (s) 109.05 Current children cumulated vsize (Kb) 367696 [startup+120.006 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 122619 0 0 0 11591 310 0 0 25 0 1 0 21199587 378376192 69922 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 92377 69922 364 364 0 92013 0 [pid=7082] vsize: 369508 Current children cumulated CPU time (s) 119.01 Current children cumulated vsize (Kb) 369508 [startup+130.006 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 123759 0 0 0 12582 315 0 0 25 0 1 0 21199587 381943808 70542 4294967295 134512640 135987407 3221224576 3221223136 134812132 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 93248 70542 364 364 0 92884 0 [pid=7082] vsize: 372992 Current children cumulated CPU time (s) 128.97 Current children cumulated vsize (Kb) 372992 [startup+140.006 s] Raw data (loadavg): 0.98 0.95 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 125376 0 0 0 13571 320 0 0 25 0 1 0 21199587 387088384 71474 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/7082/statm): 94504 71474 364 364 0 94140 0 [pid=7082] vsize: 378016 Current children cumulated CPU time (s) 138.91 Current children cumulated vsize (Kb) 378016 [startup+150.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 126237 0 0 0 14564 324 0 0 25 0 1 0 21199587 389193728 71944 4294967295 134512640 135987407 3221224576 3221223136 134811803 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 95018 71944 364 364 0 94654 0 [pid=7082] vsize: 380072 Current children cumulated CPU time (s) 148.88 Current children cumulated vsize (Kb) 380072 [startup+160.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 127447 0 0 0 15555 329 0 0 25 0 1 0 21199587 392220672 72604 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 95757 72604 364 364 0 95393 0 [pid=7082] vsize: 383028 Current children cumulated CPU time (s) 158.84 Current children cumulated vsize (Kb) 383028 [startup+170.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 127744 0 0 0 16544 334 0 0 25 0 1 0 21199587 392876032 72739 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 95917 72739 364 364 0 95553 0 [pid=7082] vsize: 383668 Current children cumulated CPU time (s) 168.78 Current children cumulated vsize (Kb) 383668 [startup+180.007 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 127876 0 0 0 17526 340 0 0 25 0 1 0 21199587 393539584 72871 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 96079 72871 364 364 0 95715 0 [pid=7082] vsize: 384316 Current children cumulated CPU time (s) 178.66 Current children cumulated vsize (Kb) 384316 [startup+190.007 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 129415 0 0 0 18515 347 0 0 25 0 1 0 21199587 394620928 73060 4294967295 134512640 135987407 3221224576 3221223280 134812778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 96343 73060 364 364 0 95979 0 [pid=7082] vsize: 385372 Current children cumulated CPU time (s) 188.62 Current children cumulated vsize (Kb) 385372 [startup+200.008 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 129922 0 0 0 19504 351 0 0 25 0 1 0 21199587 395472896 73405 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 96551 73405 364 364 0 96187 0 [pid=7082] vsize: 386204 Current children cumulated CPU time (s) 198.55 Current children cumulated vsize (Kb) 386204 [startup+210.009 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 130104 0 0 0 20483 358 0 0 25 0 1 0 21199587 396402688 73587 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 96778 73587 364 364 0 96414 0 [pid=7082] vsize: 387112 Current children cumulated CPU time (s) 208.41 Current children cumulated vsize (Kb) 387112 [startup+220.009 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 130106 0 0 0 21445 371 0 0 25 0 1 0 21199587 396402688 73589 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 96778 73589 364 364 0 96414 0 [pid=7082] vsize: 387112 Current children cumulated CPU time (s) 218.16 Current children cumulated vsize (Kb) 387112 [startup+230.01 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 130651 0 0 0 22424 378 0 0 25 0 1 0 21199587 399597568 74101 4294967295 134512640 135987407 3221224576 3221223276 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 97558 74101 364 364 0 97194 0 [pid=7082] vsize: 390232 Current children cumulated CPU time (s) 228.02 Current children cumulated vsize (Kb) 390232 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 131356 0 0 0 23406 385 0 0 25 0 1 0 21199587 403582976 74674 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 98531 74674 364 364 0 98167 0 [pid=7082] vsize: 394124 Current children cumulated CPU time (s) 237.91 Current children cumulated vsize (Kb) 394124 [startup+250.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 132756 0 0 0 24393 392 0 0 25 0 1 0 21199587 405176320 74887 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 98920 74887 364 364 0 98556 0 [pid=7082] vsize: 395680 Current children cumulated CPU time (s) 247.85 Current children cumulated vsize (Kb) 395680 [startup+260.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 132813 0 0 0 25367 403 0 0 25 0 1 0 21199587 405307392 74911 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 98952 74911 364 364 0 98588 0 [pid=7082] vsize: 395808 Current children cumulated CPU time (s) 257.7 Current children cumulated vsize (Kb) 395808 [startup+270.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 133319 0 0 0 26351 408 0 0 25 0 1 0 21199587 407158784 75190 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 99404 75190 364 364 0 99040 0 [pid=7082] vsize: 397616 Current children cumulated CPU time (s) 267.59 Current children cumulated vsize (Kb) 397616 [startup+280.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 133552 0 0 0 27333 415 0 0 25 0 1 0 21199587 408354816 75357 4294967295 134512640 135987407 3221224576 3221223136 134811959 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 99696 75357 364 364 0 99332 0 [pid=7082] vsize: 398784 Current children cumulated CPU time (s) 277.48 Current children cumulated vsize (Kb) 398784 [startup+290.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 135933 0 0 0 28312 426 0 0 25 0 1 0 21199587 409419776 75496 4294967295 134512640 135987407 3221224576 3221223184 134789619 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 99956 75496 364 364 0 99592 0 [pid=7082] vsize: 399824 Current children cumulated CPU time (s) 287.38 Current children cumulated vsize (Kb) 399824 [startup+300.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 138058 0 0 0 29297 434 0 0 25 0 1 0 21199587 412307456 75855 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 100661 75855 364 364 0 100297 0 [pid=7082] vsize: 402644 Current children cumulated CPU time (s) 297.31 Current children cumulated vsize (Kb) 402644 [startup+310.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 138233 0 0 0 30289 437 0 0 25 0 1 0 21199587 412831744 75901 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 100789 75901 364 364 0 100425 0 [pid=7082] vsize: 403156 Current children cumulated CPU time (s) 307.26 Current children cumulated vsize (Kb) 403156 [startup+320.011 s] Raw data (loadavg): 0.99 0.96 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 138237 0 0 0 31275 442 0 0 25 0 1 0 21199587 412831744 75905 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 100789 75905 364 364 0 100425 0 [pid=7082] vsize: 403156 Current children cumulated CPU time (s) 317.17 Current children cumulated vsize (Kb) 403156 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 138453 0 0 0 32267 445 0 0 25 0 1 0 21199587 413356032 75992 4294967295 134512640 135987407 3221224576 3221223056 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 100917 75992 364 364 0 100553 0 [pid=7082] vsize: 403668 Current children cumulated CPU time (s) 327.12 Current children cumulated vsize (Kb) 403668 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 138457 0 0 0 33255 448 0 0 25 0 1 0 21199587 413356032 75996 4294967295 134512640 135987407 3221224576 3221223088 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 100917 75996 364 364 0 100553 0 [pid=7082] vsize: 403668 Current children cumulated CPU time (s) 337.03 Current children cumulated vsize (Kb) 403668 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 139593 0 0 0 34248 452 0 0 25 0 1 0 21199587 413356032 76011 4294967295 134512640 135987407 3221224576 3221223056 134812120 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 100917 76011 364 364 0 100553 0 [pid=7082] vsize: 403668 Current children cumulated CPU time (s) 347 Current children cumulated vsize (Kb) 403668 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 139777 0 0 0 35238 456 0 0 23 0 1 0 21199587 413880320 76066 4294967295 134512640 135987407 3221224576 3221223056 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101045 76066 364 364 0 100681 0 [pid=7082] vsize: 404180 Current children cumulated CPU time (s) 356.94 Current children cumulated vsize (Kb) 404180 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 139997 0 0 0 36232 458 0 0 25 0 1 0 21199587 414404608 76157 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101173 76157 364 364 0 100809 0 [pid=7082] vsize: 404692 Current children cumulated CPU time (s) 366.9 Current children cumulated vsize (Kb) 404692 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 140074 0 0 0 37223 461 0 0 25 0 1 0 21199587 414801920 76201 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101270 76201 364 364 0 100906 0 [pid=7082] vsize: 405080 Current children cumulated CPU time (s) 376.84 Current children cumulated vsize (Kb) 405080 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 140224 0 0 0 38215 464 0 0 25 0 1 0 21199587 415330304 76285 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101399 76285 364 364 0 101035 0 [pid=7082] vsize: 405596 Current children cumulated CPU time (s) 386.79 Current children cumulated vsize (Kb) 405596 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 140382 0 0 0 39210 466 0 0 25 0 1 0 21199587 415858688 76378 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101528 76378 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 396.76 Current children cumulated vsize (Kb) 406112 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 141505 0 0 0 40198 472 0 0 25 0 1 0 21199587 415858688 76380 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101528 76380 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 406.7 Current children cumulated vsize (Kb) 406112 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 141511 0 0 0 41186 475 0 0 25 0 1 0 21199587 415858688 76386 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101528 76386 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 416.61 Current children cumulated vsize (Kb) 406112 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 141513 0 0 0 42173 480 0 0 25 0 1 0 21199587 415858688 76388 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101528 76388 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 426.53 Current children cumulated vsize (Kb) 406112 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 141515 0 0 0 43162 484 0 0 25 0 1 0 21199587 415858688 76390 4294967295 134512640 135987407 3221224576 3221223056 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101528 76390 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 436.46 Current children cumulated vsize (Kb) 406112 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 141520 0 0 0 44152 488 0 0 25 0 1 0 21199587 415858688 76395 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101528 76395 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 446.4 Current children cumulated vsize (Kb) 406112 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 141527 0 0 0 45149 489 0 0 25 0 1 0 21199587 415858688 76402 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101528 76402 364 364 0 101164 0 [pid=7082] vsize: 406112 Current children cumulated CPU time (s) 456.38 Current children cumulated vsize (Kb) 406112 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142748 0 0 0 46139 495 0 0 25 0 1 0 21199587 416391168 76502 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101658 76502 364 364 0 101294 0 [pid=7082] vsize: 406632 Current children cumulated CPU time (s) 466.34 Current children cumulated vsize (Kb) 406632 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142751 0 0 0 47128 500 0 0 25 0 1 0 21199587 416391168 76505 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101658 76505 364 364 0 101294 0 [pid=7082] vsize: 406632 Current children cumulated CPU time (s) 476.28 Current children cumulated vsize (Kb) 406632 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142761 0 0 0 48117 503 0 0 25 0 1 0 21199587 416391168 76515 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101658 76515 364 364 0 101294 0 [pid=7082] vsize: 406632 Current children cumulated CPU time (s) 486.2 Current children cumulated vsize (Kb) 406632 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142771 0 0 0 49113 504 0 0 25 0 1 0 21199587 416391168 76525 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101658 76525 364 364 0 101294 0 [pid=7082] vsize: 406632 Current children cumulated CPU time (s) 496.17 Current children cumulated vsize (Kb) 406632 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142819 0 0 0 50108 507 0 0 25 0 1 0 21199587 416657408 76573 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 101723 76573 364 364 0 101359 0 [pid=7082] vsize: 406892 Current children cumulated CPU time (s) 506.15 Current children cumulated vsize (Kb) 406892 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142825 0 0 0 51102 509 0 0 25 0 1 0 21199587 416657408 76579 4294967295 134512640 135987407 3221224576 3221223056 134811959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101723 76579 364 364 0 101359 0 [pid=7082] vsize: 406892 Current children cumulated CPU time (s) 516.11 Current children cumulated vsize (Kb) 406892 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 142830 0 0 0 52096 511 0 0 25 0 1 0 21199587 416657408 76584 4294967295 134512640 135987407 3221224576 3221223088 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101723 76584 364 364 0 101359 0 [pid=7082] vsize: 406892 Current children cumulated CPU time (s) 526.07 Current children cumulated vsize (Kb) 406892 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 144322 0 0 0 53085 517 0 0 25 0 1 0 21199587 417710080 76825 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 101980 76825 364 364 0 101616 0 [pid=7082] vsize: 407920 Current children cumulated CPU time (s) 536.02 Current children cumulated vsize (Kb) 407920 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 144558 0 0 0 54074 521 0 0 25 0 1 0 21199587 418234368 76930 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102108 76930 364 364 0 101744 0 [pid=7082] vsize: 408432 Current children cumulated CPU time (s) 545.95 Current children cumulated vsize (Kb) 408432 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 144636 0 0 0 55062 526 0 0 25 0 1 0 21199587 418635776 77008 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102206 77008 364 364 0 101842 0 [pid=7082] vsize: 408824 Current children cumulated CPU time (s) 555.88 Current children cumulated vsize (Kb) 408824 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 144715 0 0 0 56055 529 0 0 25 0 1 0 21199587 418902016 77087 4294967295 134512640 135987407 3221224576 3221223152 134812358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77087 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 565.84 Current children cumulated vsize (Kb) 409084 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 144718 0 0 0 57047 532 0 0 25 0 1 0 21199587 418902016 77090 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77090 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 575.79 Current children cumulated vsize (Kb) 409084 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 144727 0 0 0 58035 536 0 0 25 0 1 0 21199587 418902016 77099 4294967295 134512640 135987407 3221224576 3221223056 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77099 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 585.71 Current children cumulated vsize (Kb) 409084 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 145852 0 0 0 59018 544 0 0 25 0 1 0 21199587 418902016 77103 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77103 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 595.62 Current children cumulated vsize (Kb) 409084 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 145855 0 0 0 60008 548 0 0 25 0 1 0 21199587 418902016 77106 4294967295 134512640 135987407 3221224576 3221222944 134801598 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77106 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 605.56 Current children cumulated vsize (Kb) 409084 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 145857 0 0 0 60999 552 0 0 25 0 1 0 21199587 418902016 77108 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77108 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 615.51 Current children cumulated vsize (Kb) 409084 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 146980 0 0 0 61987 558 0 0 25 0 1 0 21199587 418902016 77110 4294967295 134512640 135987407 3221224576 3221223184 134876857 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102271 77110 364 364 0 101907 0 [pid=7082] vsize: 409084 Current children cumulated CPU time (s) 625.45 Current children cumulated vsize (Kb) 409084 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 147256 0 0 0 62982 560 0 0 25 0 1 0 21199587 419688448 77192 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102463 77192 364 364 0 102099 0 [pid=7082] vsize: 409852 Current children cumulated CPU time (s) 635.42 Current children cumulated vsize (Kb) 409852 [startup+650.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 147262 0 0 0 63976 562 0 0 25 0 1 0 21199587 419688448 77198 4294967295 134512640 135987407 3221224576 3221223056 134811735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102463 77198 364 364 0 102099 0 [pid=7082] vsize: 409852 Current children cumulated CPU time (s) 645.38 Current children cumulated vsize (Kb) 409852 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 147265 0 0 0 64971 565 0 0 25 0 1 0 21199587 419688448 77201 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102463 77201 364 364 0 102099 0 [pid=7082] vsize: 409852 Current children cumulated CPU time (s) 655.36 Current children cumulated vsize (Kb) 409852 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 148389 0 0 0 65961 570 0 0 25 0 1 0 21199587 419688448 77204 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102463 77204 364 364 0 102099 0 [pid=7082] vsize: 409852 Current children cumulated CPU time (s) 665.31 Current children cumulated vsize (Kb) 409852 [startup+680.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 148500 0 0 0 66956 572 0 0 25 0 1 0 21199587 420085760 77282 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102560 77282 364 364 0 102196 0 [pid=7082] vsize: 410240 Current children cumulated CPU time (s) 675.28 Current children cumulated vsize (Kb) 410240 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 148582 0 0 0 67947 575 0 0 25 0 1 0 21199587 420352000 77364 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102625 77364 364 364 0 102261 0 [pid=7082] vsize: 410500 Current children cumulated CPU time (s) 685.22 Current children cumulated vsize (Kb) 410500 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 149031 0 0 0 68936 580 0 0 25 0 1 0 21199587 421666816 77552 4294967295 134512640 135987407 3221224576 3221222928 134788457 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102946 77552 364 364 0 102582 0 [pid=7082] vsize: 411784 Current children cumulated CPU time (s) 695.16 Current children cumulated vsize (Kb) 411784 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 149096 0 0 0 69927 583 0 0 25 0 1 0 21199587 421797888 77584 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 102978 77584 364 364 0 102614 0 [pid=7082] vsize: 411912 Current children cumulated CPU time (s) 705.1 Current children cumulated vsize (Kb) 411912 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 149110 0 0 0 70916 587 0 0 25 0 1 0 21199587 421797888 77598 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 102978 77598 364 364 0 102614 0 [pid=7082] vsize: 411912 Current children cumulated CPU time (s) 715.03 Current children cumulated vsize (Kb) 411912 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 150245 0 0 0 71904 593 0 0 25 0 1 0 21199587 421797888 77612 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 102978 77612 364 364 0 102614 0 [pid=7082] vsize: 411912 Current children cumulated CPU time (s) 724.97 Current children cumulated vsize (Kb) 411912 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 150249 0 0 0 72887 599 0 0 25 0 1 0 21199587 421797888 77616 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 102978 77616 364 364 0 102614 0 [pid=7082] vsize: 411912 Current children cumulated CPU time (s) 734.86 Current children cumulated vsize (Kb) 411912 [startup+750.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 150253 0 0 0 73874 604 0 0 25 0 1 0 21199587 421797888 77620 4294967295 134512640 135987407 3221224576 3221223152 134812365 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 102978 77620 364 364 0 102614 0 [pid=7082] vsize: 411912 Current children cumulated CPU time (s) 744.78 Current children cumulated vsize (Kb) 411912 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 151493 0 0 0 74860 611 0 0 25 0 1 0 21199587 422060032 77673 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103042 77673 364 364 0 102678 0 [pid=7082] vsize: 412168 Current children cumulated CPU time (s) 754.71 Current children cumulated vsize (Kb) 412168 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 151644 0 0 0 75844 617 0 0 25 0 1 0 21199587 422322176 77759 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103106 77759 364 364 0 102742 0 [pid=7082] vsize: 412424 Current children cumulated CPU time (s) 764.61 Current children cumulated vsize (Kb) 412424 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 151689 0 0 0 76825 624 0 0 25 0 1 0 21199587 422453248 77771 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77771 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 774.49 Current children cumulated vsize (Kb) 412552 [startup+790.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 151700 0 0 0 77810 629 0 0 25 0 1 0 21199587 422453248 77782 4294967295 134512640 135987407 3221224576 3221223008 134789464 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77782 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 784.39 Current children cumulated vsize (Kb) 412552 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 152826 0 0 0 78791 636 0 0 25 0 1 0 21199587 422453248 77787 4294967295 134512640 135987407 3221224576 3221223056 134812043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77787 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 794.27 Current children cumulated vsize (Kb) 412552 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 152832 0 0 0 79773 642 0 0 25 0 1 0 21199587 422453248 77793 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77793 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 804.15 Current children cumulated vsize (Kb) 412552 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 153955 0 0 0 80760 648 0 0 25 0 1 0 21199587 422453248 77795 4294967295 134512640 135987407 3221224576 3221223216 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77795 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 814.08 Current children cumulated vsize (Kb) 412552 [startup+830.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 153956 0 0 0 81735 657 0 0 25 0 1 0 21199587 422453248 77796 4294967295 134512640 135987407 3221224576 3221223184 134816545 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77796 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 823.92 Current children cumulated vsize (Kb) 412552 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 153959 0 0 0 82713 666 0 0 25 0 1 0 21199587 422453248 77799 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77799 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 833.79 Current children cumulated vsize (Kb) 412552 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 155084 0 0 0 83695 673 0 0 25 0 1 0 21199587 422453248 77803 4294967295 134512640 135987407 3221224576 3221223056 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77803 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 843.68 Current children cumulated vsize (Kb) 412552 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 155087 0 0 0 84672 681 0 0 25 0 1 0 21199587 422453248 77806 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77806 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 853.53 Current children cumulated vsize (Kb) 412552 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 155090 0 0 0 85649 690 0 0 25 0 1 0 21199587 422453248 77809 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77809 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 863.39 Current children cumulated vsize (Kb) 412552 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 155093 0 0 0 86632 696 0 0 25 0 1 0 21199587 422453248 77812 4294967295 134512640 135987407 3221224576 3221223056 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103138 77812 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 873.28 Current children cumulated vsize (Kb) 412552 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 156217 0 0 0 87614 705 0 0 25 0 1 0 21199587 422453248 77815 4294967295 134512640 135987407 3221224576 3221223216 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77815 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 883.19 Current children cumulated vsize (Kb) 412552 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 156221 0 0 0 88588 713 0 0 25 0 1 0 21199587 422453248 77819 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77819 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 893.01 Current children cumulated vsize (Kb) 412552 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 157348 0 0 0 89567 722 0 0 25 0 1 0 21199587 427044864 78946 4294967295 134512640 135987407 3221224576 3221222752 134829342 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 104259 78946 364 364 0 103895 0 [pid=7082] vsize: 417036 Current children cumulated CPU time (s) 902.89 Current children cumulated vsize (Kb) 417036 [startup+920.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 157351 0 0 0 90550 727 0 0 25 0 1 0 21199587 422453248 77828 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77828 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 912.77 Current children cumulated vsize (Kb) 412552 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 157359 0 0 0 91531 734 0 0 25 0 1 0 21199587 422453248 77836 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77836 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 922.65 Current children cumulated vsize (Kb) 412552 [startup+940.033 s] Raw data (loadavg): 1.07 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 157368 0 0 0 92510 740 0 0 25 0 1 0 21199587 422453248 77845 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77845 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 932.5 Current children cumulated vsize (Kb) 412552 [startup+950.034 s] Raw data (loadavg): 1.06 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 158495 0 0 0 93495 747 0 0 25 0 1 0 21199587 422453248 77851 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103138 77851 364 364 0 102774 0 [pid=7082] vsize: 412552 Current children cumulated CPU time (s) 942.42 Current children cumulated vsize (Kb) 412552 [startup+960.034 s] Raw data (loadavg): 1.05 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 158506 0 0 0 94477 753 0 0 25 0 1 0 21199587 422588416 77862 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77862 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 952.3 Current children cumulated vsize (Kb) 412684 [startup+970.034 s] Raw data (loadavg): 1.04 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 158516 0 0 0 95462 758 0 0 25 0 1 0 21199587 422588416 77872 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77872 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 962.2 Current children cumulated vsize (Kb) 412684 [startup+980.034 s] Raw data (loadavg): 1.03 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 159641 0 0 0 96450 764 0 0 25 0 1 0 21199587 422588416 77876 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77876 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 972.14 Current children cumulated vsize (Kb) 412684 [startup+990.035 s] Raw data (loadavg): 1.03 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 159646 0 0 0 97434 768 0 0 25 0 1 0 21199587 422588416 77881 4294967295 134512640 135987407 3221224576 3221222928 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77881 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 982.02 Current children cumulated vsize (Kb) 412684 [startup+1000.04 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 159655 0 0 0 98416 774 0 0 25 0 1 0 21199587 422588416 77890 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77890 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 991.9 Current children cumulated vsize (Kb) 412684 [startup+1010.04 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 160783 0 0 0 99398 783 0 0 25 0 1 0 21199587 422588416 77897 4294967295 134512640 135987407 3221224576 3221223056 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77897 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (Kb) 412684 [startup+1020.04 s] Raw data (loadavg): 1.02 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 160793 0 0 0 100385 788 0 0 25 0 1 0 21199587 422588416 77907 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77907 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 1011.73 Current children cumulated vsize (Kb) 412684 [startup+1030.04 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 161925 0 0 0 101373 795 0 0 25 0 1 0 21199587 422588416 77918 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103171 77918 364 364 0 102807 0 [pid=7082] vsize: 412684 Current children cumulated CPU time (s) 1021.68 Current children cumulated vsize (Kb) 412684 [startup+1040.04 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 161937 0 0 0 102360 799 0 0 25 0 1 0 21199587 422723584 77930 4294967295 134512640 135987407 3221224576 3221223056 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103204 77930 364 364 0 102840 0 [pid=7082] vsize: 412816 Current children cumulated CPU time (s) 1031.59 Current children cumulated vsize (Kb) 412816 [startup+1050.04 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 161951 0 0 0 103350 802 0 0 25 0 1 0 21199587 422723584 77944 4294967295 134512640 135987407 3221224576 3221223056 134812197 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103204 77944 364 364 0 102840 0 [pid=7082] vsize: 412816 Current children cumulated CPU time (s) 1041.52 Current children cumulated vsize (Kb) 412816 [startup+1060.04 s] Raw data (loadavg): 1.01 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 163078 0 0 0 104336 809 0 0 25 0 1 0 21199587 422723584 77950 4294967295 134512640 135987407 3221224576 3221223128 134811683 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103204 77950 364 364 0 102840 0 [pid=7082] vsize: 412816 Current children cumulated CPU time (s) 1051.45 Current children cumulated vsize (Kb) 412816 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 163088 0 0 0 105320 814 0 0 25 0 1 0 21199587 422723584 77960 4294967295 134512640 135987407 3221224576 3221223056 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103204 77960 364 364 0 102840 0 [pid=7082] vsize: 412816 Current children cumulated CPU time (s) 1061.34 Current children cumulated vsize (Kb) 412816 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 163094 0 0 0 106300 821 0 0 25 0 1 0 21199587 422723584 77966 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103204 77966 364 364 0 102840 0 [pid=7082] vsize: 412816 Current children cumulated CPU time (s) 1071.21 Current children cumulated vsize (Kb) 412816 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 164229 0 0 0 107279 831 0 0 25 0 1 0 21199587 422723584 77980 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103204 77980 364 364 0 102840 0 [pid=7082] vsize: 412816 Current children cumulated CPU time (s) 1081.1 Current children cumulated vsize (Kb) 412816 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 164239 0 0 0 108265 836 0 0 25 0 1 0 21199587 422858752 77990 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7082/statm): 103237 77990 364 364 0 102873 0 [pid=7082] vsize: 412948 Current children cumulated CPU time (s) 1091.01 Current children cumulated vsize (Kb) 412948 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 165374 0 0 0 109245 845 0 0 25 0 1 0 21199587 427450368 79125 4294967295 134512640 135987407 3221224576 3221222752 134828922 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 104358 79125 364 364 0 103994 0 [pid=7082] vsize: 417432 Current children cumulated CPU time (s) 1100.9 Current children cumulated vsize (Kb) 417432 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 165375 0 0 0 110234 850 0 0 25 0 1 0 21199587 422858752 78005 4294967295 134512640 135987407 3221224576 3221222928 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103237 78005 364 364 0 102873 0 [pid=7082] vsize: 412948 Current children cumulated CPU time (s) 1110.84 Current children cumulated vsize (Kb) 412948 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 165379 0 0 0 111218 855 0 0 25 0 1 0 21199587 422858752 78009 4294967295 134512640 135987407 3221224576 3221223152 134812334 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103237 78009 364 364 0 102873 0 [pid=7082] vsize: 412948 Current children cumulated CPU time (s) 1120.73 Current children cumulated vsize (Kb) 412948 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 165387 0 0 0 112196 862 0 0 25 0 1 0 21199587 422858752 78017 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103237 78017 364 364 0 102873 0 [pid=7082] vsize: 412948 Current children cumulated CPU time (s) 1130.58 Current children cumulated vsize (Kb) 412948 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 166519 0 0 0 113175 871 0 0 25 0 1 0 21199587 422858752 78028 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103237 78028 364 364 0 102873 0 [pid=7082] vsize: 412948 Current children cumulated CPU time (s) 1140.46 Current children cumulated vsize (Kb) 412948 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 166530 0 0 0 114155 878 0 0 25 0 1 0 21199587 422858752 78039 4294967295 134512640 135987407 3221224576 3221223216 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103237 78039 364 364 0 102873 0 [pid=7082] vsize: 412948 Current children cumulated CPU time (s) 1150.33 Current children cumulated vsize (Kb) 412948 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 167665 0 0 0 115144 884 0 0 25 0 1 0 21199587 422993920 78053 4294967295 134512640 135987407 3221224576 3221223056 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78053 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1160.28 Current children cumulated vsize (Kb) 413080 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 167683 0 0 0 116133 889 0 0 25 0 1 0 21199587 422993920 78071 4294967295 134512640 135987407 3221224576 3221223056 134811807 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78071 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1170.22 Current children cumulated vsize (Kb) 413080 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 167699 0 0 0 117116 894 0 0 25 0 1 0 21199587 422993920 78087 4294967295 134512640 135987407 3221224576 3221223088 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78087 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1180.1 Current children cumulated vsize (Kb) 413080 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 168835 0 0 0 118099 903 0 0 25 0 1 0 21199587 422993920 78102 4294967295 134512640 135987407 3221224576 3221223216 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78102 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1190.02 Current children cumulated vsize (Kb) 413080 [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.97 2/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) R 7081 7082 4057 0 -1 0 168843 0 0 0 119084 907 0 0 25 0 1 0 21199587 422993920 78110 4294967295 134512640 135987407 3221224576 3221223056 134811972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78110 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1199.91 Current children cumulated vsize (Kb) 413080 [startup+1220.04 s] Raw data (loadavg): 1.00 0.99 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 169972 0 0 0 120072 913 0 0 25 0 1 0 21199587 422993920 78118 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78118 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1209.85 Current children cumulated vsize (Kb) 413080 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.05 s] Raw data (loadavg): 1.00 0.99 0.97 1/55 7082 Raw data (/proc/7082/stat): 7082 (pb2sat) T 7081 7082 4057 0 -1 0 169972 0 0 0 120072 913 0 0 25 0 1 0 21199587 422993920 78118 4294967295 134512640 135987407 3221224576 3221223196 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7082/statm): 103270 78118 364 364 0 102906 0 [pid=7082] vsize: 413080 Current children cumulated CPU time (s) 1209.85 Current children cumulated vsize (Kb) 413080 Sending SIGTERM to -7082 Sleeping 2 seconds One traced child (pid=7082) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1221.12 CPU time (s): 1210.93 CPU user time (s): 1201.63 CPU system time (s): 9.29859 CPU usage (%): 99.1653 Max. virtual memory (cumulated for all children) (Kb): 417432
Verifier: OK 511