Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 7472 | 1800.69 | 1786.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb |
MD5SUM | 32662df0ae948242aace0258625ea4cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6358 |
Best CPU time to get the best result obtained on this benchmark | 1800.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6277 |
Optimality of the best value was proved | NO |
Number of variables | 2574 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 7958 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 524887 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261914 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524887 |
Number of bits of the biggest sum of numbers | 20 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node11/42619-1149359941/instance-42619-1149359941.opb 0.20 c reading problem ... 0.66 c ... done. Time 0.454 ms. 0.66 c #vars 2574 0.66 c #constraints 696 2.02 c SATISFIABLE 2.02 c OPTIMIZING... 2.02 c Got one! Ellapsed CPU time (in seconds):1.814 2.04 o 152478 2.27 c Got one! Ellapsed CPU time (in seconds):2.066 2.27 o 124772 2.54 c Got one! Ellapsed CPU time (in seconds):2.34 2.55 o 26913 3.18 c Got one! Ellapsed CPU time (in seconds):2.974 3.18 o 25497 4.05 c Got one! Ellapsed CPU time (in seconds):3.847 4.05 o 15559 4.39 c Got one! Ellapsed CPU time (in seconds):4.19 4.40 o 7508 4.46 c Got one! Ellapsed CPU time (in seconds):4.256 4.46 o 7472 1786.49 c starts : 14 1786.49 c conflicts : 1365 1786.49 c decisions : 92636 1786.49 c propagations : 332794 1786.49 c inspects : 4348659 1786.49 c learnt literals : 0 1786.49 c learnt binary clauses : 0 1786.49 c learnt ternary clauses : 7 1786.49 c learnt clauses : 1364 1786.49 c root simplifications : 0 1786.49 c removed literals (reason simplification) : 0 1786.49 c reason swapping (by a shorter reason) : 0 1786.49 c Calls to reduceDB : 0 1786.49 c speed (decisions/second) : 51.98446234948042 1786.49 c non guided choices 1835 1786.49 s SATISFIABLE 1786.50 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 1786.50 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 -x55 1786.50 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 1786.50 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 1786.50 v x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1786.50 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1786.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1786.50 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1786.50 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1786.50 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1786.50 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1786.50 v -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 1786.50 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 1786.50 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1786.50 v -x316 -x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 -x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1786.50 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1786.50 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 x378 x379 x380 x381 1786.50 v x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1786.50 v -x403 -x404 -x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 -x415 x416 x417 -x418 x419 x420 x421 x422 -x423 -x424 -x425 -x426 1786.50 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 -x446 -x447 1786.50 v -x448 -x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 1786.50 v x469 -x470 x471 -x472 -x473 -x474 x475 -x476 x477 x478 -x479 -x480 x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1786.50 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 1786.50 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 x532 1786.50 v -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 1786.50 v -x554 -x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 x564 x565 -x566 -x567 -x568 -x569 -x570 x571 x572 -x573 -x574 -x575 1786.50 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1786.50 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 1786.50 v x618 x619 x620 x621 -x622 x623 x624 -x625 x626 x627 x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1786.50 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 1786.50 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1786.50 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 1786.50 v -x704 -x705 -x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 1786.50 v -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 1786.50 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1786.50 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 1786.50 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810 x811 1786.50 v x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 x831 x832 x833 1786.50 v -x834 x835 -x836 x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1786.50 v -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 1786.50 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1786.50 v x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 1786.50 v -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 1786.50 v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 1786.50 v -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 1786.50 v -x981 -x982 -x983 -x984 -x985 x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1786.50 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 x1010 -x1011 x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 1786.50 v x1020 -x1021 x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 1786.50 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 1786.50 v -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 1786.50 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 1786.50 v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 1786.50 v -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 1786.50 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 1786.50 v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 1786.50 v -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 1786.50 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 1786.50 v -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1786.50 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1786.50 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1786.50 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 1786.50 v -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1786.50 v -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 1786.50 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1786.50 v -x1313 x1314 -x1315 -x1316 -x1317 x1318 x1319 x1320 x1321 x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1786.50 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 1786.50 v -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1786.50 v -x1366 -x1367 -x1368 -x1369 x1370 x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 x1378 x1379 -x1380 -x1381 -x1382 x1383 1786.50 v x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1786.50 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 1786.50 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1786.50 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1786.50 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1786.50 v x1470 -x1471 x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 1786.50 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 1786.50 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1786.50 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 1786.50 v -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 1786.50 v -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1786.50 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 x1589 x1590 1786.50 v x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1786.50 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1786.50 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1786.50 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1786.50 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1786.50 v -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 1786.50 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1786.50 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 1786.50 v x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1786.50 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1786.50 v -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 1786.50 v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 1786.50 v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 1786.50 v -x1813 -x1814 -x1815 x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 1786.50 v x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 1786.50 v -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 1786.50 v -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 1786.50 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1786.50 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1786.50 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1786.50 v x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 1786.50 v -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 1786.50 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 1786.50 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1786.50 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 1786.50 v -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1786.50 v -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 1786.50 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 1786.50 v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1786.50 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1786.50 v -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1786.50 v x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 1786.50 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1786.50 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 1786.50 v -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 1786.50 v -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 1786.50 v -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 1786.50 v -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 1786.50 v -x2246 -x2247 -x2248 x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 1786.50 v x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 1786.50 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1786.50 v -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 1786.50 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 x2332 -x2333 -x2334 1786.50 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1786.50 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1786.50 v -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 1786.50 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 1786.50 v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 x2421 1786.50 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1786.50 v x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1786.50 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1786.50 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1786.50 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1786.50 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1786.50 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1786.50 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1786.50 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1786.51 c objective function=7472 1786.51 c Total wall clock time (ms): 1786.302
OK 7472
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/node11/watcher-42619-1149359941 -o ROOT/results/node11/solver-42619-1149359941 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/42619-1149359941/instance-42619-1149359941.opb 282670063 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 8288 /proc/meminfo: memFree=1591656/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=216 CPUtime=0 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 46 0 0 0 0 0 0 0 19 0 1 0 201656593 221184 30 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 1 0 0 /proc/8288/statm: 73 31 25 14 0 3 0 [startup+10.0037 s] /proc/loadavg: 0.93 0.97 0.99 2/76 8307 /proc/meminfo: memFree=1410568/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=11.9 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 52199 0 1 0 1165 25 0 0 21 0 13 0 201656593 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071521432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 47067 1913 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=0.12 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 3453 0 0 0 11 1 0 0 16 0 13 0 201656596 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=0.12 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 3166 0 0 0 11 1 0 0 16 0 13 0 201656596 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 32 0 0 0 0 0 0 0 15 0 13 0 201656599 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.12 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2906 0 0 0 111 1 0 0 16 0 13 0 201656603 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.14 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 114 0 0 0 17 0 13 0 201656603 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201657042 1755504640 47067 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.9 Current children cumulated vsize (Kb) 1714360 [startup+20.011 s] /proc/loadavg: 0.94 0.97 0.99 2/76 8307 /proc/meminfo: memFree=1422344/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=21.91 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 52328 0 1 0 2165 26 0 0 19 0 13 0 201656593 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071520782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 44080 1913 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=0.13 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 3526 0 0 0 12 1 0 0 16 0 13 0 201656596 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=0.12 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 3203 0 0 0 11 1 0 0 16 0 13 0 201656596 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 32 0 0 0 0 0 0 0 15 0 13 0 201656599 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.12 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2906 0 0 0 111 1 0 0 16 0 13 0 201656603 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.14 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 114 0 0 0 17 0 13 0 201656603 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201657042 1755504640 44080 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.91 Current children cumulated vsize (Kb) 1714360 [startup+30.0182 s] /proc/loadavg: 0.95 0.97 0.99 2/76 8307 /proc/meminfo: memFree=1434568/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=31.93 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 52610 0 1 0 3166 27 0 0 19 0 13 0 201656593 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071607563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 41041 1913 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=0.15 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 3651 0 0 0 14 1 0 0 16 0 13 0 201656596 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=0.14 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 3336 0 0 0 13 1 0 0 15 0 13 0 201656596 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 32 0 0 0 0 0 0 0 15 0 13 0 201656599 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2906 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.14 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 114 0 0 0 17 0 13 0 201656603 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 201657042 1755504640 41041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.93 Current children cumulated vsize (Kb) 1714360 [startup+40.0244 s] /proc/loadavg: 0.95 0.97 0.99 2/76 8307 /proc/meminfo: memFree=1437064/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=41.97 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 53177 0 1 0 4169 28 0 0 18 0 13 0 201656593 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071533535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 40418 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=0.18 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 3867 0 0 0 16 2 0 0 16 0 13 0 201656596 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=0.18 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 3655 0 0 0 16 2 0 0 15 0 13 0 201656596 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 201656599 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.14 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 114 0 0 0 16 0 13 0 201656603 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 40418 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.97 Current children cumulated vsize (Kb) 1714360 [startup+50.0315 s] /proc/loadavg: 0.96 0.97 0.99 2/76 8307 /proc/meminfo: memFree=1440072/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=51.99 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 53709 0 1 0 5171 28 0 0 17 0 13 0 201656593 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071520824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 39676 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=0.21 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 4075 0 0 0 19 2 0 0 15 0 13 0 201656596 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=0.2 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 3948 0 0 0 18 2 0 0 16 0 13 0 201656596 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.02 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 32 0 0 0 1 1 0 0 15 0 13 0 201656599 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 39676 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.99 Current children cumulated vsize (Kb) 1714360 [startup+60.0387 s] /proc/loadavg: 0.97 0.97 0.99 2/76 8307 /proc/meminfo: memFree=1441416/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=62.01 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 54060 0 1 0 6172 29 0 0 17 0 13 0 201656593 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071606690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 39330 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=0.23 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 4151 0 0 0 21 2 0 0 16 0 13 0 201656596 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=0.23 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 4192 0 0 0 21 2 0 0 16 0 13 0 201656596 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.02 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 32 0 0 0 1 1 0 0 16 0 13 0 201656599 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 39330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 128852 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 1714360 [startup+1783.45 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8502 /proc/meminfo: memFree=1081864/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=1797.49 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 253663 0 1 0 179536 213 0 0 17 0 13 0 201656593 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071521193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 128821 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=13.53 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 59991 0 0 0 1309 44 0 0 16 0 13 0 201656596 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=13.5 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 60095 0 0 0 1307 43 0 0 16 0 13 0 201656596 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.98 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 282 0 0 0 53 45 0 0 15 0 13 0 201656599 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 128821 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 1714360 [startup+1784.46 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8502 /proc/meminfo: memFree=1081800/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=1798.51 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 253720 0 1 0 179638 213 0 0 17 0 13 0 201656593 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071521267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 128823 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=13.54 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 60019 0 0 0 1310 44 0 0 16 0 13 0 201656596 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=13.51 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 60122 0 0 0 1308 43 0 0 16 0 13 0 201656596 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.98 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 282 0 0 0 53 45 0 0 16 0 13 0 201656599 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 128823 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 1714360 [startup+1785.47 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8502 /proc/meminfo: memFree=1081928/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=1799.53 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 253766 0 1 0 179740 213 0 0 17 0 13 0 201656593 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4155665155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 128811 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=13.55 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 60042 0 0 0 1311 44 0 0 16 0 13 0 201656596 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=13.52 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 60143 0 0 0 1309 43 0 0 16 0 13 0 201656596 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.98 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 282 0 0 0 53 45 0 0 15 0 13 0 201656599 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 128811 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 1714360 [startup+1786.47 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8502 /proc/meminfo: memFree=1081992/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=1800.54 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 253767 0 1 0 179841 213 0 0 18 0 13 0 201656593 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071789916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 128795 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=13.56 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 60042 0 0 0 1312 44 0 0 16 0 13 0 201656596 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=13.53 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 60143 0 0 0 1310 43 0 0 15 0 13 0 201656596 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.98 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 282 0 0 0 53 45 0 0 15 0 13 0 201656599 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 1714360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.48 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8502 /proc/meminfo: memFree=1081992/2055920 swapFree=4181380/4192956 [pid=8288] ppid=8286 vsize=1714360 CPUtime=1800.54 /proc/8288/stat : 8288 (java) R 8286 8288 8242 0 -1 0 253767 0 1 0 179841 213 0 0 18 0 13 0 201656593 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071521055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/8288/statm: 428590 128795 1915 14 0 415337 0 [pid=8288/tid=8289] ppid=8286 vsize=1714360 CPUtime=13.56 /proc/8288/task/8289/stat : 8289 (java) S 8286 8288 8242 0 -1 64 60042 0 0 0 1312 44 0 0 16 0 13 0 201656596 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8290] ppid=8286 vsize=1714360 CPUtime=13.53 /proc/8288/task/8290/stat : 8290 (java) S 8286 8288 8242 0 -1 64 60143 0 0 0 1310 43 0 0 15 0 13 0 201656596 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8291] ppid=8286 vsize=1714360 CPUtime=0.98 /proc/8288/task/8291/stat : 8291 (java) S 8286 8288 8242 0 -1 64 282 0 0 0 53 45 0 0 15 0 13 0 201656599 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8292] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8292/stat : 8292 (java) S 8286 8288 8242 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8293] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8293/stat : 8293 (java) S 8286 8288 8242 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201656599 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8294] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8294/stat : 8294 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8295] ppid=8286 vsize=1714360 CPUtime=0.01 /proc/8288/task/8295/stat : 8295 (java) S 8286 8288 8242 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8288/tid=8296] ppid=8286 vsize=1714360 CPUtime=1.13 /proc/8288/task/8296/stat : 8296 (java) S 8286 8288 8242 0 -1 64 2908 0 0 0 112 1 0 0 16 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8297] ppid=8286 vsize=1714360 CPUtime=1.15 /proc/8288/task/8297/stat : 8297 (java) S 8286 8288 8242 0 -1 64 2242 0 0 0 115 0 0 0 16 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8298] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8298/stat : 8298 (java) S 8286 8288 8242 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8299] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8299/stat : 8299 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 201656603 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8288/tid=8307] ppid=8286 vsize=1714360 CPUtime=0 /proc/8288/task/8307/stat : 8307 (java) S 8286 8288 8242 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 201657042 1755504640 128795 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 1714360 Sending SIGTERM to -8288 Sleeping 2 seconds Child status: 143 Real time (s): 1786.61 CPU time (s): 1800.69 CPU user time (s): 1798.48 CPU system time (s): 2.21566 CPU usage (%): 100.788 Max. virtual memory (cumulated for all children) (Kb): 1714360
Begin job on node11 on Sat Jun 3 18:39:01 UTC 2006 FILE ID= 42619-1149359941 PBS_JOBID= 311454 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/42619-1149359941/instance-42619-1149359941.opb 282670063 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-42619-1149359941 -o ROOT/results/node11/solver-42619-1149359941 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node11/42619-1149359941/instance-42619-1149359941.opb 282670063 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 32662df0ae948242aace0258625ea4cc RANDOM SEED= 282670063 /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.222 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 : 5931.00 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.222 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: 1591928 kB Buffers: 23368 kB Cached: 372736 kB SwapCached: 3260 kB Active: 60496 kB Inactive: 344296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1591928 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14740 kB Slab: 45196 kB Committed_AS: 390336 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Sat Jun 3 19:08:47 UTC 2006