Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 718 | 2007.41 | 252.027 |
Name | PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-hanoi4.xml |
MD5SUM | a17fae509aff329e2f365d061bb5ebf3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 718 |
Best CPU time to get the best result obtained on this benchmark | 109.649 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1436 |
Number of constraints | 5652 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1436}] |
Minimum variable degree | 3 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":3,"count":49},{"degree":4,"count":94},{"degree":5,"count":95},{"degree":6,"count":95},{"degree":7,"count":581},{"degree":9,"count":1},{"degree":10,"count":11},{"degree":11,"count":12},{"degree":12,"count":168},{"degree":15,"count":60},{"degree":19,"count":45},{"degree":21,"count":60},{"degree":23,"count":105},{"degree":29,"count":60}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":128},{"arity":2,"count":3199},{"arity":3,"count":2280},{"arity":4,"count":15},{"arity":7,"count":30}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":5652}] |
Optimization problem | YES |
Type of objective | min SUM |
393.82/49.99 c 393.82/49.99 c This is cosoco 2.00 -- 393.82/49.99 c 393.82/49.99 c command line: cosoco -model -nbcores=8 HOME/instance-4409968-1569829668.xml 393.82/49.99 c enable optimization 393.82/49.99 c ========================================[ Problem Statistics ]=========================================== 393.82/49.99 c | 393.82/49.99 c | Parse time : 0.53 s 393.82/49.99 c | 393.82/49.99 c | Variables: 1436 393.82/49.99 c | Domain Sizes: 2..2 393.82/49.99 c | 393.82/49.99 c | Constraints: 5653 393.82/49.99 c | Arity: 1..1436 -- Unary: 128 -- Binary: 3199 -- Ternary: 2280 393.82/49.99 c | 393.82/49.99 c | Types: 393.82/49.99 c | Sum: 5653 393.82/49.99 c | 393.82/49.99 c | Objective: Minimize Sum 393.82/49.99 393.82/49.99 c ========================================================================================================= 393.82/49.99 c Parallel mode: Portfolio 393.82/49.99 c [pFactory][Group N°0] created (threads:8). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 393.82/49.99 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 393.82/49.99 c [pFactory][Group N°0] concurrent mode: enabled. 393.82/49.99 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 393.82/49.99 c [pFactory][Group N°0] task 7 launched on thread 0. 393.82/49.99 c [pFactory][Group N°0] task 6 launched on thread 1. 393.82/49.99 c [pFactory][Group N°0] task 5 launched on thread 6. 393.82/49.99 c [pFactory][Group N°0] task 4 launched on thread 2. 393.82/49.99 c [pFactory][Group N°0] task 3 launched on thread 7. 393.82/49.99 c [pFactory][Group N°0] task 2 launched on thread 4. 393.82/49.99 c [pFactory][Group N°0] task 1 launched on thread 3. 393.82/49.99 c [pFactory][Group N°0] task 0 launched on thread 5. 393.82/49.99 o 718 2007.29/252.02 2007.29/252.02 c *** INTERRUPTED *** 2007.29/252.02 c call to solver : 1 2007.29/252.02 c 2007.29/252.02 c restarts : 2586 2007.29/252.02 c conflicts : 18912 (9 /sec) 2007.29/252.02 c decisions : 639048 (319 /sec) 2007.29/252.02 c propagations : 6388573 (3185 /sec) 2007.29/252.02 c root propagations : 354 2007.29/252.02 c filter calls : 52986703 (26419 /sec) 2007.29/252.02 c useless filter calls : 47541792 (89 %) 2007.29/252.02 c Memory used : 879.50 MB 2007.29/252.02 c Best bound time (wc) : 49.9843 s 2007.29/252.02 c CPU time : 2005.67 s 2007.29/252.02 c real time : 252.017 s 2007.29/252.02 2007.29/252.02 s SATISFIABLE 2007.29/252.02 c Best value found: 718 2007.29/252.02 2007.29/252.02 2007.29/252.02 v <instantiation type='solution' cost='718'> 2007.29/252.02 v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list> 2007.29/252.02 v <values>1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 </values> 2007.29/252.02 v </instantiation> 2007.29/252.02
OK 718
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14850 MiB free) memory of node 1: 16384 MiB (14595 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409968-1569829668/watcher-4409968-1569829668 -o /tmp/evaluation-result-4409968-1569829668/solver-4409968-1569829668 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409968-1569829668.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5606, runsolver pid=5603 Current StackSize limit: 8192 KiB [startup+0.100162 s]* /proc/loadavg: 8.38 8.19 8.23 2/191 5607 /proc/meminfo: memFree=30138084/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=45724 memory=22024 CPUtime=0.1 cores=0-7 /proc/5606/stat : 5606 (cosoco) R 5603 5606 3066 0 -1 4202496 5698 0 0 0 9 1 0 0 20 0 1 0 558881542 46821376 5506 33554432000 4194304 6211132 140720718096688 140720718093224 139642293185509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 11431 5506 837 493 0 4736 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 45724 KiB Current children cumulated memory: 22024 KiB [startup+0.209249 s]* /proc/loadavg: 8.38 8.19 8.23 2/191 5607 /proc/meminfo: memFree=30076332/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=107620 memory=83908 CPUtime=0.21 cores=0-7 /proc/5606/stat : 5606 (cosoco) R 5603 5606 3066 0 -1 4202496 21165 0 0 0 18 3 0 0 20 0 1 0 558881542 110202880 20977 33554432000 4194304 6211132 140720718096688 140720718093224 139642293185509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 26905 20977 837 493 0 20210 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 107620 KiB Current children cumulated memory: 83908 KiB [startup+0.309332 s]* /proc/loadavg: 8.38 8.19 8.23 2/191 5607 /proc/meminfo: memFree=30019060/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=164420 memory=140744 CPUtime=0.3 cores=0-7 /proc/5606/stat : 5606 (cosoco) R 5603 5606 3066 0 -1 4202496 35374 0 0 0 25 5 0 0 20 0 1 0 558881542 168366080 35186 33554432000 4194304 6211132 140720718096688 140720718090712 139642293185509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 41138 35186 837 493 0 34443 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 164420 KiB Current children cumulated memory: 140744 KiB [startup+0.701029 s] /proc/loadavg: 8.38 8.19 8.23 2/191 5607 /proc/meminfo: memFree=29906112/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=287104 CPUtime=1.06 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 72262 0 0 0 96 10 0 0 20 0 9 0 558881542 922218496 71776 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 71776 861 493 0 218456 0 Current children cumulated CPU time: 1.06 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 287104 KiB [startup+1.50103 s] /proc/loadavg: 8.38 8.19 8.23 9/199 5615 /proc/meminfo: memFree=29836832/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=328784 CPUtime=7.44 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 82723 0 0 0 729 15 0 0 20 0 9 0 558881542 922218496 82196 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 82196 869 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=3504 CPUtime=0.85 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 1348 0 0 0 85 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642286082664 5155844 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=10556 CPUtime=0.85 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 1243 0 0 0 85 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642277689800 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=988 CPUtime=0.83 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 1092 0 0 0 83 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642269297256 5156152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=2008 CPUtime=0.84 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 1290 0 0 0 84 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642260904392 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=1424 CPUtime=0.83 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 1639 0 0 0 83 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642252511688 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=4024 CPUtime=0.83 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 1608 0 0 0 83 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642244118984 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=1548 CPUtime=0.85 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 1321 0 0 0 85 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642235726280 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=2241 CPUtime=0.84 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 1157 0 0 0 84 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642227333576 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 7.44 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 328784 KiB [startup+3.11003 s] /proc/loadavg: 8.43 8.20 8.23 9/199 5615 /proc/meminfo: memFree=29821704/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=336696 CPUtime=20.28 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 179331 0 0 0 1989 39 0 0 20 0 9 0 558881542 922218496 84174 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 84174 873 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=0 CPUtime=2.46 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 12269 0 0 0 243 3 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642286082504 5156006 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=280888311178632 CPUtime=2.45 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 15893 0 0 0 244 1 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642277689800 5156165 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=-3117775541953848929 CPUtime=2.41 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 18311 0 0 0 239 2 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642269297096 5156152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=336532 CPUtime=2.45 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 9746 0 0 0 244 1 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642260904392 5155976 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=0 CPUtime=2.44 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 14726 0 0 0 238 6 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642252511688 5250499 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=6944656592387989600 CPUtime=2.44 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 9107 0 0 0 243 1 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642244119144 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=0 CPUtime=2.45 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 9287 0 0 0 242 3 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642235726280 5390233 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=0 CPUtime=2.45 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 17967 0 0 0 238 7 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642227333576 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 20.28 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 336696 KiB [startup+6.30103 s] /proc/loadavg: 8.43 8.20 8.23 9/199 5615 /proc/meminfo: memFree=29817656/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=338628 CPUtime=45.75 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 292331 0 0 0 4521 54 0 0 20 0 9 0 558881542 922218496 84657 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 84657 873 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=338628 CPUtime=5.65 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 24067 0 0 0 560 5 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642286082504 5250311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=379 CPUtime=5.64 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 33383 0 0 0 560 4 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642277689800 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=383 CPUtime=5.56 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 32331 0 0 0 552 4 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642269297096 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=3504 CPUtime=5.64 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 18129 0 0 0 562 2 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642260904392 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=10556 CPUtime=5.63 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 33004 0 0 0 555 8 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642252511688 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=55 CPUtime=5.64 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 17565 0 0 0 561 3 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642244119144 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=2244 CPUtime=5.64 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 25118 0 0 0 559 5 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642235726280 5155532 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=0 CPUtime=5.65 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 36709 0 0 0 555 10 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642227333576 5155555 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 45.75 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 338628 KiB [startup+12.701 s] /proc/loadavg: 8.39 8.20 8.23 9/199 5615 /proc/meminfo: memFree=29816272/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=338632 CPUtime=96.84 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 491590 0 0 0 9600 84 0 0 20 0 9 0 558881542 922218496 84658 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 84658 873 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=864 CPUtime=12.05 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 48898 0 0 0 1195 10 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642286082504 5156264 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=865 CPUtime=12.05 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 61107 0 0 0 1197 8 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642277689800 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=55 CPUtime=11.87 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 62944 0 0 0 1178 9 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642269297096 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=-2605811476043438480 CPUtime=12.03 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 35690 0 0 0 1200 3 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642260904392 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=338628 CPUtime=12.03 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 63818 0 0 0 1192 11 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642252511688 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=3472328296160571521 CPUtime=12.03 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 30366 0 0 0 1199 4 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642244119144 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=6944656592455360604 CPUtime=12.04 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 49655 0 0 0 1192 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642235726280 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=6943526294502006880 CPUtime=12.04 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 67087 0 0 0 1191 13 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642227333576 5250286 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 96.84 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 338632 KiB [startup+25.501 s] /proc/loadavg: 8.45 8.22 8.24 9/199 5616 /proc/meminfo: memFree=29816888/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=338632 CPUtime=199.03 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 676014 0 0 0 19795 108 0 0 20 0 9 0 558881542 922218496 84658 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 84658 873 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=0 CPUtime=24.83 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 70810 0 0 0 2471 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642286082504 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=338632 CPUtime=24.84 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 85860 0 0 0 2472 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642277689800 5250286 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=3504 CPUtime=24.49 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 91022 0 0 0 2437 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642269297096 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=15607911156877 CPUtime=24.82 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 48199 0 0 0 2478 4 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642260904392 5155828 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=288230596050944315 CPUtime=24.82 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 92534 0 0 0 2469 13 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642252511688 5250499 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=15817794159643255 CPUtime=24.82 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 42574 0 0 0 2476 6 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642244119144 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=10556 CPUtime=24.82 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 75960 0 0 0 2465 17 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642235726280 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=988 CPUtime=24.84 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 97030 0 0 0 2468 16 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642227333576 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 199.03 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 338632 KiB [startup+51.11 s] /proc/loadavg: 8.58 8.27 8.25 9/199 5618 /proc/meminfo: memFree=29815688/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=340060 CPUtime=403.48 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 818177 0 0 0 40220 128 0 0 20 0 9 0 558881542 922218496 85015 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 85015 873 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=338632 CPUtime=50.44 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 86774 0 0 0 5029 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642286082504 5156012 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=338632 CPUtime=50.45 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 105803 0 0 0 5030 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642277689800 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340060 CPUtime=49.95 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 110260 0 0 0 4980 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642269297096 5155839 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=1052 CPUtime=50.2 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 59253 0 0 0 5014 6 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642260904392 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=338632 CPUtime=50.42 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 115277 0 0 0 5027 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642252511688 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340060 CPUtime=50.43 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 50965 0 0 0 5036 7 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642244119144 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=164 CPUtime=50.42 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 94057 0 0 0 5022 20 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642235726280 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=3504 CPUtime=50.45 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 123763 0 0 0 5026 19 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642227334416 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 403.48 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 340060 KiB [startup+102.301 s] /proc/loadavg: 8.81 8.38 8.29 9/199 5621 /proc/meminfo: memFree=29816476/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=340064 CPUtime=812.13 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 918706 0 0 0 81071 142 0 0 20 0 9 0 558881542 922218496 85016 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 85016 874 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=338632 CPUtime=101.61 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 98109 0 0 0 10144 17 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642286082504 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=340064 CPUtime=101.63 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 120143 0 0 0 10145 18 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642277689800 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340064 CPUtime=100.44 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 123506 0 0 0 10026 18 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642269297096 5155976 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=280888311544560 CPUtime=101.36 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 66251 0 0 0 10129 7 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642260904392 5158060 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=0 CPUtime=101.57 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 132042 0 0 0 10140 17 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642252511688 5250311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340064 CPUtime=101.61 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 57585 0 0 0 10153 8 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642244119144 5158008 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=4024 CPUtime=101.59 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 108022 0 0 0 10136 23 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642235726280 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=340064 CPUtime=101.61 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 141023 0 0 0 10141 20 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642227334416 5155832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 812.13 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 340064 KiB [startup+162.301 s] /proc/loadavg: 8.68 8.43 8.32 10/200 5625 /proc/meminfo: memFree=29815876/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=340064 CPUtime=1291.06 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 1092431 0 0 0 128935 171 0 0 20 0 9 0 558881542 922218496 85016 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 85016 874 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=340064 CPUtime=161.58 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 116833 0 0 0 16138 20 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642286082504 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=340064 CPUtime=161.6 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 143247 0 0 0 16139 21 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642277689800 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340064 CPUtime=159.92 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 146841 0 0 0 15971 21 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642269297096 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=340064 CPUtime=161.27 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 86923 0 0 0 16116 11 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642260904392 5156014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=340064 CPUtime=161.54 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 155131 0 0 0 16133 21 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642252511688 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340064 CPUtime=161.57 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 73394 0 0 0 16147 10 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642244119144 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=340064 CPUtime=161.46 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 131238 0 0 0 16120 26 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642235726280 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=340064 CPUtime=161.38 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 166799 0 0 0 16113 25 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642227334416 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 1291.06 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 340064 KiB [startup+222.301 s] /proc/loadavg: 8.43 8.40 8.32 9/199 5636 /proc/meminfo: memFree=29814880/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=340136 CPUtime=1770.06 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 1103071 0 0 0 176833 173 0 0 20 0 9 0 558881542 922218496 85034 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 85034 874 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=340128 CPUtime=221.56 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 118575 0 0 0 22136 20 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642286082504 5158138 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=340132 CPUtime=221.52 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 144676 0 0 0 22131 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642277689800 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340136 CPUtime=219.48 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 148138 0 0 0 21927 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642269297096 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=340136 CPUtime=221.26 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 88016 0 0 0 22114 12 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642260904392 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=340136 CPUtime=221.53 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 155982 0 0 0 22132 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642252511688 5250499 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340120 CPUtime=221.26 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 74970 0 0 0 22116 10 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642244119144 5158032 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=668 CPUtime=221.45 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 132668 0 0 0 22118 27 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642235726280 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=1276 CPUtime=221.28 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 168021 0 0 0 22102 26 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642227334416 5155849 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 1770.06 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 340136 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.26 8.36 8.31 9/199 5636 /proc/meminfo: memFree=29817968/32770624 swapFree=66954180/67108860 [pid=5606] ppid=5603 vsize=900604 memory=340136 CPUtime=2007.29 cores=0-7 /proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 1104766 0 0 0 200556 173 0 0 20 0 9 0 558881542 922218496 85034 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 /proc/5606/statm: 225151 85034 874 493 0 218456 0 [pid=5606/tid=5608] ppid=5603 vsize=900604 memory=1398722017469774279 CPUtime=251.27 cores=0-7 /proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 118823 0 0 0 25107 20 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642286082504 5158032 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5609] ppid=5603 vsize=900604 memory=-7003737579269690708 CPUtime=250.81 cores=0-7 /proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 144861 0 0 0 25060 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642277689800 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5610] ppid=5603 vsize=900604 memory=6492 CPUtime=249.18 cores=0-7 /proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 148275 0 0 0 24897 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642269297096 5155992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5611] ppid=5603 vsize=900604 memory=14056 CPUtime=250.97 cores=0-7 /proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 88083 0 0 0 25085 12 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642260904392 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5612] ppid=5603 vsize=900604 memory=2116 CPUtime=251.24 cores=0-7 /proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 156043 0 0 0 25103 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642252511688 5155532 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5613] ppid=5603 vsize=900604 memory=520 CPUtime=250.97 cores=0-7 /proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 75650 0 0 0 25087 10 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642244119144 5155839 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5614] ppid=5603 vsize=900604 memory=1398722017469774279 CPUtime=251.16 cores=0-7 /proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 132862 0 0 0 25089 27 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642235726280 5250283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 [pid=5606/tid=5615] ppid=5603 vsize=900604 memory=-7003737579269690708 CPUtime=250.98 cores=0-7 /proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 168144 0 0 0 25072 26 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642227334416 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0 Current children cumulated CPU time: 2007.29 s Current children cumulated vsize: 900604 KiB Current children cumulated memory: 340136 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.027 s] # the end of solver process 5606 was just reported to runsolver # cumulated CPU time of all completed processes: user=2005.67 s, system=1.73889 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.027 CPU time (s): 2007.41 CPU user time (s): 2005.67 CPU system time (s): 1.73889 CPU usage (%): 796.507 Max. virtual memory (cumulated for all children) (KiB): 900604 Max. memory (cumulated for all children) (KiB): 340136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2005.67 system time used= 1.73889 maximum resident set size= 340432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1104821 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2300 involuntary context switches= 16937 # summary of solver processes directly reported to runsolver: # pid: 5606 # total CPU time (s): 2007.41 # total CPU user time (s): 2005.67 # total CPU system time (s): 1.73889 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.27277 second user time and 2.22556 second system time The end
Begin job on node119 at 2019-09-30 09:47:07 IDJOB=4409968 IDBENCH=134974 IDSOLVER=2878 FILE ID=node119/4409968-1569829668 RUNJOBID= node119-1569817669-3093 PBS_JOBID= 21705918 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-hanoi4.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409968-1569829668/watcher-4409968-1569829668 -o /tmp/evaluation-result-4409968-1569829668/solver-4409968-1569829668 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409968-1569829668.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a17fae509aff329e2f365d061bb5ebf3 RANDOM SEED=347521734 node119.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.47 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.47 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.47 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.47 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: 30152420 kB MemAvailable: 31825872 kB Buffers: 226260 kB Cached: 1785292 kB SwapCached: 46700 kB Active: 1076516 kB Inactive: 987044 kB Active(anon): 17596 kB Inactive(anon): 116460 kB Active(file): 1058920 kB Inactive(file): 870584 kB Unevictable: 107468 kB Mlocked: 107468 kB SwapTotal: 67108860 kB SwapFree: 66954180 kB Dirty: 3092 kB Writeback: 0 kB AnonPages: 114440 kB Mapped: 26412 kB Shmem: 73180 kB Slab: 148636 kB SReclaimable: 119564 kB SUnreclaim: 29072 kB KernelStack: 3344 kB PageTables: 4988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62028 MiB End job on node119 at 2019-09-30 09:51:19