Name | submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb |
MD5SUM | 6604a6c0d979e1f2b09762e6e4f70f84 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 259 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 1278 |
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 | 1278 |
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 | 1278 |
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 | 304.738 |
Number of variables | 1278 |
Total number of constraints | 1087 |
Number of constraints which are clauses | 1087 |
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 | 1 |
Maximum length of a constraint | 18 |
LAUNCH ON wulflinc24 THE 2005-09-23 14:20:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8273 boxname=wulflinc24 idbench=69 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6604a6c0d979e1f2b09762e6e4f70f84 /oldhome/oroussel/tmp/wulflinc24/normalized-max1024.pi.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-max1024.pi.opb IDLAUNCH: 8273 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.047 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.047 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: 899992 kB Buffers: 14540 kB Cached: 101332 kB SwapCached: 0 kB Active: 66044 kB Inactive: 52768 kB HighTotal: 131008 kB HighFree: 27692 kB LowTotal: 903652 kB LowFree: 872300 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 10292 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-23 14:40:23 (client local time) WITH STATUS 10 IN 1202.3 SECONDS stats: 8273 0 1202.3 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1278 c big objective detected c trying from 0 to 511 c Decision: 15021/525322 Time: 114.45/86400 c Decision: 27987/525322 Time: 208.068/86400 c Decision: 27987/525322 Time: 244.286/86400 c Decision: 36759/525322 Time: 350.688/86400 c Decision: 36759/525322 Time: 429.397/86400 c Decision: 36759/525322 Time: 462.181/86400 c Decision: 36759/525322 Time: 486.766/86400 c Decision: 36759/525322 Time: 506.516/86400 c Decision: 36759/525322 Time: 529.127/86400 c Decision: 36759/525322 Time: 602.689/86400 c got solution with objective value: 511 c starting final optimization c CONFLICT during preprocess c [startup+685.696 s] setting bit 10 to 0 c CONFLICT during preprocess c [startup+687.886 s] setting bit 9 to 0 c Decision: 269588/525322 Time: 131.849/86400 c Decision: 273575/525322 Time: 180.551/86400 c Decision: 273575/525322 Time: 207.341/86400 c Decision: 273575/525322 Time: 229.442/86400 c Decision: 273575/525322 Time: 248.433/86400 c Decision: 273575/525322 Time: 270.15/86400 c Decision: 273575/525322 Time: 287.306/86400 c Decision: 273575/525322 Time: 321.247/86400 c Decision: 273575/525322 Time: 347.738/86400 c Decision: 273575/525322 Time: 376.305/86400 c Decision: 273575/525322 Time: 408.632/86400 c Decision: 273575/525322 Time: 435.053/86400 c Decision: 273575/525322 Time: 460.267/86400 c Decision: 273575/525322 Time: 485.797/86400 c Decision: 273575/525322 Time: 504.91/86400s 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 -x128 x129 x13 -x130 x131 x132 -x133 -x134 x135 x136 x137 -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/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20855352 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 373 2 364 364 0 9 0 [pid=7164] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-max1024.pi.opb [startup+10.0023 s] Raw data (loadavg): 0.92 0.94 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 30350 0 0 0 928 68 0 0 25 0 1 0 20855352 96567296 19228 4294967295 134512640 135987407 3221224560 3220858144 134855001 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 23576 19228 364 364 0 23212 0 [pid=7164] vsize: 94304 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 94304 [startup+20.003 s] Raw data (loadavg): 0.93 0.94 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 59979 0 0 0 1863 130 0 0 25 0 1 0 20855352 190095360 37660 4294967295 134512640 135987407 3221224560 3221079660 134856366 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 46410 37660 364 364 0 46046 0 [pid=7164] vsize: 185640 Current children cumulated CPU time (s) 19.93 Current children cumulated vsize (Kb) 185640 [startup+30.0037 s] Raw data (loadavg): 0.94 0.94 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 89097 0 0 0 2797 193 0 0 25 0 1 0 20855352 275996672 56914 4294967295 134512640 135987407 3221224560 3221222968 134827499 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 67382 56914 364 364 0 67018 0 [pid=7164] vsize: 269528 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 269528 [startup+40.0044 s] Raw data (loadavg): 0.95 0.94 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 94078 0 0 0 3770 208 0 0 25 0 1 0 20855352 288763904 59537 4294967295 134512640 135987407 3221224560 3221223216 134812363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 70499 59537 364 364 0 70135 0 [pid=7164] vsize: 281996 Current children cumulated CPU time (s) 39.78 Current children cumulated vsize (Kb) 281996 [startup+50.0051 s] Raw data (loadavg): 0.96 0.94 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 96524 0 0 0 4745 221 0 0 25 0 1 0 20855352 295989248 60860 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 72263 60860 364 364 0 71899 0 [pid=7164] vsize: 289052 Current children cumulated CPU time (s) 49.66 Current children cumulated vsize (Kb) 289052 [startup+60.0058 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 99029 0 0 0 5727 229 0 0 25 0 1 0 20855352 303206400 62115 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 74025 62115 364 364 0 73661 0 [pid=7164] vsize: 296100 Current children cumulated CPU time (s) 59.56 Current children cumulated vsize (Kb) 296100 [startup+70.0065 s] Raw data (loadavg): 0.97 0.95 0.97 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 102094 0 0 0 6707 238 0 0 25 0 1 0 20855352 311717888 63881 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 76103 63881 364 364 0 75739 0 [pid=7164] vsize: 304412 Current children cumulated CPU time (s) 69.45 Current children cumulated vsize (Kb) 304412 [startup+80.0062 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 103658 0 0 0 7686 248 0 0 25 0 1 0 20855352 316542976 64769 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 77281 64769 364 364 0 76917 0 [pid=7164] vsize: 309124 Current children cumulated CPU time (s) 79.34 Current children cumulated vsize (Kb) 309124 [startup+90.0069 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 104990 0 0 0 8676 253 0 0 25 0 1 0 20855352 320532480 65580 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 78255 65580 364 364 0 77891 0 [pid=7164] vsize: 313020 Current children cumulated CPU time (s) 89.29 Current children cumulated vsize (Kb) 313020 [startup+100.007 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 105517 0 0 0 9666 257 0 0 25 0 1 0 20855352 321810432 65944 4294967295 134512640 135987407 3221224560 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 78567 65944 364 364 0 78203 0 [pid=7164] vsize: 314268 Current children cumulated CPU time (s) 99.23 Current children cumulated vsize (Kb) 314268 [startup+110.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 106241 0 0 0 10656 261 0 0 25 0 1 0 20855352 324067328 66390 4294967295 134512640 135987407 3221224560 3221223120 134812002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 79118 66390 364 364 0 78754 0 [pid=7164] vsize: 316472 Current children cumulated CPU time (s) 109.17 Current children cumulated vsize (Kb) 316472 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 106594 0 0 0 11647 265 0 0 25 0 1 0 20855352 325062656 66645 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 79361 66645 364 364 0 78997 0 [pid=7164] vsize: 317444 Current children cumulated CPU time (s) 119.12 Current children cumulated vsize (Kb) 317444 [startup+130.008 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 106980 0 0 0 12636 269 0 0 25 0 1 0 20855352 326397952 66900 4294967295 134512640 135987407 3221224560 3221223120 134811813 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 79687 66900 364 364 0 79323 0 [pid=7164] vsize: 318748 Current children cumulated CPU time (s) 129.05 Current children cumulated vsize (Kb) 318748 [startup+140.008 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 107396 0 0 0 13627 272 0 0 25 0 1 0 20855352 327458816 67153 4294967295 134512640 135987407 3221224560 3221223152 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 79946 67153 364 364 0 79582 0 [pid=7164] vsize: 319784 Current children cumulated CPU time (s) 138.99 Current children cumulated vsize (Kb) 319784 [startup+150.008 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 108907 0 0 0 14620 277 0 0 25 0 1 0 20855352 328777728 67375 4294967295 134512640 135987407 3221224560 3221223120 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 80268 67375 364 364 0 79904 0 [pid=7164] vsize: 321072 Current children cumulated CPU time (s) 148.97 Current children cumulated vsize (Kb) 321072 [startup+160.009 s] Raw data (loadavg): 0.99 0.95 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 110407 0 0 0 15603 286 0 0 25 0 1 0 20855352 332869632 68124 4294967295 134512640 135987407 3221224560 3221223260 134812256 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 81267 68125 364 364 0 80903 0 [pid=7164] vsize: 325068 Current children cumulated CPU time (s) 158.89 Current children cumulated vsize (Kb) 325068 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 111802 0 0 0 16589 292 0 0 25 0 1 0 20855352 337088512 68768 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 82297 68768 364 364 0 81933 0 [pid=7164] vsize: 329188 Current children cumulated CPU time (s) 168.81 Current children cumulated vsize (Kb) 329188 [startup+180.009 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 112659 0 0 0 17577 297 0 0 25 0 1 0 20855352 339718144 69042 4294967295 134512640 135987407 3221224560 3221223120 134811962 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 82939 69042 364 364 0 82575 0 [pid=7164] vsize: 331756 Current children cumulated CPU time (s) 178.74 Current children cumulated vsize (Kb) 331756 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 113344 0 0 0 18551 306 0 0 25 0 1 0 20855352 341557248 69303 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 83388 69303 364 364 0 83024 0 [pid=7164] vsize: 333552 Current children cumulated CPU time (s) 188.57 Current children cumulated vsize (Kb) 333552 [startup+200.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 113463 0 0 0 19546 308 0 0 25 0 1 0 20855352 341688320 69389 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 83420 69389 364 364 0 83056 0 [pid=7164] vsize: 333680 Current children cumulated CPU time (s) 198.54 Current children cumulated vsize (Kb) 333680 [startup+210.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 113532 0 0 0 20540 310 0 0 25 0 1 0 20855352 341823488 69458 4294967295 134512640 135987407 3221224560 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 83453 69458 364 364 0 83089 0 [pid=7164] vsize: 333812 Current children cumulated CPU time (s) 208.5 Current children cumulated vsize (Kb) 333812 [startup+220.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 114214 0 0 0 21535 313 0 0 25 0 1 0 20855352 343527424 69718 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 83869 69718 364 364 0 83505 0 [pid=7164] vsize: 335476 Current children cumulated CPU time (s) 218.48 Current children cumulated vsize (Kb) 335476 [startup+230.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 114216 0 0 0 22529 315 0 0 25 0 1 0 20855352 343527424 69720 4294967295 134512640 135987407 3221224560 3221223276 134812764 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 83869 69720 364 364 0 83505 0 [pid=7164] vsize: 335476 Current children cumulated CPU time (s) 228.44 Current children cumulated vsize (Kb) 335476 [startup+240.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 127893 0 0 0 23491 348 0 0 25 0 1 0 20855352 394645504 69887 4294967295 134512640 135987407 3221224560 3221223120 134811741 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 96349 69887 364 364 0 95985 0 [pid=7164] vsize: 385396 Current children cumulated CPU time (s) 238.39 Current children cumulated vsize (Kb) 385396 [startup+250.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 127910 0 0 0 24473 353 0 0 25 0 1 0 20855352 394645504 69904 4294967295 134512640 135987407 3221224560 3221223120 134811756 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 96349 69904 364 364 0 95985 0 [pid=7164] vsize: 385396 Current children cumulated CPU time (s) 248.26 Current children cumulated vsize (Kb) 385396 [startup+260.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 128782 0 0 0 25464 358 0 0 25 0 1 0 20855352 397410304 70287 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 97024 70287 364 364 0 96660 0 [pid=7164] vsize: 388096 Current children cumulated CPU time (s) 258.22 Current children cumulated vsize (Kb) 388096 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 128972 0 0 0 26456 361 0 0 25 0 1 0 20855352 397934592 70347 4294967295 134512640 135987407 3221224560 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 97152 70347 364 364 0 96788 0 [pid=7164] vsize: 388608 Current children cumulated CPU time (s) 268.17 Current children cumulated vsize (Kb) 388608 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 130212 0 0 0 27449 366 0 0 25 0 1 0 20855352 398458880 70431 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 97280 70431 364 364 0 96916 0 [pid=7164] vsize: 389120 Current children cumulated CPU time (s) 278.15 Current children cumulated vsize (Kb) 389120 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 130406 0 0 0 28442 368 0 0 25 0 1 0 20855352 398983168 70494 4294967295 134512640 135987407 3221224560 3221223120 134812169 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 97408 70494 364 364 0 97044 0 [pid=7164] vsize: 389632 Current children cumulated CPU time (s) 288.1 Current children cumulated vsize (Kb) 389632 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.97 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 130777 0 0 0 29436 370 0 0 25 0 1 0 20855352 399769600 70670 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 97600 70670 364 364 0 97236 0 [pid=7164] vsize: 390400 Current children cumulated CPU time (s) 298.06 Current children cumulated vsize (Kb) 390400 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 131423 0 0 0 30428 373 0 0 25 0 1 0 20855352 401477632 70958 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 98017 70958 364 364 0 97653 0 [pid=7164] vsize: 392068 Current children cumulated CPU time (s) 308.01 Current children cumulated vsize (Kb) 392068 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 131431 0 0 0 31422 375 0 0 25 0 1 0 20855352 401477632 70966 4294967295 134512640 135987407 3221224560 3221222992 134788502 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 98017 70966 364 364 0 97653 0 [pid=7164] vsize: 392068 Current children cumulated CPU time (s) 317.97 Current children cumulated vsize (Kb) 392068 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 131503 0 0 0 32415 378 0 0 25 0 1 0 20855352 401739776 70973 4294967295 134512640 135987407 3221224560 3221223196 134812119 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 98081 70973 364 364 0 97717 0 [pid=7164] vsize: 392324 Current children cumulated CPU time (s) 327.93 Current children cumulated vsize (Kb) 392324 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 131604 0 0 0 33406 381 0 0 25 0 1 0 20855352 402006016 71074 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 98146 71074 364 364 0 97782 0 [pid=7164] vsize: 392584 Current children cumulated CPU time (s) 337.87 Current children cumulated vsize (Kb) 392584 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 131907 0 0 0 34397 383 0 0 25 0 1 0 20855352 403062784 71214 4294967295 134512640 135987407 3221224560 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 98404 71214 364 364 0 98040 0 [pid=7164] vsize: 393616 Current children cumulated CPU time (s) 347.8 Current children cumulated vsize (Kb) 393616 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 132205 0 0 0 35384 388 0 0 25 0 1 0 20855352 403980288 71284 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 98628 71284 364 364 0 98264 0 [pid=7164] vsize: 394512 Current children cumulated CPU time (s) 357.72 Current children cumulated vsize (Kb) 394512 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 132803 0 0 0 36374 391 0 0 25 0 1 0 20855352 406224896 71589 4294967295 134512640 135987407 3221224560 3221223120 134811756 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 99176 71589 364 364 0 98812 0 [pid=7164] vsize: 396704 Current children cumulated CPU time (s) 367.65 Current children cumulated vsize (Kb) 396704 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 133152 0 0 0 37364 395 0 0 25 0 1 0 20855352 407543808 71743 4294967295 134512640 135987407 3221224560 3221223152 134814275 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 99498 71743 364 364 0 99134 0 [pid=7164] vsize: 397992 Current children cumulated CPU time (s) 377.59 Current children cumulated vsize (Kb) 397992 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 134256 0 0 0 38341 404 0 0 25 0 1 0 20855352 407543808 71820 4294967295 134512640 135987407 3221224560 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 99498 71820 364 364 0 99134 0 [pid=7164] vsize: 397992 Current children cumulated CPU time (s) 387.45 Current children cumulated vsize (Kb) 397992 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 134303 0 0 0 39333 407 0 0 25 0 1 0 20855352 407810048 71867 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 99563 71867 364 364 0 99199 0 [pid=7164] vsize: 398252 Current children cumulated CPU time (s) 397.4 Current children cumulated vsize (Kb) 398252 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 134510 0 0 0 40328 408 0 0 25 0 1 0 20855352 408334336 71944 4294967295 134512640 135987407 3221224560 3221223216 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 99691 71944 364 364 0 99327 0 [pid=7164] vsize: 398764 Current children cumulated CPU time (s) 407.36 Current children cumulated vsize (Kb) 398764 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 135260 0 0 0 41318 413 0 0 25 0 1 0 20855352 410185728 72367 4294967295 134512640 135987407 3221224560 3221223120 134811950 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 100143 72367 364 364 0 99779 0 [pid=7164] vsize: 400572 Current children cumulated CPU time (s) 417.31 Current children cumulated vsize (Kb) 400572 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 135401 0 0 0 42310 415 0 0 25 0 1 0 20855352 410185728 72508 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100143 72508 364 364 0 99779 0 [pid=7164] vsize: 400572 Current children cumulated CPU time (s) 427.25 Current children cumulated vsize (Kb) 400572 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 135700 0 0 0 43303 418 0 0 25 0 1 0 20855352 411111424 72644 4294967295 134512640 135987407 3221224560 3221223180 134811686 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72644 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 437.21 Current children cumulated vsize (Kb) 401476 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 135709 0 0 0 44297 420 0 0 25 0 1 0 20855352 411111424 72653 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72653 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 447.17 Current children cumulated vsize (Kb) 401476 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 136743 0 0 0 45290 425 0 0 25 0 1 0 20855352 415318016 73687 4294967295 134512640 135987407 3221224560 3221222852 134829191 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 101396 73687 364 364 0 101032 0 [pid=7164] vsize: 405584 Current children cumulated CPU time (s) 457.15 Current children cumulated vsize (Kb) 405584 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 136772 0 0 0 46282 427 0 0 25 0 1 0 20855352 411111424 72689 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72689 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 467.09 Current children cumulated vsize (Kb) 401476 [startup+480.017 s] Raw data (loadavg): 1.07 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 136776 0 0 0 47274 431 0 0 25 0 1 0 20855352 411111424 72693 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72693 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 477.05 Current children cumulated vsize (Kb) 401476 [startup+490.018 s] Raw data (loadavg): 1.06 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 136784 0 0 0 48270 432 0 0 25 0 1 0 20855352 411111424 72701 4294967295 134512640 135987407 3221224560 3221223152 134814273 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72701 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 487.02 Current children cumulated vsize (Kb) 401476 [startup+500.017 s] Raw data (loadavg): 1.05 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 137829 0 0 0 49261 436 0 0 25 0 1 0 20855352 411111424 72719 4294967295 134512640 135987407 3221224560 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72719 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 496.97 Current children cumulated vsize (Kb) 401476 [startup+510.018 s] Raw data (loadavg): 1.04 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 137880 0 0 0 50253 440 0 0 25 0 1 0 20855352 411111424 72770 4294967295 134512640 135987407 3221224560 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 100369 72770 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 506.93 Current children cumulated vsize (Kb) 401476 [startup+520.019 s] Raw data (loadavg): 1.03 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 137885 0 0 0 51246 442 0 0 25 0 1 0 20855352 411111424 72775 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72775 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 516.88 Current children cumulated vsize (Kb) 401476 [startup+530.018 s] Raw data (loadavg): 1.03 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 137894 0 0 0 52236 445 0 0 25 0 1 0 20855352 411111424 72784 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100369 72784 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 526.81 Current children cumulated vsize (Kb) 401476 [startup+540.019 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 138927 0 0 0 53225 451 0 0 25 0 1 0 20855352 411111424 72790 4294967295 134512640 135987407 3221224560 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 100369 72790 364 364 0 100005 0 [pid=7164] vsize: 401476 Current children cumulated CPU time (s) 536.76 Current children cumulated vsize (Kb) 401476 [startup+550.02 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 139105 0 0 0 54216 454 0 0 25 0 1 0 20855352 411639808 72870 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 100498 72870 364 364 0 100134 0 [pid=7164] vsize: 401992 Current children cumulated CPU time (s) 546.7 Current children cumulated vsize (Kb) 401992 [startup+560.02 s] Raw data (loadavg): 1.02 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 140150 0 0 0 55206 459 0 0 25 0 1 0 20855352 415846400 73915 4294967295 134512640 135987407 3221224560 3221222792 134827505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 101525 73915 364 364 0 101161 0 [pid=7164] vsize: 406100 Current children cumulated CPU time (s) 556.65 Current children cumulated vsize (Kb) 406100 [startup+570.021 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 140671 0 0 0 56190 465 0 0 25 0 1 0 20855352 413085696 73117 4294967295 134512640 135987407 3221224560 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100851 73117 364 364 0 100487 0 [pid=7164] vsize: 403404 Current children cumulated CPU time (s) 566.55 Current children cumulated vsize (Kb) 403404 [startup+580.021 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 140682 0 0 0 57178 468 0 0 25 0 1 0 20855352 413085696 73128 4294967295 134512640 135987407 3221224560 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 100851 73128 364 364 0 100487 0 [pid=7164] vsize: 403404 Current children cumulated CPU time (s) 576.46 Current children cumulated vsize (Kb) 403404 [startup+590.022 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 140781 0 0 0 58163 474 0 0 25 0 1 0 20855352 413618176 73227 4294967295 134512640 135987407 3221224560 3221223296 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 100981 73227 364 364 0 100617 0 [pid=7164] vsize: 403924 Current children cumulated CPU time (s) 586.37 Current children cumulated vsize (Kb) 403924 [startup+600.021 s] Raw data (loadavg): 1.01 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 141177 0 0 0 59148 479 0 0 25 0 1 0 20855352 414674944 73492 4294967295 134512640 135987407 3221224560 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 101239 73492 364 364 0 100875 0 [pid=7164] vsize: 404956 Current children cumulated CPU time (s) 596.27 Current children cumulated vsize (Kb) 404956 [startup+610.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 141995 0 0 0 60134 486 0 0 25 0 1 0 20855352 417603584 74178 4294967295 134512640 135987407 3221224560 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 101954 74178 364 364 0 101590 0 [pid=7164] vsize: 407816 Current children cumulated CPU time (s) 606.2 Current children cumulated vsize (Kb) 407816 [startup+620.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 142188 0 0 0 61123 489 0 0 25 0 1 0 20855352 418267136 74338 4294967295 134512640 135987407 3221224560 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74338 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 616.12 Current children cumulated vsize (Kb) 408464 [startup+630.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 142207 0 0 0 62116 492 0 0 25 0 1 0 20855352 418267136 74357 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74357 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 626.08 Current children cumulated vsize (Kb) 408464 [startup+640.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 143245 0 0 0 63106 496 0 0 25 0 1 0 20855352 418267136 74368 4294967295 134512640 135987407 3221224560 3221223120 134812121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74368 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 636.02 Current children cumulated vsize (Kb) 408464 [startup+650.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 143253 0 0 0 64098 499 0 0 25 0 1 0 20855352 418267136 74376 4294967295 134512640 135987407 3221224560 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74376 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 645.97 Current children cumulated vsize (Kb) 408464 [startup+660.021 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 143253 0 0 0 65086 502 0 0 25 0 1 0 20855352 418267136 74376 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74376 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 655.88 Current children cumulated vsize (Kb) 408464 [startup+670.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 143268 0 0 0 66072 507 0 0 25 0 1 0 20855352 418267136 74391 4294967295 134512640 135987407 3221224560 3221223120 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74391 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 665.79 Current children cumulated vsize (Kb) 408464 [startup+680.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 143272 0 0 0 67052 513 0 0 25 0 1 0 20855352 418267136 74395 4294967295 134512640 135987407 3221224560 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102116 74395 364 364 0 101752 0 [pid=7164] vsize: 408464 Current children cumulated CPU time (s) 675.65 Current children cumulated vsize (Kb) 408464 [startup+690.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 146737 0 0 0 68035 525 0 0 25 0 1 0 20855352 419053568 74585 4294967295 134512640 135987407 3221224560 3221223040 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102308 74585 364 364 0 101944 0 [pid=7164] vsize: 409232 Current children cumulated CPU time (s) 685.6 Current children cumulated vsize (Kb) 409232 [startup+700.022 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147179 0 0 0 69018 532 0 0 25 0 1 0 20855352 420864000 74770 4294967295 134512640 135987407 3221224560 3221223040 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74770 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 695.5 Current children cumulated vsize (Kb) 411000 [startup+710.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147184 0 0 0 70007 535 0 0 25 0 1 0 20855352 420864000 74775 4294967295 134512640 135987407 3221224560 3221223132 134812407 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74775 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 705.42 Current children cumulated vsize (Kb) 411000 [startup+720.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147189 0 0 0 70998 539 0 0 25 0 1 0 20855352 420864000 74780 4294967295 134512640 135987407 3221224560 3221222912 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74780 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 715.37 Current children cumulated vsize (Kb) 411000 [startup+730.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147212 0 0 0 71992 541 0 0 25 0 1 0 20855352 420864000 74803 4294967295 134512640 135987407 3221224560 3221223040 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74803 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 725.33 Current children cumulated vsize (Kb) 411000 [startup+740.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147239 0 0 0 72985 544 0 0 25 0 1 0 20855352 420864000 74830 4294967295 134512640 135987407 3221224560 3221223200 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74830 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 735.29 Current children cumulated vsize (Kb) 411000 [startup+750.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147261 0 0 0 73979 545 0 0 25 0 1 0 20855352 420864000 74852 4294967295 134512640 135987407 3221224560 3221223040 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74852 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 745.24 Current children cumulated vsize (Kb) 411000 [startup+760.023 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147286 0 0 0 74974 547 0 0 25 0 1 0 20855352 420864000 74877 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74877 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 755.21 Current children cumulated vsize (Kb) 411000 [startup+770.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147318 0 0 0 75968 549 0 0 25 0 1 0 20855352 420864000 74909 4294967295 134512640 135987407 3221224560 3221223200 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74909 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 765.17 Current children cumulated vsize (Kb) 411000 [startup+780.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147354 0 0 0 76961 552 0 0 25 0 1 0 20855352 420864000 74945 4294967295 134512640 135987407 3221224560 3221223040 134811867 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74945 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 775.13 Current children cumulated vsize (Kb) 411000 [startup+790.024 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147382 0 0 0 77956 554 0 0 25 0 1 0 20855352 420864000 74973 4294967295 134512640 135987407 3221224560 3221223200 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 74973 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 785.1 Current children cumulated vsize (Kb) 411000 [startup+800.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147410 0 0 0 78952 555 0 0 25 0 1 0 20855352 420864000 75001 4294967295 134512640 135987407 3221224560 3221223200 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 75001 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 795.07 Current children cumulated vsize (Kb) 411000 [startup+810.026 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 147445 0 0 0 79947 557 0 0 25 0 1 0 20855352 420864000 75036 4294967295 134512640 135987407 3221224560 3221223040 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 75036 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 805.04 Current children cumulated vsize (Kb) 411000 [startup+820.026 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 148491 0 0 0 80941 560 0 0 25 0 1 0 20855352 420864000 75055 4294967295 134512640 135987407 3221224560 3221223168 134876823 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102750 75055 364 364 0 102386 0 [pid=7164] vsize: 411000 Current children cumulated CPU time (s) 815.01 Current children cumulated vsize (Kb) 411000 [startup+830.025 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 148509 0 0 0 81924 565 0 0 25 0 1 0 20855352 420999168 75073 4294967295 134512640 135987407 3221224560 3221223040 134811966 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102783 75073 364 364 0 102419 0 [pid=7164] vsize: 411132 Current children cumulated CPU time (s) 824.89 Current children cumulated vsize (Kb) 411132 [startup+840.026 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 148524 0 0 0 82909 570 0 0 25 0 1 0 20855352 420999168 75088 4294967295 134512640 135987407 3221224560 3221223040 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102783 75088 364 364 0 102419 0 [pid=7164] vsize: 411132 Current children cumulated CPU time (s) 834.79 Current children cumulated vsize (Kb) 411132 [startup+850.027 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 148545 0 0 0 83893 576 0 0 25 0 1 0 20855352 420999168 75109 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 102783 75109 364 364 0 102419 0 [pid=7164] vsize: 411132 Current children cumulated CPU time (s) 844.69 Current children cumulated vsize (Kb) 411132 [startup+860.027 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 148562 0 0 0 84874 582 0 0 25 0 1 0 20855352 421134336 75126 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75126 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 854.56 Current children cumulated vsize (Kb) 411264 [startup+870.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 149601 0 0 0 85857 589 0 0 25 0 1 0 20855352 421134336 75138 4294967295 134512640 135987407 3221224560 3221222912 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75138 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 864.46 Current children cumulated vsize (Kb) 411264 [startup+880.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 149614 0 0 0 86840 595 0 0 25 0 1 0 20855352 421134336 75151 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75151 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 874.35 Current children cumulated vsize (Kb) 411264 [startup+890.028 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 149620 0 0 0 87828 600 0 0 25 0 1 0 20855352 421134336 75157 4294967295 134512640 135987407 3221224560 3221223200 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75157 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 884.28 Current children cumulated vsize (Kb) 411264 [startup+900.028 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 150653 0 0 0 88815 605 0 0 25 0 1 0 20855352 421134336 75163 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75163 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 894.2 Current children cumulated vsize (Kb) 411264 [startup+910.029 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 150667 0 0 0 89805 608 0 0 25 0 1 0 20855352 421134336 75177 4294967295 134512640 135987407 3221224560 3221223200 134790071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 102816 75177 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 904.13 Current children cumulated vsize (Kb) 411264 [startup+920.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 151705 0 0 0 90795 613 0 0 25 0 1 0 20855352 421134336 75188 4294967295 134512640 135987407 3221224560 3221222912 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75188 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 914.08 Current children cumulated vsize (Kb) 411264 [startup+930.029 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 151711 0 0 0 91783 618 0 0 25 0 1 0 20855352 421134336 75194 4294967295 134512640 135987407 3221224560 3221223040 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102816 75194 364 364 0 102452 0 [pid=7164] vsize: 411264 Current children cumulated CPU time (s) 924.01 Current children cumulated vsize (Kb) 411264 [startup+940.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 152762 0 0 0 92774 622 0 0 25 0 1 0 20855352 421269504 75218 4294967295 134512640 135987407 3221224560 3221223040 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75218 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 933.96 Current children cumulated vsize (Kb) 411396 [startup+950.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 152772 0 0 0 93761 627 0 0 25 0 1 0 20855352 421269504 75228 4294967295 134512640 135987407 3221224560 3221223040 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75228 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 943.88 Current children cumulated vsize (Kb) 411396 [startup+960.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 153810 0 0 0 94755 631 0 0 25 0 1 0 20855352 421269504 75239 4294967295 134512640 135987407 3221224560 3221223216 134812696 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75239 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 953.86 Current children cumulated vsize (Kb) 411396 [startup+970.031 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 153821 0 0 0 95746 634 0 0 25 0 1 0 20855352 421269504 75250 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75250 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 963.8 Current children cumulated vsize (Kb) 411396 [startup+980.031 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 154860 0 0 0 96736 640 0 0 25 0 1 0 20855352 421269504 75262 4294967295 134512640 135987407 3221224560 3221223040 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75262 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 973.76 Current children cumulated vsize (Kb) 411396 [startup+990.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 154863 0 0 0 97721 645 0 0 25 0 1 0 20855352 421269504 75265 4294967295 134512640 135987407 3221224560 3221223200 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75265 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 983.66 Current children cumulated vsize (Kb) 411396 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 154870 0 0 0 98708 649 0 0 25 0 1 0 20855352 421269504 75272 4294967295 134512640 135987407 3221224560 3221223216 134812680 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75272 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 993.57 Current children cumulated vsize (Kb) 411396 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 154879 0 0 0 99697 652 0 0 25 0 1 0 20855352 421269504 75281 4294967295 134512640 135987407 3221224560 3221222992 134789464 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75281 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 1003.49 Current children cumulated vsize (Kb) 411396 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 155915 0 0 0 100674 660 0 0 25 0 1 0 20855352 421269504 75290 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102849 75290 364 364 0 102485 0 [pid=7164] vsize: 411396 Current children cumulated CPU time (s) 1013.34 Current children cumulated vsize (Kb) 411396 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 155929 0 0 0 101656 666 0 0 25 0 1 0 20855352 421425152 75304 4294967295 134512640 135987407 3221224560 3221223040 134812000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102887 75304 364 364 0 102523 0 [pid=7164] vsize: 411548 Current children cumulated CPU time (s) 1023.22 Current children cumulated vsize (Kb) 411548 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 156960 0 0 0 102635 675 0 0 25 0 1 0 20855352 421425152 75308 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102887 75308 364 364 0 102523 0 [pid=7164] vsize: 411548 Current children cumulated CPU time (s) 1033.1 Current children cumulated vsize (Kb) 411548 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 156967 0 0 0 103619 680 0 0 25 0 1 0 20855352 421425152 75315 4294967295 134512640 135987407 3221224560 3221223040 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102887 75315 364 364 0 102523 0 [pid=7164] vsize: 411548 Current children cumulated CPU time (s) 1042.99 Current children cumulated vsize (Kb) 411548 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 156974 0 0 0 104602 686 0 0 25 0 1 0 20855352 421425152 75322 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102887 75322 364 364 0 102523 0 [pid=7164] vsize: 411548 Current children cumulated CPU time (s) 1052.88 Current children cumulated vsize (Kb) 411548 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 158030 0 0 0 105588 692 0 0 25 0 1 0 20855352 421593088 75351 4294967295 134512640 135987407 3221224560 3221223040 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75351 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1062.8 Current children cumulated vsize (Kb) 411712 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.98 1/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 158033 0 0 0 106575 696 0 0 25 0 1 0 20855352 421593088 75354 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75354 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1072.71 Current children cumulated vsize (Kb) 411712 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 158046 0 0 0 107558 703 0 0 25 0 1 0 20855352 421593088 75367 4294967295 134512640 135987407 3221224560 3221223136 134812343 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75367 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1082.61 Current children cumulated vsize (Kb) 411712 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 159074 0 0 0 108543 709 0 0 25 0 1 0 20855352 421593088 75368 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75368 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1092.52 Current children cumulated vsize (Kb) 411712 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 159078 0 0 0 109525 717 0 0 25 0 1 0 20855352 421593088 75372 4294967295 134512640 135987407 3221224560 3221223040 134811940 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75372 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1102.42 Current children cumulated vsize (Kb) 411712 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 159083 0 0 0 110506 723 0 0 25 0 1 0 20855352 421593088 75377 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75377 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1112.29 Current children cumulated vsize (Kb) 411712 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 160114 0 0 0 111491 730 0 0 25 0 1 0 20855352 421593088 75381 4294967295 134512640 135987407 3221224560 3221223040 134812043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75381 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1122.21 Current children cumulated vsize (Kb) 411712 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 160124 0 0 0 112476 736 0 0 25 0 1 0 20855352 421593088 75391 4294967295 134512640 135987407 3221224560 3221223200 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75391 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1132.12 Current children cumulated vsize (Kb) 411712 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 160131 0 0 0 113461 739 0 0 25 0 1 0 20855352 421593088 75398 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75398 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1142 Current children cumulated vsize (Kb) 411712 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 160139 0 0 0 114445 745 0 0 25 0 1 0 20855352 421593088 75406 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7164/statm): 102928 75406 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1151.9 Current children cumulated vsize (Kb) 411712 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 160148 0 0 0 115423 753 0 0 25 0 1 0 20855352 421593088 75415 4294967295 134512640 135987407 3221224560 3221223168 134816522 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75415 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1161.76 Current children cumulated vsize (Kb) 411712 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 161182 0 0 0 116408 758 0 0 25 0 1 0 20855352 421593088 75422 4294967295 134512640 135987407 3221224560 3221223040 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102928 75422 364 364 0 102564 0 [pid=7164] vsize: 411712 Current children cumulated CPU time (s) 1171.66 Current children cumulated vsize (Kb) 411712 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 161195 0 0 0 117387 766 0 0 25 0 1 0 20855352 421728256 75435 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102961 75435 364 364 0 102597 0 [pid=7164] vsize: 411844 Current children cumulated CPU time (s) 1181.53 Current children cumulated vsize (Kb) 411844 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) T 7163 7164 4059 0 -1 0 162230 0 0 0 118370 773 0 0 25 0 1 0 20855352 421728256 75443 4294967295 134512640 135987407 3221224560 3221223180 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102961 75443 364 364 0 102597 0 [pid=7164] vsize: 411844 Current children cumulated CPU time (s) 1191.43 Current children cumulated vsize (Kb) 411844 [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 162241 0 0 0 119350 780 0 0 25 0 1 0 20855352 421728256 75454 4294967295 134512640 135987407 3221224560 3221223040 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102961 75454 364 364 0 102597 0 [pid=7164] vsize: 411844 Current children cumulated CPU time (s) 1201.3 Current children cumulated vsize (Kb) 411844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.04 s] Raw data (loadavg): 1.00 0.99 0.98 2/55 7164 Raw data (/proc/7164/stat): 7164 (pb2sat) R 7163 7164 4059 0 -1 0 162241 0 0 0 119350 780 0 0 25 0 1 0 20855352 421728256 75454 4294967295 134512640 135987407 3221224560 3221223040 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7164/statm): 102961 75454 364 364 0 102597 0 [pid=7164] vsize: 411844 Current children cumulated CPU time (s) 1201.3 Current children cumulated vsize (Kb) 411844 Sending SIGTERM to -7164 Sleeping 2 seconds One traced child (pid=7164) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1211.04 CPU time (s): 1202.3 CPU user time (s): 1194.34 CPU system time (s): 7.95579 CPU usage (%): 99.2782 Max. virtual memory (cumulated for all children) (Kb): 411844
Verifier: OK 511