Trace number 4271567

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)7 1969.0699 252.12601

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-3-fullins-5.xml
MD5SUM51dc9de19dcdd21b605810f9d7307a76
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark245.151
Satisfiable
(Un)Satisfiability was proved
Number of variables2030
Number of constraints33751
Number of domains1
Minimum domain size2030
Maximum domain size2030
Distribution of domain sizes[{"size":2030,"count":2030}]
Minimum variable degree9
Maximum variable degree410
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":14},{"degree":11,"count":12},{"degree":12,"count":36},{"degree":13,"count":23},{"degree":14,"count":54},{"degree":15,"count":22},{"degree":16,"count":66},{"degree":17,"count":41},{"degree":18,"count":123},{"degree":19,"count":41},{"degree":20,"count":123},{"degree":21,"count":19},{"degree":22,"count":57},{"degree":23,"count":42},{"degree":24,"count":131},{"degree":25,"count":8},{"degree":26,"count":24},{"degree":27,"count":29},{"degree":28,"count":87},{"degree":29,"count":44},{"degree":30,"count":132},{"degree":31,"count":87},{"degree":32,"count":261},{"degree":33,"count":5},{"degree":34,"count":15},{"degree":35,"count":15},{"degree":36,"count":45},{"degree":41,"count":5},{"degree":42,"count":15},{"degree":43,"count":5},{"degree":44,"count":15},{"degree":49,"count":5},{"degree":50,"count":15},{"degree":51,"count":15},{"degree":52,"count":45},{"degree":53,"count":15},{"degree":54,"count":45},{"degree":55,"count":45},{"degree":56,"count":135},{"degree":77,"count":5},{"degree":78,"count":15},{"degree":79,"count":15},{"degree":80,"count":45},{"degree":87,"count":5},{"degree":169,"count":5},{"degree":170,"count":15},{"degree":410,"count":5}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":33751}]
Number of extensional constraints0
Number of intensional constraints33751
Distribution of constraint types[{"type":"intension","count":33751}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271567-1502640325.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271567-1502640325.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
10.01/3.80	c solve instance...
16.88/4.72	o 21 
18.40/4.93	o 20 
18.40/4.97	o 19 
19.20/5.09	o 18 
21.38/5.69	o 13 
23.75/6.35	o 12 
25.71/6.96	o 11 
27.30/7.53	o 10 
28.91/8.10	o 9 
30.26/8.57	o 8 
32.10/9.04	o 7 
1968.36/252.08	s SATISFIABLE
1968.36/252.08	v <instantiation>
1968.36/252.08	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] </list>
1968.36/252.08	v 	<values>0 1 0 1 0 1 0 1 0 1 2 3 4 5 6 0 1 0 1 0 1 0 1 0 1 2 3 4 5 6 0 1 0 1 0 1 0 1 0 1 2 7 4 5 6 0 1 0 1 0 1 0 1 0 1 2 3 3 3 3 0 1 0 1 0 1 0 1 0 1 2 4 4 4 4 5 7 3 4 6 0 2 0 2 0 2 0 2 0 3 2 3 4 5 6 0 2 0 2 0 2 0 2 0 3 2 3 4 5 6 0 2 0 2 0 2 0 2 0 4 2 7 4 5 6 0 2 0 2 0 2 0 2 0 3 2 3 3 3 3 0 2 0 2 0 2 0 2 0 4 2 4 4 4 4 5 7 3 4 6 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 2 0 2 0 2 0 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 2 1 3 4 5 3 1 4 1 3 1 4 1 3 1 2 3 4 5 6 3 1 4 1 3 1 6 1 3 1 2 3 4 5 6 4 1 4 1 5 1 4 1 4 1 2 7 4 5 6 3 1 3 1 3 1 3 1 3 1 2 3 3 3 3 3 1 4 1 4 1 4 1 4 1 2 4 4 4 4 5 7 3 4 6 2 2 2 2 2 2 2 2 3 3 2 3 4 5 6 2 2 2 2 2 2 2 2 3 3 2 3 4 5 6 2 2 2 2 2 2 2 2 4 4 2 7 4 5 6 2 2 2 2 2 2 2 2 3 3 2 3 3 3 3 2 2 2 2 2 2 2 2 4 4 2 4 4 4 4 5 7 3 4 6 4 1 4 1 1 1 1 1 1 1 1 1 1 1 1 4 1 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 3 4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 </values>
1968.36/252.08	v </instantiation>
1968.36/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	7

