Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 339.33499 | 52.951099 |
Name | Sat/ Sat-dual-flat200-479/Sat-flat200-55-dual.xml |
MD5SUM | 5b8ecf8a7d2901cb06b5717f26e52ae6 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.95363 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2237 |
Number of constraints | 16233 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 7 |
Distribution of domain sizes | [{"size":3,"count":2037},{"size":7,"count":200}] |
Minimum variable degree | 5 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":5,"count":24},{"degree":6,"count":8},{"degree":7,"count":45},{"degree":8,"count":3},{"degree":9,"count":96},{"degree":10,"count":36},{"degree":11,"count":162},{"degree":12,"count":137},{"degree":13,"count":294},{"degree":14,"count":219},{"degree":15,"count":376},{"degree":16,"count":243},{"degree":17,"count":276},{"degree":18,"count":150},{"degree":19,"count":84},{"degree":20,"count":15},{"degree":21,"count":30},{"degree":24,"count":26},{"degree":27,"count":13}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":16233}] |
Number of extensional constraints | 16233 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":16233}] |
Optimization problem | NO |
Type of objective |
0.23/0.40 c version: 2017-08-22 0.23/0.40 c seed: 1831397927 0.23/0.40 c timeout: 20160 0.23/0.40 c memlimit: 22000 0.23/0.40 c nbcore: 8 0.42/0.42 c Parsing instance... 3.24/1.29 c Parsing done, starting search... 338.73/52.88 s SATISFIABLE 338.73/52.89 v <instantiation> 338.73/52.89 v <list> 338.73/52.89 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] 338.73/52.89 v </list> 338.73/52.89 v <values> 338.73/52.89 v 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 3 1 2 1 3 2 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 1 2 3 3 2 1 1 2 3 2 3 1 2 1 3 2 3 1 2 3 1 3 1 2 3 1 2 3 1 2 3 1 2 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 1 3 2 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 2 3 3 2 1 1 2 3 3 2 1 3 1 2 3 2 1 1 2 3 1 2 3 2 1 3 2 3 1 2 3 1 2 1 3 3 1 2 3 1 2 1 3 2 3 1 2 1 2 3 3 2 1 3 2 1 1 2 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 1 2 3 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 3 1 2 3 1 2 3 1 2 1 3 2 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 1 3 2 3 1 2 2 3 1 2 3 1 2 3 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 3 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 2 3 1 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 3 2 1 3 2 1 1 2 3 3 2 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 3 2 1 3 2 1 3 2 1 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 2 1 3 2 3 1 3 2 1 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 2 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 2 3 1 3 2 1 3 2 1 3 2 1 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 3 1 2 3 1 2 3 1 2 3 1 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 2 3 1 2 1 3 2 1 3 2 1 3 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 2 3 1 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 3 2 1 1 3 2 1 3 2 2 3 1 2 1 3 2 1 3 2 1 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 2 1 3 3 1 2 2 1 3 2 3 1 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 2 3 1 3 2 1 3 1 2 1 3 2 2 1 3 2 3 1 1 2 3 2 3 1 2 3 1 1 2 3 2 3 1 2 1 3 2 3 1 2 1 3 3 2 1 3 2 1 1 3 2 1 3 2 1 3 2 2 1 3 2 1 3 2 3 1 2 3 1 3 2 1 1 2 3 2 3 1 2 1 3 2 3 1 1 2 3 2 3 1 2 3 1 3 2 1 1 3 2 1 2 3 3 2 1 338.73/52.89 v </values> 338.73/52.89 v </instantiation>
OK
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 (15552 MiB free) memory of node 1: 16384 MiB (15751 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285448-1503423980/watcher-4285448-1503423980 -o /tmp/evaluation-result-4285448-1503423980/solver-4285448-1503423980 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node131-1503420571-2424 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1831397927 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285448-1503423980.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=2936, runsolver pid=2933 Current StackSize limit: 8192 KiB [startup+0.100115 s]* /proc/loadavg: 6.22 7.83 7.92 2/185 2946 /proc/meminfo: memFree=32050444/32770624 swapFree=67108860/67108860 [pid=2936] ppid=2933 vsize=25300336 memory=14988 CPUtime=0.01 cores=0-7 /proc/2936/stat : 2936 (java) S 2933 2936 2330 0 -1 1077944320 3586 0 0 0 0 1 0 0 20 0 10 0 278996 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 140728720360208 139916070272759 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 /proc/2936/statm: 6325084 3747 1914 1 0 6314581 0 [pid=2936/tid=2938] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2938/stat : 2938 (java) R 2933 2936 2330 0 -1 4202560 2264 0 0 0 0 0 0 0 20 0 10 0 279005 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916074508880 139916070294685 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2939] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2939/stat : 2939 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916027239568 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2940] ppid=2933 vsize=25300336 memory=139730468144768 CPUtime=0 cores=0-7 /proc/2936/task/2940/stat : 2940 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916026186768 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2941] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2941/stat : 2941 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916025133968 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2942] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2942/stat : 2942 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916024081168 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2943] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2943/stat : 2943 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916023028368 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2944] ppid=2933 vsize=25300336 memory=-1 CPUtime=0 cores=0-7 /proc/2936/task/2944/stat : 2944 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916021975568 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2945] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2945/stat : 2945 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916020922768 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2946] ppid=2933 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2946/stat : 2946 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 279006 25907544064 3747 18446744073709551615 4194304 4196468 140728720377664 139916019869968 139916070282965 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 25300336 KiB Current children cumulated memory: 14988 KiB [startup+0.209326 s]* /proc/loadavg: 6.22 7.83 7.92 2/195 2956 /proc/meminfo: memFree=32043884/32770624 swapFree=67108860/67108860 [pid=2936] ppid=2933 vsize=25996608 memory=27992 CPUtime=0.07 cores=0-7 /proc/2936/stat : 2936 (java) S 2933 2936 2330 0 -1 1077944320 6811 0 0 0 6 1 0 0 20 0 20 0 278996 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 140728720360208 139916070272759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 /proc/2936/statm: 6499152 6998 3266 1 0 6487930 0 [pid=2936/tid=2938] ppid=2933 vsize=25996608 memory=4026532046 CPUtime=0.06 cores=0-7 /proc/2936/task/2938/stat : 2938 (java) R 2933 2936 2330 0 -1 4202560 4914 0 0 0 5 1 0 0 20 0 20 0 279005 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916074502136 139916031254390 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2939] ppid=2933 vsize=25996608 memory=9163 CPUtime=0 cores=0-7 /proc/2936/task/2939/stat : 2939 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916027239568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2940] ppid=2933 vsize=25996608 memory=139730468146450 CPUtime=0 cores=0-7 /proc/2936/task/2940/stat : 2940 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916026186768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2941] ppid=2933 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/2936/task/2941/stat : 2941 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916025133968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2942] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2942/stat : 2942 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916024081168 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2943] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2943/stat : 2943 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916023028368 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2944] ppid=2933 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/2936/task/2944/stat : 2944 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916021975568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2945] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2945/stat : 2945 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916020922768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2946] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2946/stat : 2946 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139916019869968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2947] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2947/stat : 2947 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279007 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915134225264 139916070283906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2948] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2948/stat : 2948 (java) S 2933 2936 2330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 279008 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915133171232 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2949] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2949/stat : 2949 (java) S 2933 2936 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 279008 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915132118384 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2950] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2950/stat : 2950 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915131066704 139916070291355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2951] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2951/stat : 2951 (java) S 2933 2936 2330 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915130014064 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2952] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2952/stat : 2952 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915128961264 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2953] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2953/stat : 2953 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915127908464 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2954] ppid=2933 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/2936/task/2954/stat : 2954 (java) S 2933 2936 2330 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915126855664 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2955] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2955/stat : 2955 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915125804128 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2956] ppid=2933 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/2936/task/2956/stat : 2956 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279016 26620526592 6998 18446744073709551615 4194304 4196468 140728720377664 139915124751408 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 27992 KiB [startup+0.30918 s]* /proc/loadavg: 6.22 7.83 7.92 3/195 2956 /proc/meminfo: memFree=32032256/32770624 swapFree=67108860/67108860 [pid=2936] ppid=2933 vsize=25996608 memory=38588 CPUtime=0.23 cores=0-7 /proc/2936/stat : 2936 (java) S 2933 2936 2330 0 -1 1077944320 10877 0 0 0 20 3 0 0 20 0 20 0 278996 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 140728720360208 139916070272759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 /proc/2936/statm: 6499152 9647 3562 1 0 6487930 0 [pid=2936/tid=2938] ppid=2933 vsize=25996608 memory=7680170660397595203 CPUtime=0.15 cores=0-7 /proc/2936/task/2938/stat : 2938 (java) R 2933 2936 2330 0 -1 4202560 8573 0 0 0 13 2 0 0 20 0 20 0 279005 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916074493952 139916054353246 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2939] ppid=2933 vsize=25996608 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/2936/task/2939/stat : 2939 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916027239568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2940] ppid=2933 vsize=25996608 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/2936/task/2940/stat : 2940 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916026186768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2941] ppid=2933 vsize=25996608 memory=-6935123839545469842 CPUtime=0 cores=0-7 /proc/2936/task/2941/stat : 2941 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916025133968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2942] ppid=2933 vsize=25996608 memory=7016978069416210325 CPUtime=0 cores=0-7 /proc/2936/task/2942/stat : 2942 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916024081168 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2943] ppid=2933 vsize=25996608 memory=6944656591801720471 CPUtime=0 cores=0-7 /proc/2936/task/2943/stat : 2943 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916023028368 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2944] ppid=2933 vsize=25996608 memory=-8990767739041718176 CPUtime=0 cores=0-7 /proc/2936/task/2944/stat : 2944 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916021975568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2945] ppid=2933 vsize=25996608 memory=3047711566422646390 CPUtime=0 cores=0-7 /proc/2936/task/2945/stat : 2945 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916020922768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2946] ppid=2933 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/2936/task/2946/stat : 2946 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279006 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139916019869968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2947] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2947/stat : 2947 (java) S 2933 2936 2330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 279007 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915134225264 139916070283906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2948] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2948/stat : 2948 (java) S 2933 2936 2330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 279008 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915133171232 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2949] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2949/stat : 2949 (java) S 2933 2936 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 279008 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915132118384 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2950] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2950/stat : 2950 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915131066704 139916070291355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2951] ppid=2933 vsize=25996608 memory=0 CPUtime=0.01 cores=0-7 /proc/2936/task/2951/stat : 2951 (java) S 2933 2936 2330 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 279010 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915130014064 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2952] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2952/stat : 2952 (java) S 2933 2936 2330 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915128961264 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2953] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2953/stat : 2953 (java) S 2933 2936 2330 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915127908464 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2954] ppid=2933 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7 /proc/2936/task/2954/stat : 2954 (java) S 2933 2936 2330 0 -1 1077944384 403 0 0 0 4 0 0 0 20 0 20 0 279010 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915126855664 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2955] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2955/stat : 2955 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279010 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915125804128 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2956] ppid=2933 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2956/stat : 2956 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279016 26620526592 9647 18446744073709551615 4194304 4196468 140728720377664 139915124751408 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 38588 KiB [startup+0.700807 s] /proc/loadavg: 6.22 7.83 7.92 3/195 2956 /proc/meminfo: memFree=32018768/32770624 swapFree=67108860/67108860 [pid=2936] ppid=2933 vsize=25998676 memory=74556 CPUtime=1.13 cores=0-7 /proc/2936/stat : 2936 (java) S 2933 2936 2330 0 -1 1077944320 14868 0 0 0 108 5 0 0 20 0 20 0 278996 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 140728720360208 139916070272759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 /proc/2936/statm: 6499669 18639 3726 1 0 6488442 0 [pid=2936/tid=2938] ppid=2933 vsize=25998676 memory=164 CPUtime=0.54 cores=0-7 /proc/2936/task/2938/stat : 2938 (java) R 2933 2936 2330 0 -1 4202560 10541 0 0 0 50 4 0 0 20 0 20 0 279005 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916074509264 139916054316389 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2939] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2939/stat : 2939 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916027239568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2940] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2940/stat : 2940 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916026186768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2941] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2941/stat : 2941 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916025133968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2942] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2942/stat : 2942 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916024081168 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2943] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2943/stat : 2943 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916023028368 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2944] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2944/stat : 2944 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916021975568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2945] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2945/stat : 2945 (java) S 2933 2936 2330 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916020922768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2946] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2946/stat : 2946 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279006 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139916019869968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2947] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2947/stat : 2947 (java) S 2933 2936 2330 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 279007 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915134225264 139916070283906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2948] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2948/stat : 2948 (java) S 2933 2936 2330 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 279008 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915133171232 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2949] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2949/stat : 2949 (java) S 2933 2936 2330 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 279008 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915132118384 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2950] ppid=2933 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/2936/task/2950/stat : 2950 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279010 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915131066704 139916070291355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2951] ppid=2933 vsize=25998676 memory=0 CPUtime=0.13 cores=0-7 /proc/2936/task/2951/stat : 2951 (java) R 2933 2936 2330 0 -1 4202560 1092 0 0 0 13 0 0 0 20 0 20 0 279010 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915130002416 139916070294106 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2952] ppid=2933 vsize=25998676 memory=0 CPUtime=0.09 cores=0-7 /proc/2936/task/2952/stat : 2952 (java) R 2933 2936 2330 0 -1 4202560 421 0 0 0 9 0 0 0 20 0 20 0 279010 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915128961264 139916054240312 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2953] ppid=2933 vsize=25998676 memory=0 CPUtime=0.12 cores=0-7 /proc/2936/task/2953/stat : 2953 (java) R 2933 2936 2330 0 -1 4202560 527 0 0 0 12 0 0 0 20 0 20 0 279010 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915127901488 139916055154384 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2954] ppid=2933 vsize=25998676 memory=7739276948478127446 CPUtime=0.21 cores=0-7 /proc/2936/task/2954/stat : 2954 (java) R 2933 2936 2330 0 -1 4202560 899 0 0 0 21 0 0 0 20 0 20 0 279010 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915126855792 139916049187808 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2955] ppid=2933 vsize=25998676 memory=6082785651313825641 CPUtime=0 cores=0-7 /proc/2936/task/2955/stat : 2955 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 279010 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915125804128 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2956] ppid=2933 vsize=25998676 memory=121746216 CPUtime=0 cores=0-7 /proc/2936/task/2956/stat : 2956 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 279016 26622644224 18639 18446744073709551615 4194304 4196468 140728720377664 139915124751408 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 1.13 s Current children cumulated vsize: 25998676 KiB ################ # More data... # ################ [pid=2936/tid=2952] ppid=2933 vsize=26874284 memory=796 CPUtime=2.33 cores=0-7 /proc/2936/task/2952/stat : 2952 (java) S 2933 2936 2330 0 -1 1077944384 9592 0 0 0 232 1 0 0 20 0 33 0 279010 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915128961264 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2953] ppid=2933 vsize=26874284 memory=2004 CPUtime=2.18 cores=0-7 /proc/2936/task/2953/stat : 2953 (java) S 2933 2936 2330 0 -1 1077944384 9359 0 0 0 216 2 0 0 20 0 33 0 279010 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915127908464 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2954] ppid=2933 vsize=26874284 memory=1200 CPUtime=0.99 cores=0-7 /proc/2936/task/2954/stat : 2954 (java) S 2933 2936 2330 0 -1 1077944384 11887 0 0 0 97 2 0 0 20 0 33 0 279010 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915126855664 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2955] ppid=2933 vsize=26874284 memory=1228 CPUtime=0 cores=0-7 /proc/2936/task/2955/stat : 2955 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 279010 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915125804128 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2956] ppid=2933 vsize=26874284 memory=8672 CPUtime=0.02 cores=0-7 /proc/2936/task/2956/stat : 2956 (java) S 2933 2936 2330 0 -1 1077944384 417 0 0 0 0 2 0 0 20 0 33 0 279016 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915124751408 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2958] ppid=2933 vsize=26874284 memory=1692 CPUtime=0 cores=0-7 /proc/2936/task/2958/stat : 2958 (java) S 2933 2936 2330 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 33 0 280235 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915114460288 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2959] ppid=2933 vsize=26874284 memory=1436 CPUtime=0.13 cores=0-7 /proc/2936/task/2959/stat : 2959 (java) S 2933 2936 2330 0 -1 1077944384 2245 0 0 0 3 10 0 0 20 0 33 0 280248 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915111310480 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2960] ppid=2933 vsize=26874284 memory=15876 CPUtime=1.7 cores=0-7 /proc/2936/task/2960/stat : 2960 (java) S 2933 2936 2330 0 -1 1077944384 525 0 0 0 169 1 0 0 20 0 33 0 280259 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915110257712 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2961] ppid=2933 vsize=26874284 memory=4012 CPUtime=36.14 cores=0-7 /proc/2936/task/2961/stat : 2961 (java) R 2933 2936 2330 0 -1 4202560 51127 0 0 0 3597 17 0 0 20 0 33 0 280260 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915107106848 139915701001107 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2962] ppid=2933 vsize=26874284 memory=16408 CPUtime=32.6 cores=0-7 /proc/2936/task/2962/stat : 2962 (java) R 2933 2936 2330 0 -1 4202560 23367 0 0 0 3249 11 0 0 20 0 33 0 280261 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915106054048 139915699878976 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2963] ppid=2933 vsize=26874284 memory=5700 CPUtime=15.26 cores=0-7 /proc/2936/task/2963/stat : 2963 (java) R 2933 2936 2330 0 -1 4202560 14404 0 0 0 1520 6 0 0 20 0 33 0 280262 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915105001248 139915695074449 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2964] ppid=2933 vsize=26874284 memory=139730319598520 CPUtime=3.9 cores=0-7 /proc/2936/task/2964/stat : 2964 (java) S 2933 2936 2330 0 -1 1077944384 4483 0 0 0 387 3 0 0 20 0 33 0 280263 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915103950384 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2965] ppid=2933 vsize=26874284 memory=0 CPUtime=36.02 cores=0-7 /proc/2936/task/2965/stat : 2965 (java) R 2933 2936 2330 0 -1 4202560 62283 0 0 0 3586 16 0 0 20 0 33 0 280263 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915102896672 139915700928713 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2966] ppid=2933 vsize=26874284 memory=0 CPUtime=36.1 cores=0-7 /proc/2936/task/2966/stat : 2966 (java) R 2933 2936 2330 0 -1 4202560 32413 0 0 0 3597 13 0 0 20 0 33 0 280263 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915101838280 139915700207359 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2967] ppid=2933 vsize=26874284 memory=0 CPUtime=35.88 cores=0-7 /proc/2936/task/2967/stat : 2967 (java) R 2933 2936 2330 0 -1 4202560 32020 0 0 0 3570 18 0 0 20 0 33 0 280263 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915100785352 139915701000155 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2968] ppid=2933 vsize=26874284 memory=0 CPUtime=34.65 cores=0-7 /proc/2936/task/2968/stat : 2968 (java) R 2933 2936 2330 0 -1 4202560 42789 0 0 0 3450 15 0 0 20 0 33 0 280263 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915099732608 139915699874712 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2969] ppid=2933 vsize=26874284 memory=0 CPUtime=35.79 cores=0-7 /proc/2936/task/2969/stat : 2969 (java) R 2933 2936 2330 0 -1 4202560 38963 0 0 0 3566 13 0 0 20 0 33 0 280264 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915098685472 139915700928713 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2970] ppid=2933 vsize=26874284 memory=0 CPUtime=20.22 cores=0-7 /proc/2936/task/2970/stat : 2970 (java) S 2933 2936 2330 0 -1 1077944384 28732 0 0 0 2014 8 0 0 20 0 33 0 280264 27519266816 1235675 18446744073709551615 4194304 4196468 140728720377664 139915097633584 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 335.59 s Current children cumulated vsize: 26874284 KiB Current children cumulated memory: 4942700 KiB [startup+52.802 s] /proc/loadavg: 7.14 7.75 7.89 9/207 2970 /proc/meminfo: memFree=27115216/32770624 swapFree=67108860/67108860 [pid=2936] ppid=2933 vsize=26874284 memory=4967768 CPUtime=338.73 cores=0-7 /proc/2936/stat : 2936 (java) S 2933 2936 2330 0 -1 1077944320 600969 0 0 0 32787 1086 0 0 20 0 33 0 278996 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 140728720360208 139916070272759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 /proc/2936/statm: 6718571 1241942 3853 1 0 6706823 0 [pid=2936/tid=2938] ppid=2933 vsize=26874284 memory=7680170660397595203 CPUtime=12.17 cores=0-7 /proc/2936/task/2938/stat : 2938 (java) S 2933 2936 2330 0 -1 1077944384 17626 0 0 0 1200 17 0 0 20 0 33 0 279005 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916074510464 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2939] ppid=2933 vsize=26874284 memory=0 CPUtime=3.36 cores=0-7 /proc/2936/task/2939/stat : 2939 (java) S 2933 2936 2330 0 -1 1077944384 20920 0 0 0 222 114 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916027239568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2940] ppid=2933 vsize=26874284 memory=0 CPUtime=3.41 cores=0-7 /proc/2936/task/2940/stat : 2940 (java) S 2933 2936 2330 0 -1 1077944384 20394 0 0 0 220 121 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916026186768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2941] ppid=2933 vsize=26874284 memory=0 CPUtime=3.43 cores=0-7 /proc/2936/task/2941/stat : 2941 (java) S 2933 2936 2330 0 -1 1077944384 22803 0 0 0 229 114 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916025133968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2942] ppid=2933 vsize=26874284 memory=0 CPUtime=3.39 cores=0-7 /proc/2936/task/2942/stat : 2942 (java) S 2933 2936 2330 0 -1 1077944384 22369 0 0 0 226 113 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916024081168 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2943] ppid=2933 vsize=26874284 memory=4942700 CPUtime=3.45 cores=0-7 /proc/2936/task/2943/stat : 2943 (java) S 2933 2936 2330 0 -1 1077944384 25546 0 0 0 223 122 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916023028368 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2944] ppid=2933 vsize=26874284 memory=6944656592455360604 CPUtime=3.44 cores=0-7 /proc/2936/task/2944/stat : 2944 (java) S 2933 2936 2330 0 -1 1077944384 23009 0 0 0 232 112 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916021975568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2945] ppid=2933 vsize=26874284 memory=6944656575208382560 CPUtime=3.45 cores=0-7 /proc/2936/task/2945/stat : 2945 (java) S 2933 2936 2330 0 -1 1077944384 24293 0 0 0 228 117 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916020922768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2946] ppid=2933 vsize=26874284 memory=6944652177228980320 CPUtime=3.39 cores=0-7 /proc/2936/task/2946/stat : 2946 (java) S 2933 2936 2330 0 -1 1077944384 24348 0 0 0 226 113 0 0 20 0 33 0 279006 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139916019869968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2947] ppid=2933 vsize=26874284 memory=-2748367524519556131 CPUtime=0.23 cores=0-7 /proc/2936/task/2947/stat : 2947 (java) S 2933 2936 2330 0 -1 1077944384 21326 0 0 0 21 2 0 0 20 0 33 0 279007 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915134225264 139916070283906 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2948] ppid=2933 vsize=26874284 memory=7680170660397595203 CPUtime=0 cores=0-7 /proc/2936/task/2948/stat : 2948 (java) S 2933 2936 2330 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 33 0 279008 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915133171296 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2949] ppid=2933 vsize=26874284 memory=100 CPUtime=0 cores=0-7 /proc/2936/task/2949/stat : 2949 (java) S 2933 2936 2330 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 33 0 279008 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915132118400 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2950] ppid=2933 vsize=26874284 memory=8243114992657236051 CPUtime=0 cores=0-7 /proc/2936/task/2950/stat : 2950 (java) S 2933 2936 2330 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 279010 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915131066704 139916070291355 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2951] ppid=2933 vsize=26874284 memory=288287766360621662 CPUtime=2.04 cores=0-7 /proc/2936/task/2951/stat : 2951 (java) R 2933 2936 2330 0 -1 4202560 10615 0 0 0 203 1 0 0 20 0 33 0 279010 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915130014064 139916063378421 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2952] ppid=2933 vsize=26874284 memory=0 CPUtime=2.33 cores=0-7 /proc/2936/task/2952/stat : 2952 (java) R 2933 2936 2330 0 -1 1077944384 9592 0 0 0 232 1 0 0 20 0 33 0 279010 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915128961264 139916070283906 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2953] ppid=2933 vsize=26874284 memory=6944656592455360604 CPUtime=2.18 cores=0-7 /proc/2936/task/2953/stat : 2953 (java) S 2933 2936 2330 0 -1 1077944384 9361 0 0 0 216 2 0 0 20 0 33 0 279010 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915127908464 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2954] ppid=2933 vsize=26874284 memory=6944656575208382560 CPUtime=0.99 cores=0-7 /proc/2936/task/2954/stat : 2954 (java) S 2933 2936 2330 0 -1 1077944384 11887 0 0 0 97 2 0 0 20 0 33 0 279010 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915126855664 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2955] ppid=2933 vsize=26874284 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/2936/task/2955/stat : 2955 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 279010 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915125804128 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2956] ppid=2933 vsize=26874284 memory=8819569139123385389 CPUtime=0.02 cores=0-7 /proc/2936/task/2956/stat : 2956 (java) S 2933 2936 2330 0 -1 1077944384 417 0 0 0 0 2 0 0 20 0 33 0 279016 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915124751408 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2958] ppid=2933 vsize=26874284 memory=7680170660397595203 CPUtime=0 cores=0-7 /proc/2936/task/2958/stat : 2958 (java) S 2933 2936 2330 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 33 0 280235 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915114460288 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2959] ppid=2933 vsize=26874284 memory=1156 CPUtime=0.13 cores=0-7 /proc/2936/task/2959/stat : 2959 (java) R 2933 2936 2330 0 -1 1077944384 2246 0 0 0 3 10 0 0 20 0 33 0 280248 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915111310176 139916070282965 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2960] ppid=2933 vsize=26874284 memory=3328 CPUtime=1.7 cores=0-7 /proc/2936/task/2960/stat : 2960 (java) S 2933 2936 2330 0 -1 1077944384 525 0 0 0 169 1 0 0 20 0 33 0 280259 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915110257712 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2961] ppid=2933 vsize=26874284 memory=4648628 CPUtime=36.49 cores=0-7 /proc/2936/task/2961/stat : 2961 (java) R 2933 2936 2330 0 -1 4202560 51144 0 0 0 3632 17 0 0 20 0 33 0 280260 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915107101296 139915700999916 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2962] ppid=2933 vsize=26874284 memory=7680170660397595203 CPUtime=32.95 cores=0-7 /proc/2936/task/2962/stat : 2962 (java) R 2933 2936 2330 0 -1 4202560 23538 0 0 0 3284 11 0 0 20 0 33 0 280261 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915106051872 139915701000993 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2963] ppid=2933 vsize=26874284 memory=-2605811476043407915 CPUtime=15.61 cores=0-7 /proc/2936/task/2963/stat : 2963 (java) R 2933 2936 2330 0 -1 4202560 14425 0 0 0 1555 6 0 0 20 0 33 0 280262 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915104998632 139915696776196 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2964] ppid=2933 vsize=26874284 memory=8562125494162282060 CPUtime=3.9 cores=0-7 /proc/2936/task/2964/stat : 2964 (java) S 2933 2936 2330 0 -1 1077944384 4483 0 0 0 387 3 0 0 20 0 33 0 280263 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915103950384 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2965] ppid=2933 vsize=26874284 memory=4648628 CPUtime=36.37 cores=0-7 /proc/2936/task/2965/stat : 2965 (java) R 2933 2936 2330 0 -1 4202560 62298 0 0 0 3621 16 0 0 20 0 33 0 280263 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915102890784 139915700207343 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2966] ppid=2933 vsize=26874284 memory=5938397874615773025 CPUtime=36.45 cores=0-7 /proc/2936/task/2966/stat : 2966 (java) R 2933 2936 2330 0 -1 4202560 32428 0 0 0 3632 13 0 0 20 0 33 0 280263 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915101838352 139915701001107 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2967] ppid=2933 vsize=26874284 memory=288230574492221466 CPUtime=36.23 cores=0-7 /proc/2936/task/2967/stat : 2967 (java) R 2933 2936 2330 0 -1 4202560 32037 0 0 0 3605 18 0 0 20 0 33 0 280263 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915100785552 139915700999916 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2968] ppid=2933 vsize=26874284 memory=288230604624101684 CPUtime=35 cores=0-7 /proc/2936/task/2968/stat : 2968 (java) R 2933 2936 2330 0 -1 4202560 42837 0 0 0 3485 15 0 0 20 0 33 0 280263 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915099733360 139915701000993 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2969] ppid=2933 vsize=26874284 memory=288289991187235692 CPUtime=36.15 cores=0-7 /proc/2936/task/2969/stat : 2969 (java) R 2933 2936 2330 0 -1 4202560 40051 0 0 0 3602 13 0 0 20 0 33 0 280264 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915098679584 139915701804803 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2970] ppid=2933 vsize=26874284 memory=648 CPUtime=20.22 cores=0-7 /proc/2936/task/2970/stat : 2970 (java) S 2933 2936 2330 0 -1 1077944384 28732 0 0 0 2014 8 0 0 20 0 33 0 280264 27519266816 1241942 18446744073709551615 4194304 4196468 140728720377664 139915097633584 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 338.73 s Current children cumulated vsize: 26874284 KiB Current children cumulated memory: 4967768 KiB [startup+52.9012 s] /proc/loadavg: 7.14 7.75 7.89 9/207 2970 /proc/meminfo: memFree=27115216/32770624 swapFree=67108860/67108860 [pid=2936] ppid=2933 vsize=27406796 memory=4968204 CPUtime=339.27 cores=0-7 /proc/2936/stat : 2936 (java) S 2933 2936 2330 0 -1 1077944320 606016 0 0 0 32840 1087 0 0 20 0 19 0 278996 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 140728720360208 139916070272759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 /proc/2936/statm: 6851699 1242051 3855 1 0 6839951 0 [pid=2936/tid=2938] ppid=2933 vsize=27406796 memory=4942700 CPUtime=12.17 cores=0-7 /proc/2936/task/2938/stat : 2938 (java) S 2933 2936 2330 0 -1 1077944384 17749 0 0 0 1200 17 0 0 20 0 19 0 279005 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916074515600 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2939] ppid=2933 vsize=27406796 memory=4942700 CPUtime=3.36 cores=0-7 /proc/2936/task/2939/stat : 2939 (java) S 2933 2936 2330 0 -1 1077944384 20920 0 0 0 222 114 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916027239568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2940] ppid=2933 vsize=27406796 memory=4944748 CPUtime=3.41 cores=0-7 /proc/2936/task/2940/stat : 2940 (java) S 2933 2936 2330 0 -1 1077944384 20394 0 0 0 220 121 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916026186768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2941] ppid=2933 vsize=27406796 memory=7680170660397595203 CPUtime=3.43 cores=0-7 /proc/2936/task/2941/stat : 2941 (java) S 2933 2936 2330 0 -1 1077944384 22803 0 0 0 229 114 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916025133968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2942] ppid=2933 vsize=27406796 memory=5408 CPUtime=3.39 cores=0-7 /proc/2936/task/2942/stat : 2942 (java) S 2933 2936 2330 0 -1 1077944384 22369 0 0 0 226 113 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916024081168 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2943] ppid=2933 vsize=27406796 memory=15876 CPUtime=3.45 cores=0-7 /proc/2936/task/2943/stat : 2943 (java) S 2933 2936 2330 0 -1 1077944384 25546 0 0 0 223 122 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916023028368 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2944] ppid=2933 vsize=27406796 memory=4012 CPUtime=3.44 cores=0-7 /proc/2936/task/2944/stat : 2944 (java) S 2933 2936 2330 0 -1 1077944384 23009 0 0 0 232 112 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916021975568 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2945] ppid=2933 vsize=27406796 memory=16408 CPUtime=3.45 cores=0-7 /proc/2936/task/2945/stat : 2945 (java) S 2933 2936 2330 0 -1 1077944384 24293 0 0 0 228 117 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916020922768 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2946] ppid=2933 vsize=27406796 memory=0 CPUtime=3.39 cores=0-7 /proc/2936/task/2946/stat : 2946 (java) S 2933 2936 2330 0 -1 1077944384 24348 0 0 0 226 113 0 0 20 0 19 0 279006 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139916019869968 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2947] ppid=2933 vsize=27406796 memory=7883110696272353124 CPUtime=0.23 cores=0-7 /proc/2936/task/2947/stat : 2947 (java) S 2933 2936 2330 0 -1 1077944384 21339 0 0 0 21 2 0 0 20 0 19 0 279007 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915134225472 139916070283906 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2948] ppid=2933 vsize=27406796 memory=7811056413604074084 CPUtime=0 cores=0-7 /proc/2936/task/2948/stat : 2948 (java) S 2933 2936 2330 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 279008 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915133171296 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2949] ppid=2933 vsize=27406796 memory=4942692 CPUtime=0 cores=0-7 /proc/2936/task/2949/stat : 2949 (java) S 2933 2936 2330 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 279008 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915132118400 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2950] ppid=2933 vsize=27406796 memory=5408 CPUtime=0 cores=0-7 /proc/2936/task/2950/stat : 2950 (java) S 2933 2936 2330 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 279010 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915131066352 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2951] ppid=2933 vsize=27406796 memory=2416 CPUtime=2.1 cores=0-7 /proc/2936/task/2951/stat : 2951 (java) S 2933 2936 2330 0 -1 1077944384 11492 0 0 0 208 2 0 0 20 0 19 0 279010 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915130005344 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2952] ppid=2933 vsize=27406796 memory=1236 CPUtime=2.36 cores=0-7 /proc/2936/task/2952/stat : 2952 (java) S 2933 2936 2330 0 -1 1077944384 10408 0 0 0 235 1 0 0 20 0 19 0 279010 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915128945776 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2953] ppid=2933 vsize=27406796 memory=2244 CPUtime=2.21 cores=0-7 /proc/2936/task/2953/stat : 2953 (java) S 2933 2936 2330 0 -1 1077944384 9653 0 0 0 219 2 0 0 20 0 19 0 279010 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915127908464 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2954] ppid=2933 vsize=27406796 memory=4072 CPUtime=1.01 cores=0-7 /proc/2936/task/2954/stat : 2954 (java) S 2933 2936 2330 0 -1 1077944384 12921 0 0 0 99 2 0 0 20 0 19 0 279010 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915126855664 139916070283906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 [pid=2936/tid=2955] ppid=2933 vsize=27406796 memory=4628720 CPUtime=0 cores=0-7 /proc/2936/task/2955/stat : 2955 (java) S 2933 2936 2330 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 279010 28064559104 1242051 18446744073709551615 4194304 4196468 140728720377664 139915125804128 139916070282965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140728720384366 140728720384552 140728720384552 140728720388047 0 Current children cumulated CPU time: 339.27 s Current children cumulated vsize: 27406796 KiB Current children cumulated memory: 4968204 KiB Child status: 0 Real time (s): 52.9511 CPU time (s): 339.335 CPU user time (s): 328.408 CPU system time (s): 10.9265 CPU usage (%): 640.845 Max. virtual memory (cumulated for all children) (KiB): 27406796 Max. memory (cumulated for all children) (KiB): 4968204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 328.408 system time used= 10.9265 maximum resident set size= 4969044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 606043 page faults= 0 swaps= 0 block input operations= 0 block output operations= 240 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18040 involuntary context switches= 6911 # summary of solver processes directly reported to runsolver: # pid: 2936 # total CPU time (s): 339.335 # total CPU user time (s): 328.408 # total CPU system time (s): 10.9265 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.381737 second user time and 0.724349 second system time The end
Begin job on node131 at 2017-08-22 19:32:42 IDJOB=4285448 IDBENCH=123325 IDSOLVER=2681 FILE ID=node131/4285448-1503423980 RUNJOBID= node131-1503420571-2424 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-55-dual.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-4285448-1503423980/watcher-4285448-1503423980 -o /tmp/evaluation-result-4285448-1503423980/solver-4285448-1503423980 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node131-1503420571-2424 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1831397927 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285448-1503423980.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5b8ecf8a7d2901cb06b5717f26e52ae6 RANDOM SEED=1831397927 node131.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.49 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.49 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.49 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.49 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: 32056400 kB MemAvailable: 32054176 kB Buffers: 23520 kB Cached: 286684 kB SwapCached: 0 kB Active: 211500 kB Inactive: 157152 kB Active(anon): 58696 kB Inactive(anon): 8572 kB Active(file): 152804 kB Inactive(file): 148580 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42480 kB Writeback: 4 kB AnonPages: 58652 kB Mapped: 26960 kB Shmem: 8900 kB Slab: 47488 kB SReclaimable: 24456 kB SUnreclaim: 23032 kB KernelStack: 3104 kB PageTables: 4276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 278948 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61988 MiB End job on node131 at 2017-08-22 19:33:35