Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 12882352 | 1968.12 | 252.125 |
Name | Auction/Auction-sum/ Auction-sum-matching040_c18.xml |
MD5SUM | d33511db6974d661f2a7d715e96a1ecf |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 12968875 |
Best CPU time to get the best result obtained on this benchmark | 2400.13 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 317 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 3 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":1996}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 232 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":54},{"arity":6,"count":107},{"arity":10,"count":119},{"arity":29,"count":1},{"arity":32,"count":1},{"arity":34,"count":2},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":52,"count":1},{"arity":66,"count":1},{"arity":67,"count":1},{"arity":69,"count":1},{"arity":74,"count":1},{"arity":82,"count":1},{"arity":83,"count":1},{"arity":87,"count":1},{"arity":89,"count":1},{"arity":96,"count":1},{"arity":107,"count":1},{"arity":108,"count":1},{"arity":109,"count":1},{"arity":112,"count":1},{"arity":120,"count":2},{"arity":134,"count":2},{"arity":167,"count":1},{"arity":181,"count":1},{"arity":184,"count":1},{"arity":188,"count":1},{"arity":191,"count":1},{"arity":204,"count":1},{"arity":208,"count":1},{"arity":217,"count":1},{"arity":224,"count":1},{"arity":232,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":317}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405071-1569014049.xml" -tl '2016s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4405071-1569014049.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.20/0.88 c solve instance... 2.62/0.97 o 5341063 5.60/1.39 o 5421418 5.60/1.40 o 5444734 6.41/1.43 o 5520930 6.41/1.43 o 5718594 7.10/1.53 o 5760808 7.10/1.54 o 5885700 7.10/1.54 o 5931647 7.10/1.60 o 5977223 7.10/1.65 o 6019660 7.10/1.66 o 6156351 7.10/1.77 o 7251220 10.67/2.03 o 7278133 11.42/2.12 o 7334253 12.98/2.35 o 7387719 13.68/2.40 o 7401543 14.52/2.59 o 7458797 15.98/2.72 o 7910800 15.98/2.74 o 7945564 17.46/2.95 o 7953995 18.21/3.01 o 8078114 18.98/3.20 o 8216322 19.83/3.27 o 8251591 21.25/3.42 o 8276487 21.25/3.46 o 8366292 22.02/3.51 o 8689544 22.77/3.62 o 8771812 25.15/3.94 o 8843506 25.82/4.01 o 8981167 29.15/4.51 o 9025424 29.15/4.56 o 9540540 34.60/5.29 o 9730419 40.24/7.71 o 9901708 43.97/8.59 o 9928775 45.75/8.86 o 10005476 48.87/9.23 o 10297010 67.05/11.59 o 10328323 69.43/11.82 o 10496195 70.23/12.00 o 10594404 77.38/12.84 o 10739141 78.15/12.92 o 10896057 83.68/13.64 o 10899153 103.58/16.15 o 11040263 115.23/17.68 o 11058400 119.26/18.20 o 11098440 126.12/19.07 o 11128207 132.86/19.92 o 11415611 133.48/20.05 o 11442642 136.99/20.51 o 11535234 143.72/21.43 o 11876243 144.26/21.60 o 11884429 146.61/21.88 o 11950789 172.90/25.20 o 12025779 188.74/27.18 o 12073602 192.16/27.61 o 12235854 192.92/27.73 o 12256333 199.26/28.58 o 12271493 200.04/28.70 o 12333354 236.75/33.24 o 12397414 266.97/37.03 o 12486143 302.82/41.59 o 12600963 361.79/48.92 o 12626387 739.57/97.58 o 12676973 759.03/100.17 o 12882352 1967.39/252.06 s SATISFIABLE 1967.39/252.06 v <instantiation> 1967.39/252.06 v <list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list> 1967.39/252.06 v <values>0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1967.39/252.06 v </instantiation> 1967.39/252.06 c Unexpected resolution interruption!
OK 12882352
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 (8025 MiB free) memory of node 1: 16384 MiB (10216 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405071-1569014049/watcher-4405071-1569014049 -o /var/tmp/evaluation-result-4405071-1569014049/solver-4405071-1569014049 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1364756116 HOME/instance-4405071-1569014049.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=16296, runsolver pid=16293 Current StackSize limit: 8192 KiB [startup+0.100122 s]* /proc/loadavg: 5.33 5.79 7.16 2/211 16317 /proc/meminfo: memFree=18663072/32770624 swapFree=66956784/67108860 [pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0 /proc/16296/statm: 28282 363 304 221 0 87 0 [pid=16298] ppid=16296 vsize=28227396 memory=29676 CPUtime=0.13 cores=0-7 /proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 5898 0 0 0 11 2 0 0 20 0 20 0 477643557 28904853504 7419 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 /proc/16298/statm: 7056849 7419 3120 1 0 7019032 0 [pid=16298/tid=16299] ppid=16296 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 3803 0 0 0 8 1 0 0 20 0 20 0 477643557 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932300580656 139932296359318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16300] ppid=16296 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16301] ppid=16296 vsize=28227396 memory=139755279718016 CPUtime=0 cores=0-7 /proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16302] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16303] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16304] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16305] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16306] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16307] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16308] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643559 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16309] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931411694880 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16310] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931410642544 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16311] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16312] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16313] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16314] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16315] ppid=16296 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16298/task/16315/stat : 16315 (java) R 16296 16296 13731 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 477643562 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931405379824 139932275483216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16316] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16317] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 7419 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31128 KiB [startup+0.211332 s]* /proc/loadavg: 5.33 5.79 7.16 2/211 16317 /proc/meminfo: memFree=18651556/32770624 swapFree=66956784/67108860 [pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0 /proc/16296/statm: 28282 363 304 221 0 87 0 [pid=16298] ppid=16296 vsize=28227396 memory=40964 CPUtime=0.33 cores=0-7 /proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 9456 0 0 0 30 3 0 0 20 0 20 0 477643557 28904853504 10241 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 /proc/16298/statm: 7056849 10241 3296 1 0 7019032 0 [pid=16298/tid=16299] ppid=16296 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 20 0 477643557 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932300582080 139932296368730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16300] ppid=16296 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16301] ppid=16296 vsize=28227396 memory=139755283275373 CPUtime=0 cores=0-7 /proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16302] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16303] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16304] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16305] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16306] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16307] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643558 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16308] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477643559 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16309] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931411694880 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16310] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643560 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931410642544 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16311] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16312] ppid=16296 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 606 0 0 0 2 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16313] ppid=16296 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16314] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16315] ppid=16296 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/16298/task/16315/stat : 16315 (java) R 16296 16296 13731 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 477643562 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931405379824 139932275365588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16316] ppid=16296 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16317] ppid=16296 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643563 28904853504 10241 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42416 KiB [startup+0.311158 s]* /proc/loadavg: 5.33 5.79 7.16 3/211 16317 /proc/meminfo: memFree=18643552/32770624 swapFree=66956784/67108860 [pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0 /proc/16296/statm: 28282 363 304 221 0 87 0 [pid=16298] ppid=16296 vsize=28231652 memory=49276 CPUtime=0.51 cores=0-7 /proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 10671 0 0 0 47 4 0 0 20 0 20 0 477643557 28909211648 12319 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 /proc/16298/statm: 7057913 12319 3327 1 0 7019032 0 [pid=16298/tid=16299] ppid=16296 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 7670 0 0 0 26 3 0 0 20 0 20 0 477643557 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932300578496 139932296369309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16300] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16301] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16302] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16303] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16304] ppid=16296 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16305] ppid=16296 vsize=28231652 memory=139755148899247 CPUtime=0 cores=0-7 /proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16306] ppid=16296 vsize=28231652 memory=139755148901552 CPUtime=0 cores=0-7 /proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16307] ppid=16296 vsize=28231652 memory=139755148903856 CPUtime=0 cores=0-7 /proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643558 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16308] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477643559 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16309] ppid=16296 vsize=28231652 memory=279510297814672 CPUtime=0 cores=0-7 /proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477643560 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931411694880 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16310] ppid=16296 vsize=28231652 memory=279510297821584 CPUtime=0 cores=0-7 /proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477643560 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931410642544 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16311] ppid=16296 vsize=28231652 memory=279510297762736 CPUtime=0 cores=0-7 /proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16312] ppid=16296 vsize=28231652 memory=279510297835408 CPUtime=0.03 cores=0-7 /proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 646 0 0 0 3 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16313] ppid=16296 vsize=28231652 memory=279510297842320 CPUtime=0.01 cores=0-7 /proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16314] ppid=16296 vsize=28231652 memory=279510297840016 CPUtime=0.01 cores=0-7 /proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16315] ppid=16296 vsize=28231652 memory=279510297856176 CPUtime=0.12 cores=0-7 /proc/16298/task/16315/stat : 16315 (java) S 16296 16296 13731 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 20 0 477643562 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931405379824 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16316] ppid=16296 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477643563 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16317] ppid=16296 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477643563 28909211648 12319 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50728 KiB [startup+0.701152 s] /proc/loadavg: 5.33 5.79 7.16 4/211 16317 /proc/meminfo: memFree=18629140/32770624 swapFree=66956784/67108860 [pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0 /proc/16296/statm: 28282 363 304 221 0 87 0 [pid=16298] ppid=16296 vsize=28233776 memory=105276 CPUtime=1.78 cores=0-7 /proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 15427 0 0 0 170 8 0 0 20 0 20 0 477643557 28911386624 26319 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 /proc/16298/statm: 7058444 26319 3456 1 0 7019544 0 [pid=16298/tid=16299] ppid=16296 vsize=28233776 memory=279510298214064 CPUtime=0.67 cores=0-7 /proc/16298/task/16299/stat : 16299 (java) R 16296 16296 13731 0 -1 4202560 9161 0 0 0 62 5 0 0 20 0 20 0 477643557 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932300585728 139931933786835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16300] ppid=16296 vsize=28233776 memory=139755149108080 CPUtime=0 cores=0-7 /proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16301] ppid=16296 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16302] ppid=16296 vsize=28233776 memory=6032 CPUtime=0 cores=0-7 /proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477643558 28911386624 26319 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 ################ # More data... # ################ [pid=16298/tid=16845] ppid=16296 vsize=28834900 memory=532 CPUtime=60.81 cores=0-7 /proc/16298/task/16845/stat : 16845 (java) R 16296 16296 13731 0 -1 4202560 3474 0 0 0 6074 7 0 0 20 0 28 0 477653574 29526937600 1452346 33554432000 4194304 4196468 140720356139456 139931391955120 139931936169913 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 Current children cumulated CPU time: 1252.06 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 5810836 KiB [startup+222.311 s] /proc/loadavg: 8.04 7.02 7.37 9/219 16851 /proc/meminfo: memFree=12339056/32770624 swapFree=66956784/67108860 [pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0 /proc/16296/statm: 28282 363 304 221 0 87 0 [pid=16298] ppid=16296 vsize=28834900 memory=6344636 CPUtime=1730.53 cores=0-7 /proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 238219 0 0 0 172594 459 0 0 20 0 28 0 477643557 29526937600 1586159 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 /proc/16298/statm: 7208725 1586159 3543 1 0 7169825 0 [pid=16298/tid=16299] ppid=16296 vsize=28834900 memory=6344636 CPUtime=0.96 cores=0-7 /proc/16298/task/16299/stat : 16299 (java) S 16296 16296 13731 0 -1 1077944384 11404 0 0 0 89 7 0 0 20 0 28 0 477643557 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932300588160 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16300] ppid=16296 vsize=28834900 memory=1452 CPUtime=2.17 cores=0-7 /proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2984 0 0 0 196 21 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16301] ppid=16296 vsize=28834900 memory=6206008 CPUtime=2.14 cores=0-7 /proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 4988 0 0 0 191 23 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16302] ppid=16296 vsize=28834900 memory=6206008 CPUtime=2.17 cores=0-7 /proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 3429 0 0 0 195 22 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16303] ppid=16296 vsize=28834900 memory=6205872 CPUtime=2.16 cores=0-7 /proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 4520 0 0 0 195 21 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16304] ppid=16296 vsize=28834900 memory=6344636 CPUtime=2.1 cores=0-7 /proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 3542 0 0 0 189 21 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16305] ppid=16296 vsize=28834900 memory=6344636 CPUtime=2.15 cores=0-7 /proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 7709 0 0 0 193 22 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16306] ppid=16296 vsize=28834900 memory=1452 CPUtime=2.19 cores=0-7 /proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 7492 0 0 0 194 25 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16307] ppid=16296 vsize=28834900 memory=4872558044660077418 CPUtime=2.16 cores=0-7 /proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 7051 0 0 0 194 22 0 0 20 0 28 0 477643558 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16308] ppid=16296 vsize=28834900 memory=1452 CPUtime=1.63 cores=0-7 /proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 15226 0 0 0 160 3 0 0 20 0 28 0 477643559 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16309] ppid=16296 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931411694944 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16310] ppid=16296 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931410642560 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16311] ppid=16296 vsize=28834900 memory=5809384 CPUtime=0 cores=0-7 /proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16312] ppid=16296 vsize=28834900 memory=1452 CPUtime=2.1 cores=0-7 /proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 13749 0 0 0 207 3 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16313] ppid=16296 vsize=28834900 memory=140093243293544 CPUtime=2.13 cores=0-7 /proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 9601 0 0 0 212 1 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16314] ppid=16296 vsize=28834900 memory=6944656592455359580 CPUtime=2.19 cores=0-7 /proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 11269 0 0 0 217 2 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16315] ppid=16296 vsize=28834900 memory=1452 CPUtime=0.89 cores=0-7 /proc/16298/task/16315/stat : 16315 (java) S 16296 16296 13731 0 -1 1077944384 12148 0 0 0 87 2 0 0 20 0 28 0 477643562 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931405379824 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16316] ppid=16296 vsize=28834900 memory=3620 CPUtime=0 cores=0-7 /proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477643563 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16317] ppid=16296 vsize=28834900 memory=6206008 CPUtime=0.06 cores=0-7 /proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1729 0 0 0 2 4 0 0 20 0 28 0 477643563 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16838] ppid=16296 vsize=28834900 memory=55180 CPUtime=120.08 cores=0-7 /proc/16298/task/16838/stat : 16838 (java) R 16296 16296 13731 0 -1 4202560 24145 0 0 0 11990 18 0 0 20 0 28 0 477653573 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931387744088 139931936167806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16839] ppid=16296 vsize=28834900 memory=1452 CPUtime=120.4 cores=0-7 /proc/16298/task/16839/stat : 16839 (java) R 16296 16296 13731 0 -1 4202560 1482 0 0 0 12038 2 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931388793880 139931939440016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16840] ppid=16296 vsize=28834900 memory=6206008 CPUtime=120.48 cores=0-7 /proc/16298/task/16840/stat : 16840 (java) R 16296 16296 13731 0 -1 4202560 5624 0 0 0 12045 3 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931394055864 139931937530912 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16841] ppid=16296 vsize=28834900 memory=1452 CPUtime=120.43 cores=0-7 /proc/16298/task/16841/stat : 16841 (java) R 16296 16296 13731 0 -1 4202560 2613 0 0 0 12030 13 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931386691184 139931939549665 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16842] ppid=16296 vsize=28834900 memory=1452 CPUtime=120.31 cores=0-7 /proc/16298/task/16842/stat : 16842 (java) R 16296 16296 13731 0 -1 4202560 6568 0 0 0 12007 24 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931389846040 139931939548040 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16843] ppid=16296 vsize=28834900 memory=288230574492221466 CPUtime=119 cores=0-7 /proc/16298/task/16843/stat : 16843 (java) R 16296 16296 13731 0 -1 4202560 7486 0 0 0 11869 31 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931383537504 139931938737052 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16844] ppid=16296 vsize=28834900 memory=288230583166042426 CPUtime=120.07 cores=0-7 /proc/16298/task/16844/stat : 16844 (java) R 16296 16296 13731 0 -1 4202560 2561 0 0 0 12005 2 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931393008424 139932277189545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16845] ppid=16296 vsize=28834900 memory=13847469322668657 CPUtime=120.48 cores=0-7 /proc/16298/task/16845/stat : 16845 (java) R 16296 16296 13731 0 -1 4202560 5067 0 0 0 12034 14 0 0 20 0 28 0 477653574 29526937600 1586159 33554432000 4194304 4196468 140720356139456 139931391953984 139931939549665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 Current children cumulated CPU time: 1730.53 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 6346088 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s] /proc/loadavg: 8.16 7.15 7.41 9/219 16854 /proc/meminfo: memFree=12325492/32770624 swapFree=66956784/67108860 [pid=16296] ppid=16293 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/16296/stat : 16296 (xcsp3-exec) S 16293 16296 13731 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477643556 115843072 363 33554432000 4194304 5098028 140732840793040 140732840791144 139684995527292 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14479360 140732840797015 140732840797274 140732840797274 140732840800198 0 /proc/16296/statm: 28282 363 304 221 0 87 0 [pid=16298] ppid=16296 vsize=28834900 memory=6393788 CPUtime=1967.39 cores=0-7 /proc/16298/stat : 16298 (java) S 16296 16296 13731 0 -1 1077944320 249388 0 0 0 196253 486 0 0 20 0 28 0 477643557 29526937600 1598447 33554432000 4194304 4196468 140720356139456 140720356122000 139932296347383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 /proc/16298/statm: 7208725 1598447 3543 1 0 7169825 0 [pid=16298/tid=16299] ppid=16296 vsize=28834900 memory=6791534058613427641 CPUtime=0.96 cores=0-7 /proc/16298/task/16299/stat : 16299 (java) S 16296 16296 13731 0 -1 1077944384 11404 0 0 0 89 7 0 0 20 0 28 0 477643557 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932300588160 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16300] ppid=16296 vsize=28834900 memory=624 CPUtime=2.17 cores=0-7 /proc/16298/task/16300/stat : 16300 (java) S 16296 16296 13731 0 -1 1077944384 2984 0 0 0 196 21 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932252900240 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16301] ppid=16296 vsize=28834900 memory=3636 CPUtime=2.14 cores=0-7 /proc/16298/task/16301/stat : 16301 (java) S 16296 16296 13731 0 -1 1077944384 4988 0 0 0 191 23 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932251847440 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16302] ppid=16296 vsize=28834900 memory=2832 CPUtime=2.17 cores=0-7 /proc/16298/task/16302/stat : 16302 (java) S 16296 16296 13731 0 -1 1077944384 3429 0 0 0 195 22 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139932250795152 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16303] ppid=16296 vsize=28834900 memory=14012 CPUtime=2.16 cores=0-7 /proc/16298/task/16303/stat : 16303 (java) S 16296 16296 13731 0 -1 1077944384 4520 0 0 0 195 21 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931844467728 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16304] ppid=16296 vsize=28834900 memory=2112 CPUtime=2.1 cores=0-7 /proc/16298/task/16304/stat : 16304 (java) S 16296 16296 13731 0 -1 1077944384 3542 0 0 0 189 21 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931843414416 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16305] ppid=16296 vsize=28834900 memory=12040 CPUtime=2.15 cores=0-7 /proc/16298/task/16305/stat : 16305 (java) S 16296 16296 13731 0 -1 1077944384 7709 0 0 0 193 22 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931842361616 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16306] ppid=16296 vsize=28834900 memory=32164 CPUtime=2.19 cores=0-7 /proc/16298/task/16306/stat : 16306 (java) S 16296 16296 13731 0 -1 1077944384 7492 0 0 0 194 25 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931841309328 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16307] ppid=16296 vsize=28834900 memory=1556 CPUtime=2.16 cores=0-7 /proc/16298/task/16307/stat : 16307 (java) S 16296 16296 13731 0 -1 1077944384 7051 0 0 0 194 22 0 0 20 0 28 0 477643558 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931840256528 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16308] ppid=16296 vsize=28834900 memory=532 CPUtime=1.63 cores=0-7 /proc/16298/task/16308/stat : 16308 (java) S 16296 16296 13731 0 -1 1077944384 15242 0 0 0 160 3 0 0 20 0 28 0 477643559 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931412748912 139932296358530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16309] ppid=16296 vsize=28834900 memory=928 CPUtime=0 cores=0-7 /proc/16298/task/16309/stat : 16309 (java) S 16296 16296 13731 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931411694944 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16310] ppid=16296 vsize=28834900 memory=6354876 CPUtime=0 cores=0-7 /proc/16298/task/16310/stat : 16310 (java) S 16296 16296 13731 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477643560 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931410642560 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16311] ppid=16296 vsize=28834900 memory=1556 CPUtime=0 cores=0-7 /proc/16298/task/16311/stat : 16311 (java) S 16296 16296 13731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931409590864 139932296365979 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16312] ppid=16296 vsize=28834900 memory=532 CPUtime=2.1 cores=0-7 /proc/16298/task/16312/stat : 16312 (java) S 16296 16296 13731 0 -1 1077944384 13759 0 0 0 207 3 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931408537712 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16313] ppid=16296 vsize=28834900 memory=928 CPUtime=2.13 cores=0-7 /proc/16298/task/16313/stat : 16313 (java) S 16296 16296 13731 0 -1 1077944384 9610 0 0 0 212 1 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931407484912 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16314] ppid=16296 vsize=28834900 memory=6791534058613427641 CPUtime=2.19 cores=0-7 /proc/16298/task/16314/stat : 16314 (java) S 16296 16296 13731 0 -1 1077944384 11280 0 0 0 217 2 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931406432624 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16315] ppid=16296 vsize=28834900 memory=1976 CPUtime=0.89 cores=0-7 /proc/16298/task/16315/stat : 16315 (java) S 16296 16296 13731 0 -1 1077944384 12545 0 0 0 87 2 0 0 20 0 28 0 477643562 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931405379824 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16316] ppid=16296 vsize=28834900 memory=2432 CPUtime=0 cores=0-7 /proc/16298/task/16316/stat : 16316 (java) S 16296 16296 13731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477643563 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931404327776 139932296357589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16317] ppid=16296 vsize=28834900 memory=1452 CPUtime=0.07 cores=0-7 /proc/16298/task/16317/stat : 16317 (java) S 16296 16296 13731 0 -1 1077944384 1819 0 0 0 2 5 0 0 20 0 28 0 477643563 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931403275056 139932296358530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16838] ppid=16296 vsize=28834900 memory=1452 CPUtime=149.76 cores=0-7 /proc/16298/task/16838/stat : 16838 (java) R 16296 16296 13731 0 -1 4202560 25280 0 0 0 14953 23 0 0 20 0 28 0 477653573 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931387744088 139931936167948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16839] ppid=16296 vsize=28834900 memory=6344636 CPUtime=150.08 cores=0-7 /proc/16298/task/16839/stat : 16839 (java) R 16296 16296 13731 0 -1 4202560 2412 0 0 0 15005 3 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931388797360 139931937763540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16840] ppid=16296 vsize=28834900 memory=6344636 CPUtime=150.16 cores=0-7 /proc/16298/task/16840/stat : 16840 (java) R 16296 16296 13731 0 -1 4202560 6699 0 0 0 15013 3 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931394057816 140720356645064 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16841] ppid=16296 vsize=28834900 memory=780 CPUtime=150.1 cores=0-7 /proc/16298/task/16841/stat : 16841 (java) R 16296 16296 13731 0 -1 4202560 4102 0 0 0 14995 15 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931386691184 139931936170140 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16842] ppid=16296 vsize=28834900 memory=6032 CPUtime=149.39 cores=0-7 /proc/16298/task/16842/stat : 16842 (java) R 16296 16296 13731 0 -1 4202560 8766 0 0 0 14911 28 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931389846040 139931939549646 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16843] ppid=16296 vsize=28834900 memory=624 CPUtime=148.67 cores=0-7 /proc/16298/task/16843/stat : 16843 (java) R 16296 16296 13731 0 -1 4202560 9622 0 0 0 14829 38 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931383537504 139931937329253 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16844] ppid=16296 vsize=28834900 memory=3636 CPUtime=149.75 cores=0-7 /proc/16298/task/16844/stat : 16844 (java) R 16296 16296 13731 0 -1 4202560 3012 0 0 0 14972 3 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931393008424 139931936167898 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 [pid=16298/tid=16845] ppid=16296 vsize=28834900 memory=6791534058613427641 CPUtime=150.16 cores=0-7 /proc/16298/task/16845/stat : 16845 (java) R 16296 16296 13731 0 -1 4202560 6289 0 0 0 14996 20 0 0 20 0 28 0 477653574 29526937600 1598447 33554432000 4194304 4196468 140720356139456 139931391953984 139931936169778 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20647936 140720356144092 140720356144267 140720356144267 140720356147151 0 Current children cumulated CPU time: 1967.39 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 6395240 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.035 s] # the end of solver process 16296 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002445 s, system=0 s [startup+252.125 s] # the end of solver process 16298 was just reported to runsolver # cumulated CPU time of all completed processes: user=1963.21 s, system=4.90605 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.125 CPU time (s): 1968.12 CPU user time (s): 1963.21 CPU system time (s): 4.90605 CPU usage (%): 780.612 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 6395240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1963.21 system time used= 4.90606 maximum resident set size= 6394508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 251105 page faults= 0 swaps= 0 block input operations= 0 block output operations= 552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18071 involuntary context switches= 23807 # summary of solver processes directly reported to runsolver: # pid: 16296,16298 # total CPU time (s): 1968.12 # total CPU user time (s): 1963.21 # total CPU system time (s): 4.90605 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.81176 second user time and 2.27936 second system time The end
Begin job on node149 at 2019-09-20 23:13:31 IDJOB=4405071 IDBENCH=141151 IDSOLVER=2866 FILE ID=node149/4405071-1569014049 RUNJOBID= node149-1569005174-13758 PBS_JOBID= 21704751 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-matching040_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405071-1569014049/watcher-4405071-1569014049 -o /var/tmp/evaluation-result-4405071-1569014049/solver-4405071-1569014049 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569005174-13758 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1364756116 HOME/instance-4405071-1569014049.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d33511db6974d661f2a7d715e96a1ecf RANDOM SEED=1364756116 node149.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.81 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.81 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.81 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.81 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: 18679624 kB MemAvailable: 31813032 kB Buffers: 128988 kB Cached: 12980500 kB SwapCached: 41740 kB Active: 6534508 kB Inactive: 6619276 kB Active(anon): 1828 kB Inactive(anon): 86184 kB Active(file): 6532680 kB Inactive(file): 6533092 kB Unevictable: 110220 kB Mlocked: 110220 kB SwapTotal: 67108860 kB SwapFree: 66956784 kB Dirty: 26188 kB Writeback: 0 kB AnonPages: 113200 kB Mapped: 51416 kB Shmem: 35748 kB Slab: 526128 kB SReclaimable: 496096 kB SUnreclaim: 30032 kB KernelStack: 3376 kB PageTables: 4924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506700 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13456 MiB End job on node149 at 2019-09-20 23:17:43