Watcher Data 

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 (15306 MiB free)
  memory of node 1: 16384 MiB (15580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271567-1502640325/watcher-4271567-1502640325 -o /tmp/evaluation-result-4271567-1502640325/solver-4271567-1502640325 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 16962300 HOME/instance-4271567-1502640325.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
Current StackSize limit: 8192 KiB

solver pid=24167, runsolver pid=24164

[startup+0.100228 s]*
/proc/loadavg: 8.25 8.07 7.28 4/200 24188
/proc/meminfo: memFree=31612304/32770624 swapFree=67108860/67108860
[pid=24167] ppid=24164 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24167/stat : 24167 (xcsp3-exec) S 24164 24167 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97120160 9740288 345 33554432000 4194304 5098028 140728983895920 140728983894024 140128579498620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140728983897196 140728983897404 140728983897404 140728983900139 0
/proc/24167/statm: 2378 345 289 221 0 87 0
[pid=24169] ppid=24167 vsize=25999808 memory=26760 CPUtime=0.12 cores=0-7
/proc/24169/stat : 24169 (java) S 24167 24167 8644 0 -1 1077944320 5627 0 0 0 11 1 0 0 20 0 20 0 97120160 26623803392 6690 33554432000 4194304 4196468 140720769152736 140720769135280 140351458332407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
/proc/24169/statm: 6499952 6690 2841 1 0 6488269 0
[pid=24169/tid=24170] ppid=24167 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/24169/task/24170/stat : 24170 (java) R 24167 24167 8644 0 -1 4202560 3634 0 0 0 8 0 0 0 20 0 20 0 97120161 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351462564096 140351458354333 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24171] ppid=24167 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/24169/task/24171/stat : 24171 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351414885392 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24172] ppid=24167 vsize=25999808 memory=140456677254784 CPUtime=0 cores=0-7
/proc/24169/task/24172/stat : 24172 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351413832848 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24173] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24173/stat : 24173 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351412779792 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24174] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24174/stat : 24174 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351013256080 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24175] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24175/stat : 24175 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351012203024 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24176] ppid=24167 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24169/task/24176/stat : 24176 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351011150480 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24177] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24177/stat : 24177 (java) S 24167 24167 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351010097424 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24178] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24178/stat : 24178 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26623803392 6690 33554432000 4194304 4196468 140720769152736 140351009044880 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24179] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24179/stat : 24179 (java) S 24167 24167 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97120163 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350065720048 140351458343554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24180] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24180/stat : 24180 (java) S 24167 24167 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97120163 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350064666272 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24181] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24181/stat : 24181 (java) S 24167 24167 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97120164 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350063613168 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24182] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24182/stat : 24182 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120166 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350062561744 140351458351003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24183] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24183/stat : 24183 (java) S 24167 24167 8644 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 97120166 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350061508848 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24184] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24184/stat : 24184 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120166 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350060456304 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24185] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24185/stat : 24185 (java) R 24167 24167 8644 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 97120166 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350059403248 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24186] ppid=24167 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/24169/task/24186/stat : 24186 (java) R 24167 24167 8644 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 97120166 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350058350704 140351458344342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24187] ppid=24167 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24187/stat : 24187 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120166 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350057298912 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24188] ppid=24167 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/24169/task/24188/stat : 24188 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120167 26623803392 6690 33554432000 4194304 4196468 140720769152736 140350056246448 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28140 KiB

