Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 1015 | 131.666 | 17.5107 |
Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-par16-3.xml |
MD5SUM | ad8b9cd5515c3ce9f06e2b183513350f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1015 |
Best CPU time to get the best result obtained on this benchmark | 54.0493 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2030 |
Number of constraints | 4359 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2030}] |
Minimum variable degree | 3 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":3,"count":20},{"degree":4,"count":308},{"degree":5,"count":526},{"degree":6,"count":414},{"degree":7,"count":358},{"degree":8,"count":372},{"degree":26,"count":2},{"degree":28,"count":4},{"degree":30,"count":4},{"degree":32,"count":2},{"degree":34,"count":8},{"degree":36,"count":2},{"degree":38,"count":4},{"degree":40,"count":2},{"degree":42,"count":2},{"degree":44,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":1,"count":76},{"arity":2,"count":1971},{"arity":3,"count":2312}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4359}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393795-1568438015.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393795-1568438015.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 5.73/1.60 c solve instance... 50.61/7.36 o 1015 130.89/17.49 s OPTIMUM FOUND 130.89/17.49 v <instantiation> 130.89/17.49 v <list>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] </list> 130.89/17.49 v <values>1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 </values> 130.89/17.49 v </instantiation>
OK 1015
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 (14971 MiB free) memory of node 1: 16384 MiB (15359 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393795-1568438015/watcher-4393795-1568438015 -o /tmp/evaluation-result-4393795-1568438015/solver-4393795-1568438015 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568426415-21453 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1579307346 HOME/instance-4393795-1568438015.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23291, runsolver pid=23288 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 5.08 7.38 7.96 2/210 23312 /proc/meminfo: memFree=31042344/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 [pid=23293] ppid=23291 vsize=28227388 memory=29336 CPUtime=0.12 cores=0-7 /proc/23293/stat : 23293 (java) S 23291 23291 21426 0 -1 1077944320 5726 0 0 0 10 2 0 0 20 0 20 0 420057469 28904845312 7334 33554432000 4194304 4196468 140727160980416 140727160962960 140482527719159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 /proc/23293/statm: 7056847 7334 3147 1 0 7019032 0 [pid=23293/tid=23294] ppid=23291 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/23293/task/23294/stat : 23294 (java) R 23291 23291 21426 0 -1 4202560 3650 0 0 0 8 1 0 0 20 0 20 0 420057469 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482531951936 140482527731094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23295] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23295/stat : 23295 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482480339472 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23296] ppid=23291 vsize=28227388 memory=288370225902278272 CPUtime=0 cores=0-7 /proc/23293/task/23296/stat : 23296 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482479286928 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23297] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23297/stat : 23297 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482478233872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23298] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23298/stat : 23298 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482477181328 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23299] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23299/stat : 23299 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482476129296 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23300] ppid=23291 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23293/task/23300/stat : 23300 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482073975952 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23301] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23301/stat : 23301 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482072922896 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23302] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23302/stat : 23302 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 7334 33554432000 4194304 4196468 140727160980416 140482071870352 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23303] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23303/stat : 23303 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057472 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480923793648 140482527730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23304] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23304/stat : 23304 (java) S 23291 23291 21426 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420057472 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480922739872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23305] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23305/stat : 23305 (java) S 23291 23291 21426 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420057472 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480921686768 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23306] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23306/stat : 23306 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480920635344 140482527737755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23307] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23307/stat : 23307 (java) S 23291 23291 21426 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480919583472 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23308] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23308/stat : 23308 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480918530928 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23309] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23309/stat : 23309 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480917477872 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23310] ppid=23291 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/23293/task/23310/stat : 23310 (java) R 23291 23291 21426 0 -1 4202560 337 0 0 0 1 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480916425328 140482527731094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23311] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23311/stat : 23311 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480915372512 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23312] ppid=23291 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23293/task/23312/stat : 23312 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 7334 33554432000 4194304 4196468 140727160980416 140480914320048 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30788 KiB [startup+0.21015 s]* /proc/loadavg: 5.08 7.38 7.96 3/210 23312 /proc/meminfo: memFree=31029888/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 [pid=23293] ppid=23291 vsize=28227388 memory=41156 CPUtime=0.34 cores=0-7 /proc/23293/stat : 23293 (java) S 23291 23291 21426 0 -1 1077944320 9508 0 0 0 30 4 0 0 20 0 20 0 420057469 28904845312 10289 33554432000 4194304 4196468 140727160980416 140727160962960 140482527719159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 /proc/23293/statm: 7056847 10289 3303 1 0 7019032 0 [pid=23293/tid=23294] ppid=23291 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/23293/task/23294/stat : 23294 (java) R 23291 23291 21426 0 -1 4202560 6649 0 0 0 17 2 0 0 20 0 20 0 420057469 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482531951072 140482511799646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23295] ppid=23291 vsize=28227388 memory=10923 CPUtime=0 cores=0-7 /proc/23293/task/23295/stat : 23295 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482480339472 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23296] ppid=23291 vsize=28227388 memory=139849750588151 CPUtime=0 cores=0-7 /proc/23293/task/23296/stat : 23296 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482479286928 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23297] ppid=23291 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23293/task/23297/stat : 23297 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482478233872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23298] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23298/stat : 23298 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482477181328 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23299] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23299/stat : 23299 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482476129296 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23300] ppid=23291 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23293/task/23300/stat : 23300 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482073975952 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23301] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23301/stat : 23301 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482072922896 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23302] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23302/stat : 23302 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28904845312 10289 33554432000 4194304 4196468 140727160980416 140482071870352 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23303] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23303/stat : 23303 (java) S 23291 23291 21426 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420057472 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480923793648 140482527730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23304] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23304/stat : 23304 (java) S 23291 23291 21426 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420057472 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480922739872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23305] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23305/stat : 23305 (java) S 23291 23291 21426 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420057472 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480921686768 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23306] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23306/stat : 23306 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480920635344 140482527737755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23307] ppid=23291 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/23293/task/23307/stat : 23307 (java) S 23291 23291 21426 0 -1 1077944384 672 0 0 0 2 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480919583472 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23308] ppid=23291 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/23293/task/23308/stat : 23308 (java) S 23291 23291 21426 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480918530928 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23309] ppid=23291 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/23293/task/23309/stat : 23309 (java) S 23291 23291 21426 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480917477872 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23310] ppid=23291 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/23293/task/23310/stat : 23310 (java) R 23291 23291 21426 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480916425328 140482511799646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23311] ppid=23291 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23311/stat : 23311 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480915372512 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23312] ppid=23291 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23293/task/23312/stat : 23312 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057475 28904845312 10289 33554432000 4194304 4196468 140727160980416 140480914320048 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42608 KiB [startup+0.309607 s]* /proc/loadavg: 4.76 7.28 7.92 2/210 23312 /proc/meminfo: memFree=31024416/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 [pid=23293] ppid=23291 vsize=28231644 memory=49832 CPUtime=0.53 cores=0-7 /proc/23293/stat : 23293 (java) S 23291 23291 21426 0 -1 1077944320 10754 0 0 0 48 5 0 0 20 0 20 0 420057469 28909203456 12458 33554432000 4194304 4196468 140727160980416 140727160962960 140482527719159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 /proc/23293/statm: 7057911 12458 3358 1 0 7019032 0 [pid=23293/tid=23294] ppid=23291 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/23293/task/23294/stat : 23294 (java) R 23291 23291 21426 0 -1 4202560 7715 0 0 0 26 3 0 0 20 0 20 0 420057469 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482531950272 140482511799646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23295] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23295/stat : 23295 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482480339472 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23296] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23296/stat : 23296 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482479286928 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23297] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23297/stat : 23297 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482478233872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23298] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23298/stat : 23298 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482477181328 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23299] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23299/stat : 23299 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482476129296 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23300] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23300/stat : 23300 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482073975952 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23301] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23301/stat : 23301 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482072922896 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23302] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23302/stat : 23302 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28909203456 12524 33554432000 4194304 4196468 140727160980416 140482071870352 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23303] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23303/stat : 23303 (java) S 23291 23291 21426 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420057472 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480923793648 140482527730306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23304] ppid=23291 vsize=28231644 memory=279699276373376 CPUtime=0 cores=0-7 /proc/23293/task/23304/stat : 23304 (java) S 23291 23291 21426 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420057472 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480922739872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23305] ppid=23291 vsize=28231644 memory=279699276377984 CPUtime=0 cores=0-7 /proc/23293/task/23305/stat : 23305 (java) S 23291 23291 21426 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420057472 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480921686768 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23306] ppid=23291 vsize=28231644 memory=279699276382592 CPUtime=0 cores=0-7 /proc/23293/task/23306/stat : 23306 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480920635344 140482527737755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23307] ppid=23291 vsize=28231644 memory=279699276387200 CPUtime=0.03 cores=0-7 /proc/23293/task/23307/stat : 23307 (java) S 23291 23291 21426 0 -1 1077944384 683 0 0 0 3 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480919583472 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23308] ppid=23291 vsize=28231644 memory=279699276391808 CPUtime=0.02 cores=0-7 /proc/23293/task/23308/stat : 23308 (java) S 23291 23291 21426 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480918530928 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23309] ppid=23291 vsize=28231644 memory=279699276396416 CPUtime=0.02 cores=0-7 /proc/23293/task/23309/stat : 23309 (java) R 23291 23291 21426 0 -1 4202560 157 0 0 0 2 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480917477872 140482508419456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23310] ppid=23291 vsize=28231644 memory=279699276401024 CPUtime=0.12 cores=0-7 /proc/23293/task/23310/stat : 23310 (java) S 23291 23291 21426 0 -1 1077944384 861 0 0 0 12 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480916425328 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23311] ppid=23291 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23311/stat : 23311 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480915372512 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23312] ppid=23291 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/23293/task/23312/stat : 23312 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057475 28909203456 12524 33554432000 4194304 4196468 140727160980416 140480914320048 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51284 KiB [startup+0.700934 s] /proc/loadavg: 4.76 7.28 7.92 4/210 23312 /proc/meminfo: memFree=31001172/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 [pid=23293] ppid=23291 vsize=28233768 memory=100392 CPUtime=1.97 cores=0-7 /proc/23293/stat : 23293 (java) S 23291 23291 21426 0 -1 1077944320 15732 0 0 0 190 7 0 0 20 0 20 0 420057469 28911378432 25098 33554432000 4194304 4196468 140727160980416 140727160962960 140482527719159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 /proc/23293/statm: 7058442 25098 3449 1 0 7019544 0 [pid=23293/tid=23294] ppid=23291 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/23293/task/23294/stat : 23294 (java) R 23291 23291 21426 0 -1 4202560 8993 0 0 0 63 5 0 0 20 0 20 0 420057469 28911378432 25098 33554432000 4194304 4196468 140727160980416 140482531956992 140482159549501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23295] ppid=23291 vsize=28233768 memory=139849638388608 CPUtime=0 cores=0-7 /proc/23293/task/23295/stat : 23295 (java) S 23291 23291 21426 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420057470 28911378432 25098 33554432000 4194304 4196468 140727160980416 140482480339472 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23296] ppid=23291 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23296/stat : 23296 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420057470 28911378432 25098 33554432000 4194304 4196468 140727160980416 140482479286928 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23297] ppid=23291 vsize=28233768 memory=9364 CPUtime=0 cores=0-7 /proc/23293/task/23297/stat : 23297 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420057470 28911378432 25098 33554432000 4194304 4196468 140727160980416 140482478233872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 ################ # More data... # ################ [pid=23293/tid=23324] ppid=23291 vsize=28768328 memory=8048 CPUtime=8.99 cores=0-7 /proc/23293/task/23324/stat : 23324 (java) R 23291 23291 21426 0 -1 4202560 3856 0 0 0 895 4 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480901137320 140482163853478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23325] ppid=23291 vsize=28768328 memory=3444 CPUtime=8.74 cores=0-7 /proc/23293/task/23325/stat : 23325 (java) R 23291 23291 21426 0 -1 4202560 386 0 0 0 874 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480905347616 140482160697470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23326] ppid=23291 vsize=28768328 memory=1556 CPUtime=9.08 cores=0-7 /proc/23293/task/23326/stat : 23326 (java) R 23291 23291 21426 0 -1 4202560 1177 0 0 0 905 3 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480900084536 140482162418823 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23327] ppid=23291 vsize=28768328 memory=2832 CPUtime=8.95 cores=0-7 /proc/23293/task/23327/stat : 23327 (java) R 23291 23291 21426 0 -1 4202560 449 0 0 0 895 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480903242008 140482163570773 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23328] ppid=23291 vsize=28768328 memory=984 CPUtime=8.95 cores=0-7 /proc/23293/task/23328/stat : 23328 (java) R 23291 23291 21426 0 -1 4202560 321 0 0 0 895 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480902188704 140482162778463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23329] ppid=23291 vsize=28768328 memory=714292 CPUtime=8.84 cores=0-7 /proc/23293/task/23329/stat : 23329 (java) R 23291 23291 21426 0 -1 4202560 521 0 0 0 884 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480897978392 140482163569869 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 Current children cumulated CPU time: 126.12 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 715864 KiB [startup+17.202 s] /proc/loadavg: 5.34 7.28 7.91 10/218 23329 /proc/meminfo: memFree=30357904/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 [pid=23293] ppid=23291 vsize=28768328 memory=714412 CPUtime=129.3 cores=0-7 /proc/23293/stat : 23293 (java) S 23291 23291 21426 0 -1 1077944320 83692 0 0 0 12863 67 0 0 20 0 28 0 420057469 29458767872 178603 33554432000 4194304 4196468 140727160980416 140727160962960 140482527719159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 /proc/23293/statm: 7192082 178603 3542 1 0 7153184 0 [pid=23293/tid=23294] ppid=23291 vsize=28768328 memory=928 CPUtime=1.58 cores=0-7 /proc/23293/task/23294/stat : 23294 (java) S 23291 23291 21426 0 -1 1077944384 9791 0 0 0 152 6 0 0 20 0 28 0 420057469 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482531959936 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23295] ppid=23291 vsize=28768328 memory=1680 CPUtime=0.11 cores=0-7 /proc/23293/task/23295/stat : 23295 (java) S 23291 23291 21426 0 -1 1077944384 1374 0 0 0 8 3 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482480339472 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23296] ppid=23291 vsize=28768328 memory=1444 CPUtime=0.12 cores=0-7 /proc/23293/task/23296/stat : 23296 (java) S 23291 23291 21426 0 -1 1077944384 1491 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482479286928 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23297] ppid=23291 vsize=28768328 memory=896 CPUtime=0.11 cores=0-7 /proc/23293/task/23297/stat : 23297 (java) S 23291 23291 21426 0 -1 1077944384 264 0 0 0 8 3 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482478233872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23298] ppid=23291 vsize=28768328 memory=1984 CPUtime=0.12 cores=0-7 /proc/23293/task/23298/stat : 23298 (java) S 23291 23291 21426 0 -1 1077944384 355 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482477181328 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23299] ppid=23291 vsize=28768328 memory=2552 CPUtime=0.13 cores=0-7 /proc/23293/task/23299/stat : 23299 (java) S 23291 23291 21426 0 -1 1077944384 327 0 0 0 9 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482476129296 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23300] ppid=23291 vsize=28768328 memory=1760 CPUtime=0.12 cores=0-7 /proc/23293/task/23300/stat : 23300 (java) S 23291 23291 21426 0 -1 1077944384 431 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482073975952 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23301] ppid=23291 vsize=28768328 memory=111632 CPUtime=0.11 cores=0-7 /proc/23293/task/23301/stat : 23301 (java) S 23291 23291 21426 0 -1 1077944384 290 0 0 0 8 3 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482072922896 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23302] ppid=23291 vsize=28768328 memory=804 CPUtime=0.12 cores=0-7 /proc/23293/task/23302/stat : 23302 (java) S 23291 23291 21426 0 -1 1077944384 453 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482071870352 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23303] ppid=23291 vsize=28768328 memory=1804 CPUtime=0.02 cores=0-7 /proc/23293/task/23303/stat : 23303 (java) S 23291 23291 21426 0 -1 1077944384 1196 0 0 0 2 0 0 0 20 0 28 0 420057472 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480923793648 140482527730306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23304] ppid=23291 vsize=28768328 memory=920 CPUtime=0 cores=0-7 /proc/23293/task/23304/stat : 23304 (java) S 23291 23291 21426 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 420057472 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480922739936 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23305] ppid=23291 vsize=28768328 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/23293/task/23305/stat : 23305 (java) S 23291 23291 21426 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 420057472 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480921686784 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23306] ppid=23291 vsize=28768328 memory=158 CPUtime=0 cores=0-7 /proc/23293/task/23306/stat : 23306 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480920635344 140482527737755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23307] ppid=23291 vsize=28768328 memory=11 CPUtime=3.93 cores=0-7 /proc/23293/task/23307/stat : 23307 (java) S 23291 23291 21426 0 -1 1077944384 18741 0 0 0 389 4 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480919583472 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23308] ppid=23291 vsize=28768328 memory=12 CPUtime=3.36 cores=0-7 /proc/23293/task/23308/stat : 23308 (java) S 23291 23291 21426 0 -1 1077944384 14427 0 0 0 334 2 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480918530928 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23309] ppid=23291 vsize=28768328 memory=6656426216303648864 CPUtime=4.1 cores=0-7 /proc/23293/task/23309/stat : 23309 (java) S 23291 23291 21426 0 -1 1077944384 15097 0 0 0 408 2 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480917477872 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23310] ppid=23291 vsize=28768328 memory=12 CPUtime=1.12 cores=0-7 /proc/23293/task/23310/stat : 23310 (java) S 23291 23291 21426 0 -1 1077944384 7415 0 0 0 109 3 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480916425328 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23311] ppid=23291 vsize=28768328 memory=13 CPUtime=0 cores=0-7 /proc/23293/task/23311/stat : 23311 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480915372512 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23312] ppid=23291 vsize=28768328 memory=12 CPUtime=0 cores=0-7 /proc/23293/task/23312/stat : 23312 (java) S 23291 23291 21426 0 -1 1077944384 855 0 0 0 0 0 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480914320048 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23322] ppid=23291 vsize=28768328 memory=11 CPUtime=9.5 cores=0-7 /proc/23293/task/23322/stat : 23322 (java) R 23291 23291 21426 0 -1 4202560 415 0 0 0 950 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480904293768 140482166784934 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23323] ppid=23291 vsize=28768328 memory=12 CPUtime=9.27 cores=0-7 /proc/23293/task/23323/stat : 23323 (java) R 23291 23291 21426 0 -1 4202560 244 0 0 0 927 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480899031416 140482163695454 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23324] ppid=23291 vsize=28768328 memory=2 CPUtime=9.39 cores=0-7 /proc/23293/task/23324/stat : 23324 (java) R 23291 23291 21426 0 -1 4202560 3957 0 0 0 935 4 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480901137288 140482168541293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23325] ppid=23291 vsize=28768328 memory=0 CPUtime=9.14 cores=0-7 /proc/23293/task/23325/stat : 23325 (java) R 23291 23291 21426 0 -1 4202560 388 0 0 0 914 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480905347752 140482163853380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23326] ppid=23291 vsize=28768328 memory=0 CPUtime=9.48 cores=0-7 /proc/23293/task/23326/stat : 23326 (java) R 23291 23291 21426 0 -1 4202560 1193 0 0 0 945 3 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480900084536 140482163955153 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23327] ppid=23291 vsize=28768328 memory=0 CPUtime=9.34 cores=0-7 /proc/23293/task/23327/stat : 23327 (java) R 23291 23291 21426 0 -1 4202560 451 0 0 0 934 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480903242008 140482164734581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23328] ppid=23291 vsize=28768328 memory=1452 CPUtime=9.35 cores=0-7 /proc/23293/task/23328/stat : 23328 (java) R 23291 23291 21426 0 -1 4202560 321 0 0 0 935 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480902188704 140482162799703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23329] ppid=23291 vsize=28768328 memory=33 CPUtime=9.24 cores=0-7 /proc/23293/task/23329/stat : 23329 (java) R 23291 23291 21426 0 -1 4202560 524 0 0 0 924 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480897978392 140482164735343 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 Current children cumulated CPU time: 129.3 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 715864 KiB [startup+17.402 s] /proc/loadavg: 5.34 7.28 7.91 10/218 23329 /proc/meminfo: memFree=30357904/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 [pid=23293] ppid=23291 vsize=28768328 memory=714412 CPUtime=130.89 cores=0-7 /proc/23293/stat : 23293 (java) S 23291 23291 21426 0 -1 1077944320 83719 0 0 0 13022 67 0 0 20 0 28 0 420057469 29458767872 178603 33554432000 4194304 4196468 140727160980416 140727160962960 140482527719159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 /proc/23293/statm: 7192082 178603 3542 1 0 7153184 0 [pid=23293/tid=23294] ppid=23291 vsize=28768328 memory=6944656592455360608 CPUtime=1.58 cores=0-7 /proc/23293/task/23294/stat : 23294 (java) S 23291 23291 21426 0 -1 1077944384 9791 0 0 0 152 6 0 0 20 0 28 0 420057469 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482531959936 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23295] ppid=23291 vsize=28768328 memory=-7812193691855986592 CPUtime=0.11 cores=0-7 /proc/23293/task/23295/stat : 23295 (java) S 23291 23291 21426 0 -1 1077944384 1374 0 0 0 8 3 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482480339472 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23296] ppid=23291 vsize=28768328 memory=-7812736537705029536 CPUtime=0.12 cores=0-7 /proc/23293/task/23296/stat : 23296 (java) S 23291 23291 21426 0 -1 1077944384 1491 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482479286928 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23297] ppid=23291 vsize=28768328 memory=-7088785026379990432 CPUtime=0.11 cores=0-7 /proc/23293/task/23297/stat : 23297 (java) S 23291 23291 21426 0 -1 1077944384 264 0 0 0 8 3 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482478233872 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23298] ppid=23291 vsize=28768328 memory=4206468019014099040 CPUtime=0.12 cores=0-7 /proc/23293/task/23298/stat : 23298 (java) S 23291 23291 21426 0 -1 1077944384 355 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482477181328 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23299] ppid=23291 vsize=28768328 memory=6943526294502006880 CPUtime=0.13 cores=0-7 /proc/23293/task/23299/stat : 23299 (java) S 23291 23291 21426 0 -1 1077944384 327 0 0 0 9 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482476129296 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23300] ppid=23291 vsize=28768328 memory=6944656575208382560 CPUtime=0.12 cores=0-7 /proc/23293/task/23300/stat : 23300 (java) S 23291 23291 21426 0 -1 1077944384 431 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482073975952 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23301] ppid=23291 vsize=28768328 memory=6944656592455360604 CPUtime=0.11 cores=0-7 /proc/23293/task/23301/stat : 23301 (java) S 23291 23291 21426 0 -1 1077944384 290 0 0 0 8 3 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482072922896 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23302] ppid=23291 vsize=28768328 memory=0 CPUtime=0.12 cores=0-7 /proc/23293/task/23302/stat : 23302 (java) S 23291 23291 21426 0 -1 1077944384 453 0 0 0 8 4 0 0 20 0 28 0 420057470 29458767872 178603 33554432000 4194304 4196468 140727160980416 140482071870352 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23303] ppid=23291 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/23293/task/23303/stat : 23303 (java) S 23291 23291 21426 0 -1 1077944384 1197 0 0 0 2 0 0 0 20 0 28 0 420057472 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480923793648 140482527730306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23304] ppid=23291 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23304/stat : 23304 (java) S 23291 23291 21426 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 420057472 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480922739936 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23305] ppid=23291 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23305/stat : 23305 (java) S 23291 23291 21426 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 420057472 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480921686784 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23306] ppid=23291 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23293/task/23306/stat : 23306 (java) S 23291 23291 21426 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480920635344 140482527737755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23307] ppid=23291 vsize=28768328 memory=-6081100125891549016 CPUtime=3.93 cores=0-7 /proc/23293/task/23307/stat : 23307 (java) S 23291 23291 21426 0 -1 1077944384 18741 0 0 0 389 4 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480919583472 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23308] ppid=23291 vsize=28768328 memory=-6154581634397065563 CPUtime=3.36 cores=0-7 /proc/23293/task/23308/stat : 23308 (java) S 23291 23291 21426 0 -1 1077944384 14427 0 0 0 334 2 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480918530928 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23309] ppid=23291 vsize=28768328 memory=3833724587141655355 CPUtime=4.1 cores=0-7 /proc/23293/task/23309/stat : 23309 (java) S 23291 23291 21426 0 -1 1077944384 15097 0 0 0 408 2 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480917477872 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23310] ppid=23291 vsize=28768328 memory=-6944103529398779038 CPUtime=1.12 cores=0-7 /proc/23293/task/23310/stat : 23310 (java) S 23291 23291 21426 0 -1 1077944384 7415 0 0 0 109 3 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480916425328 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23311] ppid=23291 vsize=28768328 memory=-6870365860142356934 CPUtime=0 cores=0-7 /proc/23293/task/23311/stat : 23311 (java) S 23291 23291 21426 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480915372512 140482527729365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23312] ppid=23291 vsize=28768328 memory=7881675825025215336 CPUtime=0 cores=0-7 /proc/23293/task/23312/stat : 23312 (java) S 23291 23291 21426 0 -1 1077944384 855 0 0 0 0 0 0 0 20 0 28 0 420057475 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480914320048 140482527730306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23322] ppid=23291 vsize=28768328 memory=7235147594880805952 CPUtime=9.7 cores=0-7 /proc/23293/task/23322/stat : 23322 (java) R 23291 23291 21426 0 -1 4202560 416 0 0 0 970 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480904293176 140482163695266 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23323] ppid=23291 vsize=28768328 memory=7161966239662108004 CPUtime=9.47 cores=0-7 /proc/23293/task/23323/stat : 23323 (java) R 23291 23291 21426 0 -1 4202560 245 0 0 0 947 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480899030672 140482163853764 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23324] ppid=23291 vsize=28768328 memory=8173874364410062448 CPUtime=9.59 cores=0-7 /proc/23293/task/23324/stat : 23324 (java) R 23291 23291 21426 0 -1 4202560 3964 0 0 0 955 4 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480901136848 140482163787903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23325] ppid=23291 vsize=28768328 memory=7522793009050575193 CPUtime=9.34 cores=0-7 /proc/23293/task/23325/stat : 23325 (java) R 23291 23291 21426 0 -1 4202560 390 0 0 0 934 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480905347472 140482165560848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23326] ppid=23291 vsize=28768328 memory=0 CPUtime=9.68 cores=0-7 /proc/23293/task/23326/stat : 23326 (java) R 23291 23291 21426 0 -1 4202560 1206 0 0 0 965 3 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480900083728 140482165560766 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23327] ppid=23291 vsize=28768328 memory=0 CPUtime=9.54 cores=0-7 /proc/23293/task/23327/stat : 23327 (java) R 23291 23291 21426 0 -1 4202560 451 0 0 0 954 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480903242104 140482163955153 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23328] ppid=23291 vsize=28768328 memory=0 CPUtime=9.55 cores=0-7 /proc/23293/task/23328/stat : 23328 (java) R 23291 23291 21426 0 -1 4202560 321 0 0 0 955 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480902188816 140482163569908 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 [pid=23293/tid=23329] ppid=23291 vsize=28768328 memory=0 CPUtime=9.44 cores=0-7 /proc/23293/task/23329/stat : 23329 (java) R 23291 23291 21426 0 -1 4202560 526 0 0 0 944 0 0 0 20 0 28 0 420058206 29458767872 178603 33554432000 4194304 4196468 140727160980416 140480897978336 140482163853739 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 38883328 140727160984554 140727160984726 140727160984726 140727160987599 0 Current children cumulated CPU time: 130.89 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 715864 KiB [startup+17.5012 s] /proc/loadavg: 5.34 7.28 7.91 10/218 23329 /proc/meminfo: memFree=30357904/32770624 swapFree=66923088/67108860 [pid=23291] ppid=23288 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23291/stat : 23291 (xcsp3-exec) S 23288 23291 21426 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420057469 115843072 363 33554432000 4194304 5098028 140721182293408 140721182291512 140627461403260 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11759616 140721182298997 140721182299241 140721182299241 140721182302154 0 /proc/23291/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 17.5107 CPU time (s): 131.666 CPU user time (s): 130.973 CPU system time (s): 0.693465 CPU usage (%): 751.92 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 715864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 130.973 system time used= 0.693465 maximum resident set size= 714420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84875 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5311 involuntary context switches= 2667 # summary of solver processes directly reported to runsolver: # pid: 23291 # total CPU time (s): 131.666 # total CPU user time (s): 130.973 # total CPU system time (s): 0.693465 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.17834 second user time and 0.232712 second system time The end
Begin job on node107 at 2019-09-14 06:11:38 IDJOB=4393795 IDBENCH=134938 IDSOLVER=2841 FILE ID=node107/4393795-1568438015 RUNJOBID= node107-1568426415-21453 PBS_JOBID= 21702309 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-par16-3.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393795-1568438015/watcher-4393795-1568438015 -o /tmp/evaluation-result-4393795-1568438015/solver-4393795-1568438015 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568426415-21453 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1579307346 HOME/instance-4393795-1568438015.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ad8b9cd5515c3ce9f06e2b183513350f RANDOM SEED=1579307346 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 31058492 kB MemAvailable: 31827924 kB Buffers: 177020 kB Cached: 865032 kB SwapCached: 78972 kB Active: 570356 kB Inactive: 551924 kB Active(anon): 10484 kB Inactive(anon): 101176 kB Active(file): 559872 kB Inactive(file): 450748 kB Unevictable: 109964 kB Mlocked: 109964 kB SwapTotal: 67108860 kB SwapFree: 66923088 kB Dirty: 26224 kB Writeback: 0 kB AnonPages: 57928 kB Mapped: 35728 kB Shmem: 22816 kB Slab: 178244 kB SReclaimable: 149292 kB SUnreclaim: 28952 kB KernelStack: 3856 kB PageTables: 5972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-14 06:11:56