Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 146 | 1800.81 | 1720.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb |
MD5SUM | 82ceb454755e01aa6cecb68eb859eaa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 116 |
Best CPU time to get the best result obtained on this benchmark | 1800.57 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 116 |
Optimality of the best value was proved | NO |
Number of variables | 1451 |
Total number of constraints | 2932 |
Number of constraints which are clauses | 2932 |
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 | 81 |
Number of terms in the objective function | 1451 |
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 | 1451 |
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 | 1451 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node73/42883-1149408357/instance-42883-1149408357.opb 0.21 c reading problem ... 0.94 c ... done. Time 0.732 ms. 0.94 c #vars 1451 0.94 c #constraints 2722 1.10 c SATISFIABLE 1.10 c OPTIMIZING... 1.10 c Got one! Ellapsed CPU time (in seconds):0.893 1.12 o 214 1.22 c Got one! Ellapsed CPU time (in seconds):1.012 1.22 o 163 1.33 c Got one! Ellapsed CPU time (in seconds):1.12 1.33 o 162 1.67 c Got one! Ellapsed CPU time (in seconds):1.463 1.67 o 161 1.84 c Got one! Ellapsed CPU time (in seconds):1.639 1.85 o 160 2.07 c Got one! Ellapsed CPU time (in seconds):1.868 2.08 o 159 2.39 c Got one! Ellapsed CPU time (in seconds):2.189 2.40 o 158 2.92 c Got one! Ellapsed CPU time (in seconds):2.716 2.92 o 154 41.54 c Got one! Ellapsed CPU time (in seconds):41.33 41.54 o 153 103.91 c Got one! Ellapsed CPU time (in seconds):103.701 103.91 o 152 130.30 c Got one! Ellapsed CPU time (in seconds):130.091 130.30 o 151 254.78 c Got one! Ellapsed CPU time (in seconds):254.576 254.78 o 150 339.62 c Got one! Ellapsed CPU time (in seconds):339.418 339.63 o 149 472.96 c Got one! Ellapsed CPU time (in seconds):472.752 472.96 o 148 548.88 c Got one! Ellapsed CPU time (in seconds):548.675 548.88 o 147 676.06 c Got one! Ellapsed CPU time (in seconds):675.855 676.06 o 146 1720.63 c starts : 62 1720.63 c conflicts : 16358 1720.63 c decisions : 202073 1720.63 c propagations : 685188 1720.63 c inspects : 192300908 1720.63 c learnt literals : 1 1720.63 c learnt binary clauses : 2 1720.63 c learnt ternary clauses : 1 1720.63 c learnt clauses : 16356 1720.63 c root simplifications : 0 1720.63 c removed literals (reason simplification) : 0 1720.63 c reason swapping (by a shorter reason) : 0 1720.63 c Calls to reduceDB : 0 1720.63 c speed (decisions/second) : 193.4514492607942 1720.63 c non guided choices 8 1720.63 s SATISFIABLE 1720.67 v -x1 -x2 -x3 x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1720.67 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 1720.67 v -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 1720.67 v -x82 -x83 -x84 -x85 x86 x87 x88 x89 x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1720.67 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 1720.67 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1720.67 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 -x169 -x170 1720.67 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 -x191 1720.67 v -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 1720.67 v -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 x230 -x231 -x232 -x233 1720.67 v x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1720.67 v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1720.67 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1720.67 v -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 1720.67 v -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 1720.67 v -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1720.67 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 1720.67 v -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 1720.67 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 1720.67 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 1720.67 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 1720.67 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 1720.67 v -x486 -x487 -x488 x489 x490 x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 1720.67 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 1720.67 v -x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 x545 -x546 -x547 -x548 -x549 1720.67 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 1720.67 v x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 1720.67 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1720.67 v -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 1720.67 v -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1720.67 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1720.67 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 1720.67 v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1720.67 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 1720.67 v -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 1720.67 v x760 -x761 x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 1720.67 v -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 1720.67 v -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1720.67 v -x823 -x824 -x825 x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 1720.67 v -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1720.67 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 1720.67 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 1720.67 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 1720.67 v -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1720.67 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 1720.67 v -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1720.67 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 1720.67 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 x1026 -x1027 1720.67 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 x1044 -x1045 1720.67 v -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 1720.67 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 x1081 1720.67 v -x1082 -x1083 x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1720.67 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 1720.67 v x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 1720.67 v -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1720.67 v -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 1720.67 v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 1720.67 v -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 1720.67 v -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1720.67 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 1720.67 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 1720.67 v -x1256 x1257 -x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1720.67 v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1720.67 v -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1720.67 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 1720.67 v -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 1720.67 v x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 1720.67 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 1720.67 v x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 1720.67 v -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 x1409 -x1410 -x1411 -x1412 1720.67 v x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1720.67 v x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1720.67 v x1448 x1449 x1450 -x1451 1720.67 c objective function=146 1720.67 c Total wall clock time (ms): 1720.464
OK 146
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node73/watcher-42883-1149408357 -o ROOT/results/node73/solver-42883-1149408357 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42883-1149408357/instance-42883-1149408357.opb 802396341 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 2889 /proc/meminfo: memFree=1559336/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=168 CPUtime=0 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 206500501 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7709476 0 0 4096 0 0 0 0 17 1 0 0 /proc/2889/statm: 54 30 25 14 0 2 0 [startup+10.0019 s] /proc/loadavg: 1.01 0.97 0.98 3/76 2909 /proc/meminfo: memFree=1305224/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713600 CPUtime=12.1 /proc/2889/stat : 2889 (java) S 2887 2889 2843 0 -1 0 73003 0 1 0 1174 36 0 0 20 0 13 0 206500501 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2889/statm: 428400 65288 1912 14 0 415147 0 [pid=2889/tid=2890] ppid=2887 vsize=1713600 CPUtime=0.85 /proc/2889/task/2890/stat : 2890 (java) R 2887 2889 2843 0 -1 64 15400 0 0 0 77 8 0 0 17 0 13 0 206500504 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154976005 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713600 CPUtime=0.85 /proc/2889/task/2891/stat : 2891 (java) R 2887 2889 2843 0 -1 64 16878 0 0 0 76 9 0 0 17 0 13 0 206500504 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 206500507 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713600 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206500511 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713600 CPUtime=0.91 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2262 0 0 0 91 0 0 0 16 0 13 0 206500511 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713600 CPUtime=1.01 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1877 0 0 0 101 0 0 0 17 0 13 0 206500511 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2909] ppid=2887 vsize=1713600 CPUtime=0 /proc/2889/task/2909/stat : 2909 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206500794 1754726400 65288 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.1 Current children cumulated vsize (Kb) 1713600 [startup+20.0149 s] /proc/loadavg: 1.01 0.97 0.98 2/76 2909 /proc/meminfo: memFree=1333192/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=22.45 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 76017 0 1 0 2206 39 0 0 25 0 13 0 206500501 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 58334 1912 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=0.98 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 16900 0 0 0 89 9 0 0 16 0 13 0 206500504 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=0.99 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 18329 0 0 0 89 10 0 0 17 0 13 0 206500504 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.03 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2268 0 0 0 103 0 0 0 17 0 13 0 206500511 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.13 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 113 0 0 0 16 0 13 0 206500511 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2909] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2909/stat : 2909 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206500794 1754431488 58334 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.45 Current children cumulated vsize (Kb) 1713312 [startup+30.0218 s] /proc/loadavg: 1.00 0.97 0.98 2/76 2909 /proc/meminfo: memFree=1249928/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=32.82 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 98625 0 1 0 3233 49 0 0 25 0 13 0 206500501 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071771839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 79144 1912 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=1.35 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 26248 0 0 0 121 14 0 0 16 0 13 0 206500504 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=1.35 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 29211 0 0 0 121 14 0 0 16 0 13 0 206500504 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 45 0 0 0 0 0 0 0 15 0 13 0 206500507 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.03 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2268 0 0 0 103 0 0 0 17 0 13 0 206500511 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.13 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 113 0 0 0 16 0 13 0 206500511 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2909] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2909/stat : 2909 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206500794 1754431488 79144 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.82 Current children cumulated vsize (Kb) 1713312 [startup+40.0288 s] /proc/loadavg: 1.08 0.99 0.99 2/76 2909 /proc/meminfo: memFree=1245576/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=42.97 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 102125 0 1 0 4246 51 0 0 20 0 13 0 206500501 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071562664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 80215 1912 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=1.5 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 28190 0 0 0 135 15 0 0 16 0 13 0 206500504 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=1.5 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 30645 0 0 0 136 14 0 0 16 0 13 0 206500504 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=0.02 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 50 0 0 0 1 1 0 0 16 0 13 0 206500507 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.03 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2268 0 0 0 103 0 0 0 17 0 13 0 206500511 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.13 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 113 0 0 0 16 0 13 0 206500511 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2909] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2909/stat : 2909 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206500794 1754431488 80215 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.97 Current children cumulated vsize (Kb) 1713312 [startup+50.0358 s] /proc/loadavg: 1.07 0.99 0.99 2/76 2910 /proc/meminfo: memFree=1199808/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=53.24 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 114731 0 1 0 5267 57 0 0 25 0 13 0 206500501 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071568856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 91634 1912 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=1.78 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 35141 0 0 0 160 18 0 0 16 0 13 0 206500504 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=1.79 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 36295 0 0 0 161 18 0 0 17 0 13 0 206500504 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=0.02 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 50 0 0 0 1 1 0 0 16 0 13 0 206500507 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.03 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2268 0 0 0 103 0 0 0 17 0 13 0 206500511 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.13 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 113 0 0 0 17 0 13 0 206500511 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2910] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2910/stat : 2910 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206504655 1754431488 91634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 53.24 Current children cumulated vsize (Kb) 1713312 [startup+60.0427 s] /proc/loadavg: 1.06 0.99 0.99 2/76 2910 /proc/meminfo: memFree=1158208/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=63.59 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 126702 0 1 0 6295 64 0 0 25 0 13 0 206500501 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071568856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 102019 1912 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=2.12 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 40788 0 0 0 191 21 0 0 16 0 13 0 206500504 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=2.12 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 42612 0 0 0 191 21 0 0 17 0 13 0 206500504 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=0.02 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 50 0 0 0 1 1 0 0 16 0 13 0 206500507 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 102019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.04 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2269 0 0 0 104 0 0 0 17 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.14 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 114 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2917] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2917/stat : 2917 (java) S 2887 2889 2843 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206568108 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 1713312 [startup+1717.61 s] /proc/loadavg: 1.16 1.10 1.03 2/76 2917 /proc/meminfo: memFree=15944/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=1797.41 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 444707 0 1 0 179468 273 0 0 25 0 13 0 206500501 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071562655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 389529 1914 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=79.4 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 207518 0 0 0 7810 130 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=79.39 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 192729 0 0 0 7836 103 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=9.71 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 56 0 0 0 960 11 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.04 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2269 0 0 0 104 0 0 0 17 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.14 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 114 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2917] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2917/stat : 2917 (java) S 2887 2889 2843 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206568108 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 1713312 [startup+1718.61 s] /proc/loadavg: 1.16 1.10 1.03 2/76 2917 /proc/meminfo: memFree=15944/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=1798.47 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 444708 0 1 0 179574 273 0 0 25 0 13 0 206500501 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071562664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 389529 1914 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=79.46 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 207518 0 0 0 7816 130 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=79.45 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 192729 0 0 0 7842 103 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=9.71 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 56 0 0 0 960 11 0 0 15 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.04 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2269 0 0 0 104 0 0 0 17 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.14 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 114 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2917] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2917/stat : 2917 (java) S 2887 2889 2843 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206568108 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 1713312 [startup+1719.62 s] /proc/loadavg: 1.15 1.09 1.03 2/76 2917 /proc/meminfo: memFree=15944/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=1799.47 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 444708 0 1 0 179674 273 0 0 25 0 13 0 206500501 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071567061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 389529 1914 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=79.46 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 207518 0 0 0 7816 130 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=79.45 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 192729 0 0 0 7842 103 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=9.71 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 56 0 0 0 960 11 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.04 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2269 0 0 0 104 0 0 0 17 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.14 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 114 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2917] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2917/stat : 2917 (java) S 2887 2889 2843 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206568108 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 1713312 [startup+1720.63 s] /proc/loadavg: 1.15 1.09 1.03 2/76 2917 /proc/meminfo: memFree=15944/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=1800.48 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 444708 0 1 0 179775 273 0 0 25 0 13 0 206500501 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071771881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 389529 1914 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=79.46 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 207518 0 0 0 7816 130 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=79.45 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 192729 0 0 0 7842 103 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=9.71 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 56 0 0 0 960 11 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.04 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2269 0 0 0 104 0 0 0 17 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.14 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 114 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2917] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2917/stat : 2917 (java) S 2887 2889 2843 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206568108 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 1713312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1720.63 s] /proc/loadavg: 1.15 1.09 1.03 2/76 2917 /proc/meminfo: memFree=15944/2055920 swapFree=4182160/4192956 [pid=2889] ppid=2887 vsize=1713312 CPUtime=1800.48 /proc/2889/stat : 2889 (java) R 2887 2889 2843 0 -1 0 444708 0 1 0 179775 273 0 0 25 0 13 0 206500501 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071414976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2889/statm: 428328 389529 1914 14 0 415075 0 [pid=2889/tid=2890] ppid=2887 vsize=1713312 CPUtime=79.46 /proc/2889/task/2890/stat : 2890 (java) S 2887 2889 2843 0 -1 64 207518 0 0 0 7816 130 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2891] ppid=2887 vsize=1713312 CPUtime=79.45 /proc/2889/task/2891/stat : 2891 (java) S 2887 2889 2843 0 -1 64 192729 0 0 0 7842 103 0 0 16 0 13 0 206500504 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2892] ppid=2887 vsize=1713312 CPUtime=9.71 /proc/2889/task/2892/stat : 2892 (java) S 2887 2889 2843 0 -1 64 56 0 0 0 960 11 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2893] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2893/stat : 2893 (java) S 2887 2889 2843 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2894] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2894/stat : 2894 (java) S 2887 2889 2843 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206500507 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2895] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2895/stat : 2895 (java) S 2887 2889 2843 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2896] ppid=2887 vsize=1713312 CPUtime=0.01 /proc/2889/task/2896/stat : 2896 (java) S 2887 2889 2843 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2897] ppid=2887 vsize=1713312 CPUtime=1.04 /proc/2889/task/2897/stat : 2897 (java) S 2887 2889 2843 0 -1 64 2269 0 0 0 104 0 0 0 17 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2898] ppid=2887 vsize=1713312 CPUtime=1.14 /proc/2889/task/2898/stat : 2898 (java) S 2887 2889 2843 0 -1 64 1883 0 0 0 114 0 0 0 16 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2889/tid=2899] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2899/stat : 2899 (java) S 2887 2889 2843 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2900] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2900/stat : 2900 (java) S 2887 2889 2843 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206500511 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2889/tid=2917] ppid=2887 vsize=1713312 CPUtime=0 /proc/2889/task/2917/stat : 2917 (java) S 2887 2889 2843 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 206568108 1754431488 389529 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 1713312 Sending SIGTERM to -2889 Sleeping 2 seconds Child status: 143 Real time (s): 1720.92 CPU time (s): 1800.81 CPU user time (s): 1797.84 CPU system time (s): 2.97455 CPU usage (%): 104.642 Max. virtual memory (cumulated for all children) (Kb): 1713600
Begin job on node73 on Sun Jun 4 08:05:57 UTC 2006 FILE ID= 42883-1149408357 PBS_JOBID= 314546 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42883-1149408357/instance-42883-1149408357.opb 802396341 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-42883-1149408357 -o ROOT/results/node73/solver-42883-1149408357 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node73/42883-1149408357/instance-42883-1149408357.opb 802396341 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6 RANDOM SEED= 802396341 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1559544 kB Buffers: 24536 kB Cached: 402632 kB SwapCached: 2320 kB Active: 42928 kB Inactive: 392696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1559544 kB SwapTotal: 4192956 kB SwapFree: 4182160 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14952 kB Slab: 46804 kB Committed_AS: 431320 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Sun Jun 4 08:34:38 UTC 2006