[startup+0.210625 s]*
/proc/loadavg: 8.25 8.07 7.28 2/200 24188
/proc/meminfo: memFree=31602180/32770624 swapFree=67108860/67108860
[pid=24167] ppid=24164 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24167/stat : 24167 (xcsp3-exec) S 24164 24167 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97120160 9740288 345 33554432000 4194304 5098028 140728983895920 140728983894024 140128579498620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140728983897196 140728983897404 140728983897404 140728983900139 0
/proc/24167/statm: 2378 345 289 221 0 87 0
[pid=24169] ppid=24167 vsize=26004064 memory=38984 CPUtime=0.33 cores=0-7
/proc/24169/stat : 24169 (java) S 24167 24167 8644 0 -1 1077944320 8298 0 0 0 31 2 0 0 20 0 20 0 97120160 26628161536 9746 33554432000 4194304 4196468 140720769152736 140720769135280 140351458332407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
/proc/24169/statm: 6501016 9746 3074 1 0 6488269 0
[pid=24169/tid=24170] ppid=24167 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24169/task/24170/stat : 24170 (java) D 24167 24167 8644 0 -1 1077944384 5434 0 0 0 19 1 0 0 20 0 20 0 97120161 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351462534128 140351451011629 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24171] ppid=24167 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/24169/task/24171/stat : 24171 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351414885392 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24172] ppid=24167 vsize=26004064 memory=140456677658272 CPUtime=0 cores=0-7
/proc/24169/task/24172/stat : 24172 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351413832848 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24173] ppid=24167 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24169/task/24173/stat : 24173 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351412779792 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24174] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24174/stat : 24174 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351013256080 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24175] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24175/stat : 24175 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351012203024 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24176] ppid=24167 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24169/task/24176/stat : 24176 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 9746 33554432000 4194304 4196468 140720769152736 140351011150480 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24177] ppid=24167 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24177/stat : 24177 (java) S 24167 24167 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97120162 26628194304 9746 33554432000 4194304 4196468 140720769152736 140351010097424 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24178] ppid=24167 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24178/stat : 24178 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628194304 9746 33554432000 4194304 4196468 140720769152736 140351009044880 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24179] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24179/stat : 24179 (java) S 24167 24167 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97120163 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350065720048 140351458343554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24180] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24180/stat : 24180 (java) S 24167 24167 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97120163 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350064666272 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24181] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24181/stat : 24181 (java) S 24167 24167 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97120164 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350063613168 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24182] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24182/stat : 24182 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120166 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350062561744 140351458351003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24183] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24183/stat : 24183 (java) S 24167 24167 8644 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 97120166 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350061508848 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24184] ppid=24167 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/24169/task/24184/stat : 24184 (java) S 24167 24167 8644 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 97120166 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350060456304 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24185] ppid=24167 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/24169/task/24185/stat : 24185 (java) S 24167 24167 8644 0 -1 1077944384 414 0 0 0 2 0 0 0 20 0 20 0 97120166 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350059403248 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24186] ppid=24167 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/24169/task/24186/stat : 24186 (java) S 24167 24167 8644 0 -1 1077944384 762 0 0 0 7 0 0 0 20 0 20 0 97120166 26628161536 9766 33554432000 4194304 4196468 140720769152736 140350058350704 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24187] ppid=24167 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24187/stat : 24187 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120166 26628194304 9766 33554432000 4194304 4196468 140720769152736 140350057298912 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24188] ppid=24167 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/24169/task/24188/stat : 24188 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120167 26628194304 9766 33554432000 4194304 4196468 140720769152736 140350056246448 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40364 KiB

[startup+0.310433 s]*
/proc/loadavg: 8.25 8.07 7.28 4/200 24188
/proc/meminfo: memFree=31597404/32770624 swapFree=67108860/67108860
[pid=24167] ppid=24164 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24167/stat : 24167 (xcsp3-exec) S 24164 24167 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97120160 9740288 345 33554432000 4194304 5098028 140728983895920 140728983894024 140128579498620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140728983897196 140728983897404 140728983897404 140728983900139 0
/proc/24167/statm: 2378 345 289 221 0 87 0
[pid=24169] ppid=24167 vsize=26004064 memory=43616 CPUtime=0.51 cores=0-7
/proc/24169/stat : 24169 (java) S 24167 24167 8644 0 -1 1077944320 9153 0 0 0 48 3 0 0 20 0 20 0 97120160 26628161536 10904 33554432000 4194304 4196468 140720769152736 140720769135280 140351458332407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
/proc/24169/statm: 6501016 10904 3090 1 0 6488269 0
[pid=24169/tid=24170] ppid=24167 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24169/task/24170/stat : 24170 (java) R 24167 24167 8644 0 -1 4202560 6103 0 0 0 28 1 0 0 20 0 20 0 97120161 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351462570320 140351092370564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24171] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24171/stat : 24171 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351414885392 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24172] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24172/stat : 24172 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351413832848 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24173] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24173/stat : 24173 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351412779792 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24174] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24174/stat : 24174 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351013256080 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24175] ppid=24167 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/24169/task/24175/stat : 24175 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351012203024 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24176] ppid=24167 vsize=26004064 memory=140456570745775 CPUtime=0 cores=0-7
/proc/24169/task/24176/stat : 24176 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351011150480 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24177] ppid=24167 vsize=26004064 memory=140456570748080 CPUtime=0 cores=0-7
/proc/24169/task/24177/stat : 24177 (java) S 24167 24167 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351010097424 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24178] ppid=24167 vsize=26004064 memory=140456570750384 CPUtime=0 cores=0-7
/proc/24169/task/24178/stat : 24178 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628161536 10904 33554432000 4194304 4196468 140720769152736 140351009044880 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24179] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24179/stat : 24179 (java) S 24167 24167 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97120163 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350065720048 140351458343554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24180] ppid=24167 vsize=26004064 memory=280913141507728 CPUtime=0 cores=0-7
/proc/24169/task/24180/stat : 24180 (java) S 24167 24167 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97120163 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350064666272 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24181] ppid=24167 vsize=26004064 memory=280913141514640 CPUtime=0 cores=0-7
/proc/24169/task/24181/stat : 24181 (java) S 24167 24167 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97120164 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350063613168 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24182] ppid=24167 vsize=26004064 memory=280913141455920 CPUtime=0 cores=0-7
/proc/24169/task/24182/stat : 24182 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120166 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350062561744 140351458351003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24183] ppid=24167 vsize=26004064 memory=280913141528464 CPUtime=0 cores=0-7
/proc/24169/task/24183/stat : 24183 (java) S 24167 24167 8644 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 97120166 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350061508848 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24184] ppid=24167 vsize=26004064 memory=280913141535376 CPUtime=0.03 cores=0-7
/proc/24169/task/24184/stat : 24184 (java) S 24167 24167 8644 0 -1 1077944384 130 0 0 0 3 0 0 0 20 0 20 0 97120166 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350060456304 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24185] ppid=24167 vsize=26004064 memory=280913141533072 CPUtime=0.02 cores=0-7
/proc/24169/task/24185/stat : 24185 (java) S 24167 24167 8644 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 97120166 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350059403248 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24186] ppid=24167 vsize=26004064 memory=280913141549232 CPUtime=0.12 cores=0-7
/proc/24169/task/24186/stat : 24186 (java) R 24167 24167 8644 0 -1 4202560 888 0 0 0 12 0 0 0 20 0 20 0 97120166 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350058347072 140351437037513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24187] ppid=24167 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24187/stat : 24187 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120166 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350057298912 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24188] ppid=24167 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/24169/task/24188/stat : 24188 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120167 26628161536 10904 33554432000 4194304 4196468 140720769152736 140350056246448 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44996 KiB

