Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 718 | 1350.42 | 170.237 |
Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-hanoi4.xml |
MD5SUM | a17fae509aff329e2f365d061bb5ebf3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 718 |
Best CPU time to get the best result obtained on this benchmark | 109.649 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1436 |
Number of constraints | 5652 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1436}] |
Minimum variable degree | 3 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":3,"count":49},{"degree":4,"count":94},{"degree":5,"count":95},{"degree":6,"count":95},{"degree":7,"count":581},{"degree":9,"count":1},{"degree":10,"count":11},{"degree":11,"count":12},{"degree":12,"count":168},{"degree":15,"count":60},{"degree":19,"count":45},{"degree":21,"count":60},{"degree":23,"count":105},{"degree":29,"count":60}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":128},{"arity":2,"count":3199},{"arity":3,"count":2280},{"arity":4,"count":15},{"arity":7,"count":30}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":5652}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405008-1569004719.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405008-1569004719.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 5.36/1.54 c solve instance... 713.06/90.35 o 718 1350.29/170.21 s OPTIMUM FOUND 1350.29/170.21 v <instantiation> 1350.29/170.21 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] </list> 1350.29/170.21 v <values>1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 </values> 1350.29/170.21 v </instantiation>
OK 718
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 (13525 MiB free) memory of node 1: 16384 MiB (10530 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405008-1569004719/watcher-4405008-1569004719 -o /var/tmp/evaluation-result-4405008-1569004719/solver-4405008-1569004719 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1506055726 HOME/instance-4405008-1569004719.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=11387, runsolver pid=11384 Current StackSize limit: 8192 KiB [startup+0.10013 s]* /proc/loadavg: 7.78 7.99 8.02 3/211 11408 /proc/meminfo: memFree=24617004/32770624 swapFree=66997224/67108860 [pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0 /proc/11387/statm: 28282 364 305 221 0 87 0 [pid=11389] ppid=11387 vsize=28227396 memory=28520 CPUtime=0.12 cores=0-7 /proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 5642 0 0 0 11 1 0 0 20 0 20 0 476410297 28904853504 7130 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 /proc/11389/statm: 7056849 7130 3115 1 0 7019032 0 [pid=11389/tid=11390] ppid=11387 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 3582 0 0 0 8 0 0 0 20 0 20 0 476410297 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889426442352 139889422220694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11391] ppid=11387 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11392] ppid=11387 vsize=28227396 memory=139975437624960 CPUtime=0 cores=0-7 /proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11393] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11394] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11395] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11396] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11397] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11398] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11399] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410299 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11400] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888402789536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11401] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888401736432 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11402] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11403] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11404] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11405] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11405/stat : 11405 (java) R 11387 11387 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888397527536 139889407025261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11406] ppid=11387 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11389/task/11406/stat : 11406 (java) R 11387 11387 7849 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888396474992 139889400908960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11407] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11408] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29976 KiB [startup+0.210506 s]* /proc/loadavg: 7.78 7.99 8.02 3/212 11410 /proc/meminfo: memFree=24604380/32770624 swapFree=66997224/67108860 [pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0 /proc/11387/statm: 28282 364 305 221 0 87 0 [pid=11389] ppid=11387 vsize=28227396 memory=40208 CPUtime=0.33 cores=0-7 /proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 9347 0 0 0 30 3 0 0 20 0 20 0 476410297 28904853504 10052 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 /proc/11389/statm: 7056849 10052 3237 1 0 7019032 0 [pid=11389/tid=11390] ppid=11387 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 6561 0 0 0 18 2 0 0 20 0 20 0 476410297 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889426438480 139889047868816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11391] ppid=11387 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11392] ppid=11387 vsize=28227396 memory=139975437634827 CPUtime=0 cores=0-7 /proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11393] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11394] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11395] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11396] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11397] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11398] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11399] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476410299 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11400] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888402789536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11401] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888401736432 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11402] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11403] ppid=11387 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 476410302 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11404] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11405] ppid=11387 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11406] ppid=11387 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/11389/task/11406/stat : 11406 (java) R 11387 11387 7849 0 -1 4202560 813 0 0 0 8 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888396474992 139889422220694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11407] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11408] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41664 KiB [startup+0.310458 s]* /proc/loadavg: 7.78 7.99 8.02 3/212 11410 /proc/meminfo: memFree=24596288/32770624 swapFree=66997224/67108860 [pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0 /proc/11387/statm: 28282 364 305 221 0 87 0 [pid=11389] ppid=11387 vsize=28231652 memory=49648 CPUtime=0.52 cores=0-7 /proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 10761 0 0 0 48 4 0 0 20 0 20 0 476410297 28909211648 12412 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 /proc/11389/statm: 7057913 12412 3347 1 0 7019032 0 [pid=11389/tid=11390] ppid=11387 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 7700 0 0 0 27 3 0 0 20 0 20 0 476410297 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889426439872 139889422230685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11391] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11392] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11393] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11394] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11395] ppid=11387 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11396] ppid=11387 vsize=28231652 memory=139975333082031 CPUtime=0 cores=0-7 /proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11397] ppid=11387 vsize=28231652 memory=139975333084336 CPUtime=0 cores=0-7 /proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11398] ppid=11387 vsize=28231652 memory=139975333086640 CPUtime=0 cores=0-7 /proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11399] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476410299 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11400] ppid=11387 vsize=28231652 memory=279950666180240 CPUtime=0 cores=0-7 /proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476410300 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888402789536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11401] ppid=11387 vsize=28231652 memory=279950666187152 CPUtime=0 cores=0-7 /proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476410300 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888401736432 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11402] ppid=11387 vsize=28231652 memory=279950666128304 CPUtime=0 cores=0-7 /proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410302 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11403] ppid=11387 vsize=28231652 memory=279950666200976 CPUtime=0.03 cores=0-7 /proc/11389/task/11403/stat : 11403 (java) R 11387 11387 7849 0 -1 4202560 496 0 0 0 3 0 0 0 20 0 20 0 476410302 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888399623520 139889403729881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11404] ppid=11387 vsize=28231652 memory=279950666207888 CPUtime=0.02 cores=0-7 /proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 476410302 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11405] ppid=11387 vsize=28231652 memory=279950666205584 CPUtime=0.02 cores=0-7 /proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11406] ppid=11387 vsize=28231652 memory=279950666221744 CPUtime=0.12 cores=0-7 /proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 991 0 0 0 12 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11407] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11408] ppid=11387 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51104 KiB [startup+0.701897 s] /proc/loadavg: 7.78 7.99 8.02 3/212 11410 /proc/meminfo: memFree=24575188/32770624 swapFree=66997224/67108860 [pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0 /proc/11387/statm: 28282 364 305 221 0 87 0 [pid=11389] ppid=11387 vsize=28233776 memory=106512 CPUtime=1.97 cores=0-7 /proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 15710 0 0 0 191 6 0 0 20 0 20 0 476410297 28911386624 26628 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 /proc/11389/statm: 7058444 26628 3449 1 0 7019544 0 [pid=11389/tid=11390] ppid=11387 vsize=28233776 memory=279950666579632 CPUtime=0.67 cores=0-7 /proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 8960 0 0 0 64 3 0 0 20 0 20 0 476410297 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889426434208 139889422230685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11391] ppid=11387 vsize=28233776 memory=139975333290864 CPUtime=0 cores=0-7 /proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11392] ppid=11387 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11393] ppid=11387 vsize=28233776 memory=5800 CPUtime=0 cores=0-7 /proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 ################ # More data... # ################ [pid=11389/tid=11406] ppid=11387 vsize=28766288 memory=2167192 CPUtime=0.82 cores=0-7 /proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 8694 0 0 0 80 2 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11407] ppid=11387 vsize=28766288 memory=14060 CPUtime=0 cores=0-7 /proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11408] ppid=11387 vsize=28766288 memory=2116 CPUtime=0.05 cores=0-7 /proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1448 0 0 0 5 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11424] ppid=11387 vsize=28766288 memory=27904 CPUtime=79.22 cores=0-7 /proc/11389/task/11424/stat : 11424 (java) R 11387 11387 7849 0 -1 4202560 1095 0 0 0 7921 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888379075448 139889054776448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11425] ppid=11387 vsize=28766288 memory=0 CPUtime=78.06 cores=0-7 /proc/11389/task/11425/stat : 11425 (java) R 11387 11387 7849 0 -1 4202560 1144 0 0 0 7806 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888385392808 139889055374215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11426] ppid=11387 vsize=28766288 memory=-3622645143214314312 CPUtime=78.97 cores=0-7 /proc/11389/task/11426/stat : 11426 (java) R 11387 11387 7849 0 -1 4202560 1115 0 0 0 7897 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888378024744 139889055374302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11427] ppid=11387 vsize=28766288 memory=2168220 CPUtime=79.18 cores=0-7 /proc/11389/task/11427/stat : 11427 (java) R 11387 11387 7849 0 -1 4202560 12303 0 0 0 7875 43 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888382235560 139889057192248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11428] ppid=11387 vsize=28766288 memory=1456 CPUtime=78.8 cores=0-7 /proc/11389/task/11428/stat : 11428 (java) R 11387 11387 7849 0 -1 4202560 1845 0 0 0 7879 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888381182504 139889055480161 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11429] ppid=11387 vsize=28766288 memory=2168220 CPUtime=79.16 cores=0-7 /proc/11389/task/11429/stat : 11429 (java) R 11387 11387 7849 0 -1 4202560 1167 0 0 0 7916 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888383287472 139889055480523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11430] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.19 cores=0-7 /proc/11389/task/11430/stat : 11430 (java) R 11387 11387 7849 0 -1 4202560 1740 0 0 0 7917 2 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888380129008 139889055139179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11431] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.13 cores=0-7 /proc/11389/task/11431/stat : 11431 (java) R 11387 11387 7849 0 -1 4202560 2275 0 0 0 7907 6 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888384340392 139889057245888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 Current children cumulated CPU time: 1345.51 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2168648 KiB [startup+170.002 s]* /proc/loadavg: 7.99 7.99 8.02 10/220 11442 /proc/meminfo: memFree=22478012/32770624 swapFree=66997224/67108860 [pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0 /proc/11387/statm: 28282 364 305 221 0 87 0 [pid=11389] ppid=11387 vsize=28766288 memory=2167192 CPUtime=1348.77 cores=0-7 /proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 111862 0 0 0 134713 164 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 /proc/11389/statm: 7191572 541798 3543 1 0 7152672 0 [pid=11389/tid=11390] ppid=11387 vsize=28766288 memory=6791534058613427641 CPUtime=1.51 cores=0-7 /proc/11389/task/11390/stat : 11390 (java) S 11387 11387 7849 0 -1 1077944384 10272 0 0 0 144 7 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889426449536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11391] ppid=11387 vsize=28766288 memory=4872558044660077418 CPUtime=0.12 cores=0-7 /proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 708 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11392] ppid=11387 vsize=28766288 memory=1540 CPUtime=0.15 cores=0-7 /proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 1044 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11393] ppid=11387 vsize=28766288 memory=772 CPUtime=0.15 cores=0-7 /proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2426 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11394] ppid=11387 vsize=28766288 memory=10596 CPUtime=0.14 cores=0-7 /proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 489 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11395] ppid=11387 vsize=28766288 memory=1708 CPUtime=0.12 cores=0-7 /proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1032 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11396] ppid=11387 vsize=28766288 memory=988 CPUtime=0.12 cores=0-7 /proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 1523 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11397] ppid=11387 vsize=28766288 memory=3628 CPUtime=0.14 cores=0-7 /proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1693 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11398] ppid=11387 vsize=28766288 memory=2828 CPUtime=0.14 cores=0-7 /proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 1413 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11399] ppid=11387 vsize=28766288 memory=1048 CPUtime=0.02 cores=0-7 /proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 3201 0 0 0 2 0 0 0 20 0 28 0 476410299 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11400] ppid=11387 vsize=28766288 memory=5800 CPUtime=0 cores=0-7 /proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888402789600 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11401] ppid=11387 vsize=28766288 memory=612 CPUtime=0 cores=0-7 /proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888401736448 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11402] ppid=11387 vsize=28766288 memory=139975333739297 CPUtime=0 cores=0-7 /proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11403] ppid=11387 vsize=28766288 memory=7306316804797196914 CPUtime=2.42 cores=0-7 /proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 14617 0 0 0 240 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11404] ppid=11387 vsize=28766288 memory=7295950583417696866 CPUtime=2.14 cores=0-7 /proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 9717 0 0 0 212 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11405] ppid=11387 vsize=28766288 memory=6791534058613427641 CPUtime=2.24 cores=0-7 /proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 10024 0 0 0 223 1 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11406] ppid=11387 vsize=28766288 memory=1456 CPUtime=0.82 cores=0-7 /proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 8694 0 0 0 80 2 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11407] ppid=11387 vsize=28766288 memory=2167192 CPUtime=0 cores=0-7 /proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11408] ppid=11387 vsize=28766288 memory=1048 CPUtime=0.05 cores=0-7 /proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1448 0 0 0 5 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11424] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.62 cores=0-7 /proc/11389/task/11424/stat : 11424 (java) R 11387 11387 7849 0 -1 4202560 1097 0 0 0 7961 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888379075448 139889055372467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11425] ppid=11387 vsize=28766288 memory=1412 CPUtime=78.47 cores=0-7 /proc/11389/task/11425/stat : 11425 (java) R 11387 11387 7849 0 -1 4202560 1144 0 0 0 7847 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888385392808 139889053009651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11426] ppid=11387 vsize=28766288 memory=3532 CPUtime=79.38 cores=0-7 /proc/11389/task/11426/stat : 11426 (java) R 11387 11387 7849 0 -1 4202560 1118 0 0 0 7938 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888378024744 139889055374388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11427] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.59 cores=0-7 /proc/11389/task/11427/stat : 11427 (java) R 11387 11387 7849 0 -1 4202560 12320 0 0 0 7916 43 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888382235560 139889055374453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11428] ppid=11387 vsize=28766288 memory=2167192 CPUtime=79.19 cores=0-7 /proc/11389/task/11428/stat : 11428 (java) R 11387 11387 7849 0 -1 4202560 1845 0 0 0 7918 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888381182504 139889055138817 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11429] ppid=11387 vsize=28766288 memory=6791534058613427641 CPUtime=79.57 cores=0-7 /proc/11389/task/11429/stat : 11429 (java) R 11387 11387 7849 0 -1 4202560 1168 0 0 0 7957 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888383287472 139889055372467 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11430] ppid=11387 vsize=28766288 memory=4872558044660077418 CPUtime=79.6 cores=0-7 /proc/11389/task/11430/stat : 11430 (java) R 11387 11387 7849 0 -1 4202560 1740 0 0 0 7958 2 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888380129008 139889055139179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11431] ppid=11387 vsize=28766288 memory=2116 CPUtime=79.54 cores=0-7 /proc/11389/task/11431/stat : 11431 (java) R 11387 11387 7849 0 -1 4202560 2281 0 0 0 7948 6 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888384340392 139889055139248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 Current children cumulated CPU time: 1348.77 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2168648 KiB [startup+170.202 s] /proc/loadavg: 7.99 7.99 8.02 10/220 11442 /proc/meminfo: memFree=22478012/32770624 swapFree=66997224/67108860 [pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0 /proc/11387/statm: 28282 364 305 221 0 87 0 [pid=11389] ppid=11387 vsize=28766288 memory=2167192 CPUtime=1350.29 cores=0-7 /proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 111924 0 0 0 134864 165 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 /proc/11389/statm: 7191572 541798 3543 1 0 7152672 0 [pid=11389/tid=11390] ppid=11387 vsize=28766288 memory=2167192 CPUtime=1.51 cores=0-7 /proc/11389/task/11390/stat : 11390 (java) S 11387 11387 7849 0 -1 1077944384 10272 0 0 0 144 7 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889426449536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11391] ppid=11387 vsize=28766288 memory=1980 CPUtime=0.12 cores=0-7 /proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 708 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11392] ppid=11387 vsize=28766288 memory=2540 CPUtime=0.15 cores=0-7 /proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 1044 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11393] ppid=11387 vsize=28766288 memory=288230574492221466 CPUtime=0.15 cores=0-7 /proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2426 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11394] ppid=11387 vsize=28766288 memory=288230583166042426 CPUtime=0.14 cores=0-7 /proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 489 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11395] ppid=11387 vsize=28766288 memory=15262532197681710 CPUtime=0.12 cores=0-7 /proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1032 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11396] ppid=11387 vsize=28766288 memory=4639930699739851118 CPUtime=0.12 cores=0-7 /proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 1523 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11397] ppid=11387 vsize=28766288 memory=5788366128521177448 CPUtime=0.14 cores=0-7 /proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1693 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11398] ppid=11387 vsize=28766288 memory=5788366128554601833 CPUtime=0.14 cores=0-7 /proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 1413 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11399] ppid=11387 vsize=28766288 memory=4639930699739918699 CPUtime=0.02 cores=0-7 /proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 3201 0 0 0 2 0 0 0 20 0 28 0 476410299 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11400] ppid=11387 vsize=28766288 memory=5788366128487557480 CPUtime=0 cores=0-7 /proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888402789600 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11401] ppid=11387 vsize=28766288 memory=5788366128504270440 CPUtime=0 cores=0-7 /proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888401736448 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11402] ppid=11387 vsize=28766288 memory=5788366128504729448 CPUtime=0 cores=0-7 /proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11403] ppid=11387 vsize=28766288 memory=5788366128504204648 CPUtime=2.42 cores=0-7 /proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 14617 0 0 0 240 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11404] ppid=11387 vsize=28766288 memory=5788366128605325930 CPUtime=2.14 cores=0-7 /proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 9717 0 0 0 212 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11405] ppid=11387 vsize=28766288 memory=5788366128452759917 CPUtime=2.24 cores=0-7 /proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 10024 0 0 0 223 1 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11406] ppid=11387 vsize=28766288 memory=2167192 CPUtime=0.82 cores=0-7 /proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 8694 0 0 0 80 2 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11407] ppid=11387 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11408] ppid=11387 vsize=28766288 memory=2241 CPUtime=0.05 cores=0-7 /proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1448 0 0 0 5 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11424] ppid=11387 vsize=28766288 memory=2244 CPUtime=79.82 cores=0-7 /proc/11389/task/11424/stat : 11424 (java) R 11387 11387 7849 0 -1 4202560 1097 0 0 0 7981 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888379075448 139889054764224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11425] ppid=11387 vsize=28766288 memory=6944656592455360569 CPUtime=78.66 cores=0-7 /proc/11389/task/11425/stat : 11425 (java) R 11387 11387 7849 0 -1 4202560 1145 0 0 0 7866 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888385392808 139889055499515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11426] ppid=11387 vsize=28766288 memory=6944656592455360608 CPUtime=79.57 cores=0-7 /proc/11389/task/11426/stat : 11426 (java) R 11387 11387 7849 0 -1 4202560 1118 0 0 0 7957 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888378024744 139889057261288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11427] ppid=11387 vsize=28766288 memory=-9001734043636558696 CPUtime=79.78 cores=0-7 /proc/11389/task/11427/stat : 11427 (java) R 11387 11387 7849 0 -1 4202560 12362 0 0 0 7934 44 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888382235560 139889055374522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11428] ppid=11387 vsize=28766288 memory=6944656591801717918 CPUtime=79.38 cores=0-7 /proc/11389/task/11428/stat : 11428 (java) R 11387 11387 7849 0 -1 4202560 1847 0 0 0 7937 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888381182504 139889055374546 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11429] ppid=11387 vsize=28766288 memory=6944656592455360569 CPUtime=79.76 cores=0-7 /proc/11389/task/11429/stat : 11429 (java) R 11387 11387 7849 0 -1 4202560 1168 0 0 0 7976 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888383287472 139889055374705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11430] ppid=11387 vsize=28766288 memory=-7737605734073691286 CPUtime=79.79 cores=0-7 /proc/11389/task/11430/stat : 11430 (java) R 11387 11387 7849 0 -1 4202560 1748 0 0 0 7977 2 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888380129008 139889055372335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 [pid=11389/tid=11431] ppid=11387 vsize=28766288 memory=6944613755328037012 CPUtime=79.73 cores=0-7 /proc/11389/task/11431/stat : 11431 (java) R 11387 11387 7849 0 -1 4202560 2290 0 0 0 7967 6 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888384340392 139889055173948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0 Current children cumulated CPU time: 1350.29 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2168648 KiB Child status: 0 Real time (s): 170.237 CPU time (s): 1350.42 CPU user time (s): 1348.75 CPU system time (s): 1.6722 CPU usage (%): 793.26 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 2169676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1348.75 system time used= 1.6722 maximum resident set size= 2169684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113806 page faults= 0 swaps= 0 block input operations= 0 block output operations= 352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9002 involuntary context switches= 16501 # summary of solver processes directly reported to runsolver: # pid: 11387 # total CPU time (s): 1350.42 # total CPU user time (s): 1348.75 # total CPU system time (s): 1.6722 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.81051 second user time and 1.71155 second system time The end
Begin job on node140 at 2019-09-20 20:37:58 IDJOB=4405008 IDBENCH=134974 IDSOLVER=2866 FILE ID=node140/4405008-1569004719 RUNJOBID= node140-1568994030-7876 PBS_JOBID= 21704714 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-hanoi4.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-4405008-1569004719/watcher-4405008-1569004719 -o /var/tmp/evaluation-result-4405008-1569004719/solver-4405008-1569004719 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1506055726 HOME/instance-4405008-1569004719.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a17fae509aff329e2f365d061bb5ebf3 RANDOM SEED=1506055726 node140.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.43 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.43 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.43 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.43 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: 24633768 kB MemAvailable: 31851480 kB Buffers: 78432 kB Cached: 7225140 kB SwapCached: 2516 kB Active: 3630228 kB Inactive: 3682728 kB Active(anon): 3220 kB Inactive(anon): 52720 kB Active(file): 3627008 kB Inactive(file): 3630008 kB Unevictable: 106600 kB Mlocked: 106600 kB SwapTotal: 67108860 kB SwapFree: 66997224 kB Dirty: 26268 kB Writeback: 0 kB AnonPages: 112900 kB Mapped: 51888 kB Shmem: 38328 kB Slab: 417320 kB SReclaimable: 389156 kB SUnreclaim: 28164 kB KernelStack: 3376 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13484 MiB End job on node140 at 2019-09-20 20:40:49