Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT | 23.6084 | 4.5964599 |
Name | Sat/ Sat-dual-flat200-479/Sat-flat200-32-dual.xml |
MD5SUM | 7854977918e267f3cbf8113349087b8a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.67010099 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2237 |
Number of constraints | 16314 |
Number of domains | 2 |
Minimum domain size | 3 |
Maximum domain size | 7 |
Distribution of domain sizes | [{"size":3,"count":2037},{"size":7,"count":200}] |
Minimum variable degree | 5 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":5,"count":21},{"degree":6,"count":7},{"degree":7,"count":72},{"degree":8,"count":9},{"degree":9,"count":98},{"degree":10,"count":18},{"degree":11,"count":165},{"degree":12,"count":135},{"degree":13,"count":297},{"degree":14,"count":180},{"degree":15,"count":346},{"degree":16,"count":219},{"degree":17,"count":294},{"degree":18,"count":159},{"degree":19,"count":108},{"degree":20,"count":33},{"degree":21,"count":35},{"degree":24,"count":27},{"degree":27,"count":14}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":16314}] |
Number of extensional constraints | 16314 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":16314}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271227-1502697547.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4271227-1502697547.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.27 c parse instance... 7.48/2.39 c solve instance... 23.23/4.45 s SATISFIABLE 23.23/4.45 v <instantiation> 23.23/4.45 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] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] </list> 23.23/4.45 v <values>1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 2 3 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 2 3 3 2 1 1 2 3 1 2 3 2 3 1 2 1 3 2 3 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 2 3 1 2 3 1 2 3 1 2 3 1 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 2 3 1 2 3 1 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 2 1 3 2 1 1 2 3 3 2 1 2 1 3 2 1 3 1 2 3 1 2 3 3 2 1 1 2 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 2 1 3 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 2 3 1 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 2 3 1 3 1 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 1 2 3 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 3 2 1 1 2 3 3 2 1 1 2 3 3 1 2 3 2 1 1 2 3 3 2 1 1 2 3 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 2 3 1 2 3 1 3 2 1 3 2 1 3 2 1 2 3 3 2 1 1 2 3 3 2 1 1 3 2 3 1 2 1 2 3 1 2 3 1 2 3 3 2 1 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 2 3 1 2 3 1 2 1 3 2 1 3 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 2 1 3 2 1 1 2 3 3 2 1 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 3 2 1 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 1 3 2 1 3 2 2 1 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 2 3 1 2 1 3 2 3 1 2 1 3 1 2 3 1 2 3 1 2 3 1 2 3 1 3 2 3 1 2 1 3 2 1 3 2 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 1 2 3 1 2 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 1 3 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 3 2 3 1 2 3 2 1 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 2 1 2 1 3 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 1 2 3 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 2 1 1 2 3 1 2 3 2 1 3 2 1 3 2 1 3 2 3 1 3 1 2 3 1 2 1 3 2 3 1 2 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 1 3 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 3 2 1 3 2 1 1 3 2 3 1 2 3 1 2 2 3 1 1 2 3 1 2 3 3 2 1 3 2 1 2 1 3 1 2 3 1 2 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 3 2 1 1 2 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 3 2 1 1 2 3 1 3 2 3 2 1 1 2 3 1 2 3 1 3 2 3 2 1 1 2 3 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 2 1 3 3 1 2 1 3 2 2 1 3 2 3 1 2 3 1 2 1 3 1 3 2 3 1 2 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 2 3 1 3 2 1 1 2 3 3 2 1 3 1 2 3 1 2 2 3 1 2 1 3 2 1 3 1 2 3 1 2 3 3 1 2 1 2 3 1 2 3 </values> 23.23/4.45 v </instantiation>
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15209 MiB free) memory of node 1: 16384 MiB (15589 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271227-1502697547/watcher-4271227-1502697547 -o /tmp/evaluation-result-4271227-1502697547/solver-4271227-1502697547 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502688738-12306 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2071747134 HOME/instance-4271227-1502697547.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14385, runsolver pid=14382 [startup+0.100121 s]* /proc/loadavg: 1.72 3.27 5.73 3/199 14406 /proc/meminfo: memFree=31521328/32770624 swapFree=67108860/67108860 [pid=14385] ppid=14382 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/14385/stat : 14385 (xcsp3-exec) S 14382 14385 12279 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102842959 9740288 345 33554432000 4194304 5098028 140732059479040 140732059477144 139844118401660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13193216 140732059485284 140732059485495 140732059485495 140732059488235 0 /proc/14385/statm: 2378 345 289 221 0 87 0 [pid=14387] ppid=14385 vsize=25999808 memory=27056 CPUtime=0.11 cores=0-7 /proc/14387/stat : 14387 (java) S 14385 14385 12279 0 -1 1077944320 5698 0 0 0 10 1 0 0 20 0 20 0 102842960 26623803392 6764 33554432000 4194304 4196468 140734303313184 140734303295728 140660694130423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 /proc/14387/statm: 6499952 6764 2846 1 0 6488269 0 [pid=14387/tid=14388] ppid=14385 vsize=25999808 memory=7897231754710130847 CPUtime=0.09 cores=0-7 /proc/14387/task/14388/stat : 14388 (java) R 14385 14385 12279 0 -1 4202560 3701 0 0 0 8 1 0 0 20 0 20 0 102842960 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660698363696 140660330075273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14389] ppid=14385 vsize=25999808 memory=732369987485621221 CPUtime=0 cores=0-7 /proc/14387/task/14389/stat : 14389 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660650683152 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14390] ppid=14385 vsize=25999808 memory=139849148167808 CPUtime=0 cores=0-7 /proc/14387/task/14390/stat : 14390 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660250901392 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14391] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14391/stat : 14391 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660249848848 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14392] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14392/stat : 14392 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660248796304 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14393] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14393/stat : 14393 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660247742736 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14394] ppid=14385 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/14387/task/14394/stat : 14394 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660246690192 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14395] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14395/stat : 14395 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660245637648 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14396] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14396/stat : 14396 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26623803392 6764 33554432000 4194304 4196468 140734303313184 140660244585104 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14397] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14397/stat : 14397 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842962 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659415853552 140660694141570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14398] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14398/stat : 14398 (java) S 14385 14385 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102842963 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659414799776 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14399] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14399/stat : 14399 (java) S 14385 14385 12279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102842963 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659413747184 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14400] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14400/stat : 14400 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842965 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659412695760 140660694149019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14401] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14401/stat : 14401 (java) S 14385 14385 12279 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 102842965 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659411642352 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14402] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14402/stat : 14402 (java) R 14385 14385 12279 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 102842965 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659410589808 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14403] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14403/stat : 14403 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842966 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659409537264 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14404] ppid=14385 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/14387/task/14404/stat : 14404 (java) S 14385 14385 12279 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 102842966 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659408484720 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14405] ppid=14385 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14405/stat : 14405 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842966 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659407432416 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14406] ppid=14385 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/14387/task/14406/stat : 14406 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842966 26623803392 6764 33554432000 4194304 4196468 140734303313184 140659406379952 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28436 KiB [startup+0.20996 s]* /proc/loadavg: 1.72 3.27 5.73 3/199 14406 /proc/meminfo: memFree=31511948/32770624 swapFree=67108860/67108860 [pid=14385] ppid=14382 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/14385/stat : 14385 (xcsp3-exec) S 14382 14385 12279 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102842959 9740288 345 33554432000 4194304 5098028 140732059479040 140732059477144 139844118401660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13193216 140732059485284 140732059485495 140732059485495 140732059488235 0 /proc/14385/statm: 2378 345 289 221 0 87 0 [pid=14387] ppid=14385 vsize=26004064 memory=38592 CPUtime=0.32 cores=0-7 /proc/14387/stat : 14387 (java) S 14385 14385 12279 0 -1 1077944320 8255 0 0 0 29 3 0 0 20 0 20 0 102842960 26628161536 9648 33554432000 4194304 4196468 140734303313184 140734303295728 140660694130423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 /proc/14387/statm: 6501016 9648 3039 1 0 6488269 0 [pid=14387/tid=14388] ppid=14385 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7 /proc/14387/task/14388/stat : 14388 (java) R 14385 14385 12279 0 -1 4202560 5459 0 0 0 18 2 0 0 20 0 20 0 102842960 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660698353312 140660678210910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14389] ppid=14385 vsize=26004064 memory=732369987485621221 CPUtime=0 cores=0-7 /proc/14387/task/14389/stat : 14389 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660650683152 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14390] ppid=14385 vsize=26004064 memory=139849148167808 CPUtime=0 cores=0-7 /proc/14387/task/14390/stat : 14390 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660250901392 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14391] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14391/stat : 14391 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660249848848 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14392] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14392/stat : 14392 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660248796304 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14393] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14393/stat : 14393 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660247742736 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14394] ppid=14385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14387/task/14394/stat : 14394 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660246690192 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14395] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14395/stat : 14395 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660245637648 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14396] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14396/stat : 14396 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 9648 33554432000 4194304 4196468 140734303313184 140660244585104 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14397] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14397/stat : 14397 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842962 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659415853552 140660694141570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14398] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14398/stat : 14398 (java) S 14385 14385 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102842963 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659414799776 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14399] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14399/stat : 14399 (java) S 14385 14385 12279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102842963 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659413747184 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14400] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14400/stat : 14400 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842965 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659412695760 140660694149019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14401] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14401/stat : 14401 (java) S 14385 14385 12279 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 102842965 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659411642352 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14402] ppid=14385 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/14387/task/14402/stat : 14402 (java) S 14385 14385 12279 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 102842965 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659410589808 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14403] ppid=14385 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/14387/task/14403/stat : 14403 (java) S 14385 14385 12279 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 20 0 102842966 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659409537264 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14404] ppid=14385 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/14387/task/14404/stat : 14404 (java) S 14385 14385 12279 0 -1 1077944384 690 0 0 0 7 0 0 0 20 0 20 0 102842966 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659408484720 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14405] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14405/stat : 14405 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842966 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659407432416 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14406] ppid=14385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14387/task/14406/stat : 14406 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842966 26628161536 9648 33554432000 4194304 4196468 140734303313184 140659406379952 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39972 KiB [startup+0.309703 s]* /proc/loadavg: 1.72 3.27 5.73 3/199 14406 /proc/meminfo: memFree=31507792/32770624 swapFree=67108860/67108860 [pid=14385] ppid=14382 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/14385/stat : 14385 (xcsp3-exec) S 14382 14385 12279 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102842959 9740288 345 33554432000 4194304 5098028 140732059479040 140732059477144 139844118401660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13193216 140732059485284 140732059485495 140732059485495 140732059488235 0 /proc/14385/statm: 2378 345 289 221 0 87 0 [pid=14387] ppid=14385 vsize=26004064 memory=43764 CPUtime=0.49 cores=0-7 /proc/14387/stat : 14387 (java) S 14385 14385 12279 0 -1 1077944320 9154 0 0 0 45 4 0 0 20 0 20 0 102842960 26628161536 10941 33554432000 4194304 4196468 140734303313184 140734303295728 140660694130423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 /proc/14387/statm: 6501016 10941 3096 1 0 6488269 0 [pid=14387/tid=14388] ppid=14385 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7 /proc/14387/task/14388/stat : 14388 (java) R 14385 14385 12279 0 -1 4202560 6133 0 0 0 26 2 0 0 20 0 20 0 102842960 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660698369200 140660694142358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14389] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14389/stat : 14389 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660650683152 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14390] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14390/stat : 14390 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660250901392 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14391] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14391/stat : 14391 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660249848848 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14392] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14392/stat : 14392 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660248796304 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14393] ppid=14385 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/14387/task/14393/stat : 14393 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660247742736 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14394] ppid=14385 vsize=26004064 memory=139849034199983 CPUtime=0 cores=0-7 /proc/14387/task/14394/stat : 14394 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660246690192 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14395] ppid=14385 vsize=26004064 memory=139849034202288 CPUtime=0 cores=0-7 /proc/14387/task/14395/stat : 14395 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660245637648 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14396] ppid=14385 vsize=26004064 memory=139849034204592 CPUtime=0 cores=0-7 /proc/14387/task/14396/stat : 14396 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628161536 10941 33554432000 4194304 4196468 140734303313184 140660244585104 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14397] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14397/stat : 14397 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842962 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659415853552 140660694141570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14398] ppid=14385 vsize=26004064 memory=279698068416144 CPUtime=0 cores=0-7 /proc/14387/task/14398/stat : 14398 (java) S 14385 14385 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102842963 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659414799776 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14399] ppid=14385 vsize=26004064 memory=279698068423056 CPUtime=0 cores=0-7 /proc/14387/task/14399/stat : 14399 (java) S 14385 14385 12279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102842963 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659413747184 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14400] ppid=14385 vsize=26004064 memory=279698068364336 CPUtime=0 cores=0-7 /proc/14387/task/14400/stat : 14400 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842965 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659412695760 140660694149019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14401] ppid=14385 vsize=26004064 memory=279698068436880 CPUtime=0.01 cores=0-7 /proc/14387/task/14401/stat : 14401 (java) S 14385 14385 12279 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 20 0 102842965 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659411642352 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14402] ppid=14385 vsize=26004064 memory=279698068443792 CPUtime=0.02 cores=0-7 /proc/14387/task/14402/stat : 14402 (java) S 14385 14385 12279 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 102842965 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659410589808 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14403] ppid=14385 vsize=26004064 memory=279698068441488 CPUtime=0.02 cores=0-7 /proc/14387/task/14403/stat : 14403 (java) S 14385 14385 12279 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 102842966 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659409537264 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14404] ppid=14385 vsize=26004064 memory=279698068457648 CPUtime=0.12 cores=0-7 /proc/14387/task/14404/stat : 14404 (java) R 14385 14385 12279 0 -1 4202560 827 0 0 0 12 0 0 0 20 0 20 0 102842966 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659408482512 140660687230123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14405] ppid=14385 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14405/stat : 14405 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842966 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659407432416 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14406] ppid=14385 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/14387/task/14406/stat : 14406 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842966 26628161536 10941 33554432000 4194304 4196468 140734303313184 140659406379952 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45144 KiB [startup+0.700999 s] /proc/loadavg: 1.72 3.27 5.73 4/199 14406 /proc/meminfo: memFree=31483600/32770624 swapFree=67108860/67108860 [pid=14385] ppid=14382 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/14385/stat : 14385 (xcsp3-exec) S 14382 14385 12279 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102842959 9740288 345 33554432000 4194304 5098028 140732059479040 140732059477144 139844118401660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13193216 140732059485284 140732059485495 140732059485495 140732059488235 0 /proc/14385/statm: 2378 345 289 221 0 87 0 [pid=14387] ppid=14385 vsize=26004140 memory=124368 CPUtime=2.04 cores=0-7 /proc/14387/stat : 14387 (java) S 14385 14385 12279 0 -1 1077944320 14019 0 0 0 197 7 0 0 20 0 20 0 102842960 26628239360 31092 33554432000 4194304 4196468 140734303313184 140734303295728 140660694130423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 /proc/14387/statm: 6501035 31092 3201 1 0 6488269 0 [pid=14387/tid=14388] ppid=14385 vsize=26004140 memory=279698068752576 CPUtime=0.67 cores=0-7 /proc/14387/task/14388/stat : 14388 (java) R 14385 14385 12279 0 -1 4202560 6509 0 0 0 63 4 0 0 20 0 20 0 102842960 26628239360 31092 33554432000 4194304 4196468 140734303313184 140660698360448 140660333430528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14389] ppid=14385 vsize=26004140 memory=1012 CPUtime=0 cores=0-7 /proc/14387/task/14389/stat : 14389 (java) S 14385 14385 12279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102842961 26628239360 31092 33554432000 4194304 4196468 140734303313184 140660650683152 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14390] ppid=14385 vsize=26004140 memory=1716 CPUtime=0 cores=0-7 /proc/14387/task/14390/stat : 14390 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102842961 26628239360 31092 33554432000 4194304 4196468 140734303313184 140660250901392 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14391] ppid=14385 vsize=26004140 memory=5792 CPUtime=0 cores=0-7 /proc/14387/task/14391/stat : 14391 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102842961 26628239360 31092 33554432000 4194304 4196468 140734303313184 140660249848848 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 ################ # More data... # ################ [pid=14387/tid=14394] ppid=14385 vsize=26538700 memory=15542903351017495 CPUtime=0.14 cores=0-7 /proc/14387/task/14394/stat : 14394 (java) S 14385 14385 12279 0 -1 1077944384 91 0 0 0 10 4 0 0 20 0 28 0 102842961 27175628800 148402 33554432000 4194304 4196468 140734303313184 140660246690192 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14395] ppid=14385 vsize=26538700 memory=17668 CPUtime=0.15 cores=0-7 /proc/14387/task/14395/stat : 14395 (java) S 14385 14385 12279 0 -1 1077944384 147 0 0 0 11 4 0 0 20 0 28 0 102842961 27175628800 148402 33554432000 4194304 4196468 140734303313184 140660245637648 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14396] ppid=14385 vsize=26538700 memory=-3621219749712857441 CPUtime=0.11 cores=0-7 /proc/14387/task/14396/stat : 14396 (java) S 14385 14385 12279 0 -1 1077944384 83 0 0 0 8 3 0 0 20 0 28 0 102842961 27175628800 148402 33554432000 4194304 4196468 140734303313184 140660244585104 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14397] ppid=14385 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/14387/task/14397/stat : 14397 (java) S 14385 14385 12279 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 28 0 102842962 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659415853552 140660694141570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14398] ppid=14385 vsize=26538700 memory=7237396104496764000 CPUtime=0 cores=0-7 /proc/14387/task/14398/stat : 14398 (java) S 14385 14385 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102842963 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659414799840 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14399] ppid=14385 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14399/stat : 14399 (java) S 14385 14385 12279 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102842963 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659413747200 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14400] ppid=14385 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14400/stat : 14400 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102842965 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659412695760 140660694149019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14401] ppid=14385 vsize=26538700 memory=6944656592455360608 CPUtime=1.55 cores=0-7 /proc/14387/task/14401/stat : 14401 (java) S 14385 14385 12279 0 -1 1077944384 2162 0 0 0 155 0 0 0 20 0 28 0 102842965 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659411642352 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14402] ppid=14385 vsize=26538700 memory=0 CPUtime=1.59 cores=0-7 /proc/14387/task/14402/stat : 14402 (java) S 14385 14385 12279 0 -1 1077944384 3541 0 0 0 158 1 0 0 20 0 28 0 102842965 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659410589808 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14403] ppid=14385 vsize=26538700 memory=0 CPUtime=1.62 cores=0-7 /proc/14387/task/14403/stat : 14403 (java) S 14385 14385 12279 0 -1 1077944384 2851 0 0 0 162 0 0 0 20 0 28 0 102842966 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659409537264 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14404] ppid=14385 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7 /proc/14387/task/14404/stat : 14404 (java) S 14385 14385 12279 0 -1 1077944384 3131 0 0 0 65 0 0 0 20 0 28 0 102842966 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659408484720 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14405] ppid=14385 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14405/stat : 14405 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102842966 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659407432416 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14406] ppid=14385 vsize=26538700 memory=-1 CPUtime=0 cores=0-7 /proc/14387/task/14406/stat : 14406 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102842966 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659406379952 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14407] ppid=14385 vsize=26538700 memory=-1 CPUtime=1.49 cores=0-7 /proc/14387/task/14407/stat : 14407 (java) R 14385 14385 12279 0 -1 4202560 128 0 0 0 148 1 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659398368608 140660337143382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14408] ppid=14385 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7 /proc/14387/task/14408/stat : 14408 (java) R 14385 14385 12279 0 -1 4202560 72 0 0 0 143 0 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659397316896 140660337730544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14409] ppid=14385 vsize=26538700 memory=80385 CPUtime=1.33 cores=0-7 /proc/14387/task/14409/stat : 14409 (java) R 14385 14385 12279 0 -1 4202560 244 0 0 0 131 2 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659396265464 140660337709944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14410] ppid=14385 vsize=26538700 memory=0 CPUtime=1.35 cores=0-7 /proc/14387/task/14410/stat : 14410 (java) R 14385 14385 12279 0 -1 4202560 121 0 0 0 135 0 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659395211656 140660337164331 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14411] ppid=14385 vsize=26538700 memory=0 CPUtime=1.42 cores=0-7 /proc/14387/task/14411/stat : 14411 (java) R 14385 14385 12279 0 -1 4202560 78 0 0 0 142 0 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659394160760 140660337143160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14412] ppid=14385 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7 /proc/14387/task/14412/stat : 14412 (java) R 14385 14385 12279 0 -1 4202560 125 0 0 0 139 0 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659393106728 140660337166574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14413] ppid=14385 vsize=26538700 memory=0 CPUtime=1.4 cores=0-7 /proc/14387/task/14413/stat : 14413 (java) R 14385 14385 12279 0 -1 4202560 75 0 0 0 140 0 0 0 20 0 28 0 102843202 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659392053224 140660337094348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14414] ppid=14385 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7 /proc/14387/task/14414/stat : 14414 (java) R 14385 14385 12279 0 -1 4202560 64 0 0 0 139 0 0 0 20 0 28 0 102843203 27175628800 148402 33554432000 4194304 4196468 140734303313184 140659391000752 140660337060071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 Current children cumulated CPU time: 20.14 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 594988 KiB [startup+4.40182 s] /proc/loadavg: 1.90 3.28 5.72 9/207 14414 /proc/meminfo: memFree=30957208/32770624 swapFree=67108860/67108860 [pid=14385] ppid=14382 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/14385/stat : 14385 (xcsp3-exec) S 14382 14385 12279 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102842959 9740288 345 33554432000 4194304 5098028 140732059479040 140732059477144 139844118401660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13193216 140732059485284 140732059485495 140732059485495 140732059488235 0 /proc/14385/statm: 2378 345 289 221 0 87 0 [pid=14387] ppid=14385 vsize=26538700 memory=597692 CPUtime=23.23 cores=0-7 /proc/14387/stat : 14387 (java) S 14385 14385 12279 0 -1 1077944320 27276 0 0 0 2268 55 0 0 20 0 28 0 102842960 27175628800 149423 33554432000 4194304 4196468 140734303313184 140734303295728 140660694130423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 /proc/14387/statm: 6634675 149423 3279 1 0 6621909 0 [pid=14387/tid=14388] ppid=14385 vsize=26538700 memory=4128 CPUtime=2.21 cores=0-7 /proc/14387/task/14388/stat : 14388 (java) S 14385 14385 12279 0 -1 1077944384 7002 0 0 0 214 7 0 0 20 0 28 0 102842960 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660698371200 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14389] ppid=14385 vsize=26538700 memory=6791534058613427641 CPUtime=0.15 cores=0-7 /proc/14387/task/14389/stat : 14389 (java) S 14385 14385 12279 0 -1 1077944384 91 0 0 0 11 4 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660650683152 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14390] ppid=14385 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7 /proc/14387/task/14390/stat : 14390 (java) S 14385 14385 12279 0 -1 1077944384 90 0 0 0 9 4 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660250901392 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14391] ppid=14385 vsize=26538700 memory=279698068741328 CPUtime=0.12 cores=0-7 /proc/14387/task/14391/stat : 14391 (java) S 14385 14385 12279 0 -1 1077944384 95 0 0 0 9 3 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660249848848 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14392] ppid=14385 vsize=26538700 memory=3473876632592478628 CPUtime=0.14 cores=0-7 /proc/14387/task/14392/stat : 14392 (java) S 14385 14385 12279 0 -1 1077944384 109 0 0 0 10 4 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660248796304 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14393] ppid=14385 vsize=26538700 memory=6299802978650451056 CPUtime=0.14 cores=0-7 /proc/14387/task/14393/stat : 14393 (java) S 14385 14385 12279 0 -1 1077944384 80 0 0 0 10 4 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660247742736 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14394] ppid=14385 vsize=26538700 memory=7380385388137112419 CPUtime=0.14 cores=0-7 /proc/14387/task/14394/stat : 14394 (java) S 14385 14385 12279 0 -1 1077944384 91 0 0 0 10 4 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660246690192 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14395] ppid=14385 vsize=26538700 memory=6791534058613427641 CPUtime=0.15 cores=0-7 /proc/14387/task/14395/stat : 14395 (java) S 14385 14385 12279 0 -1 1077944384 147 0 0 0 11 4 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660245637648 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14396] ppid=14385 vsize=26538700 memory=1 CPUtime=0.11 cores=0-7 /proc/14387/task/14396/stat : 14396 (java) S 14385 14385 12279 0 -1 1077944384 83 0 0 0 8 3 0 0 20 0 28 0 102842961 27175628800 149423 33554432000 4194304 4196468 140734303313184 140660244585104 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14397] ppid=14385 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7 /proc/14387/task/14397/stat : 14397 (java) S 14385 14385 12279 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 28 0 102842962 27175628800 149423 33554432000 4194304 4196468 140734303313184 140659415853552 140660694141570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14398] ppid=14385 vsize=26538700 memory=435 CPUtime=0 cores=0-7 /proc/14387/task/14398/stat : 14398 (java) S 14385 14385 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102842963 27175628800 149423 33554432000 4194304 4196468 140734303313184 140659414799840 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14399] ppid=14385 vsize=26538700 memory=279698069259792 CPUtime=0 cores=0-7 /proc/14387/task/14399/stat : 14399 (java) S 14385 14385 12279 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102842963 27175628800 149423 33554432000 4194304 4196468 140734303313184 140659413747200 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14400] ppid=14385 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14400/stat : 14400 (java) S 14385 14385 12279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102842965 27175628800 149423 33554432000 4194304 4196468 140734303313184 140659412695760 140660694149019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14401] ppid=14385 vsize=26538700 memory=0 CPUtime=1.76 cores=0-7 /proc/14387/task/14401/stat : 14401 (java) R 14385 14385 12279 0 -1 4202560 5604 0 0 0 174 2 0 0 20 0 28 0 102842965 27175628800 149423 33554432000 4194304 4196468 140734303313184 140659411628232 140660675674974 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14402] ppid=14385 vsize=26538700 memory=6944656592455097440 CPUtime=1.6 cores=0-7 /proc/14387/task/14402/stat : 14402 (java) R 14385 14385 12279 0 -1 4202560 3997 0 0 0 159 1 0 0 20 0 28 0 102842965 27175628800 149423 33554432000 4194304 4196468 140734303313184 140659410570448 140660674830720 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14403] ppid=14385 vsize=26538700 memory=6944656592455097440 CPUtime=1.67 cores=0-7 /proc/14387/task/14403/stat : 14403 (java) R 14385 14385 12279 0 -1 4202560 3724 0 0 0 166 1 0 0 20 0 28 0 102842966 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659409521280 140660673818838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14404] ppid=14385 vsize=26538700 memory=2769 CPUtime=0.65 cores=0-7 /proc/14387/task/14404/stat : 14404 (java) S 14385 14385 12279 0 -1 1077944384 3293 0 0 0 65 0 0 0 20 0 28 0 102842966 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659408484720 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14405] ppid=14385 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/14387/task/14405/stat : 14405 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102842966 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659407432416 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14406] ppid=14385 vsize=26538700 memory=-1664385933527516014 CPUtime=0 cores=0-7 /proc/14387/task/14406/stat : 14406 (java) S 14385 14385 12279 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 102842966 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659406379952 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14407] ppid=14385 vsize=26538700 memory=6944656575208382560 CPUtime=1.87 cores=0-7 /proc/14387/task/14407/stat : 14407 (java) R 14385 14385 12279 0 -1 4202560 138 0 0 0 186 1 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659398368712 140660337164392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14408] ppid=14385 vsize=26538700 memory=6944656592455097440 CPUtime=1.74 cores=0-7 /proc/14387/task/14408/stat : 14408 (java) R 14385 14385 12279 0 -1 4202560 82 0 0 0 174 0 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659397317176 140660337060267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14409] ppid=14385 vsize=26538700 memory=6944656592455359545 CPUtime=1.71 cores=0-7 /proc/14387/task/14409/stat : 14409 (java) R 14385 14385 12279 0 -1 4202560 261 0 0 0 169 2 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659396264136 140660337060267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14410] ppid=14385 vsize=26538700 memory=8187704045996132563 CPUtime=1.73 cores=0-7 /proc/14387/task/14410/stat : 14410 (java) R 14385 14385 12279 0 -1 4202560 153 0 0 0 173 0 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659395211784 140660337094746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14411] ppid=14385 vsize=26538700 memory=-6876588461455810464 CPUtime=1.67 cores=0-7 /proc/14387/task/14411/stat : 14411 (java) R 14385 14385 12279 0 -1 4202560 84 0 0 0 167 0 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659394158520 140660337163630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14412] ppid=14385 vsize=26538700 memory=4206468019014099040 CPUtime=1.74 cores=0-7 /proc/14387/task/14412/stat : 14412 (java) R 14385 14385 12279 0 -1 4202560 234 0 0 0 174 0 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659393106712 140660337060071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14413] ppid=14385 vsize=26538700 memory=8390361644446492005 CPUtime=1.78 cores=0-7 /proc/14387/task/14413/stat : 14413 (java) R 14385 14385 12279 0 -1 4202560 86 0 0 0 178 0 0 0 20 0 28 0 102843202 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659392053216 140660337143044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14414] ppid=14385 vsize=26538700 memory=-8890257214992072645 CPUtime=1.77 cores=0-7 /proc/14387/task/14414/stat : 14414 (java) R 14385 14385 12279 0 -1 4202560 93 0 0 0 177 0 0 0 20 0 28 0 102843203 27175628800 149426 33554432000 4194304 4196468 140734303313184 140659391000888 140660337208491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 Current children cumulated CPU time: 23.23 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 599072 KiB [startup+4.50126 s] /proc/loadavg: 1.90 3.28 5.72 9/207 14414 /proc/meminfo: memFree=30957208/32770624 swapFree=67108860/67108860 [pid=14385] ppid=14382 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/14385/stat : 14385 (xcsp3-exec) S 14382 14385 12279 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102842959 9740288 345 33554432000 4194304 5098028 140732059479040 140732059477144 139844118401660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13193216 140732059485284 140732059485495 140732059485495 140732059488235 0 /proc/14385/statm: 2378 345 289 221 0 87 0 [pid=14387] ppid=14385 vsize=26538700 memory=599504 CPUtime=23.58 cores=0-7 /proc/14387/stat : 14387 (java) S 14385 14385 12279 0 -1 1077944320 29897 0 0 0 2302 56 0 0 20 0 18 0 102842960 27175628800 149876 33554432000 4194304 4196468 140734303313184 140734303295728 140660694130423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 /proc/14387/statm: 6634675 149876 3284 1 0 6621909 0 [pid=14387/tid=14388] ppid=14385 vsize=26538700 memory=6791534058613427641 CPUtime=2.22 cores=0-7 /proc/14387/task/14388/stat : 14388 (java) D 14385 14385 12279 0 -1 4202560 7535 0 0 0 215 7 0 0 20 0 18 0 102842960 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660698373432 140660686816055 0 0 0 16800975 18446744072100400261 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14389] ppid=14385 vsize=26538700 memory=16564 CPUtime=0.15 cores=0-7 /proc/14387/task/14389/stat : 14389 (java) S 14385 14385 12279 0 -1 1077944384 91 0 0 0 11 4 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660650683152 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14390] ppid=14385 vsize=26538700 memory=4040 CPUtime=0.13 cores=0-7 /proc/14387/task/14390/stat : 14390 (java) S 14385 14385 12279 0 -1 1077944384 90 0 0 0 9 4 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660250901392 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14391] ppid=14385 vsize=26538700 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/14387/task/14391/stat : 14391 (java) S 14385 14385 12279 0 -1 1077944384 95 0 0 0 9 3 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660249848848 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14392] ppid=14385 vsize=26538700 memory=2344 CPUtime=0.14 cores=0-7 /proc/14387/task/14392/stat : 14392 (java) S 14385 14385 12279 0 -1 1077944384 109 0 0 0 10 4 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660248796304 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14393] ppid=14385 vsize=26538700 memory=928 CPUtime=0.14 cores=0-7 /proc/14387/task/14393/stat : 14393 (java) S 14385 14385 12279 0 -1 1077944384 80 0 0 0 10 4 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660247742736 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14394] ppid=14385 vsize=26538700 memory=1380 CPUtime=0.14 cores=0-7 /proc/14387/task/14394/stat : 14394 (java) S 14385 14385 12279 0 -1 1077944384 91 0 0 0 10 4 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660246690192 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14395] ppid=14385 vsize=26538700 memory=588372 CPUtime=0.15 cores=0-7 /proc/14387/task/14395/stat : 14395 (java) S 14385 14385 12279 0 -1 1077944384 147 0 0 0 11 4 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660245637648 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14396] ppid=14385 vsize=26538700 memory=4140 CPUtime=0.11 cores=0-7 /proc/14387/task/14396/stat : 14396 (java) S 14385 14385 12279 0 -1 1077944384 83 0 0 0 8 3 0 0 20 0 18 0 102842961 27175628800 149876 33554432000 4194304 4196468 140734303313184 140660244585104 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14398] ppid=14385 vsize=26538700 memory=8 CPUtime=0 cores=0-7 /proc/14387/task/14398/stat : 14398 (java) S 14385 14385 12279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 102842963 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659414799840 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14399] ppid=14385 vsize=26538700 memory=6 CPUtime=0 cores=0-7 /proc/14387/task/14399/stat : 14399 (java) S 14385 14385 12279 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 102842963 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659413747200 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14400] ppid=14385 vsize=26538700 memory=8 CPUtime=0 cores=0-7 /proc/14387/task/14400/stat : 14400 (java) S 14385 14385 12279 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 102842965 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659412694816 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14401] ppid=14385 vsize=26538700 memory=585656 CPUtime=1.79 cores=0-7 /proc/14387/task/14401/stat : 14401 (java) S 14385 14385 12279 0 -1 1077944384 5945 0 0 0 177 2 0 0 20 0 18 0 102842965 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659411633456 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14402] ppid=14385 vsize=26538700 memory=585420 CPUtime=1.64 cores=0-7 /proc/14387/task/14402/stat : 14402 (java) S 14385 14385 12279 0 -1 1077944384 4882 0 0 0 162 2 0 0 20 0 18 0 102842965 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659410570208 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14403] ppid=14385 vsize=26538700 memory=1380 CPUtime=1.69 cores=0-7 /proc/14387/task/14403/stat : 14403 (java) S 14385 14385 12279 0 -1 1077944384 4090 0 0 0 168 1 0 0 20 0 18 0 102842966 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659409522320 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14404] ppid=14385 vsize=26538700 memory=154032 CPUtime=0.67 cores=0-7 /proc/14387/task/14404/stat : 14404 (java) S 14385 14385 12279 0 -1 1077944384 3549 0 0 0 66 1 0 0 20 0 18 0 102842966 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659408484720 140660694141570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 [pid=14387/tid=14405] ppid=14385 vsize=26538700 memory=1380 CPUtime=0 cores=0-7 /proc/14387/task/14405/stat : 14405 (java) S 14385 14385 12279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 102842966 27175628800 149876 33554432000 4194304 4196468 140734303313184 140659407432416 140660694140629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32559104 140734303315090 140734303315267 140734303315267 140734303317967 0 Current children cumulated CPU time: 23.58 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 600884 KiB Child status: 0 Real time (s): 4.59646 CPU time (s): 23.6084 CPU user time (s): 23.0287 CPU system time (s): 0.579704 CPU usage (%): 513.622 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 600884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.0287 system time used= 0.579704 maximum resident set size= 599980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30457 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3679 involuntary context switches= 494 # summary of solver processes directly reported to runsolver: # pid: 14385 # total CPU time (s): 23.6084 # total CPU user time (s): 23.0287 # total CPU system time (s): 0.579704 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.057637 second user time and 0.090889 second system time The end
Begin job on node103 at 2017-08-14 09:44:49 IDJOB=4271227 IDBENCH=123305 IDSOLVER=2662 FILE ID=node103/4271227-1502697547 RUNJOBID= node103-1502688738-12306 PBS_JOBID= 20628995 Free space on /tmp= 61792 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-32-dual.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271227-1502697547/watcher-4271227-1502697547 -o /tmp/evaluation-result-4271227-1502697547/solver-4271227-1502697547 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502688738-12306 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2071747134 HOME/instance-4271227-1502697547.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7854977918e267f3cbf8113349087b8a RANDOM SEED=2071747134 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 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: 31538280 kB MemAvailable: 31981008 kB Buffers: 147904 kB Cached: 580848 kB SwapCached: 0 kB Active: 574224 kB Inactive: 212416 kB Active(anon): 7204 kB Inactive(anon): 78604 kB Active(file): 567020 kB Inactive(file): 133812 kB Unevictable: 6424 kB Mlocked: 6424 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7960 kB Writeback: 328 kB AnonPages: 209064 kB Mapped: 44512 kB Shmem: 25228 kB Slab: 141656 kB SReclaimable: 115460 kB SUnreclaim: 26196 kB KernelStack: 3632 kB PageTables: 4728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61784 MiB End job on node103 at 2017-08-14 09:44:54