Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT (TO) | 28 | 1963.22 | 252.13901 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml |
MD5SUM | f67f1c0e82ebca3fffd47008cd4871f3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 251.93401 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2484 |
Number of constraints | 203 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2484}] |
Minimum variable degree | 4 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":4,"count":6},{"degree":5,"count":90},{"degree":6,"count":297},{"degree":7,"count":531},{"degree":8,"count":745},{"degree":9,"count":548},{"degree":10,"count":188},{"degree":11,"count":19},{"degree":12,"count":33},{"degree":13,"count":25},{"degree":14,"count":2}] |
Minimum constraint arity | 6 |
Maximum constraint arity | 211 |
Distribution of constraint arities | [{"arity":6,"count":3},{"arity":10,"count":4},{"arity":16,"count":2},{"arity":23,"count":1},{"arity":25,"count":2},{"arity":29,"count":2},{"arity":35,"count":3},{"arity":38,"count":3},{"arity":39,"count":3},{"arity":41,"count":1},{"arity":44,"count":2},{"arity":45,"count":1},{"arity":46,"count":5},{"arity":47,"count":4},{"arity":48,"count":5},{"arity":49,"count":4},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":54,"count":5},{"arity":55,"count":2},{"arity":56,"count":2},{"arity":57,"count":2},{"arity":60,"count":2},{"arity":61,"count":1},{"arity":62,"count":2},"...",{"arity":118,"count":2}, {"arity":119,"count":1}, {"arity":121,"count":1}, {"arity":122,"count":1}, {"arity":123,"count":1}, {"arity":125,"count":2}, {"arity":130,"count":4}, {"arity":131,"count":3}, {"arity":133,"count":3}, {"arity":135,"count":1}, {"arity":136,"count":1}, {"arity":138,"count":1}, {"arity":139,"count":1}, {"arity":140,"count":2}, {"arity":143,"count":1}, {"arity":145,"count":2}, {"arity":146,"count":1}, {"arity":147,"count":1}, {"arity":153,"count":2}, {"arity":154,"count":1}, {"arity":158,"count":1}, {"arity":162,"count":1}, {"arity":175,"count":1}, {"arity":192,"count":1}, {"arity":211,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":203}] |
Optimization problem | YES |
Type of objective | min SUM |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 741801332 0.29/0.25 c timeout: 2016 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 1.64/0.75 c Parsing done, starting search... 18.29/8.29 o 30 19.79/8.46 o 29 1084.16/141.94 o 28 1962.37/252.07 s SATISFIABLE 1962.37/252.10 v <instantiation> 1962.37/252.10 v <list> 1962.37/252.10 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] 1962.37/252.10 v </list> 1962.37/252.10 v <values> 1962.37/252.10 v 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1962.37/252.10 v </values> 1962.37/252.10 v </instantiation>
OK 28
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10375 MiB free) memory of node 1: 16384 MiB (11328 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285711-1503455749/watcher-4285711-1503455749 -o /tmp/evaluation-result-4285711-1503455749/solver-4285711-1503455749 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503442965-9353 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 741801332 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285711-1503455749.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=12809, runsolver pid=12806 Current StackSize limit: 8192 KiB [startup+0.100139 s]* /proc/loadavg: 7.87 7.95 8.08 2/199 12829 /proc/meminfo: memFree=22207392/32770624 swapFree=67108860/67108860 [pid=12809] ppid=12806 vsize=26000852 memory=31604 CPUtime=0.13 cores=0-7 /proc/12809/stat : 12809 (java) S 12806 12809 9326 0 -1 1077944320 8296 0 0 0 11 2 0 0 20 0 20 0 178646228 26624872448 7901 33554432000 4194304 4196468 140735234570080 140735234552624 140242024115959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 /proc/12809/statm: 6500213 7901 3412 1 0 6487932 0 [pid=12809/tid=12811] ppid=12806 vsize=26000852 memory=8256956774946349719 CPUtime=0.09 cores=0-7 /proc/12809/task/12811/stat : 12811 (java) R 12806 12809 9326 0 -1 4202560 6248 0 0 0 8 1 0 0 20 0 20 0 178646228 26624872448 7901 33554432000 4194304 4196468 140735234570080 140242028312912 140242024137885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12812] ppid=12806 vsize=26000852 memory=732370302989282277 CPUtime=0 cores=0-7 /proc/12809/task/12812/stat : 12812 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241976736784 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12813] ppid=12806 vsize=26000852 memory=140164651828864 CPUtime=0 cores=0-7 /proc/12809/task/12813/stat : 12813 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241975684240 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12814] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12814/stat : 12814 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241974631184 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12815] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12815/stat : 12815 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241973578640 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12816] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12816/stat : 12816 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241972525584 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12817] ppid=12806 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/12809/task/12817/stat : 12817 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241971473040 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12818] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12818/stat : 12818 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241970419984 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12819] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12819/stat : 12819 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 7901 33554432000 4194304 4196468 140735234570080 140241969367440 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12820] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12820/stat : 12820 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646231 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240296618736 140242024127106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12821] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12821/stat : 12821 (java) S 12806 12809 9326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178646231 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240295564960 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12822] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12822/stat : 12822 (java) S 12806 12809 9326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178646231 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240294511856 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12823] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12823/stat : 12823 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240293460432 140242024134555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12824] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12824/stat : 12824 (java) S 12806 12809 9326 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240292407536 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12825] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12825/stat : 12825 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240291354992 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12826] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12826/stat : 12826 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240290301936 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12827] ppid=12806 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/12809/task/12827/stat : 12827 (java) S 12806 12809 9326 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240289249392 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12828] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12828/stat : 12828 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240288197600 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12829] ppid=12806 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/12809/task/12829/stat : 12829 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 7901 33554432000 4194304 4196468 140735234570080 140240287145136 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31604 KiB [startup+0.209963 s]* /proc/loadavg: 7.87 7.95 8.08 3/199 12829 /proc/meminfo: memFree=22198040/32770624 swapFree=67108860/67108860 [pid=12809] ppid=12806 vsize=26000852 memory=40940 CPUtime=0.29 cores=0-7 /proc/12809/stat : 12809 (java) S 12806 12809 9326 0 -1 1077944320 9350 0 0 0 26 3 0 0 20 0 20 0 178646228 26624872448 10235 33554432000 4194304 4196468 140735234570080 140735234552624 140242024115959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 /proc/12809/statm: 6500213 10235 3639 1 0 6487932 0 [pid=12809/tid=12811] ppid=12806 vsize=26000852 memory=32758254098972862 CPUtime=0.19 cores=0-7 /proc/12809/task/12811/stat : 12811 (java) R 12806 12809 9326 0 -1 4202560 6929 0 0 0 17 2 0 0 20 0 20 0 178646228 26624872448 10235 33554432000 4194304 4196468 140735234570080 140242028321264 140242008196446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12812] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12812/stat : 12812 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241976736784 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12813] ppid=12806 vsize=26000852 memory=140164652691610 CPUtime=0 cores=0-7 /proc/12809/task/12813/stat : 12813 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241975684240 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12814] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12814/stat : 12814 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241974631184 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12815] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12815/stat : 12815 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241973578640 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12816] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12816/stat : 12816 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241972525584 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12817] ppid=12806 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/12809/task/12817/stat : 12817 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241971473040 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12818] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12818/stat : 12818 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241970419984 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12819] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12819/stat : 12819 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646229 26624872448 10235 33554432000 4194304 4196468 140735234570080 140241969367440 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12820] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12820/stat : 12820 (java) S 12806 12809 9326 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178646231 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240296618736 140242024127106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12821] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12821/stat : 12821 (java) S 12806 12809 9326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178646231 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240295564960 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12822] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12822/stat : 12822 (java) S 12806 12809 9326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178646231 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240294511856 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12823] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12823/stat : 12823 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240293460432 140242024134555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12824] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12824/stat : 12824 (java) S 12806 12809 9326 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240292407536 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12825] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12825/stat : 12825 (java) S 12806 12809 9326 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240291354992 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12826] ppid=12806 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/12809/task/12826/stat : 12826 (java) S 12806 12809 9326 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240290301936 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12827] ppid=12806 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/12809/task/12827/stat : 12827 (java) R 12806 12809 9326 0 -1 4202560 391 0 0 0 5 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240289249392 140242024127894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12828] ppid=12806 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12828/stat : 12828 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240288197600 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12829] ppid=12806 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/12809/task/12829/stat : 12829 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646234 26624872448 10235 33554432000 4194304 4196468 140735234570080 140240287145136 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 40940 KiB [startup+0.309355 s]* /proc/loadavg: 7.87 7.95 8.08 3/199 12829 /proc/meminfo: memFree=22190092/32770624 swapFree=67108860/67108860 [pid=12809] ppid=12806 vsize=26000872 memory=49528 CPUtime=0.48 cores=0-7 /proc/12809/stat : 12809 (java) S 12806 12809 9326 0 -1 1077944320 10708 0 0 0 44 4 0 0 20 0 20 0 178646228 26624892928 12382 33554432000 4194304 4196468 140735234570080 140735234552624 140242024115959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 /proc/12809/statm: 6500218 12382 3716 1 0 6487932 0 [pid=12809/tid=12811] ppid=12806 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/12809/task/12811/stat : 12811 (java) R 12806 12809 9326 0 -1 4202560 7696 0 0 0 27 2 0 0 20 0 20 0 178646228 26624892928 12382 33554432000 4194304 4196468 140735234570080 140242028337760 140242008196446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12812] ppid=12806 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12812/stat : 12812 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241976736784 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12813] ppid=12806 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12813/stat : 12813 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241975684240 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12814] ppid=12806 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12814/stat : 12814 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241974631184 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12815] ppid=12806 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12815/stat : 12815 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241973578640 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12816] ppid=12806 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/12809/task/12816/stat : 12816 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241972525584 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12817] ppid=12806 vsize=26000872 memory=140164512969647 CPUtime=0 cores=0-7 /proc/12809/task/12817/stat : 12817 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241971473040 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12818] ppid=12806 vsize=26000872 memory=140164512971952 CPUtime=0 cores=0-7 /proc/12809/task/12818/stat : 12818 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241970419984 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12819] ppid=12806 vsize=26000872 memory=140164512974256 CPUtime=0 cores=0-7 /proc/12809/task/12819/stat : 12819 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646229 26624892928 12382 33554432000 4194304 4196468 140735234570080 140241969367440 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12820] ppid=12806 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12820/stat : 12820 (java) S 12806 12809 9326 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178646231 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240296618736 140242024127106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12821] ppid=12806 vsize=26000872 memory=280329025955472 CPUtime=0 cores=0-7 /proc/12809/task/12821/stat : 12821 (java) S 12806 12809 9326 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 178646231 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240295564960 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12822] ppid=12806 vsize=26000872 memory=280329025962384 CPUtime=0 cores=0-7 /proc/12809/task/12822/stat : 12822 (java) S 12806 12809 9326 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 178646231 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240294511856 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12823] ppid=12806 vsize=26000872 memory=280329025903664 CPUtime=0 cores=0-7 /proc/12809/task/12823/stat : 12823 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240293460432 140242024134555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12824] ppid=12806 vsize=26000872 memory=280329025976208 CPUtime=0.02 cores=0-7 /proc/12809/task/12824/stat : 12824 (java) S 12806 12809 9326 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240292407536 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12825] ppid=12806 vsize=26000872 memory=280329025983120 CPUtime=0.02 cores=0-7 /proc/12809/task/12825/stat : 12825 (java) S 12806 12809 9326 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240291354992 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12826] ppid=12806 vsize=26000872 memory=280329025980816 CPUtime=0.03 cores=0-7 /proc/12809/task/12826/stat : 12826 (java) S 12806 12809 9326 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240290301936 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12827] ppid=12806 vsize=26000872 memory=280329025997376 CPUtime=0.08 cores=0-7 /proc/12809/task/12827/stat : 12827 (java) S 12806 12809 9326 0 -1 1077944384 515 0 0 0 8 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240289249392 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12828] ppid=12806 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12828/stat : 12828 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240288197600 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12829] ppid=12806 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/12809/task/12829/stat : 12829 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646234 26624892928 12382 33554432000 4194304 4196468 140735234570080 140240287145136 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49528 KiB [startup+0.700864 s] /proc/loadavg: 7.87 7.95 8.08 3/199 12829 /proc/meminfo: memFree=22177052/32770624 swapFree=67108860/67108860 [pid=12809] ppid=12806 vsize=26002920 memory=89804 CPUtime=1.64 cores=0-7 /proc/12809/stat : 12809 (java) S 12806 12809 9326 0 -1 1077944320 14491 0 0 0 159 5 0 0 20 0 20 0 178646228 26626990080 22451 33554432000 4194304 4196468 140735234570080 140735234552624 140242024115959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 /proc/12809/statm: 6500730 22451 3779 1 0 6488444 0 [pid=12809/tid=12811] ppid=12806 vsize=26002920 memory=7517747204180043090 CPUtime=0.67 cores=0-7 /proc/12809/task/12811/stat : 12811 (java) R 12806 12809 9326 0 -1 4202560 8584 0 0 0 64 3 0 0 20 0 20 0 178646228 26626990080 22451 33554432000 4194304 4196468 140735234570080 140242028349680 140241637814464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12812] ppid=12806 vsize=26002920 memory=55095840498744 CPUtime=0 cores=0-7 /proc/12809/task/12812/stat : 12812 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241976736784 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12813] ppid=12806 vsize=26002920 memory=140164512984642 CPUtime=0 cores=0-7 /proc/12809/task/12813/stat : 12813 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241975684240 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12814] ppid=12806 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12814/stat : 12814 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241974631184 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12815] ppid=12806 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12815/stat : 12815 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241973578640 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12816] ppid=12806 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12816/stat : 12816 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241972525584 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12817] ppid=12806 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12817/stat : 12817 (java) S 12806 12809 9326 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241971473040 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12818] ppid=12806 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/12809/task/12818/stat : 12818 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241970419984 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12819] ppid=12806 vsize=26002920 memory=1840 CPUtime=0 cores=0-7 /proc/12809/task/12819/stat : 12819 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 178646229 26626990080 22451 33554432000 4194304 4196468 140735234570080 140241969367440 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12820] ppid=12806 vsize=26002920 memory=12136 CPUtime=0 cores=0-7 /proc/12809/task/12820/stat : 12820 (java) S 12806 12809 9326 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 178646231 26626990080 22451 33554432000 4194304 4196468 140735234570080 140240296618736 140242024127106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 ################ # More data... # ################ [pid=12809/tid=12827] ppid=12806 vsize=27344476 memory=49120 CPUtime=0.95 cores=0-7 /proc/12809/task/12827/stat : 12827 (java) S 12806 12809 9326 0 -1 1077944384 9268 0 0 0 92 3 0 0 20 0 40 0 178646234 28000743424 891903 33554432000 4194304 4196468 140735234570080 140240289249392 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12828] ppid=12806 vsize=27344476 memory=1296 CPUtime=0 cores=0-7 /proc/12809/task/12828/stat : 12828 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 178646234 28000743424 891903 33554432000 4194304 4196468 140735234570080 140240288197600 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12829] ppid=12806 vsize=27344476 memory=6791534058613427641 CPUtime=0.06 cores=0-7 /proc/12809/task/12829/stat : 12829 (java) S 12806 12809 9326 0 -1 1077944384 1313 0 0 0 1 5 0 0 20 0 40 0 178646234 28000743424 891903 33554432000 4194304 4196468 140735234570080 140240287145136 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12830] ppid=12806 vsize=27344476 memory=7540 CPUtime=0 cores=0-7 /proc/12809/task/12830/stat : 12830 (java) S 12806 12809 9326 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 40 0 178646928 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239538480128 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12831] ppid=12806 vsize=27344476 memory=840 CPUtime=0.4 cores=0-7 /proc/12809/task/12831/stat : 12831 (java) R 12806 12809 9326 0 -1 1077944384 1825 0 0 0 20 20 0 0 20 0 40 0 178646940 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239535330608 140242024127106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12832] ppid=12806 vsize=27344476 memory=6791534058613427641 CPUtime=213.13 cores=0-7 /proc/12809/task/12832/stat : 12832 (java) R 12806 12809 9326 0 -1 4202560 4343 0 0 0 21304 9 0 0 20 0 40 0 178646949 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239534273448 140241643978188 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12833] ppid=12806 vsize=27344476 memory=1840 CPUtime=0.16 cores=0-7 /proc/12809/task/12833/stat : 12833 (java) S 12806 12809 9326 0 -1 1077944384 130 0 0 0 16 0 0 0 20 0 40 0 178646950 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239531127856 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12834] ppid=12806 vsize=27344476 memory=3566808 CPUtime=0.16 cores=0-7 /proc/12809/task/12834/stat : 12834 (java) S 12806 12809 9326 0 -1 1077944384 90 0 0 0 16 0 0 0 20 0 40 0 178646950 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239530074800 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12835] ppid=12806 vsize=27344476 memory=4616 CPUtime=0.12 cores=0-7 /proc/12809/task/12835/stat : 12835 (java) S 12806 12809 9326 0 -1 1077944384 71 0 0 0 12 0 0 0 20 0 40 0 178646950 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239529022256 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12836] ppid=12806 vsize=27344476 memory=1928 CPUtime=0.11 cores=0-7 /proc/12809/task/12836/stat : 12836 (java) S 12806 12809 9326 0 -1 1077944384 213 0 0 0 11 0 0 0 20 0 40 0 178646950 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239527970224 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12837] ppid=12806 vsize=27344476 memory=1428 CPUtime=212.87 cores=0-7 /proc/12809/task/12837/stat : 12837 (java) R 12806 12809 9326 0 -1 4202560 4608 0 0 0 21271 16 0 0 20 0 40 0 178646953 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239526911864 140241641898990 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12838] ppid=12806 vsize=27344476 memory=3565564 CPUtime=212.43 cores=0-7 /proc/12809/task/12838/stat : 12838 (java) R 12806 12809 9326 0 -1 4202560 3326 0 0 0 21236 7 0 0 20 0 40 0 178646954 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239525860520 140241645377272 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12839] ppid=12806 vsize=27344476 memory=3565564 CPUtime=213.48 cores=0-7 /proc/12809/task/12839/stat : 12839 (java) R 12806 12809 9326 0 -1 4202560 4705 0 0 0 21336 12 0 0 20 0 40 0 178646954 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239524806264 140241640401646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12840] ppid=12806 vsize=27344476 memory=12136 CPUtime=214.05 cores=0-7 /proc/12809/task/12840/stat : 12840 (java) R 12806 12809 9326 0 -1 4202560 5584 0 0 0 21394 11 0 0 20 0 40 0 178646954 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239523754920 140241643867699 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12841] ppid=12806 vsize=27344476 memory=7540 CPUtime=213.9 cores=0-7 /proc/12809/task/12841/stat : 12841 (java) R 12806 12809 9326 0 -1 4202560 4556 0 0 0 21379 11 0 0 20 0 40 0 178646954 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239522702088 140241641990345 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12842] ppid=12806 vsize=27344476 memory=840 CPUtime=0 cores=0-7 /proc/12809/task/12842/stat : 12842 (java) S 12806 12809 9326 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239521653424 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12843] ppid=12806 vsize=27344476 memory=1692 CPUtime=214.03 cores=0-7 /proc/12809/task/12843/stat : 12843 (java) R 12806 12809 9326 0 -1 4202560 4592 0 0 0 21392 11 0 0 20 0 40 0 178646990 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239520597680 140241645764449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12844] ppid=12806 vsize=27344476 memory=912 CPUtime=214.05 cores=0-7 /proc/12809/task/12844/stat : 12844 (java) R 12806 12809 9326 0 -1 4202560 4306 0 0 0 21396 9 0 0 20 0 40 0 178646990 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239519544496 140241645377244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12845] ppid=12806 vsize=27344476 memory=4812 CPUtime=0 cores=0-7 /proc/12809/task/12845/stat : 12845 (java) S 12806 12809 9326 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239518496304 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12846] ppid=12806 vsize=27344476 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/12809/task/12846/stat : 12846 (java) S 12806 12809 9326 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239517443248 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12847] ppid=12806 vsize=27344476 memory=1156 CPUtime=0 cores=0-7 /proc/12809/task/12847/stat : 12847 (java) S 12806 12809 9326 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239516390704 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12848] ppid=12806 vsize=27344476 memory=3567612 CPUtime=0 cores=0-7 /proc/12809/task/12848/stat : 12848 (java) S 12806 12809 9326 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 178647059 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239513203632 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12849] ppid=12806 vsize=27344476 memory=2436 CPUtime=0 cores=0-7 /proc/12809/task/12849/stat : 12849 (java) S 12806 12809 9326 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 178647059 28000743424 891903 33554432000 4194304 4196468 140735234570080 140239512151088 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 Current children cumulated CPU time: 1725.41 s Current children cumulated vsize: 27344476 KiB Current children cumulated memory: 3567612 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.41 8.18 8.13 9/218 12850 /proc/meminfo: memFree=18665000/32770624 swapFree=67108860/67108860 [pid=12809] ppid=12806 vsize=27344476 memory=3568432 CPUtime=1962.37 cores=0-7 /proc/12809/stat : 12809 (java) S 12806 12809 9326 0 -1 1077944320 108995 0 0 0 195980 257 0 0 20 0 40 0 178646228 28000743424 892108 33554432000 4194304 4196468 140735234570080 140735234552624 140242024115959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 /proc/12809/statm: 6836119 892108 3841 1 0 6823312 0 [pid=12809/tid=12811] ppid=12806 vsize=27344476 memory=6791534058613427641 CPUtime=7.12 cores=0-7 /proc/12809/task/12811/stat : 12811 (java) S 12806 12809 9326 0 -1 1077944384 14074 0 0 0 703 9 0 0 20 0 40 0 178646228 28000743424 892108 33554432000 4194304 4196468 140735234570080 140242028353664 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12812] ppid=12806 vsize=27344476 memory=928 CPUtime=0.47 cores=0-7 /proc/12809/task/12812/stat : 12812 (java) S 12806 12809 9326 0 -1 1077944384 2212 0 0 0 31 16 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241976736784 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12813] ppid=12806 vsize=27344476 memory=2240 CPUtime=0.48 cores=0-7 /proc/12809/task/12813/stat : 12813 (java) S 12806 12809 9326 0 -1 1077944384 2218 0 0 0 31 17 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241975684240 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12814] ppid=12806 vsize=27344476 memory=4128 CPUtime=0.5 cores=0-7 /proc/12809/task/12814/stat : 12814 (java) S 12806 12809 9326 0 -1 1077944384 1544 0 0 0 33 17 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241974631184 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12815] ppid=12806 vsize=27344476 memory=-7003737579269690708 CPUtime=0.47 cores=0-7 /proc/12809/task/12815/stat : 12815 (java) S 12806 12809 9326 0 -1 1077944384 2505 0 0 0 29 18 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241973578640 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12816] ppid=12806 vsize=27344476 memory=7540 CPUtime=0.49 cores=0-7 /proc/12809/task/12816/stat : 12816 (java) S 12806 12809 9326 0 -1 1077944384 1946 0 0 0 32 17 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241972525584 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12817] ppid=12806 vsize=27344476 memory=840 CPUtime=0.51 cores=0-7 /proc/12809/task/12817/stat : 12817 (java) S 12806 12809 9326 0 -1 1077944384 2801 0 0 0 33 18 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241971473040 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12818] ppid=12806 vsize=27344476 memory=1692 CPUtime=0.49 cores=0-7 /proc/12809/task/12818/stat : 12818 (java) S 12806 12809 9326 0 -1 1077944384 3157 0 0 0 32 17 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241970419984 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12819] ppid=12806 vsize=27344476 memory=912 CPUtime=0.5 cores=0-7 /proc/12809/task/12819/stat : 12819 (java) S 12806 12809 9326 0 -1 1077944384 2537 0 0 0 33 17 0 0 20 0 40 0 178646229 28000743424 892108 33554432000 4194304 4196468 140735234570080 140241969367440 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12820] ppid=12806 vsize=27344476 memory=4812 CPUtime=0.05 cores=0-7 /proc/12809/task/12820/stat : 12820 (java) S 12806 12809 9326 0 -1 1077944384 5671 0 0 0 4 1 0 0 20 0 40 0 178646231 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240296618736 140242024127106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12821] ppid=12806 vsize=27344476 memory=4104 CPUtime=0 cores=0-7 /proc/12809/task/12821/stat : 12821 (java) S 12806 12809 9326 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 40 0 178646231 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240295565024 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12822] ppid=12806 vsize=27344476 memory=1156 CPUtime=0 cores=0-7 /proc/12809/task/12822/stat : 12822 (java) S 12806 12809 9326 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 40 0 178646231 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240294511872 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12823] ppid=12806 vsize=27344476 memory=4100 CPUtime=0 cores=0-7 /proc/12809/task/12823/stat : 12823 (java) S 12806 12809 9326 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240293460432 140242024134555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12824] ppid=12806 vsize=27344476 memory=3566384 CPUtime=1.3 cores=0-7 /proc/12809/task/12824/stat : 12824 (java) S 12806 12809 9326 0 -1 1077944384 6182 0 0 0 128 2 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240292407536 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12825] ppid=12806 vsize=27344476 memory=796 CPUtime=1.44 cores=0-7 /proc/12809/task/12825/stat : 12825 (java) S 12806 12809 9326 0 -1 1077944384 3774 0 0 0 143 1 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240291354992 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12826] ppid=12806 vsize=27344476 memory=1228 CPUtime=1.46 cores=0-7 /proc/12809/task/12826/stat : 12826 (java) S 12806 12809 9326 0 -1 1077944384 7227 0 0 0 145 1 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240290301936 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12827] ppid=12806 vsize=27344476 memory=5784 CPUtime=0.95 cores=0-7 /proc/12809/task/12827/stat : 12827 (java) S 12806 12809 9326 0 -1 1077944384 9272 0 0 0 92 3 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240289249392 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12828] ppid=12806 vsize=27344476 memory=4616 CPUtime=0 cores=0-7 /proc/12809/task/12828/stat : 12828 (java) S 12806 12809 9326 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240288197600 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12829] ppid=12806 vsize=27344476 memory=1928 CPUtime=0.08 cores=0-7 /proc/12809/task/12829/stat : 12829 (java) S 12806 12809 9326 0 -1 1077944384 1333 0 0 0 2 6 0 0 20 0 40 0 178646234 28000743424 892108 33554432000 4194304 4196468 140735234570080 140240287145136 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12830] ppid=12806 vsize=27344476 memory=1428 CPUtime=0 cores=0-7 /proc/12809/task/12830/stat : 12830 (java) S 12806 12809 9326 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 40 0 178646928 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239538480128 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12831] ppid=12806 vsize=27344476 memory=1184 CPUtime=0.47 cores=0-7 /proc/12809/task/12831/stat : 12831 (java) S 12806 12809 9326 0 -1 1077944384 1921 0 0 0 25 22 0 0 20 0 40 0 178646940 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239535330608 140242024127106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12832] ppid=12806 vsize=27344476 memory=10492 CPUtime=242.83 cores=0-7 /proc/12809/task/12832/stat : 12832 (java) R 12806 12809 9326 0 -1 4202560 4542 0 0 0 24274 9 0 0 20 0 40 0 178646949 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239534273160 140241643867634 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12833] ppid=12806 vsize=27344476 memory=15760 CPUtime=0.16 cores=0-7 /proc/12809/task/12833/stat : 12833 (java) S 12806 12809 9326 0 -1 1077944384 130 0 0 0 16 0 0 0 20 0 40 0 178646950 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239531127856 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12834] ppid=12806 vsize=27344476 memory=26924 CPUtime=0.16 cores=0-7 /proc/12809/task/12834/stat : 12834 (java) S 12806 12809 9326 0 -1 1077944384 90 0 0 0 16 0 0 0 20 0 40 0 178646950 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239530074800 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12835] ppid=12806 vsize=27344476 memory=16096 CPUtime=0.12 cores=0-7 /proc/12809/task/12835/stat : 12835 (java) S 12806 12809 9326 0 -1 1077944384 71 0 0 0 12 0 0 0 20 0 40 0 178646950 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239529022256 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12836] ppid=12806 vsize=27344476 memory=4040 CPUtime=0.11 cores=0-7 /proc/12809/task/12836/stat : 12836 (java) S 12806 12809 9326 0 -1 1077944384 213 0 0 0 11 0 0 0 20 0 40 0 178646950 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239527970224 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12837] ppid=12806 vsize=27344476 memory=1736 CPUtime=242.2 cores=0-7 /proc/12809/task/12837/stat : 12837 (java) R 12806 12809 9326 0 -1 4202560 4901 0 0 0 24204 16 0 0 20 0 40 0 178646953 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239526912152 140241640990812 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12838] ppid=12806 vsize=27344476 memory=620 CPUtime=242.11 cores=0-7 /proc/12809/task/12838/stat : 12838 (java) R 12806 12809 9326 0 -1 4202560 3556 0 0 0 24203 8 0 0 20 0 40 0 178646954 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239525861056 140241643974121 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12839] ppid=12806 vsize=27344476 memory=6791534058613427641 CPUtime=243.18 cores=0-7 /proc/12809/task/12839/stat : 12839 (java) R 12806 12809 9326 0 -1 4202560 4966 0 0 0 24305 13 0 0 20 0 40 0 178646954 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239524806552 140241645377272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12840] ppid=12806 vsize=27344476 memory=4128 CPUtime=243.74 cores=0-7 /proc/12809/task/12840/stat : 12840 (java) R 12806 12809 9326 0 -1 4202560 5905 0 0 0 24363 11 0 0 20 0 40 0 178646954 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239523753208 140241645765196 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12841] ppid=12806 vsize=27344476 memory=2200 CPUtime=243.27 cores=0-7 /proc/12809/task/12841/stat : 12841 (java) R 12806 12809 9326 0 -1 4202560 4780 0 0 0 24316 11 0 0 20 0 40 0 178646954 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239522702240 140241638875391 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12842] ppid=12806 vsize=27344476 memory=7540 CPUtime=0 cores=0-7 /proc/12809/task/12842/stat : 12842 (java) S 12806 12809 9326 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239521653424 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12843] ppid=12806 vsize=27344476 memory=840 CPUtime=243.73 cores=0-7 /proc/12809/task/12843/stat : 12843 (java) R 12806 12809 9326 0 -1 4202560 5111 0 0 0 24361 12 0 0 20 0 40 0 178646990 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239520595064 140241643867699 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12844] ppid=12806 vsize=27344476 memory=1692 CPUtime=243.74 cores=0-7 /proc/12809/task/12844/stat : 12844 (java) R 12806 12809 9326 0 -1 4202560 4575 0 0 0 24365 9 0 0 20 0 40 0 178646990 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239519544208 140241641898935 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12845] ppid=12806 vsize=27344476 memory=912 CPUtime=0 cores=0-7 /proc/12809/task/12845/stat : 12845 (java) S 12806 12809 9326 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239518496304 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12846] ppid=12806 vsize=27344476 memory=4812 CPUtime=0 cores=0-7 /proc/12809/task/12846/stat : 12846 (java) S 12806 12809 9326 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239517443248 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12847] ppid=12806 vsize=27344476 memory=4104 CPUtime=0 cores=0-7 /proc/12809/task/12847/stat : 12847 (java) S 12806 12809 9326 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 178646990 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239516390704 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12848] ppid=12806 vsize=27344476 memory=1156 CPUtime=0 cores=0-7 /proc/12809/task/12848/stat : 12848 (java) S 12806 12809 9326 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 178647059 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239513203632 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 [pid=12809/tid=12849] ppid=12806 vsize=27344476 memory=4100 CPUtime=0 cores=0-7 /proc/12809/task/12849/stat : 12849 (java) S 12806 12809 9326 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 178647059 28000743424 892108 33554432000 4194304 4196468 140735234570080 140239512151088 140242024126165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30089216 140735234573416 140735234573600 140735234573600 140735234576335 0 Current children cumulated CPU time: 1962.37 s Current children cumulated vsize: 27344476 KiB Current children cumulated memory: 3568432 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.139 s] # the end of solver process 12809 was just reported to runsolver # cumulated CPU time of all completed processes: user=1960.61 s, system=2.6018 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+252.122 s]* /proc/loadavg: 8.41 8.18 8.13 2/180 12852 /proc/meminfo: memFree=20372932/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 252.139 CPU time (s): 1963.22 CPU user time (s): 1960.61 CPU system time (s): 2.6018 CPU usage (%): 778.626 Max. virtual memory (cumulated for all children) (KiB): 27344476 Max. memory (cumulated for all children) (KiB): 3568856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1960.61 system time used= 2.6018 maximum resident set size= 3570904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110418 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 35561 involuntary context switches= 41433 # summary of solver processes directly reported to runsolver: # pid: 12809 # total CPU time (s): 1963.22 # total CPU user time (s): 1960.61 # total CPU system time (s): 2.6018 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.20518 second user time and 3.66045 second system time The end
Begin job on node105 at 2017-08-23 04:21:27 IDJOB=4285711 IDBENCH=133708 IDSOLVER=2682 FILE ID=node105/4285711-1503455749 RUNJOBID= node105-1503442965-9353 PBS_JOBID= 20632155 Free space on /tmp= 60032 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r4.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285711-1503455749/watcher-4285711-1503455749 -o /tmp/evaluation-result-4285711-1503455749/solver-4285711-1503455749 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503442965-9353 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 741801332 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285711-1503455749.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f67f1c0e82ebca3fffd47008cd4871f3 RANDOM SEED=741801332 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 22224840 kB MemAvailable: 31933396 kB Buffers: 209816 kB Cached: 9768072 kB SwapCached: 0 kB Active: 3255380 kB Inactive: 6778520 kB Active(anon): 4488 kB Inactive(anon): 95452 kB Active(file): 3250892 kB Inactive(file): 6683068 kB Unevictable: 7328 kB Mlocked: 7328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42420 kB Writeback: 0 kB AnonPages: 62312 kB Mapped: 54596 kB Shmem: 41612 kB Slab: 208292 kB SReclaimable: 180860 kB SUnreclaim: 27432 kB KernelStack: 3520 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341544 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59988 MiB End job on node105 at 2017-08-23 04:25:40