[startup+0.70101 s]
/proc/loadavg: 8.25 8.07 7.28 3/200 24188
/proc/meminfo: memFree=31565764/32770624 swapFree=67108860/67108860
[pid=24167] ppid=24164 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24167/stat : 24167 (xcsp3-exec) S 24164 24167 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97120160 9740288 345 33554432000 4194304 5098028 140728983895920 140728983894024 140128579498620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140728983897196 140728983897404 140728983897404 140728983900139 0
/proc/24167/statm: 2378 345 289 221 0 87 0
[pid=24169] ppid=24167 vsize=26004140 memory=143164 CPUtime=1.89 cores=0-7
/proc/24169/stat : 24169 (java) S 24167 24167 8644 0 -1 1077944320 14079 0 0 0 184 5 0 0 20 0 20 0 97120160 26628239360 35791 33554432000 4194304 4196468 140720769152736 140720769135280 140351458332407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
/proc/24169/statm: 6501035 35791 3201 1 0 6488269 0
[pid=24169/tid=24170] ppid=24167 vsize=26004140 memory=280913141907120 CPUtime=0.67 cores=0-7
/proc/24169/task/24170/stat : 24170 (java) R 24167 24167 8644 0 -1 4202560 6421 0 0 0 65 2 0 0 20 0 20 0 97120161 26628239360 35791 33554432000 4194304 4196468 140720769152736 140351462569328 140351095881645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24171] ppid=24167 vsize=26004140 memory=140456570954608 CPUtime=0 cores=0-7
/proc/24169/task/24171/stat : 24171 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628239360 35791 33554432000 4194304 4196468 140720769152736 140351414885392 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24172] ppid=24167 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24172/stat : 24172 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97120162 26628239360 35791 33554432000 4194304 4196468 140720769152736 140351413832848 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24173] ppid=24167 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/24169/task/24173/stat : 24173 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97120162 26628239360 35791 33554432000 4194304 4196468 140720769152736 140351412779792 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0

################
# More data... #
################

[pid=24169/tid=24284] ppid=24167 vsize=26538700 memory=1732 CPUtime=151.38 cores=0-7
/proc/24169/task/24284/stat : 24284 (java) R 24167 24167 8644 0 -1 4202560 2919 0 0 0 15131 7 0 0 20 0 28 0 97121065 27175628800 1241086 33554432000 4194304 4196468 140720769152736 140350045078008 140351097926071 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
Current children cumulated CPU time: 1252.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4965724 KiB

