Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT | -45 | 849.354 | 837.328 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | 36a19a7aeba117287b60c4673ad89664 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -57 |
Optimality of the best value was proved | NO |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1534 |
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 | 1534 |
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 | 1534 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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-34.ELsmp 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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node78/44525-1149615920/instance-44525-1149615920.opb 0.20 c reading problem ... 5.44 c ... done. Time 5.242 ms. 5.44 c #vars 1534 5.44 c #constraints 126082 5.47 c SATISFIABLE 5.47 c OPTIMIZING... 5.47 c Got one! Ellapsed CPU time (in seconds):5.275 5.49 o 0 5.53 c Got one! Ellapsed CPU time (in seconds):5.338 5.54 o -1 5.78 c Got one! Ellapsed CPU time (in seconds):5.584 5.78 o -2 6.64 c Got one! Ellapsed CPU time (in seconds):6.444 6.64 o -44 29.06 c Got one! Ellapsed CPU time (in seconds):28.863 29.06 o -45 837.07 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 837.07 c starts : 22 837.07 c conflicts : 17254 837.07 c decisions : 30063 837.07 c propagations : 162107 837.07 c inspects : 72894482 837.07 c learnt literals : 0 837.07 c learnt binary clauses : 0 837.07 c learnt ternary clauses : 0 837.07 c learnt clauses : 17253 837.07 c root simplifications : 0 837.07 c removed literals (reason simplification) : 0 837.07 c reason swapping (by a shorter reason) : 0 837.07 c Calls to reduceDB : 0 837.07 c speed (decisions/second) : 37.206222695263676 837.07 c non guided choices 9056 837.07 s SATISFIABLE 837.08 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 837.08 v -x29 -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 837.08 v -x55 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 837.08 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 837.08 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 837.08 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 837.08 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 837.08 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 837.08 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 837.08 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 837.08 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 837.08 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 837.08 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 837.08 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 837.08 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 837.08 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 837.08 v x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 837.08 v -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 837.08 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 837.08 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 837.08 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 837.08 v -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 837.08 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 837.08 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 837.08 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 837.08 v -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 837.08 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 837.08 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 837.08 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 837.08 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 837.08 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 837.08 v -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 837.08 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 837.08 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 837.08 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 837.08 v -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 837.08 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 837.08 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 837.08 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 837.08 v x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 837.08 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 837.08 v -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 837.08 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 837.08 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 837.08 v -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 837.08 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 837.08 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 837.08 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 837.08 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 837.08 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 837.08 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 837.08 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 837.08 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 837.08 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 837.08 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 837.08 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 837.08 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 837.08 v -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 837.08 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 837.08 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 837.08 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 837.08 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 837.08 v -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 837.08 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 837.08 v -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 837.08 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 837.08 v -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 837.08 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 837.08 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 837.08 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 837.08 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 837.08 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 x1431 -x1432 837.08 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 837.08 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 837.08 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 837.08 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 837.08 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 837.08 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 837.09 c objective function=-45 837.09 c Total wall clock time (ms): 836.89
OK -45
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node78/watcher-44525-1149615920 -o ROOT/results/node78/solver-44525-1149615920 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node78/44525-1149615920/instance-44525-1149615920.opb 415119516 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.82 2/67 9435 /proc/meminfo: memFree=1515696/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1788 CPUtime=0 /proc/9435/stat : 9435 (java) D 9433 9435 9389 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 226620887 1830912 135 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0 /proc/9435/statm: 447 135 100 14 0 91 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.83 2/79 9451 /proc/meminfo: memFree=1305488/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1712476 CPUtime=11.47 /proc/9435/stat : 9435 (java) R 9433 9435 9389 0 -1 0 57520 0 1 0 1120 27 0 0 25 0 13 0 226620887 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071442013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 428119 54374 1909 14 0 414865 0 [pid=9435/tid=9436] ppid=9433 vsize=1712476 CPUtime=0.34 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 6938 0 0 0 31 3 0 0 16 0 13 0 226620891 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1712476 CPUtime=0.33 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 7230 0 0 0 30 3 0 0 16 0 13 0 226620891 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 226620893 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1712476 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1712476 CPUtime=0.82 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1279 0 0 0 82 0 0 0 16 0 13 0 226620897 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1712476 CPUtime=0.77 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 708 0 0 0 77 0 0 0 16 0 13 0 226620897 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9451] ppid=9433 vsize=1712476 CPUtime=0 /proc/9435/task/9451/stat : 9451 (java) S 9433 9435 9389 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 226621553 1753575424 54374 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.47 Current children cumulated vsize (Kb) 1712476 [startup+20.0094 s] /proc/loadavg: 0.94 0.98 0.83 2/79 9451 /proc/meminfo: memFree=1232016/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1712060 CPUtime=21.99 /proc/9435/stat : 9435 (java) R 9433 9435 9389 0 -1 0 80250 0 1 0 2160 39 0 0 25 0 13 0 226620887 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071691106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 428015 72742 1911 14 0 414761 0 [pid=9435/tid=9436] ppid=9433 vsize=1712060 CPUtime=0.83 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 18502 0 0 0 75 8 0 0 17 0 13 0 226620891 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1712060 CPUtime=0.83 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 18384 0 0 0 74 9 0 0 16 0 13 0 226620891 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 226620893 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1712060 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1712060 CPUtime=0.82 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1279 0 0 0 82 0 0 0 16 0 13 0 226620897 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1712060 CPUtime=0.79 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 711 0 0 0 79 0 0 0 16 0 13 0 226620897 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9451] ppid=9433 vsize=1712060 CPUtime=0 /proc/9435/task/9451/stat : 9451 (java) S 9433 9435 9389 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 226621553 1753149440 72742 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.99 Current children cumulated vsize (Kb) 1712060 [startup+30.0165 s] /proc/loadavg: 0.95 0.98 0.83 2/79 9452 /proc/meminfo: memFree=1182984/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=32.38 /proc/9435/stat : 9435 (java) R 9433 9435 9389 0 -1 0 94628 0 1 0 3193 45 0 0 25 0 13 0 226620887 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071333721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 85044 1911 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=1.15 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 25431 0 0 0 104 11 0 0 17 0 13 0 226620891 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=1.15 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 25815 0 0 0 103 12 0 0 16 0 13 0 226620891 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 226620893 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.86 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 86 0 0 0 17 0 13 0 226620897 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.83 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 83 0 0 0 17 0 13 0 226620897 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 226623794 1752952832 85044 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.38 Current children cumulated vsize (Kb) 1711868 [startup+40.0225 s] /proc/loadavg: 1.03 1.00 0.83 2/79 9452 /proc/meminfo: memFree=1135688/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=42.74 /proc/9435/stat : 9435 (java) R 9433 9435 9389 0 -1 0 108218 0 1 0 4222 52 0 0 21 0 13 0 226620887 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071398903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 96842 1911 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=1.5 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 32348 0 0 0 136 14 0 0 18 0 13 0 226620891 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=1.5 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 32481 0 0 0 134 16 0 0 16 0 13 0 226620891 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 36 0 0 0 0 0 0 0 15 0 13 0 226620893 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.86 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 86 0 0 0 16 0 13 0 226620897 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.83 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 83 0 0 0 17 0 13 0 226620897 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 226623794 1752952832 96842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.74 Current children cumulated vsize (Kb) 1711868 [startup+50.0296 s] /proc/loadavg: 1.03 1.00 0.83 2/79 9452 /proc/meminfo: memFree=1092232/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=53.04 /proc/9435/stat : 9435 (java) R 9433 9435 9389 0 -1 0 120645 0 1 0 5247 57 0 0 25 0 13 0 226620887 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071436416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 107703 1911 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=1.8 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 38430 0 0 0 163 17 0 0 17 0 13 0 226620891 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=1.8 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 38823 0 0 0 162 18 0 0 17 0 13 0 226620891 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 226620893 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.86 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 86 0 0 0 16 0 13 0 226620897 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.83 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 83 0 0 0 17 0 13 0 226620897 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 226623794 1752952832 107703 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 53.04 Current children cumulated vsize (Kb) 1711868 [startup+60.0367 s] /proc/loadavg: 1.02 1.00 0.84 2/79 9452 /proc/meminfo: memFree=1057224/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=63.3 /proc/9435/stat : 9435 (java) R 9433 9435 9389 0 -1 0 130346 0 1 0 6269 61 0 0 25 0 13 0 226620887 1752952832 116430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071640608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 116430 1911 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=2.06 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 44638 0 0 0 186 20 0 0 16 0 13 0 226620891 1752952832 116430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=2.05 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 42312 0 0 0 186 19 0 0 17 0 13 0 226620891 1752952832 116430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 226620893 1752952832 116430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 116430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 116430 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 ################ # More data... # ################ [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=11.12 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 195168 0 0 0 1020 92 0 0 17 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=11.11 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 198033 0 0 0 1018 93 0 0 16 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=198.81 /proc/9435/task/9438/stat : 9438 (java) S 9433 9435 9389 0 -1 64 1673 0 0 0 19878 3 0 0 21 0 13 0 226620893 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.87 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 87 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.84 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 84 0 0 0 17 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 226623794 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 792.61 Current children cumulated vsize (Kb) 1711868 [startup+790.545 s] /proc/loadavg: 1.00 1.00 0.91 2/79 9452 /proc/meminfo: memFree=14920/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=802.61 /proc/9435/stat : 9435 (java) S 9433 9435 9389 0 -1 0 438384 0 1 0 80050 211 0 0 18 0 13 0 226620887 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 388322 1913 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=11.12 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 195168 0 0 0 1020 92 0 0 17 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=11.11 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 198033 0 0 0 1018 93 0 0 16 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=208.05 /proc/9435/task/9438/stat : 9438 (java) R 9433 9435 9389 0 -1 64 1673 0 0 0 20802 3 0 0 17 0 13 0 226620893 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152712078 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.87 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 87 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.84 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 84 0 0 0 17 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 226623794 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 802.61 Current children cumulated vsize (Kb) 1711868 [startup+800.551 s] /proc/loadavg: 1.00 1.00 0.91 2/79 9452 /proc/meminfo: memFree=14920/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=812.61 /proc/9435/stat : 9435 (java) S 9433 9435 9389 0 -1 0 438386 0 1 0 81050 211 0 0 17 0 13 0 226620887 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 388322 1913 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=11.12 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 195168 0 0 0 1020 92 0 0 17 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=11.11 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 198033 0 0 0 1018 93 0 0 16 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=217.85 /proc/9435/task/9438/stat : 9438 (java) R 9433 9435 9389 0 -1 64 1673 0 0 0 21782 3 0 0 20 0 13 0 226620893 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154935705 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.87 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 87 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.84 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 84 0 0 0 17 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 226623794 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 812.61 Current children cumulated vsize (Kb) 1711868 [startup+810.557 s] /proc/loadavg: 1.00 1.00 0.91 2/79 9452 /proc/meminfo: memFree=14920/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=822.61 /proc/9435/stat : 9435 (java) S 9433 9435 9389 0 -1 0 438388 0 1 0 82050 211 0 0 17 0 13 0 226620887 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 388322 1913 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=11.12 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 195168 0 0 0 1020 92 0 0 17 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=11.11 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 198033 0 0 0 1018 93 0 0 16 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=227.26 /proc/9435/task/9438/stat : 9438 (java) R 9433 9435 9389 0 -1 64 1673 0 0 0 22723 3 0 0 19 0 13 0 226620893 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4152712188 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.87 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 87 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.84 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 84 0 0 0 17 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 34 0 0 0 0 0 0 0 16 0 13 0 226623794 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 822.61 Current children cumulated vsize (Kb) 1711868 [startup+820.564 s] /proc/loadavg: 1.00 1.00 0.91 2/79 9452 /proc/meminfo: memFree=14920/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=832.61 /proc/9435/stat : 9435 (java) S 9433 9435 9389 0 -1 0 438390 0 1 0 83050 211 0 0 20 0 13 0 226620887 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 388322 1913 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=11.12 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 195168 0 0 0 1020 92 0 0 17 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=11.11 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 198033 0 0 0 1018 93 0 0 16 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=236.75 /proc/9435/task/9438/stat : 9438 (java) R 9433 9435 9389 0 -1 64 1673 0 0 0 23672 3 0 0 17 0 13 0 226620893 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154468485 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.87 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 87 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.84 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 84 0 0 0 17 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 226623794 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 832.61 Current children cumulated vsize (Kb) 1711868 [startup+830.574 s] /proc/loadavg: 1.00 1.00 0.91 2/79 9452 /proc/meminfo: memFree=14856/2055892 swapFree=4085732/4096564 [pid=9435] ppid=9433 vsize=1711868 CPUtime=842.61 /proc/9435/stat : 9435 (java) S 9433 9435 9389 0 -1 0 438392 0 1 0 84050 211 0 0 17 0 13 0 226620887 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9435/statm: 427967 388322 1913 14 0 414713 0 [pid=9435/tid=9436] ppid=9433 vsize=1711868 CPUtime=11.12 /proc/9435/task/9436/stat : 9436 (java) S 9433 9435 9389 0 -1 64 195168 0 0 0 1020 92 0 0 17 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9437] ppid=9433 vsize=1711868 CPUtime=11.11 /proc/9435/task/9437/stat : 9437 (java) S 9433 9435 9389 0 -1 64 198033 0 0 0 1018 93 0 0 16 0 13 0 226620891 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9438] ppid=9433 vsize=1711868 CPUtime=246.67 /proc/9435/task/9438/stat : 9438 (java) R 9433 9435 9389 0 -1 64 1673 0 0 0 24664 3 0 0 25 0 13 0 226620893 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154935705 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9439] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9439/stat : 9439 (java) S 9433 9435 9389 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9440] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9440/stat : 9440 (java) S 9433 9435 9389 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 226620894 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9441] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9441/stat : 9441 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9442] ppid=9433 vsize=1711868 CPUtime=0.01 /proc/9435/task/9442/stat : 9442 (java) S 9433 9435 9389 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9443] ppid=9433 vsize=1711868 CPUtime=0.87 /proc/9435/task/9443/stat : 9443 (java) S 9433 9435 9389 0 -1 64 1284 0 0 0 87 0 0 0 16 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9444] ppid=9433 vsize=1711868 CPUtime=0.84 /proc/9435/task/9444/stat : 9444 (java) S 9433 9435 9389 0 -1 64 715 0 0 0 84 0 0 0 17 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9445] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9445/stat : 9445 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9435/tid=9446] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9446/stat : 9446 (java) S 9433 9435 9389 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 226620897 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9435/tid=9452] ppid=9433 vsize=1711868 CPUtime=0 /proc/9435/task/9452/stat : 9452 (java) S 9433 9435 9389 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 226623794 1752952832 388322 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 842.61 Current children cumulated vsize (Kb) 1711868 Child status: 1 Real time (s): 837.328 CPU time (s): 849.354 CPU user time (s): 847.015 CPU system time (s): 2.33864 CPU usage (%): 101.436 Max. virtual memory (cumulated for all children) (Kb): 1712476 The end
Begin job on node78 on Tue Jun 6 17:45:21 UTC 2006 FILE ID= 44525-1149615920 PBS_JOBID= 322202 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node78/44525-1149615920/instance-44525-1149615920.opb 415119516 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node78/watcher-44525-1149615920 -o ROOT/results/node78/solver-44525-1149615920 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node78/44525-1149615920/instance-44525-1149615920.opb 415119516 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 36a19a7aeba117287b60c4673ad89664 RANDOM SEED= 415119516 /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.225 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 : 6006.17 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.225 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1516104 kB Buffers: 32040 kB Cached: 444644 kB SwapCached: 2512 kB Active: 125272 kB Inactive: 360208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1516104 kB SwapTotal: 4096564 kB SwapFree: 4085732 kB Dirty: 192 kB Writeback: 0 kB Mapped: 15200 kB Slab: 40784 kB Committed_AS: 422108 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node78 on Tue Jun 6 17:59:18 UTC 2006