Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 421.711 | 62.7155 |
Name | Sat/ Sat-dual-flat200-479/Sat-flat200-80-dual.xml |
MD5SUM | 525b735ba8bb5a039c9336c4821cc140 |
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 | 0.57814699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2237 |
Number of constraints | 16182 |
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 | 3 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":5,"count":15},{"degree":6,"count":5},{"degree":7,"count":39},{"degree":8,"count":3},{"degree":9,"count":100},{"degree":10,"count":36},{"degree":11,"count":177},{"degree":12,"count":144},{"degree":13,"count":324},{"degree":14,"count":231},{"degree":15,"count":381},{"degree":16,"count":201},{"degree":17,"count":252},{"degree":18,"count":142},{"degree":19,"count":78},{"degree":20,"count":36},{"degree":21,"count":35},{"degree":24,"count":19},{"degree":27,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":16182}] |
Number of extensional constraints | 16182 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":16182}] |
Optimization problem | NO |
Type of objective |
0.27/0.47 c version: 2017-08-22 0.27/0.47 c seed: 481969832 0.27/0.47 c timeout: 20160 0.27/0.47 c memlimit: 22000 0.27/0.47 c nbcore: 8 0.27/0.50 c Parsing instance... 3.39/1.39 c Parsing done, starting search... 421.46/62.65 s SATISFIABLE 421.46/62.65 v <instantiation> 421.46/62.65 v <list> 421.46/62.65 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] 421.46/62.65 v </list> 421.46/62.65 v <values> 421.46/62.65 v 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 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 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 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 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 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 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 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 3 2 2 1 3 2 2 1 1 1 3 4 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 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 3 1 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 1 3 2 1 3 2 1 3 2 1 3 2 3 1 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 2 3 2 1 3 2 3 1 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 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 2 3 1 2 1 3 2 1 3 1 3 2 1 3 2 3 1 2 3 1 2 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 1 3 2 1 3 2 1 3 2 3 1 2 2 3 1 2 3 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 3 1 2 1 3 1 2 3 1 2 3 1 2 3 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 3 1 2 1 3 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 2 1 3 2 1 3 2 1 3 2 3 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 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 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 3 1 1 3 2 1 3 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 2 3 1 2 1 3 2 3 1 2 3 1 1 3 2 3 1 2 1 3 2 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 2 1 3 2 1 3 1 2 3 1 2 3 1 2 3 3 2 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 1 2 3 1 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 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 1 2 3 1 2 3 1 2 3 2 3 1 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 1 2 3 1 2 3 3 2 1 3 2 1 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 1 3 1 2 1 3 2 3 1 2 3 1 2 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 3 1 2 1 3 2 3 1 2 3 2 1 3 1 2 3 1 2 3 2 1 3 2 1 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 3 1 2 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 3 2 1 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 3 2 1 3 2 1 3 2 1 1 3 2 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 1 3 2 1 3 2 1 3 2 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 2 3 1 1 2 3 3 2 1 3 2 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 3 2 1 3 2 1 3 1 2 1 3 2 3 2 1 1 2 3 3 1 2 1 3 2 2 3 1 2 1 3 2 3 1 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 3 1 2 3 1 2 3 1 2 1 3 2 2 3 1 2 1 3 3 1 2 1 3 2 1 3 2 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 3 2 1 1 3 2 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 1 3 2 1 3 2 1 2 3 3 2 1 2 1 3 3 2 1 3 2 1 2 3 1 1 2 3 1 2 3 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 2 3 1 1 3 2 3 1 2 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 1 3 2 3 2 1 3 2 1 2 3 1 2 3 1 2 1 3 1 3 2 2 3 1 2 3 1 2 1 3 3 1 2 3 1 2 1 3 2 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 3 1 2 1 2 3 1 3 2 1 2 3 2 3 1 2 3 1 2 3 1 2 1 3 421.46/62.65 v </values> 421.46/62.65 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 (14914 MiB free) memory of node 1: 16384 MiB (15344 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285450-1503423965/watcher-4285450-1503423965 -o /tmp/evaluation-result-4285450-1503423965/solver-4285450-1503423965 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 481969832 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285450-1503423965.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 Current StackSize limit: 8192 KiB solver pid=32203, runsolver pid=32200 [startup+0.100152 s]* /proc/loadavg: 6.67 7.36 7.89 1/173 32204 /proc/meminfo: memFree=30985056/32770624 swapFree=67108860/67108860 [pid=32203] ppid=32200 vsize=33976 memory=460 CPUtime=0 cores=0-7 /proc/32203/stat : 32203 (runsolver) D 32200 32203 28956 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 144589309 34791424 115 18446744073709551615 4194304 4346622 140726937674080 140726937670712 139963242771159 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 37289984 140726937677885 140726937678368 140726937678368 140726937681866 0 /proc/32203/statm: 8494 115 53 38 0 4205 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 33976 KiB Current children cumulated memory: 460 KiB [startup+0.208888 s]* /proc/loadavg: 6.67 7.36 7.89 2/185 32216 /proc/meminfo: memFree=30975300/32770624 swapFree=67108860/67108860 [pid=32203] ppid=32200 vsize=25527784 memory=18504 CPUtime=0.03 cores=0-7 /proc/32203/stat : 32203 (java) S 32200 32203 28956 0 -1 1077944320 4040 0 0 0 2 1 0 0 20 0 13 0 144589309 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140735781264528 140165926506231 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 17 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 /proc/32203/statm: 6381946 4626 2095 1 0 6371443 0 [pid=32203/tid=32205] ppid=32200 vsize=25527784 memory=4026532046 CPUtime=0.02 cores=0-7 /proc/32203/task/32205/stat : 32205 (java) R 32200 32203 28956 0 -1 4202560 2666 0 0 0 2 0 0 0 20 0 13 0 144589327 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165930742744 140165926528157 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32206] ppid=32200 vsize=25527784 memory=14042 CPUtime=0 cores=0-7 /proc/32203/task/32206/stat : 32206 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165883472656 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32207] ppid=32200 vsize=25527784 memory=3977719179889276576 CPUtime=0 cores=0-7 /proc/32203/task/32207/stat : 32207 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165882420112 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32208] ppid=32200 vsize=25527784 memory=-1 CPUtime=0 cores=0-7 /proc/32203/task/32208/stat : 32208 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165881367568 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32209] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32209/stat : 32209 (java) S 32200 32203 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165880315024 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32210] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32210/stat : 32210 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165879261456 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32211] ppid=32200 vsize=25527784 memory=-1 CPUtime=0 cores=0-7 /proc/32203/task/32211/stat : 32211 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165878208912 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32212] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32212/stat : 32212 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165877156368 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32213] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32213/stat : 32213 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 144589328 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165876103824 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32214] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32214/stat : 32214 (java) S 32200 32203 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 144589329 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165059160560 140165926517378 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32215] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32215/stat : 32215 (java) S 32200 32203 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 144589330 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165058106784 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32216] ppid=32200 vsize=25527784 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32216/stat : 32216 (java) S 32200 32203 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 144589330 26140450816 4626 18446744073709551615 4194304 4196468 140735781281984 140165057054256 140165926516437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 Current children cumulated CPU time: 0.03 s Current children cumulated vsize: 25527784 KiB Current children cumulated memory: 18504 KiB [startup+0.309617 s]* /proc/loadavg: 6.67 7.36 7.89 3/192 32223 /proc/meminfo: memFree=30970400/32770624 swapFree=67108860/67108860 [pid=32203] ppid=32200 vsize=25997632 memory=30644 CPUtime=0.12 cores=0-7 /proc/32203/stat : 32203 (java) S 32200 32203 28956 0 -1 1077944320 8337 0 0 0 10 2 0 0 20 0 20 0 144589309 26621575168 7595 18446744073709551615 4194304 4196468 140735781281984 140735781264528 140165926506231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 17 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 /proc/32203/statm: 6499408 7595 3367 1 0 6488186 0 [pid=32203/tid=32205] ppid=32200 vsize=25997632 memory=-8774313645642428999 CPUtime=0.08 cores=0-7 /proc/32203/task/32205/stat : 32205 (java) R 32200 32203 28956 0 -1 4202560 6370 0 0 0 7 1 0 0 20 0 20 0 144589327 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165930722912 140165918817252 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32206] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32206/stat : 32206 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165883472656 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32207] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32207/stat : 32207 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165882420112 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32208] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32208/stat : 32208 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165881367568 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32209] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32209/stat : 32209 (java) S 32200 32203 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165880315024 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32210] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32210/stat : 32210 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165879261456 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32211] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32211/stat : 32211 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165878208912 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32212] ppid=32200 vsize=25997632 memory=-1 CPUtime=0 cores=0-7 /proc/32203/task/32212/stat : 32212 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165877156368 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32213] ppid=32200 vsize=25997632 memory=-1 CPUtime=0 cores=0-7 /proc/32203/task/32213/stat : 32213 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144589328 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165876103824 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32214] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32214/stat : 32214 (java) S 32200 32203 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144589329 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165059160560 140165926517378 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32215] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32215/stat : 32215 (java) S 32200 32203 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144589330 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165058106784 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32216] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32216/stat : 32216 (java) S 32200 32203 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144589330 26621575168 7727 18446744073709551615 4194304 4196468 140735781281984 140165057054192 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32217] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32217/stat : 32217 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589332 26621575168 7793 18446744073709551615 4194304 4196468 140735781281984 140165056002768 140165926524827 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32218] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32218/stat : 32218 (java) S 32200 32203 28956 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 144589332 26621575168 7793 18446744073709551615 4194304 4196468 140735781281984 140165054949360 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32219] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32219/stat : 32219 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144589333 26621575168 7793 18446744073709551615 4194304 4196468 140735781281984 140165053896816 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32220] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32220/stat : 32220 (java) S 32200 32203 28956 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 144589333 26621575168 7793 18446744073709551615 4194304 4196468 140735781281984 140165052844272 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32221] ppid=32200 vsize=25997632 memory=0 CPUtime=0.01 cores=0-7 /proc/32203/task/32221/stat : 32221 (java) S 32200 32203 28956 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 144589333 26621575168 7859 18446744073709551615 4194304 4196468 140735781281984 140165051791728 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32222] ppid=32200 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32222/stat : 32222 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144589333 26621575168 7859 18446744073709551615 4194304 4196468 140735781281984 140164982631136 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32223] ppid=32200 vsize=25997632 memory=-1 CPUtime=0 cores=0-7 /proc/32203/task/32223/stat : 32223 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589337 26621575168 7859 18446744073709551615 4194304 4196468 140735781281984 140164981578672 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 25997632 KiB Current children cumulated memory: 30644 KiB [startup+0.703271 s] /proc/loadavg: 6.67 7.36 7.89 3/192 32223 /proc/meminfo: memFree=30951220/32770624 swapFree=67108860/67108860 [pid=32203] ppid=32200 vsize=25996628 memory=67580 CPUtime=0.91 cores=0-7 /proc/32203/stat : 32203 (java) S 32200 32203 28956 0 -1 1077944320 14156 0 0 0 86 5 0 0 20 0 20 0 144589309 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140735781264528 140165926506231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 17 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 /proc/32203/statm: 6499157 16895 3725 1 0 6487930 0 [pid=32203/tid=32205] ppid=32200 vsize=25996628 memory=796 CPUtime=0.46 cores=0-7 /proc/32203/task/32205/stat : 32205 (java) R 32200 32203 28956 0 -1 4202560 10222 0 0 0 43 3 0 0 20 0 20 0 144589327 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165930744016 140165926528157 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32206] ppid=32200 vsize=25996628 memory=11200 CPUtime=0 cores=0-7 /proc/32203/task/32206/stat : 32206 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165883472656 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32207] ppid=32200 vsize=25996628 memory=15880 CPUtime=0 cores=0-7 /proc/32203/task/32207/stat : 32207 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165882420112 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32208] ppid=32200 vsize=25996628 memory=4048 CPUtime=0 cores=0-7 /proc/32203/task/32208/stat : 32208 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165881367568 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32209] ppid=32200 vsize=25996628 memory=43956 CPUtime=0 cores=0-7 /proc/32203/task/32209/stat : 32209 (java) S 32200 32203 28956 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165880315024 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32210] ppid=32200 vsize=25996628 memory=7446534198030126423 CPUtime=0 cores=0-7 /proc/32203/task/32210/stat : 32210 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165879261456 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32211] ppid=32200 vsize=25996628 memory=8099279071866868836 CPUtime=0 cores=0-7 /proc/32203/task/32211/stat : 32211 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165878208912 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32212] ppid=32200 vsize=25996628 memory=6148935659200796009 CPUtime=0 cores=0-7 /proc/32203/task/32212/stat : 32212 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165877156368 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32213] ppid=32200 vsize=25996628 memory=1232 CPUtime=0 cores=0-7 /proc/32203/task/32213/stat : 32213 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144589328 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165876103824 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32214] ppid=32200 vsize=25996628 memory=2248 CPUtime=0 cores=0-7 /proc/32203/task/32214/stat : 32214 (java) S 32200 32203 28956 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144589329 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165059160560 140165926517378 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32215] ppid=32200 vsize=25996628 memory=4300 CPUtime=0 cores=0-7 /proc/32203/task/32215/stat : 32215 (java) S 32200 32203 28956 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144589330 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165058106784 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32216] ppid=32200 vsize=25996628 memory=932 CPUtime=0 cores=0-7 /proc/32203/task/32216/stat : 32216 (java) S 32200 32203 28956 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144589330 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165057054192 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32217] ppid=32200 vsize=25996628 memory=1624 CPUtime=0 cores=0-7 /proc/32203/task/32217/stat : 32217 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589332 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165056002768 140165926524827 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32218] ppid=32200 vsize=25996628 memory=2160 CPUtime=0.08 cores=0-7 /proc/32203/task/32218/stat : 32218 (java) R 32200 32203 28956 0 -1 4202560 339 0 0 0 8 0 0 0 20 0 20 0 144589332 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165054935384 140165918795520 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32219] ppid=32200 vsize=25996628 memory=844 CPUtime=0.08 cores=0-7 /proc/32203/task/32219/stat : 32219 (java) R 32200 32203 28956 0 -1 4202560 510 0 0 0 8 0 0 0 20 0 20 0 144589333 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165053877832 140165918795613 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32220] ppid=32200 vsize=25996628 memory=16448 CPUtime=0.09 cores=0-7 /proc/32203/task/32220/stat : 32220 (java) R 32200 32203 28956 0 -1 4202560 847 0 0 0 9 0 0 0 20 0 20 0 144589333 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165052828840 140165908049954 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32221] ppid=32200 vsize=25996628 memory=4844 CPUtime=0.16 cores=0-7 /proc/32203/task/32221/stat : 32221 (java) R 32200 32203 28956 0 -1 4202560 891 0 0 0 16 0 0 0 20 0 20 0 144589333 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140165051786104 140165905447810 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32222] ppid=32200 vsize=25996628 memory=4068 CPUtime=0 cores=0-7 /proc/32203/task/32222/stat : 32222 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144589333 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140164982631136 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32223] ppid=32200 vsize=25996628 memory=4028 CPUtime=0 cores=0-7 /proc/32203/task/32223/stat : 32223 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144589337 26620547072 16895 18446744073709551615 4194304 4196468 140735781281984 140164981578672 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 Current children cumulated CPU time: 0.91 s Current children cumulated vsize: 25996628 KiB Current children cumulated memory: 67580 KiB [startup+1.50114 s] /proc/loadavg: 6.67 7.36 7.89 5/192 32223 /proc/meminfo: memFree=30880304/32770624 swapFree=67108860/67108860 [pid=32203] ppid=32200 vsize=26000724 memory=222904 CPUtime=4.17 cores=0-7 /proc/32203/stat : 32203 (java) S 32200 32203 28956 0 -1 1077944320 26771 0 0 0 402 15 0 0 20 0 20 0 144589309 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140735781264528 140165926506231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 17 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 /proc/32203/statm: 6500181 55726 3794 1 0 6488954 0 [pid=32203/tid=32205] ppid=32200 vsize=26000724 memory=0 CPUtime=1.24 cores=0-7 /proc/32203/task/32205/stat : 32205 (java) R 32200 32203 28956 0 -1 4202560 11825 0 0 0 119 5 0 0 20 0 20 0 144589327 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165930742448 140165541914665 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32206] ppid=32200 vsize=26000724 memory=2241 CPUtime=0 cores=0-7 /proc/32203/task/32206/stat : 32206 (java) S 32200 32203 28956 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165883472656 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32207] ppid=32200 vsize=26000724 memory=164 CPUtime=0 cores=0-7 /proc/32203/task/32207/stat : 32207 (java) S 32200 32203 28956 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165882420112 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32208] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32208/stat : 32208 (java) S 32200 32203 28956 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165881367568 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32209] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32209/stat : 32209 (java) S 32200 32203 28956 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165880315024 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32210] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32210/stat : 32210 (java) S 32200 32203 28956 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165879261456 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32211] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32211/stat : 32211 (java) S 32200 32203 28956 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165878208912 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32212] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32212/stat : 32212 (java) S 32200 32203 28956 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165877156368 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32213] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32213/stat : 32213 (java) S 32200 32203 28956 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 144589328 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165876103824 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32214] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32214/stat : 32214 (java) S 32200 32203 28956 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 144589329 26624741376 55726 18446744073709551615 4194304 4196468 140735781281984 140165059160560 140165926517378 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32215] ppid=32200 vsize=26000724 memory=139963119392336 CPUtime=0 cores=0-7 /proc/32203/task/32215/stat : 32215 (java) S 32200 32203 28956 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 144589330 26624741376 55792 18446744073709551615 4194304 4196468 140735781281984 140165058106848 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32216] ppid=32200 vsize=26000724 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32216/stat : 32216 (java) S 32200 32203 28956 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 144589330 26624741376 55792 18446744073709551615 4194304 4196468 140735781281984 140165057054208 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 ################ # More data... # ################ /proc/32203/task/32205/stat : 32205 (java) S 32200 32203 28956 0 -1 1077944384 17418 0 0 0 1115 14 0 0 20 0 36 0 144589327 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165930743936 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32206] ppid=32200 vsize=27073976 memory=6656426216303648864 CPUtime=3.89 cores=0-7 /proc/32203/task/32206/stat : 32206 (java) S 32200 32203 28956 0 -1 1077944384 19490 0 0 0 258 131 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165883472656 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32207] ppid=32200 vsize=27073976 memory=6944656575208382560 CPUtime=3.89 cores=0-7 /proc/32203/task/32207/stat : 32207 (java) S 32200 32203 28956 0 -1 1077944384 16642 0 0 0 268 121 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165882420112 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32208] ppid=32200 vsize=27073976 memory=6655300316396806240 CPUtime=3.93 cores=0-7 /proc/32203/task/32208/stat : 32208 (java) S 32200 32203 28956 0 -1 1077944384 13735 0 0 0 258 135 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165881367568 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32209] ppid=32200 vsize=27073976 memory=-3833726747341067623 CPUtime=3.96 cores=0-7 /proc/32203/task/32209/stat : 32209 (java) S 32200 32203 28956 0 -1 1077944384 18481 0 0 0 269 127 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165880315024 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32210] ppid=32200 vsize=27073976 memory=7377556349366136168 CPUtime=3.86 cores=0-7 /proc/32203/task/32210/stat : 32210 (java) S 32200 32203 28956 0 -1 1077944384 18996 0 0 0 261 125 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165879261456 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32211] ppid=32200 vsize=27073976 memory=6372145316202309218 CPUtime=3.9 cores=0-7 /proc/32203/task/32211/stat : 32211 (java) S 32200 32203 28956 0 -1 1077944384 13399 0 0 0 266 124 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165878208912 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32212] ppid=32200 vsize=27073976 memory=4048 CPUtime=3.86 cores=0-7 /proc/32203/task/32212/stat : 32212 (java) S 32200 32203 28956 0 -1 1077944384 14741 0 0 0 263 123 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165877156368 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32213] ppid=32200 vsize=27073976 memory=43956 CPUtime=3.87 cores=0-7 /proc/32203/task/32213/stat : 32213 (java) S 32200 32203 28956 0 -1 1077944384 16399 0 0 0 266 121 0 0 20 0 36 0 144589328 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165876103824 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32214] ppid=32200 vsize=27073976 memory=1788 CPUtime=0.32 cores=0-7 /proc/32203/task/32214/stat : 32214 (java) S 32200 32203 28956 0 -1 1077944384 17853 0 0 0 29 3 0 0 20 0 36 0 144589329 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165059160560 140165926517378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32215] ppid=32200 vsize=27073976 memory=640 CPUtime=0 cores=0-7 /proc/32203/task/32215/stat : 32215 (java) S 32200 32203 28956 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 36 0 144589330 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165058106848 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32216] ppid=32200 vsize=27073976 memory=960 CPUtime=0 cores=0-7 /proc/32203/task/32216/stat : 32216 (java) S 32200 32203 28956 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 36 0 144589330 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165057054208 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32217] ppid=32200 vsize=27073976 memory=1232 CPUtime=0 cores=0-7 /proc/32203/task/32217/stat : 32217 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 36 0 144589332 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165056002768 140165926524827 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32218] ppid=32200 vsize=27073976 memory=2248 CPUtime=2.38 cores=0-7 /proc/32203/task/32218/stat : 32218 (java) S 32200 32203 28956 0 -1 1077944384 9054 0 0 0 237 1 0 0 20 0 36 0 144589332 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165054949360 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32219] ppid=32200 vsize=27073976 memory=4300 CPUtime=2.5 cores=0-7 /proc/32203/task/32219/stat : 32219 (java) S 32200 32203 28956 0 -1 1077944384 8712 0 0 0 248 2 0 0 20 0 36 0 144589333 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165053896816 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32220] ppid=32200 vsize=27073976 memory=932 CPUtime=2.37 cores=0-7 /proc/32203/task/32220/stat : 32220 (java) S 32200 32203 28956 0 -1 1077944384 7999 0 0 0 236 1 0 0 20 0 36 0 144589333 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165052844272 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32221] ppid=32200 vsize=27073976 memory=1624 CPUtime=1.06 cores=0-7 /proc/32203/task/32221/stat : 32221 (java) S 32200 32203 28956 0 -1 1077944384 13317 0 0 0 102 4 0 0 20 0 36 0 144589333 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140165051791728 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32222] ppid=32200 vsize=27073976 memory=2160 CPUtime=0 cores=0-7 /proc/32203/task/32222/stat : 32222 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 36 0 144589333 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164982631136 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32223] ppid=32200 vsize=27073976 memory=844 CPUtime=0.03 cores=0-7 /proc/32203/task/32223/stat : 32223 (java) S 32200 32203 28956 0 -1 1077944384 564 0 0 0 0 3 0 0 20 0 36 0 144589337 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164981578672 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32224] ppid=32200 vsize=27073976 memory=16448 CPUtime=0.01 cores=0-7 /proc/32203/task/32224/stat : 32224 (java) S 32200 32203 28956 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 36 0 144590467 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164971287840 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32225] ppid=32200 vsize=27073976 memory=33 CPUtime=0.18 cores=0-7 /proc/32203/task/32225/stat : 32225 (java) R 32200 32203 28956 0 -1 1077944384 2397 0 0 0 3 15 0 0 20 0 36 0 144590479 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164968138256 140165926517378 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32226] ppid=32200 vsize=27073976 memory=288230621803970871 CPUtime=23.32 cores=0-7 /proc/32203/task/32226/stat : 32226 (java) S 32200 32203 28956 0 -1 1077944384 31319 0 0 0 2325 7 0 0 20 0 36 0 144590490 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164967084944 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32227] ppid=32200 vsize=27073976 memory=13563795322702378 CPUtime=37.37 cores=0-7 /proc/32203/task/32227/stat : 32227 (java) R 32200 32203 28956 0 -1 4202560 39979 0 0 0 3721 16 0 0 20 0 36 0 144590490 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164963928392 140165547834755 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32228] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=23.2 cores=0-7 /proc/32203/task/32228/stat : 32228 (java) R 32200 32203 28956 0 -1 4202560 15172 0 0 0 2311 9 0 0 20 0 36 0 144590491 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164962881536 140165547908597 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32229] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=33.46 cores=0-7 /proc/32203/task/32229/stat : 32229 (java) R 32200 32203 28956 0 -1 4202560 28141 0 0 0 3325 21 0 0 20 0 36 0 144590493 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164961823640 140165545314067 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32230] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=22.41 cores=0-7 /proc/32203/task/32230/stat : 32230 (java) S 32200 32203 28956 0 -1 1077944384 23043 0 0 0 2229 12 0 0 20 0 36 0 144590493 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164960777616 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32231] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=44.17 cores=0-7 /proc/32203/task/32231/stat : 32231 (java) R 32200 32203 28956 0 -1 4202560 19982 0 0 0 4383 34 0 0 20 0 36 0 144590493 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164959723904 140165547834712 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32232] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=41.22 cores=0-7 /proc/32203/task/32232/stat : 32232 (java) R 32200 32203 28956 0 -1 4202560 33266 0 0 0 4110 12 0 0 20 0 36 0 144590493 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164958666456 140165547834743 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32233] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=22.97 cores=0-7 /proc/32203/task/32233/stat : 32233 (java) S 32200 32203 28956 0 -1 1077944384 14747 0 0 0 2286 11 0 0 20 0 36 0 144590494 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164957619984 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32234] ppid=32200 vsize=27073976 memory=7237398200190523748 CPUtime=45.56 cores=0-7 /proc/32203/task/32234/stat : 32234 (java) R 32200 32203 28956 0 -1 4202560 29484 0 0 0 4543 13 0 0 20 0 36 0 144590494 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164956560344 140165546040325 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32235] ppid=32200 vsize=27073976 memory=-8774313645642428999 CPUtime=0 cores=0-7 /proc/32203/task/32235/stat : 32235 (java) S 32200 32203 28956 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 36 0 144590494 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164955513648 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32236] ppid=32200 vsize=27073976 memory=8025788818457060452 CPUtime=0 cores=0-7 /proc/32203/task/32236/stat : 32236 (java) S 32200 32203 28956 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 36 0 144590494 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164954461104 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32237] ppid=32200 vsize=27073976 memory=0 CPUtime=0 cores=0-7 /proc/32203/task/32237/stat : 32237 (java) S 32200 32203 28956 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 36 0 144590494 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164953408560 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32238] ppid=32200 vsize=27073976 memory=0 CPUtime=45.66 cores=0-7 /proc/32203/task/32238/stat : 32238 (java) R 32200 32203 28956 0 -1 4202560 34778 0 0 0 4538 28 0 0 20 0 36 0 144590494 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164952355072 140165546039543 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32239] ppid=32200 vsize=27073976 memory=0 CPUtime=27.4 cores=0-7 /proc/32203/task/32239/stat : 32239 (java) R 32200 32203 28956 0 -1 4202560 8290 0 0 0 2726 14 0 0 20 0 36 0 144590625 27723751424 1282498 18446744073709551615 4194304 4196468 140735781281984 140164951302528 140165547908763 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 Current children cumulated CPU time: 418.3 s Current children cumulated vsize: 27073976 KiB Current children cumulated memory: 5129992 KiB [startup+62.6111 s] /proc/loadavg: 7.85 7.43 7.87 9/208 32240 /proc/meminfo: memFree=25860376/32770624 swapFree=67108860/67108860 [pid=32203] ppid=32200 vsize=27073976 memory=5130184 CPUtime=421.46 cores=0-7 /proc/32203/stat : 32203 (java) S 32200 32203 28956 0 -1 1077944320 492498 0 0 0 40921 1225 0 0 20 0 36 0 144589309 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140735781264528 140165926506231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 17 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 /proc/32203/statm: 6768494 1282546 3847 1 0 6756746 0 [pid=32203/tid=32205] ppid=32200 vsize=27073976 memory=1296 CPUtime=11.29 cores=0-7 /proc/32203/task/32205/stat : 32205 (java) S 32200 32203 28956 0 -1 1077944384 17418 0 0 0 1115 14 0 0 20 0 36 0 144589327 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165930743936 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32206] ppid=32200 vsize=27073976 memory=2420 CPUtime=3.89 cores=0-7 /proc/32203/task/32206/stat : 32206 (java) S 32200 32203 28956 0 -1 1077944384 19490 0 0 0 258 131 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165883472656 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32207] ppid=32200 vsize=27073976 memory=1732 CPUtime=3.89 cores=0-7 /proc/32203/task/32207/stat : 32207 (java) S 32200 32203 28956 0 -1 1077944384 16642 0 0 0 268 121 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165882420112 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32208] ppid=32200 vsize=27073976 memory=5788 CPUtime=3.93 cores=0-7 /proc/32203/task/32208/stat : 32208 (java) S 32200 32203 28956 0 -1 1077944384 13735 0 0 0 258 135 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165881367568 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32209] ppid=32200 vsize=27073976 memory=4612 CPUtime=3.96 cores=0-7 /proc/32203/task/32209/stat : 32209 (java) S 32200 32203 28956 0 -1 1077944384 18481 0 0 0 269 127 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165880315024 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32210] ppid=32200 vsize=27073976 memory=1708 CPUtime=3.86 cores=0-7 /proc/32203/task/32210/stat : 32210 (java) S 32200 32203 28956 0 -1 1077944384 18996 0 0 0 261 125 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165879261456 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32211] ppid=32200 vsize=27073976 memory=1444 CPUtime=3.9 cores=0-7 /proc/32203/task/32211/stat : 32211 (java) S 32200 32203 28956 0 -1 1077944384 13399 0 0 0 266 124 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165878208912 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32212] ppid=32200 vsize=27073976 memory=1228 CPUtime=3.86 cores=0-7 /proc/32203/task/32212/stat : 32212 (java) S 32200 32203 28956 0 -1 1077944384 14741 0 0 0 263 123 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165877156368 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32213] ppid=32200 vsize=27073976 memory=12216 CPUtime=3.87 cores=0-7 /proc/32203/task/32213/stat : 32213 (java) S 32200 32203 28956 0 -1 1077944384 16399 0 0 0 266 121 0 0 20 0 36 0 144589328 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165876103824 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32214] ppid=32200 vsize=27073976 memory=1992 CPUtime=0.32 cores=0-7 /proc/32203/task/32214/stat : 32214 (java) R 32200 32203 28956 0 -1 4202560 17853 0 0 0 29 3 0 0 20 0 36 0 144589329 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165059160696 140165911726462 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32215] ppid=32200 vsize=27073976 memory=1204 CPUtime=0 cores=0-7 /proc/32203/task/32215/stat : 32215 (java) S 32200 32203 28956 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 36 0 144589330 27723751424 1282546 18446744073709551615 4194304 4196468 140735781281984 140165058106848 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32216] ppid=32200 vsize=27073976 memory=1000 CPUtime=0 cores=0-7 /proc/32203/task/32216/stat : 32216 (java) S 32200 32203 28956 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 36 0 144589330 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140165057054208 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32217] ppid=32200 vsize=27073976 memory=796 CPUtime=0 cores=0-7 /proc/32203/task/32217/stat : 32217 (java) S 32200 32203 28956 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 36 0 144589332 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140165056002768 140165926524827 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32218] ppid=32200 vsize=27073976 memory=11200 CPUtime=2.41 cores=0-7 /proc/32203/task/32218/stat : 32218 (java) R 32200 32203 28956 0 -1 4202560 9404 0 0 0 239 2 0 0 20 0 36 0 144589332 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140165054941480 140165908049954 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32219] ppid=32200 vsize=27073976 memory=15880 CPUtime=2.5 cores=0-7 /proc/32203/task/32219/stat : 32219 (java) S 32200 32203 28956 0 -1 1077944384 8721 0 0 0 248 2 0 0 20 0 36 0 144589333 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140165053883648 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32220] ppid=32200 vsize=27073976 memory=4048 CPUtime=2.39 cores=0-7 /proc/32203/task/32220/stat : 32220 (java) R 32200 32203 28956 0 -1 4202560 8313 0 0 0 238 1 0 0 20 0 36 0 144589333 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140165052844568 140165911434924 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32221] ppid=32200 vsize=27073976 memory=43956 CPUtime=1.06 cores=0-7 /proc/32203/task/32221/stat : 32221 (java) S 32200 32203 28956 0 -1 1077944384 13662 0 0 0 102 4 0 0 20 0 36 0 144589333 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140165051786016 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32222] ppid=32200 vsize=27073976 memory=1788 CPUtime=0 cores=0-7 /proc/32203/task/32222/stat : 32222 (java) S 32200 32203 28956 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 36 0 144589333 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164982631136 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32223] ppid=32200 vsize=27073976 memory=640 CPUtime=0.03 cores=0-7 /proc/32203/task/32223/stat : 32223 (java) S 32200 32203 28956 0 -1 1077944384 564 0 0 0 0 3 0 0 20 0 36 0 144589337 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164981578672 140165926517378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32224] ppid=32200 vsize=27073976 memory=960 CPUtime=0.01 cores=0-7 /proc/32203/task/32224/stat : 32224 (java) S 32200 32203 28956 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 36 0 144590467 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164971277120 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32225] ppid=32200 vsize=27073976 memory=1232 CPUtime=0.18 cores=0-7 /proc/32203/task/32225/stat : 32225 (java) S 32200 32203 28956 0 -1 1077944384 2398 0 0 0 3 15 0 0 20 0 36 0 144590479 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164968137952 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32226] ppid=32200 vsize=27073976 memory=2248 CPUtime=23.32 cores=0-7 /proc/32203/task/32226/stat : 32226 (java) S 32200 32203 28956 0 -1 1077944384 31556 0 0 0 2325 7 0 0 20 0 36 0 144590490 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164967083360 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32227] ppid=32200 vsize=27073976 memory=4300 CPUtime=37.76 cores=0-7 /proc/32203/task/32227/stat : 32227 (java) S 32200 32203 28956 0 -1 1077944384 40515 0 0 0 3760 16 0 0 20 0 36 0 144590490 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164963930624 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32228] ppid=32200 vsize=27073976 memory=932 CPUtime=23.58 cores=0-7 /proc/32203/task/32228/stat : 32228 (java) S 32200 32203 28956 0 -1 1077944384 15201 0 0 0 2349 9 0 0 20 0 36 0 144590491 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164962876048 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32229] ppid=32200 vsize=27073976 memory=1624 CPUtime=33.86 cores=0-7 /proc/32203/task/32229/stat : 32229 (java) S 32200 32203 28956 0 -1 1077944384 28166 0 0 0 3364 22 0 0 20 0 36 0 144590493 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164961823168 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32230] ppid=32200 vsize=27073976 memory=2160 CPUtime=22.41 cores=0-7 /proc/32203/task/32230/stat : 32230 (java) S 32200 32203 28956 0 -1 1077944384 23068 0 0 0 2229 12 0 0 20 0 36 0 144590493 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164960770864 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32231] ppid=32200 vsize=27073976 memory=844 CPUtime=44.55 cores=0-7 /proc/32203/task/32231/stat : 32231 (java) R 32200 32203 28956 0 -1 1077944384 20012 0 0 0 4421 34 0 0 20 0 36 0 144590493 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164959721712 140165926516437 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32232] ppid=32200 vsize=27073976 memory=16448 CPUtime=41.61 cores=0-7 /proc/32203/task/32232/stat : 32232 (java) S 32200 32203 28956 0 -1 1077944384 33311 0 0 0 4149 12 0 0 20 0 36 0 144590493 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164958665872 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32233] ppid=32200 vsize=27073976 memory=4844 CPUtime=22.97 cores=0-7 /proc/32203/task/32233/stat : 32233 (java) S 32200 32203 28956 0 -1 1077944384 14752 0 0 0 2286 11 0 0 20 0 36 0 144590494 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164957613232 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32234] ppid=32200 vsize=27073976 memory=4844 CPUtime=45.94 cores=0-7 /proc/32203/task/32234/stat : 32234 (java) S 32200 32203 28956 0 -1 1077944384 29542 0 0 0 4581 13 0 0 20 0 36 0 144590494 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164956559424 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32235] ppid=32200 vsize=27073976 memory=4068 CPUtime=0 cores=0-7 /proc/32203/task/32235/stat : 32235 (java) S 32200 32203 28956 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 36 0 144590494 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164955513168 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32236] ppid=32200 vsize=27073976 memory=1156 CPUtime=0 cores=0-7 /proc/32203/task/32236/stat : 32236 (java) S 32200 32203 28956 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 36 0 144590494 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164954460624 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32237] ppid=32200 vsize=27073976 memory=3536 CPUtime=0 cores=0-7 /proc/32203/task/32237/stat : 32237 (java) S 32200 32203 28956 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 36 0 144590494 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164953408400 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32238] ppid=32200 vsize=27073976 memory=5129992 CPUtime=46.04 cores=0-7 /proc/32203/task/32238/stat : 32238 (java) S 32200 32203 28956 0 -1 1077944384 35725 0 0 0 4576 28 0 0 20 0 36 0 144590494 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164952350400 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 [pid=32203/tid=32239] ppid=32200 vsize=27073976 memory=-8774313645642428999 CPUtime=27.79 cores=0-7 /proc/32203/task/32239/stat : 32239 (java) S 32200 32203 28956 0 -1 1077944384 8363 0 0 0 2765 14 0 0 20 0 36 0 144590625 27723751424 1282552 18446744073709551615 4194304 4196468 140735781281984 140164951297552 140165926516437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16936960 140735781286252 140735781286437 140735781286437 140735781289935 0 Current children cumulated CPU time: 421.46 s Current children cumulated vsize: 27073976 KiB Current children cumulated memory: 5130184 KiB [startup+62.7014 s]* /proc/loadavg: 7.85 7.43 7.87 2/174 32247 /proc/meminfo: memFree=30105928/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 62.7155 CPU time (s): 421.711 CPU user time (s): 409.401 CPU system time (s): 12.3103 CPU usage (%): 672.419 Max. virtual memory (cumulated for all children) (KiB): 27073976 Max. memory (cumulated for all children) (KiB): 5130184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 409.401 system time used= 12.3103 maximum resident set size= 5130672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 494223 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19011 involuntary context switches= 8911 # summary of solver processes directly reported to runsolver: # pid: 32203 # total CPU time (s): 421.711 # total CPU user time (s): 409.401 # total CPU system time (s): 12.3103 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.501862 second user time and 0.899076 second system time The end
Begin job on node127 at 2017-08-22 19:31:51 IDJOB=4285450 IDBENCH=123298 IDSOLVER=2681 FILE ID=node127/4285450-1503423965 RUNJOBID= node127-1503398602-29012 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-80-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-4285450-1503423965/watcher-4285450-1503423965 -o /tmp/evaluation-result-4285450-1503423965/solver-4285450-1503423965 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1503398602-29012 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 481969832 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285450-1503423965.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 525b735ba8bb5a039c9336c4821cc140 RANDOM SEED=481969832 node127.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.92 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.92 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.92 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.92 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: 30985344 kB MemAvailable: 31951752 kB Buffers: 317988 kB Cached: 959096 kB SwapCached: 0 kB Active: 924408 kB Inactive: 408712 kB Active(anon): 6772 kB Inactive(anon): 107320 kB Active(file): 917636 kB Inactive(file): 301392 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42868 kB Writeback: 0 kB AnonPages: 56140 kB Mapped: 68448 kB Shmem: 58020 kB Slab: 152956 kB SReclaimable: 126428 kB SUnreclaim: 26528 kB KernelStack: 3072 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 328180 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61988 MiB End job on node127 at 2017-08-22 19:32:54