[startup+222.301 s]
/proc/loadavg: 8.33 8.22 7.51 9/208 24284
/proc/meminfo: memFree=25274492/32770624 swapFree=67108860/67108860
[pid=24167] ppid=24164 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24167/stat : 24167 (xcsp3-exec) S 24164 24167 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97120160 9740288 345 33554432000 4194304 5098028 140728983895920 140728983894024 140128579498620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140728983897196 140728983897404 140728983897404 140728983900139 0
/proc/24167/statm: 2378 345 289 221 0 87 0
[pid=24169] ppid=24167 vsize=26538700 memory=6357044 CPUtime=1731.35 cores=0-7
/proc/24169/stat : 24169 (java) S 24167 24167 8644 0 -1 1077944320 115267 0 0 0 172763 372 0 0 20 0 28 0 97120160 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140720769135280 140351458332407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
/proc/24169/statm: 6634675 1589261 3297 1 0 6621909 0
[pid=24169/tid=24170] ppid=24167 vsize=26538700 memory=6357044 CPUtime=3.52 cores=0-7
/proc/24169/task/24170/stat : 24170 (java) S 24167 24167 8644 0 -1 1077944384 7483 0 0 0 337 15 0 0 20 0 28 0 97120161 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351462573184 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24171] ppid=24167 vsize=26538700 memory=6357044 CPUtime=0.87 cores=0-7
/proc/24169/task/24171/stat : 24171 (java) S 24167 24167 8644 0 -1 1077944384 1571 0 0 0 71 16 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351414885392 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24172] ppid=24167 vsize=26538700 memory=6357044 CPUtime=0.91 cores=0-7
/proc/24169/task/24172/stat : 24172 (java) S 24167 24167 8644 0 -1 1077944384 1041 0 0 0 71 20 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351413832848 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24173] ppid=24167 vsize=26538700 memory=0 CPUtime=0.92 cores=0-7
/proc/24169/task/24173/stat : 24173 (java) S 24167 24167 8644 0 -1 1077944384 1073 0 0 0 73 19 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351412779792 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24174] ppid=24167 vsize=26538700 memory=1380 CPUtime=0.92 cores=0-7
/proc/24169/task/24174/stat : 24174 (java) S 24167 24167 8644 0 -1 1077944384 851 0 0 0 74 18 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351013256080 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24175] ppid=24167 vsize=26538700 memory=6357044 CPUtime=0.94 cores=0-7
/proc/24169/task/24175/stat : 24175 (java) S 24167 24167 8644 0 -1 1077944384 1337 0 0 0 74 20 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351012203024 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24176] ppid=24167 vsize=26538700 memory=-8029775829737353339 CPUtime=0.92 cores=0-7
/proc/24169/task/24176/stat : 24176 (java) S 24167 24167 8644 0 -1 1077944384 1136 0 0 0 72 20 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351011150480 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24177] ppid=24167 vsize=26538700 memory=5792 CPUtime=0.92 cores=0-7
/proc/24169/task/24177/stat : 24177 (java) S 24167 24167 8644 0 -1 1077944384 1370 0 0 0 73 19 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351010097424 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24178] ppid=24167 vsize=26538700 memory=1224 CPUtime=0.86 cores=0-7
/proc/24169/task/24178/stat : 24178 (java) S 24167 24167 8644 0 -1 1077944384 1504 0 0 0 68 18 0 0 20 0 28 0 97120162 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140351009044880 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24179] ppid=24167 vsize=26538700 memory=1380 CPUtime=0.26 cores=0-7
/proc/24169/task/24179/stat : 24179 (java) S 24167 24167 8644 0 -1 1077944384 8764 0 0 0 25 1 0 0 20 0 28 0 97120163 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350065720048 140351458343554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24180] ppid=24167 vsize=26538700 memory=6357044 CPUtime=0 cores=0-7
/proc/24169/task/24180/stat : 24180 (java) S 24167 24167 8644 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 97120163 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350064666336 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24181] ppid=24167 vsize=26538700 memory=280913143868032 CPUtime=0 cores=0-7
/proc/24169/task/24181/stat : 24181 (java) S 24167 24167 8644 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97120164 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350063613184 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24182] ppid=24167 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/24169/task/24182/stat : 24182 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97120166 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350062561744 140351458351003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24183] ppid=24167 vsize=26538700 memory=18404 CPUtime=2.92 cores=0-7
/proc/24169/task/24183/stat : 24183 (java) S 24167 24167 8644 0 -1 1077944384 10927 0 0 0 290 2 0 0 20 0 28 0 97120166 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350061508848 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24184] ppid=24167 vsize=26538700 memory=4052 CPUtime=3.11 cores=0-7
/proc/24169/task/24184/stat : 24184 (java) S 24167 24167 8644 0 -1 1077944384 9536 0 0 0 310 1 0 0 20 0 28 0 97120166 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350060456304 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24185] ppid=24167 vsize=26538700 memory=16236 CPUtime=3.17 cores=0-7
/proc/24169/task/24185/stat : 24185 (java) S 24167 24167 8644 0 -1 1077944384 9688 0 0 0 314 3 0 0 20 0 28 0 97120166 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350059403248 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24186] ppid=24167 vsize=26538700 memory=1796 CPUtime=0.89 cores=0-7
/proc/24169/task/24186/stat : 24186 (java) S 24167 24167 8644 0 -1 1077944384 8040 0 0 0 87 2 0 0 20 0 28 0 97120166 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350058350704 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24187] ppid=24167 vsize=26538700 memory=4104 CPUtime=0 cores=0-7
/proc/24169/task/24187/stat : 24187 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97120166 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350057298912 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24188] ppid=24167 vsize=26538700 memory=1692 CPUtime=0.06 cores=0-7
/proc/24169/task/24188/stat : 24188 (java) S 24167 24167 8644 0 -1 1077944384 1542 0 0 0 1 5 0 0 20 0 28 0 97120167 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350056246448 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24277] ppid=24167 vsize=26538700 memory=916 CPUtime=212.04 cores=0-7
/proc/24169/task/24277/stat : 24277 (java) R 24167 24167 8644 0 -1 4202560 1355 0 0 0 21202 2 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350048234536 140351101133650 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24278] ppid=24167 vsize=26538700 memory=1380 CPUtime=212.02 cores=0-7
/proc/24169/task/24278/stat : 24278 (java) R 24167 24167 8644 0 -1 4202560 1281 0 0 0 21201 1 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350040867064 140351097925728 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24279] ppid=24167 vsize=26538700 memory=1380 CPUtime=211.69 cores=0-7
/proc/24169/task/24279/stat : 24279 (java) R 24167 24167 8644 0 -1 4202560 1454 0 0 0 21167 2 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350041919312 140351100576099 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24280] ppid=24167 vsize=26538700 memory=4100 CPUtime=212.13 cores=0-7
/proc/24169/task/24280/stat : 24280 (java) R 24167 24167 8644 0 -1 4202560 27483 0 0 0 21092 121 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350044024744 140351100159248 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24281] ppid=24167 vsize=26538700 memory=1380 CPUtime=211.49 cores=0-7
/proc/24169/task/24281/stat : 24281 (java) R 24167 24167 8644 0 -1 4202560 6962 0 0 0 21120 29 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350042971512 140351097262837 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24282] ppid=24167 vsize=26538700 memory=1380 CPUtime=210.75 cores=0-7
/proc/24169/task/24282/stat : 24282 (java) R 24167 24167 8644 0 -1 4202560 890 0 0 0 21073 2 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350046129912 140351100576076 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24283] ppid=24167 vsize=26538700 memory=4100 CPUtime=212.09 cores=0-7
/proc/24169/task/24283/stat : 24283 (java) R 24167 24167 8644 0 -1 4202560 3645 0 0 0 21195 14 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350047183320 140351101132773 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24284] ppid=24167 vsize=26538700 memory=2448 CPUtime=210.96 cores=0-7
/proc/24169/task/24284/stat : 24284 (java) R 24167 24167 8644 0 -1 4202560 2959 0 0 0 21088 8 0 0 20 0 28 0 97121065 27175628800 1589261 33554432000 4194304 4196468 140720769152736 140350045078136 140351097925857 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
Current children cumulated CPU time: 1731.35 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6358424 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.20 8.20 7.52 9/207 24285
/proc/meminfo: memFree=25178776/32770624 swapFree=67108860/67108860
[pid=24167] ppid=24164 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/24167/stat : 24167 (xcsp3-exec) S 24164 24167 8644 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97120160 9740288 345 33554432000 4194304 5098028 140728983895920 140728983894024 140128579498620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29802496 140728983897196 140728983897404 140728983897404 140728983900139 0
/proc/24167/statm: 2378 345 289 221 0 87 0
[pid=24169] ppid=24167 vsize=26538700 memory=6453460 CPUtime=1968.36 cores=0-7
/proc/24169/stat : 24169 (java) S 24167 24167 8644 0 -1 1077944320 116038 0 0 0 196461 375 0 0 20 0 28 0 97120160 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140720769135280 140351458332407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
/proc/24169/statm: 6634675 1613365 3297 1 0 6621909 0
[pid=24169/tid=24170] ppid=24167 vsize=26538700 memory=1380 CPUtime=3.52 cores=0-7
/proc/24169/task/24170/stat : 24170 (java) S 24167 24167 8644 0 -1 1077944384 7483 0 0 0 337 15 0 0 20 0 28 0 97120161 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351462573184 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24171] ppid=24167 vsize=26538700 memory=4126316290023845779 CPUtime=0.87 cores=0-7
/proc/24169/task/24171/stat : 24171 (java) S 24167 24167 8644 0 -1 1077944384 1573 0 0 0 71 16 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351414885392 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24172] ppid=24167 vsize=26538700 memory=6227459468656272746 CPUtime=0.91 cores=0-7
/proc/24169/task/24172/stat : 24172 (java) S 24167 24167 8644 0 -1 1077944384 1042 0 0 0 71 20 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351413832848 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24173] ppid=24167 vsize=26538700 memory=7148966782104789348 CPUtime=0.93 cores=0-7
/proc/24169/task/24173/stat : 24173 (java) S 24167 24167 8644 0 -1 1077944384 1075 0 0 0 74 19 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351412779792 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24174] ppid=24167 vsize=26538700 memory=6791534058613427641 CPUtime=0.92 cores=0-7
/proc/24169/task/24174/stat : 24174 (java) S 24167 24167 8644 0 -1 1077944384 853 0 0 0 74 18 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351013256080 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24175] ppid=24167 vsize=26538700 memory=6453460 CPUtime=0.95 cores=0-7
/proc/24169/task/24175/stat : 24175 (java) S 24167 24167 8644 0 -1 1077944384 1340 0 0 0 75 20 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351012203024 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24176] ppid=24167 vsize=26538700 memory=7809633636984384086 CPUtime=0.92 cores=0-7
/proc/24169/task/24176/stat : 24176 (java) S 24167 24167 8644 0 -1 1077944384 1140 0 0 0 72 20 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351011150480 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24177] ppid=24167 vsize=26538700 memory=6227459468656272746 CPUtime=0.92 cores=0-7
/proc/24169/task/24177/stat : 24177 (java) S 24167 24167 8644 0 -1 1077944384 1371 0 0 0 73 19 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351010097424 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24178] ppid=24167 vsize=26538700 memory=6227459468656272746 CPUtime=0.86 cores=0-7
/proc/24169/task/24178/stat : 24178 (java) S 24167 24167 8644 0 -1 1077944384 1505 0 0 0 68 18 0 0 20 0 28 0 97120162 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140351009044880 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24179] ppid=24167 vsize=26538700 memory=7590373387531871845 CPUtime=0.26 cores=0-7
/proc/24169/task/24179/stat : 24179 (java) S 24167 24167 8644 0 -1 1077944384 8775 0 0 0 25 1 0 0 20 0 28 0 97120163 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350065720048 140351458343554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24180] ppid=24167 vsize=26538700 memory=6453460 CPUtime=0 cores=0-7
/proc/24169/task/24180/stat : 24180 (java) S 24167 24167 8644 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 97120163 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350064666336 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24181] ppid=24167 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/24169/task/24181/stat : 24181 (java) S 24167 24167 8644 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 97120164 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350063613184 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24182] ppid=24167 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/24169/task/24182/stat : 24182 (java) S 24167 24167 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97120166 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350062561744 140351458351003 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24183] ppid=24167 vsize=26538700 memory=800 CPUtime=2.92 cores=0-7
/proc/24169/task/24183/stat : 24183 (java) S 24167 24167 8644 0 -1 1077944384 10929 0 0 0 290 2 0 0 20 0 28 0 97120166 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350061508848 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24184] ppid=24167 vsize=26538700 memory=12068 CPUtime=3.11 cores=0-7
/proc/24169/task/24184/stat : 24184 (java) S 24167 24167 8644 0 -1 1077944384 9538 0 0 0 310 1 0 0 20 0 28 0 97120166 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350060456304 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24185] ppid=24167 vsize=26538700 memory=1440 CPUtime=3.17 cores=0-7
/proc/24169/task/24185/stat : 24185 (java) S 24167 24167 8644 0 -1 1077944384 9690 0 0 0 314 3 0 0 20 0 28 0 97120166 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350059403248 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24186] ppid=24167 vsize=26538700 memory=5792 CPUtime=0.89 cores=0-7
/proc/24169/task/24186/stat : 24186 (java) S 24167 24167 8644 0 -1 1077944384 8042 0 0 0 87 2 0 0 20 0 28 0 97120166 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350058350704 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24187] ppid=24167 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/24169/task/24187/stat : 24187 (java) S 24167 24167 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97120166 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350057298912 140351458342613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24188] ppid=24167 vsize=26538700 memory=8560 CPUtime=0.08 cores=0-7
/proc/24169/task/24188/stat : 24188 (java) S 24167 24167 8644 0 -1 1077944384 1566 0 0 0 2 6 0 0 20 0 28 0 97120167 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350056246448 140351458343554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24277] ppid=24167 vsize=26538700 memory=1712 CPUtime=241.75 cores=0-7
/proc/24169/task/24277/stat : 24277 (java) R 24167 24167 8644 0 -1 4202560 1402 0 0 0 24173 2 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350048234360 140351097926118 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24278] ppid=24167 vsize=26538700 memory=1200 CPUtime=241.72 cores=0-7
/proc/24169/task/24278/stat : 24278 (java) R 24167 24167 8644 0 -1 4202560 1315 0 0 0 24171 1 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350040866808 140351096628504 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24279] ppid=24167 vsize=26538700 memory=15872 CPUtime=241.4 cores=0-7
/proc/24169/task/24279/stat : 24279 (java) R 24167 24167 8644 0 -1 4202560 1481 0 0 0 24138 2 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350041919864 140351100914926 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24280] ppid=24167 vsize=26538700 memory=15764 CPUtime=241.83 cores=0-7
/proc/24169/task/24280/stat : 24280 (java) R 24167 24167 8644 0 -1 4202560 27818 0 0 0 24060 123 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350044027152 140351100159410 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24281] ppid=24167 vsize=26538700 memory=4052 CPUtime=241.19 cores=0-7
/proc/24169/task/24281/stat : 24281 (java) R 24167 24167 8644 0 -1 4202560 7029 0 0 0 24090 29 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350042971768 140351100496173 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24282] ppid=24167 vsize=26538700 memory=16236 CPUtime=240.46 cores=0-7
/proc/24169/task/24282/stat : 24282 (java) R 24167 24167 8644 0 -1 4202560 914 0 0 0 24043 3 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350046129912 140351097925905 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24283] ppid=24167 vsize=26538700 memory=1796 CPUtime=241.79 cores=0-7
/proc/24169/task/24283/stat : 24283 (java) R 24167 24167 8644 0 -1 4202560 3762 0 0 0 24165 14 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350047183608 140351100576099 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
[pid=24169/tid=24284] ppid=24167 vsize=26538700 memory=644 CPUtime=240.04 cores=0-7
/proc/24169/task/24284/stat : 24284 (java) R 24167 24167 8644 0 -1 4202560 3020 0 0 0 23996 8 0 0 20 0 28 0 97121065 27175628800 1613365 33554432000 4194304 4196468 140720769152736 140350045077504 140351100331292 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 11427840 140720769160344 140720769160520 140720769160520 140720769163215 0
Current children cumulated CPU time: 1968.36 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 6454840 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.041 s]
# the end of solver process 24167 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001899 s

