Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 1189592 | 4586.79 | 2520.26 |
Name | Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml |
MD5SUM | b9a88cf563e94a20e010143964b9c3ad |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1189592 |
Best CPU time to get the best result obtained on this benchmark | 4586.79 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 200 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}] |
Minimum constraint arity | 36 |
Maximum constraint arity | 75 |
Distribution of constraint arities | [{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":200}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297906-1532703339.xml" -tl '20160s' -p 8 0.12/0.17 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297906-1532703339.xml, -tl, 20160s, -p, 8] 0.12/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.87/0.92 c solve instance... 3.54/1.03 o 835889 3.54/1.05 o 837818 3.54/1.05 o 844792 3.54/1.05 o 851252 3.54/1.05 o 852333 3.54/1.07 o 852448 4.31/1.16 o 854395 4.31/1.16 o 855476 4.31/1.17 o 855591 8.83/1.72 o 857521 8.83/1.73 o 858602 8.83/1.74 o 858717 8.83/1.76 o 860664 8.83/1.76 o 861745 8.83/1.77 o 861860 9.64/1.83 o 862317 9.64/1.86 o 862432 17.43/2.85 o 863433 17.43/2.88 o 864005 19.83/3.13 o 864120 21.35/3.33 o 866428 21.35/3.34 o 871089 21.35/3.38 o 875056 21.99/3.40 o 876756 100.62/13.33 o 877165 120.57/15.87 o 893591 126.85/16.69 o 907502 127.62/16.70 o 909300 127.62/16.75 o 910227 133.91/17.58 o 953062 133.91/17.58 o 954860 134.66/17.62 o 959936 134.66/17.63 o 961734 134.66/17.64 o 962903 134.66/17.64 o 964701 134.66/17.66 o 966989 134.66/17.67 o 972065 134.66/17.68 o 973863 148.01/19.31 o 978186 148.01/19.34 o 978720 148.01/19.36 o 982190 168.61/21.99 o 1017269 169.41/22.02 o 1018188 174.95/22.77 o 1033557 710.99/109.34 o 1039200 712.40/110.41 o 1039590 718.74/111.23 o 1051703 725.97/112.51 o 1052375 725.97/112.53 o 1052765 733.71/113.56 o 1068363 734.42/113.61 o 1068667 734.42/113.63 o 1069913 734.42/113.66 o 1070217 805.97/122.68 o 1072770 822.86/124.93 o 1077238 829.78/125.81 o 1078091 829.78/125.83 o 1079826 836.01/126.67 o 1080230 836.68/126.76 o 1087522 836.68/126.79 o 1091993 837.45/126.86 o 1094726 844.33/127.74 o 1100855 851.27/128.60 o 1122368 859.23/129.60 o 1127686 886.35/133.09 o 1131739 886.93/133.14 o 1137113 886.93/133.18 o 1138105 923.03/138.15 o 1139149 923.03/138.15 o 1140141 923.51/138.21 o 1140939 930.65/139.14 o 1145387 930.65/139.17 o 1148523 963.46/144.07 o 1154062 963.46/144.09 o 1154860 3815.32/2420.88 o 1155396 4033.35/2448.80 o 1158637 4067.42/2453.22 o 1159566 4067.98/2453.38 o 1160582 4084.15/2455.46 o 1161943 4099.49/2457.60 o 1170147 4099.73/2457.83 o 1171584 4100.06/2457.90 o 1177022 4100.06/2457.98 o 1178459 4118.50/2461.06 o 1189592 4585.83/2520.06 s SATISFIABLE 4585.83/2520.06 v <instantiation> 4585.83/2520.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> 4585.83/2520.06 v <values>0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 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 1 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 1 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 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 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 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 1 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 1 0 1 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 1 1 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 1 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 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 1 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 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 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 1 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 1 0 0 1 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 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 1 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 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 1 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 1 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 1 0 0 0 1 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 1 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 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 1 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 1 0 1 0 1 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 1 0 0 0 0 0 0 0 0 1 1 0 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 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 1 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 </values> 4585.83/2520.06 v </instantiation> 4585.83/2520.06 c Unexpected resolution interruption!
OK 1189592
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 (8480 MiB free) memory of node 1: 16384 MiB (11531 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297906-1532703339/watcher-4297906-1532703339 -o /tmp/evaluation-result-4297906-1532703339/solver-4297906-1532703339 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532697755-20441 --watchdog 2580 HOME/xcsp3-exec -seed 78374819 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297906-1532703339.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21363, runsolver pid=21360 [startup+0.100136 s]* /proc/loadavg: 8.06 8.29 8.35 3/199 21384 /proc/meminfo: memFree=20477108/32770624 swapFree=67108860/67108860 [pid=21363] ppid=21360 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21363/stat : 21363 (xcsp3-exec) S 21360 21363 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87897054 115843072 363 33554432000 4194304 5098028 140736038624176 140736038622280 140239768437372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13463552 140736038626359 140736038626560 140736038626560 140736038629322 0 /proc/21363/statm: 28282 363 306 221 0 87 0 [pid=21365] ppid=21363 vsize=26104152 memory=26936 CPUtime=0.12 cores=0-7 /proc/21365/stat : 21365 (java) S 21363 21363 20414 0 -1 1077944320 5651 0 0 0 10 2 0 0 20 0 20 0 87897055 26730651648 6734 33554432000 4194304 4196468 140720446121328 140720446103872 140045784985335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 /proc/21365/statm: 6526038 6734 2997 1 0 6488315 0 [pid=21365/tid=21366] ppid=21363 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21365/task/21366/stat : 21366 (java) R 21363 21363 20414 0 -1 4202560 3667 0 0 0 8 1 0 0 20 0 20 0 87897055 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045789218608 140045762988182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21367] ppid=21363 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21365/task/21367/stat : 21367 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045737605648 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21368] ppid=21363 vsize=26104152 memory=139631364388480 CPUtime=0 cores=0-7 /proc/21365/task/21368/stat : 21368 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045736553104 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21369] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21369/stat : 21369 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045735500048 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21370] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21370/stat : 21370 (java) S 21363 21363 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045734447504 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21371] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21371/stat : 21371 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045733395472 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21372] ppid=21363 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21365/task/21372/stat : 21372 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045732342928 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21373] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21373/stat : 21373 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045731289872 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21374] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21374/stat : 21374 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 6734 33554432000 4194304 4196468 140720446121328 140045336312720 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21375] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21375/stat : 21375 (java) S 21363 21363 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87897057 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044527098096 140045784996482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21376] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21376/stat : 21376 (java) S 21363 21363 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87897058 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044526044320 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21377] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21377/stat : 21377 (java) S 21363 21363 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87897058 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044524991216 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21378] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21378/stat : 21378 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897060 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044523939792 140045785003931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21379] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21379/stat : 21379 (java) S 21363 21363 20414 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 87897060 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044455111408 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21380] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21380/stat : 21380 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897060 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044454058864 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21381] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21381/stat : 21381 (java) S 21363 21363 20414 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 87897060 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044453005808 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21382] ppid=21363 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21365/task/21382/stat : 21382 (java) R 21363 21363 20414 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 20 0 87897060 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044451953264 140045784997270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21383] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21383/stat : 21383 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897061 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044450900448 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21384] ppid=21363 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21365/task/21384/stat : 21384 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897061 26730651648 6734 33554432000 4194304 4196468 140720446121328 140044449847984 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28388 KiB [startup+0.210515 s]* /proc/loadavg: 8.06 8.29 8.35 3/199 21384 /proc/meminfo: memFree=20465536/32770624 swapFree=67108860/67108860 [pid=21363] ppid=21360 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21363/stat : 21363 (xcsp3-exec) S 21360 21363 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87897054 115843072 363 33554432000 4194304 5098028 140736038624176 140736038622280 140239768437372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13463552 140736038626359 140736038626560 140736038626560 140736038629322 0 /proc/21363/statm: 28282 363 306 221 0 87 0 [pid=21365] ppid=21363 vsize=26104152 memory=39496 CPUtime=0.33 cores=0-7 /proc/21365/stat : 21365 (java) S 21363 21363 20414 0 -1 1077944320 8489 0 0 0 30 3 0 0 20 0 20 0 87897055 26730651648 9874 33554432000 4194304 4196468 140720446121328 140720446103872 140045784985335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 /proc/21365/statm: 6526038 9874 3170 1 0 6488315 0 [pid=21365/tid=21366] ppid=21363 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21365/task/21366/stat : 21366 (java) R 21363 21363 20414 0 -1 4202560 5578 0 0 0 17 2 0 0 20 0 20 0 87897055 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045789220320 140045769028965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21367] ppid=21363 vsize=26104152 memory=330 CPUtime=0 cores=0-7 /proc/21365/task/21367/stat : 21367 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045737605648 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21368] ppid=21363 vsize=26104152 memory=288370007516100224 CPUtime=0 cores=0-7 /proc/21365/task/21368/stat : 21368 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045736553104 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21369] ppid=21363 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21365/task/21369/stat : 21369 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045735500048 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21370] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21370/stat : 21370 (java) S 21363 21363 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045734447504 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21371] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21371/stat : 21371 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045733395472 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21372] ppid=21363 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21365/task/21372/stat : 21372 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045732342928 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21373] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21373/stat : 21373 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045731289872 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21374] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21374/stat : 21374 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897056 26730651648 9874 33554432000 4194304 4196468 140720446121328 140045336312720 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21375] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21375/stat : 21375 (java) S 21363 21363 20414 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87897057 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044527098096 140045784996482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21376] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21376/stat : 21376 (java) S 21363 21363 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87897058 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044526044320 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21377] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21377/stat : 21377 (java) S 21363 21363 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87897058 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044524991216 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21378] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21378/stat : 21378 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897060 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044523939792 140045785003931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21379] ppid=21363 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21365/task/21379/stat : 21379 (java) S 21363 21363 20414 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 87897060 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044455111408 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21380] ppid=21363 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/21365/task/21380/stat : 21380 (java) S 21363 21363 20414 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 87897060 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044454058864 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21381] ppid=21363 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/21365/task/21381/stat : 21381 (java) S 21363 21363 20414 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 87897060 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044453005808 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21382] ppid=21363 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7 /proc/21365/task/21382/stat : 21382 (java) S 21363 21363 20414 0 -1 1077944384 807 0 0 0 7 0 0 0 20 0 20 0 87897060 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044451953264 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21383] ppid=21363 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21383/stat : 21383 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897061 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044450900448 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21384] ppid=21363 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21365/task/21384/stat : 21384 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897061 26730651648 9874 33554432000 4194304 4196468 140720446121328 140044449847984 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40948 KiB [startup+0.310429 s]* /proc/loadavg: 7.57 8.18 8.31 4/199 21384 /proc/meminfo: memFree=20459456/32770624 swapFree=67108860/67108860 [pid=21363] ppid=21360 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21363/stat : 21363 (xcsp3-exec) S 21360 21363 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87897054 115843072 363 33554432000 4194304 5098028 140736038624176 140736038622280 140239768437372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13463552 140736038626359 140736038626560 140736038626560 140736038629322 0 /proc/21363/statm: 28282 363 306 221 0 87 0 [pid=21365] ppid=21363 vsize=26108408 memory=46136 CPUtime=0.52 cores=0-7 /proc/21365/stat : 21365 (java) S 21363 21363 20414 0 -1 1077944320 9358 0 0 0 48 4 0 0 20 0 20 0 87897055 26735009792 11534 33554432000 4194304 4196468 140720446121328 140720446103872 140045784985335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 /proc/21365/statm: 6527102 11534 3226 1 0 6488315 0 [pid=21365/tid=21366] ppid=21363 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21365/task/21366/stat : 21366 (java) R 21363 21363 20414 0 -1 4202560 6281 0 0 0 26 3 0 0 20 0 20 0 87897055 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045789216448 140045769065822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21367] ppid=21363 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21367/stat : 21367 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045737605648 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21368] ppid=21363 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21368/stat : 21368 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045736553104 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21369] ppid=21363 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21369/stat : 21369 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045735500048 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21370] ppid=21363 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21370/stat : 21370 (java) S 21363 21363 20414 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045734447504 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21371] ppid=21363 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/21365/task/21371/stat : 21371 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045733395472 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21372] ppid=21363 vsize=26108408 memory=139631265936303 CPUtime=0 cores=0-7 /proc/21365/task/21372/stat : 21372 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045732342928 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21373] ppid=21363 vsize=26108408 memory=139631265938608 CPUtime=0 cores=0-7 /proc/21365/task/21373/stat : 21373 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045731289872 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21374] ppid=21363 vsize=26108408 memory=139631265940912 CPUtime=0 cores=0-7 /proc/21365/task/21374/stat : 21374 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897056 26735009792 11534 33554432000 4194304 4196468 140720446121328 140045336312720 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21375] ppid=21363 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21375/stat : 21375 (java) S 21363 21363 20414 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87897057 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044527098096 140045784996482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21376] ppid=21363 vsize=26108408 memory=279262531888784 CPUtime=0 cores=0-7 /proc/21365/task/21376/stat : 21376 (java) S 21363 21363 20414 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87897058 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044526044320 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21377] ppid=21363 vsize=26108408 memory=279262531895696 CPUtime=0 cores=0-7 /proc/21365/task/21377/stat : 21377 (java) S 21363 21363 20414 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87897058 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044524991216 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21378] ppid=21363 vsize=26108408 memory=279262531836976 CPUtime=0 cores=0-7 /proc/21365/task/21378/stat : 21378 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897060 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044523939792 140045785003931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21379] ppid=21363 vsize=26108408 memory=279262531909520 CPUtime=0.02 cores=0-7 /proc/21365/task/21379/stat : 21379 (java) S 21363 21363 20414 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 20 0 87897060 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044455111408 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21380] ppid=21363 vsize=26108408 memory=279262531916432 CPUtime=0.04 cores=0-7 /proc/21365/task/21380/stat : 21380 (java) R 21363 21363 20414 0 -1 4202560 178 0 0 0 4 0 0 0 20 0 20 0 87897060 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044454058864 140045762246592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21381] ppid=21363 vsize=26108408 memory=279262531914128 CPUtime=0.02 cores=0-7 /proc/21365/task/21381/stat : 21381 (java) S 21363 21363 20414 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 20 0 87897060 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044453005808 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21382] ppid=21363 vsize=26108408 memory=279262531930288 CPUtime=0.12 cores=0-7 /proc/21365/task/21382/stat : 21382 (java) S 21363 21363 20414 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 87897060 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044451953264 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21383] ppid=21363 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21383/stat : 21383 (java) S 21363 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87897061 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044450900448 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21384] ppid=21363 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/21365/task/21384/stat : 21384 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897061 26735009792 11534 33554432000 4194304 4196468 140720446121328 140044449847984 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47588 KiB [startup+0.700939 s] /proc/loadavg: 7.57 8.18 8.31 6/199 21384 /proc/meminfo: memFree=20435260/32770624 swapFree=67108860/67108860 [pid=21363] ppid=21360 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21363/stat : 21363 (xcsp3-exec) S 21360 21363 20414 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87897054 115843072 363 33554432000 4194304 5098028 140736038624176 140736038622280 140239768437372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13463552 140736038626359 140736038626560 140736038626560 140736038629322 0 /proc/21363/statm: 28282 363 306 221 0 87 0 [pid=21365] ppid=21363 vsize=26110532 memory=125732 CPUtime=2.01 cores=0-7 /proc/21365/stat : 21365 (java) S 21363 21363 20414 0 -1 1077944320 17033 0 0 0 193 8 0 0 20 0 20 0 87897055 26737184768 31433 33554432000 4194304 4196468 140720446121328 140720446103872 140045784985335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 /proc/21365/statm: 6527633 31433 3362 1 0 6488827 0 [pid=21365/tid=21366] ppid=21363 vsize=26110532 memory=279262532288176 CPUtime=0.66 cores=0-7 /proc/21365/task/21366/stat : 21366 (java) R 21363 21363 20414 0 -1 4202560 7101 0 0 0 62 4 0 0 20 0 20 0 87897055 26737184768 31433 33554432000 4194304 4196468 140720446121328 140045789223936 140045767393429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21367] ppid=21363 vsize=26110532 memory=139631266145136 CPUtime=0 cores=0-7 /proc/21365/task/21367/stat : 21367 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26737184768 31433 33554432000 4194304 4196468 140720446121328 140045737605648 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21368] ppid=21363 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/21365/task/21368/stat : 21368 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26737184768 31433 33554432000 4194304 4196468 140720446121328 140045736553104 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21369] ppid=21363 vsize=26110532 memory=8540 CPUtime=0 cores=0-7 /proc/21365/task/21369/stat : 21369 (java) S 21363 21363 20414 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87897056 26737184768 31433 33554432000 4194304 4196468 140720446121328 140045735500048 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 ################ # More data... # ################ [pid=21365/tid=22114] ppid=21363 vsize=26709608 memory=1452 CPUtime=58.24 cores=0-7 /proc/21365/task/22114/stat : 22114 (java) R 21363 21363 20414 0 -1 4202560 694 0 0 0 5824 0 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044432830952 140045418933935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22115] ppid=21363 vsize=26709608 memory=4136 CPUtime=58.24 cores=0-7 /proc/21365/task/22115/stat : 22115 (java) R 21363 21363 20414 0 -1 4202560 1466 0 0 0 5822 2 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044433884216 140045418236032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22116] ppid=21363 vsize=26709608 memory=33 CPUtime=58.74 cores=0-7 /proc/21365/task/22116/stat : 22116 (java) R 21363 21363 20414 0 -1 4202560 5064 0 0 0 5870 4 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044435988992 140045420255515 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22117] ppid=21363 vsize=26709608 memory=5787213840066634841 CPUtime=58.2 cores=0-7 /proc/21365/task/22117/stat : 22117 (java) R 21363 21363 20414 0 -1 4202560 611 0 0 0 5819 1 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044434940584 140720446224690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22118] ppid=21363 vsize=26709608 memory=1452 CPUtime=58.23 cores=0-7 /proc/21365/task/22118/stat : 22118 (java) R 21363 21363 20414 0 -1 4202560 8473 0 0 0 5810 13 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044440202448 140045418517612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22119] ppid=21363 vsize=26709608 memory=7516680 CPUtime=57.73 cores=0-7 /proc/21365/task/22119/stat : 22119 (java) R 21363 21363 20414 0 -1 4202560 2633 0 0 0 5765 8 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044439146616 140045418128501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22120] ppid=21363 vsize=26709608 memory=6791534058613427641 CPUtime=57.66 cores=0-7 /proc/21365/task/22120/stat : 22120 (java) R 21363 21363 20414 0 -1 4202560 655 0 0 0 5766 0 0 0 20 0 28 0 88143161 27350638592 1879170 33554432000 4194304 4196468 140720446121328 140044438097904 140045418129014 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 Current children cumulated CPU time: 4585.83 s Current children cumulated vsize: 26822736 KiB Current children cumulated memory: 7518132 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 21363 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002328 s, system=0 s [startup+2520.26 s] # the end of solver process 21365 was just reported to runsolver # cumulated CPU time of all completed processes: user=4578.13 s, system=8.66089 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 [startup+2520.12 s]* /proc/loadavg: 6.90 2.99 2.32 3/205 22122 /proc/meminfo: memFree=12973796/32770624 swapFree=67108860/67108860 [pid=21365] ppid=21360 vsize=26776172 memory=7517000 CPUtime=4586.58 cores=0-7 /proc/21365/stat : 21365 (java) S 21360 21363 20414 0 -1 1077944320 469470 0 0 0 457802 856 0 0 20 0 27 0 87897055 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140720446103872 140045784985335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 /proc/21365/statm: 6694043 1879250 3447 1 0 6655237 0 [pid=21365/tid=21366] ppid=21360 vsize=26776172 memory=18252 CPUtime=0.98 cores=0-7 /proc/21365/task/21366/stat : 21366 (java) S 21360 21363 20414 0 -1 1077944384 10476 0 0 0 91 7 0 0 20 0 27 0 87897055 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045789226112 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21367] ppid=21360 vsize=26776172 memory=14880 CPUtime=2.52 cores=0-7 /proc/21365/task/21367/stat : 21367 (java) S 21360 21363 20414 0 -1 1077944384 17687 0 0 0 210 42 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045737605648 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21368] ppid=21360 vsize=26776172 memory=644 CPUtime=2.19 cores=0-7 /proc/21365/task/21368/stat : 21368 (java) S 21360 21363 20414 0 -1 1077944384 13377 0 0 0 186 33 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045736553104 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21369] ppid=21360 vsize=26776172 memory=4872558044660077418 CPUtime=2.54 cores=0-7 /proc/21365/task/21369/stat : 21369 (java) S 21360 21363 20414 0 -1 1077944384 17887 0 0 0 215 39 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045735500048 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21370] ppid=21360 vsize=26776172 memory=1728 CPUtime=2.55 cores=0-7 /proc/21365/task/21370/stat : 21370 (java) S 21360 21363 20414 0 -1 1077944384 14120 0 0 0 212 43 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045734447504 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21371] ppid=21360 vsize=26776172 memory=796 CPUtime=2.55 cores=0-7 /proc/21365/task/21371/stat : 21371 (java) S 21360 21363 20414 0 -1 1077944384 17161 0 0 0 216 39 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045733395472 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21372] ppid=21360 vsize=26776172 memory=1012 CPUtime=2.56 cores=0-7 /proc/21365/task/21372/stat : 21372 (java) S 21360 21363 20414 0 -1 1077944384 14584 0 0 0 182 74 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045732342928 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21373] ppid=21360 vsize=26776172 memory=1228 CPUtime=2.52 cores=0-7 /proc/21365/task/21373/stat : 21373 (java) S 21360 21363 20414 0 -1 1077944384 13718 0 0 0 211 41 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045731289872 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21374] ppid=21360 vsize=26776172 memory=1712 CPUtime=2.52 cores=0-7 /proc/21365/task/21374/stat : 21374 (java) S 21360 21363 20414 0 -1 1077944384 13231 0 0 0 218 34 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045336312720 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21375] ppid=21360 vsize=26776172 memory=9996 CPUtime=0.92 cores=0-7 /proc/21365/task/21375/stat : 21375 (java) R 21360 21363 20414 0 -1 4202560 28599 0 0 0 45 47 0 0 20 0 27 0 87897057 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044527098232 140045777613543 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21376] ppid=21360 vsize=26776172 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21365/task/21376/stat : 21376 (java) S 21360 21363 20414 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 27 0 87897058 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044526044384 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21377] ppid=21360 vsize=26776172 memory=7516228 CPUtime=0 cores=0-7 /proc/21365/task/21377/stat : 21377 (java) S 21360 21363 20414 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 27 0 87897058 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044524991232 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21379] ppid=21360 vsize=26776172 memory=4136 CPUtime=2.5 cores=0-7 /proc/21365/task/21379/stat : 21379 (java) S 21360 21363 20414 0 -1 1077944384 15144 0 0 0 247 3 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044455111408 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21380] ppid=21360 vsize=26776172 memory=7516228 CPUtime=2.56 cores=0-7 /proc/21365/task/21380/stat : 21380 (java) S 21360 21363 20414 0 -1 1077944384 15070 0 0 0 252 4 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044454058864 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21381] ppid=21360 vsize=26776172 memory=4136 CPUtime=2.4 cores=0-7 /proc/21365/task/21381/stat : 21381 (java) S 21360 21363 20414 0 -1 1077944384 12669 0 0 0 237 3 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044453005568 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21382] ppid=21360 vsize=26776172 memory=25704 CPUtime=0.88 cores=0-7 /proc/21365/task/21382/stat : 21382 (java) S 21360 21363 20414 0 -1 1077944384 17382 0 0 0 84 4 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044451953264 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21383] ppid=21360 vsize=26776172 memory=2420 CPUtime=0 cores=0-7 /proc/21365/task/21383/stat : 21383 (java) S 21360 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 87897061 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044450900448 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22113] ppid=21360 vsize=26776172 memory=1292 CPUtime=58.33 cores=0-7 /proc/21365/task/22113/stat : 22113 (java) S 21360 21363 20414 0 -1 1077944384 1296 0 0 0 5833 0 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044441250976 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22114] ppid=21360 vsize=26776172 memory=5792 CPUtime=58.32 cores=0-7 /proc/21365/task/22114/stat : 22114 (java) S 21360 21363 20414 0 -1 1077944384 694 0 0 0 5832 0 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044432830864 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22115] ppid=21360 vsize=26776172 memory=1936 CPUtime=58.32 cores=0-7 /proc/21365/task/22115/stat : 22115 (java) S 21360 21363 20414 0 -1 1077944384 1466 0 0 0 5830 2 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044433884128 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22116] ppid=21360 vsize=26776172 memory=1728 CPUtime=58.87 cores=0-7 /proc/21365/task/22116/stat : 22116 (java) R 21360 21363 20414 0 -1 4202560 5165 0 0 0 5883 4 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044435988992 140045420255493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22117] ppid=21360 vsize=26776172 memory=796 CPUtime=58.28 cores=0-7 /proc/21365/task/22117/stat : 22117 (java) S 21360 21363 20414 0 -1 1077944384 611 0 0 0 5827 1 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044434936544 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22118] ppid=21360 vsize=26776172 memory=1012 CPUtime=58.31 cores=0-7 /proc/21365/task/22118/stat : 22118 (java) S 21360 21363 20414 0 -1 1077944384 8488 0 0 0 5818 13 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044440199520 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22119] ppid=21360 vsize=26776172 memory=1228 CPUtime=57.82 cores=0-7 /proc/21365/task/22119/stat : 22119 (java) S 21360 21363 20414 0 -1 1077944384 2634 0 0 0 5774 8 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044439146704 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22120] ppid=21360 vsize=26776172 memory=1712 CPUtime=57.73 cores=0-7 /proc/21365/task/22120/stat : 22120 (java) S 21360 21363 20414 0 -1 1077944384 655 0 0 0 5773 0 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044438094432 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22121] ppid=21360 vsize=26776172 memory=9996 CPUtime=0 cores=0-7 /proc/21365/task/22121/stat : 22121 (java) S 21360 21363 20414 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 27 0 88149058 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044437045232 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 Current cumulated CPU time of completed processes: 0.002328 s Current children cumulated CPU time: 4586.58 s Current children cumulated vsize: 26776172 KiB Current children cumulated memory: 7517000 KiB [startup+2520.21 s] /proc/loadavg: 6.90 2.99 2.32 3/205 22122 /proc/meminfo: memFree=12973796/32770624 swapFree=67108860/67108860 [pid=21365] ppid=21360 vsize=26776172 memory=7517000 CPUtime=4586.74 cores=0-7 /proc/21365/stat : 21365 (java) S 21360 21363 20414 0 -1 1077944320 469483 0 0 0 457813 861 0 0 20 0 27 0 87897055 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140720446103872 140045784985335 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 /proc/21365/statm: 6694043 1879250 3447 1 0 6655237 0 [pid=21365/tid=21366] ppid=21360 vsize=26776172 memory=7516680 CPUtime=0.98 cores=0-7 /proc/21365/task/21366/stat : 21366 (java) S 21360 21363 20414 0 -1 1077944384 10476 0 0 0 91 7 0 0 20 0 27 0 87897055 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045789226112 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21367] ppid=21360 vsize=26776172 memory=7516680 CPUtime=2.52 cores=0-7 /proc/21365/task/21367/stat : 21367 (java) S 21360 21363 20414 0 -1 1077944384 17687 0 0 0 210 42 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045737605648 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21368] ppid=21360 vsize=26776172 memory=7516680 CPUtime=2.19 cores=0-7 /proc/21365/task/21368/stat : 21368 (java) S 21360 21363 20414 0 -1 1077944384 13377 0 0 0 186 33 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045736553104 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21369] ppid=21360 vsize=26776172 memory=1452 CPUtime=2.54 cores=0-7 /proc/21365/task/21369/stat : 21369 (java) S 21360 21363 20414 0 -1 1077944384 17887 0 0 0 215 39 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045735500048 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21370] ppid=21360 vsize=26776172 memory=7516680 CPUtime=2.55 cores=0-7 /proc/21365/task/21370/stat : 21370 (java) S 21360 21363 20414 0 -1 1077944384 14120 0 0 0 212 43 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045734447504 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21371] ppid=21360 vsize=26776172 memory=7516228 CPUtime=2.55 cores=0-7 /proc/21365/task/21371/stat : 21371 (java) S 21360 21363 20414 0 -1 1077944384 17161 0 0 0 216 39 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045733395472 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21372] ppid=21360 vsize=26776172 memory=7516228 CPUtime=2.56 cores=0-7 /proc/21365/task/21372/stat : 21372 (java) S 21360 21363 20414 0 -1 1077944384 14584 0 0 0 182 74 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045732342928 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21373] ppid=21360 vsize=26776172 memory=7516228 CPUtime=2.52 cores=0-7 /proc/21365/task/21373/stat : 21373 (java) S 21360 21363 20414 0 -1 1077944384 13718 0 0 0 211 41 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045731289872 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21374] ppid=21360 vsize=26776172 memory=1452 CPUtime=2.52 cores=0-7 /proc/21365/task/21374/stat : 21374 (java) S 21360 21363 20414 0 -1 1077944384 13231 0 0 0 218 34 0 0 20 0 27 0 87897056 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140045336312720 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21375] ppid=21360 vsize=26776172 memory=7516680 CPUtime=1 cores=0-7 /proc/21365/task/21375/stat : 21375 (java) R 21360 21363 20414 0 -1 4202560 28599 0 0 0 48 52 0 0 20 0 27 0 87897057 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044527098232 140045777613543 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21376] ppid=21360 vsize=26776172 memory=1452 CPUtime=0 cores=0-7 /proc/21365/task/21376/stat : 21376 (java) S 21360 21363 20414 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 27 0 87897058 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044526044384 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21377] ppid=21360 vsize=26776172 memory=1452 CPUtime=0 cores=0-7 /proc/21365/task/21377/stat : 21377 (java) S 21360 21363 20414 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 27 0 87897058 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044524991232 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21379] ppid=21360 vsize=26776172 memory=7516228 CPUtime=2.5 cores=0-7 /proc/21365/task/21379/stat : 21379 (java) S 21360 21363 20414 0 -1 1077944384 15144 0 0 0 247 3 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044455111408 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21380] ppid=21360 vsize=26776172 memory=8540 CPUtime=2.56 cores=0-7 /proc/21365/task/21380/stat : 21380 (java) S 21360 21363 20414 0 -1 1077944384 15070 0 0 0 252 4 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044454058864 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21381] ppid=21360 vsize=26776172 memory=4616 CPUtime=2.4 cores=0-7 /proc/21365/task/21381/stat : 21381 (java) S 21360 21363 20414 0 -1 1077944384 12669 0 0 0 237 3 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044453005568 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21382] ppid=21360 vsize=26776172 memory=1452 CPUtime=0.88 cores=0-7 /proc/21365/task/21382/stat : 21382 (java) S 21360 21363 20414 0 -1 1077944384 17382 0 0 0 84 4 0 0 20 0 27 0 87897060 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044451953264 140045784996482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=21383] ppid=21360 vsize=26776172 memory=7516680 CPUtime=0 cores=0-7 /proc/21365/task/21383/stat : 21383 (java) S 21360 21363 20414 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 87897061 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044450900448 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22113] ppid=21360 vsize=26776172 memory=5792 CPUtime=58.33 cores=0-7 /proc/21365/task/22113/stat : 22113 (java) S 21360 21363 20414 0 -1 1077944384 1296 0 0 0 5833 0 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044441250976 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22114] ppid=21360 vsize=26776172 memory=1936 CPUtime=58.32 cores=0-7 /proc/21365/task/22114/stat : 22114 (java) S 21360 21363 20414 0 -1 1077944384 694 0 0 0 5832 0 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044432830864 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22115] ppid=21360 vsize=26776172 memory=1452 CPUtime=58.32 cores=0-7 /proc/21365/task/22115/stat : 22115 (java) S 21360 21363 20414 0 -1 1077944384 1466 0 0 0 5830 2 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044433884128 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22116] ppid=21360 vsize=26776172 memory=4136 CPUtime=58.95 cores=0-7 /proc/21365/task/22116/stat : 22116 (java) R 21360 21363 20414 0 -1 4202560 5178 0 0 0 5891 4 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044435988992 140045420255583 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22117] ppid=21360 vsize=26776172 memory=1452 CPUtime=58.28 cores=0-7 /proc/21365/task/22117/stat : 22117 (java) S 21360 21363 20414 0 -1 1077944384 611 0 0 0 5827 1 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044434936544 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22118] ppid=21360 vsize=26776172 memory=1452 CPUtime=58.31 cores=0-7 /proc/21365/task/22118/stat : 22118 (java) S 21360 21363 20414 0 -1 1077944384 8488 0 0 0 5818 13 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044440199520 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22119] ppid=21360 vsize=26776172 memory=33 CPUtime=57.82 cores=0-7 /proc/21365/task/22119/stat : 22119 (java) S 21360 21363 20414 0 -1 1077944384 2634 0 0 0 5774 8 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044439146704 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22120] ppid=21360 vsize=26776172 memory=5787213840066634841 CPUtime=57.73 cores=0-7 /proc/21365/task/22120/stat : 22120 (java) S 21360 21363 20414 0 -1 1077944384 655 0 0 0 5773 0 0 0 20 0 27 0 88143161 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044438094432 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 [pid=21365/tid=22121] ppid=21360 vsize=26776172 memory=1452 CPUtime=0 cores=0-7 /proc/21365/task/22121/stat : 22121 (java) S 21360 21363 20414 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 27 0 88149058 27418800128 1879250 33554432000 4194304 4196468 140720446121328 140044437045232 140045784995541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30859264 140720446125185 140720446125357 140720446125357 140720446128079 0 Current cumulated CPU time of completed processes: 0.002328 s Current children cumulated CPU time: 4586.74 s Current children cumulated vsize: 26776172 KiB Current children cumulated memory: 7517000 KiB Child status: 143 Real time (s): 2520.26 CPU time (s): 4586.79 CPU user time (s): 4578.13 CPU system time (s): 8.66089 CPU usage (%): 181.997 Max. virtual memory (cumulated for all children) (KiB): 26822736 Max. memory (cumulated for all children) (KiB): 8077212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4578.13 system time used= 8.66089 maximum resident set size= 8184320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 470130 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70220 involuntary context switches= 25596 # summary of solver processes directly reported to runsolver: # pid: 21363,21365 # total CPU time (s): 4586.79 # total CPU user time (s): 4578.13 # total CPU system time (s): 8.66089 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 18.4848 second user time and 27.0586 second system time The end
Begin job on node105 at 2018-07-27 16:55:39 IDJOB=4297906 IDBENCH=141158 IDSOLVER=2760 FILE ID=node105/4297906-1532703339 RUNJOBID= node105-1532697755-20441 PBS_JOBID= 21022297 Free space on /tmp= 44624 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay200_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297906-1532703339/watcher-4297906-1532703339 -o /tmp/evaluation-result-4297906-1532703339/solver-4297906-1532703339 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1532697755-20441 --watchdog 2580 HOME/xcsp3-exec -seed 78374819 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297906-1532703339.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad RANDOM SEED=78374819 node105.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.32 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.32 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.32 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.32 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: 20493100 kB MemAvailable: 31930108 kB Buffers: 259472 kB Cached: 11317720 kB SwapCached: 0 kB Active: 2385300 kB Inactive: 9245964 kB Active(anon): 8396 kB Inactive(anon): 73364 kB Active(file): 2376904 kB Inactive(file): 9172600 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21808 kB Writeback: 0 kB AnonPages: 60332 kB Mapped: 41316 kB Shmem: 25228 kB Slab: 343192 kB SReclaimable: 315964 kB SUnreclaim: 27228 kB KernelStack: 3152 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326252 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44604 MiB End job on node105 at 2018-07-27 17:37:39