[startup+252.126 s]
# the end of solver process 24169 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1965.28 s, system=3.79059 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.126
CPU time (s): 1969.07
CPU user time (s): 1965.28
CPU system time (s): 3.79059
CPU usage (%): 780.987
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 6454840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1965.28
system time used= 3.79059
maximum resident set size= 6453956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12431
involuntary context switches= 20649


# summary of solver processes directly reported to runsolver:
#   pid: 24167,24169
#   total CPU time (s): 1969.07
#   total CPU user time (s): 1965.28
#   total CPU system time (s): 3.79059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45164 second user time and 2.76617 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-13 17:51:07
IDJOB=4271567
IDBENCH=120574
IDSOLVER=2663
FILE ID=node113/4271567-1502640325
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-3-fullins-5.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271567-1502640325/watcher-4271567-1502640325 -o /tmp/evaluation-result-4271567-1502640325/solver-4271567-1502640325 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 16962300 HOME/instance-4271567-1502640325.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 51dc9de19dcdd21b605810f9d7307a76
RANDOM SEED=16962300

node113.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.89
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.89
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.89
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.89
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:        31628604 kB
MemAvailable:   31986860 kB
Buffers:          119752 kB
Cached:           524996 kB
SwapCached:            0 kB
Active:           522368 kB
Inactive:         177760 kB
Active(anon):       5336 kB
Inactive(anon):    77700 kB
Active(file):     517032 kB
Inactive(file):   100060 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8692 kB
Writeback:             0 kB
AnonPages:         59760 kB
Mapped:            42572 kB
Shmem:             25224 kB
Slab:             139920 kB
SReclaimable:     113996 kB
SUnreclaim:        25924 kB
KernelStack:        3168 kB
PageTables:         5492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323556 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-13 17:55:19