Trace number 4301414

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.7b seq (e747e1e)SAT (TO)29379027 252.108 247.225

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-matching080_c18.xml
MD5SUM8abf4f1f4dc00a8da6097f5555605512
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45496100
Best CPU time to get the best result obtained on this benchmark252.139
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints318
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":2000}]
Minimum constraint arity3
Maximum constraint arity76
Distribution of constraint arities[{"arity":3,"count":9},{"arity":5,"count":1},{"arity":6,"count":29},{"arity":8,"count":1},{"arity":9,"count":2},{"arity":10,"count":181},{"arity":11,"count":1},{"arity":15,"count":4},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":19,"count":2},{"arity":21,"count":1},{"arity":23,"count":3},{"arity":24,"count":3},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":2},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":3},{"arity":33,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":5},"...",{"arity":45,"count":4}, {"arity":46,"count":6}, {"arity":47,"count":2}, {"arity":48,"count":3}, {"arity":49,"count":2}, {"arity":50,"count":1}, {"arity":51,"count":2}, {"arity":52,"count":2}, {"arity":54,"count":1}, {"arity":55,"count":2}, {"arity":56,"count":2}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":4}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":71,"count":1}, {"arity":76,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":318}]
Optimization problemYES
Type of objectivemax SUM

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

Verifier Data 

OK	29379027

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301414-1532880678/watcher-4301414-1532880678 -o /tmp/evaluation-result-4301414-1532880678/solver-4301414-1532880678 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 104998143 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301414-1532880678.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8216, runsolver pid=8213

[startup+0.100095 s]*
/proc/loadavg: 1.88 2.05 2.04 3/218 8232
/proc/meminfo: memFree=27183004/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14082940 memory=28548 CPUtime=0.12 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 5503 0 0 0 11 1 0 0 20 0 15 0 105631024 14420930560 7137 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3520735 7137 3017 1 0 3483012 0
[pid=8218/tid=8219] ppid=8216 vsize=14082940 memory=8260346770506355547 CPUtime=0.09 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 3498 0 0 0 8 1 0 0 20 0 15 0 105631025 14420930560 7137 33554432000 4194304 4196468 140735285125296 139772017369424 139771992862722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14082940 memory=140601959872128 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14082940 memory=140601959872128 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631027 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105631027 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105631028 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14082940 memory=140601959872128 CPUtime=0.01 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) R 8216 8216 7585 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 15 0 105631030 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771480832880 139771994375216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14082940 memory=140601959872128 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 7137 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30000 KiB

[startup+0.210695 s]*
/proc/loadavg: 1.88 2.05 2.04 4/218 8232
/proc/meminfo: memFree=27172312/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14082940 memory=40384 CPUtime=0.34 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 8211 0 0 0 32 2 0 0 20 0 15 0 105631024 14420930560 10096 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3520735 10096 3165 1 0 3483012 0
[pid=8218/tid=8219] ppid=8216 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 5438 0 0 0 19 1 0 0 20 0 15 0 105631025 14420930560 10096 33554432000 4194304 4196468 140735285125296 139772017372640 139772013159581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14082940 memory=140601959887587 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14082940 memory=140601959872128 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105631027 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105631027 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105631028 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 105631030 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 105631030 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14082940 memory=140601959872128 CPUtime=0.08 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) S 8216 8216 7585 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 105631030 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771480832880 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631030 14420930560 10096 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41836 KiB

[startup+0.310616 s]*
/proc/loadavg: 1.88 2.05 2.04 4/218 8232
/proc/meminfo: memFree=27165488/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14087196 memory=47980 CPUtime=0.53 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 9216 0 0 0 50 3 0 0 20 0 15 0 105631024 14425288704 11995 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3521799 11995 3231 1 0 3483012 0
[pid=8218/tid=8219] ppid=8216 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 6163 0 0 0 28 2 0 0 20 0 15 0 105631025 14425288704 12060 33554432000 4194304 4196468 140735285125296 139772017368768 139771997218142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105631027 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105631027 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105631028 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14087196 memory=8325818968683490714 CPUtime=0.03 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 105631030 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 353 0 0 0 5 0 0 0 20 0 15 0 105631030 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) S 8216 8216 7585 0 -1 1077944384 942 0 0 0 13 0 0 0 20 0 15 0 105631030 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771480832880 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14425288704 12060 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631030 14425288704 12069 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49432 KiB

[startup+0.700933 s]
/proc/loadavg: 1.88 2.05 2.04 5/218 8232
/proc/meminfo: memFree=27148944/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14089320 memory=74144 CPUtime=1.6 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 11686 0 0 0 156 4 0 0 20 0 15 0 105631024 14427463680 18536 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3522330 18536 3369 1 0 3483524 0
[pid=8218/tid=8219] ppid=8216 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 6950 0 0 0 64 3 0 0 20 0 15 0 105631025 14427463680 18536 33554432000 4194304 4196468 140735285125296 139772017376704 139771611550570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14089320 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14089320 memory=30116 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631026 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105631026 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14089320 memory=2260 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105631027 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14089320 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105631027 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14089320 memory=860 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105631028 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14089320 memory=12556 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14089320 memory=756 CPUtime=0.26 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) R 8216 8216 7585 0 -1 4202560 812 0 0 0 26 0 0 0 20 0 15 0 105631030 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771482924064 139771993587784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14089320 memory=1616 CPUtime=0.27 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) R 8216 8216 7585 0 -1 4202560 900 0 0 0 27 0 0 0 20 0 15 0 105631030 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771481873840 139771992656817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14089320 memory=1836 CPUtime=0.37 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) R 8216 8216 7585 0 -1 4202560 1715 0 0 0 37 0 0 0 20 0 15 0 105631030 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771480832880 139771992492543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14089320 memory=6396 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 18536 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75596 KiB

[startup+1.50084 s]
/proc/loadavg: 1.89 2.05 2.04 5/218 8232
/proc/meminfo: memFree=27140384/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0

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

/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105631028 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14089320 memory=1452 CPUtime=2.06 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 14287 0 0 0 205 1 0 0 20 0 15 0 105631030 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14089320 memory=231920 CPUtime=1.74 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 10641 0 0 0 173 1 0 0 20 0 15 0 105631030 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14089320 memory=281203724368640 CPUtime=0.52 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) S 8216 8216 7585 0 -1 1077944384 5367 0 0 0 52 0 0 0 20 0 15 0 105631030 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771480832880 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14089320 memory=281203723748272 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14089320 memory=2346864084481 CPUtime=0.01 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1294 0 0 0 0 1 0 0 20 0 15 0 105631030 14427463680 57980 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 106.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 233372 KiB

[startup+162.301 s]
/proc/loadavg: 1.96 1.92 1.99 3/218 8234
/proc/meminfo: memFree=27079780/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14089320 memory=215140 CPUtime=167.09 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 55082 0 0 0 16690 19 0 0 20 0 15 0 105631024 14427463680 53785 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3522330 53785 3411 1 0 3483524 0
[pid=8218/tid=8219] ppid=8216 vsize=14089320 memory=217704 CPUtime=162.19 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 11907 0 0 0 16213 6 0 0 20 0 15 0 105631025 14427463680 53785 33554432000 4194304 4196468 140735285125296 139772017376536 139771612094767 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14089320 memory=215140 CPUtime=0.04 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 507 0 0 0 3 1 0 0 20 0 15 0 105631026 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14089320 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1314 0 0 0 3 1 0 0 20 0 15 0 105631026 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14089320 memory=215140 CPUtime=0.03 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1526 0 0 0 2 1 0 0 20 0 15 0 105631026 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14089320 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 968 0 0 0 3 1 0 0 20 0 15 0 105631026 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14089320 memory=164 CPUtime=0.02 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 1373 0 0 0 2 0 0 0 20 0 15 0 105631027 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14089320 memory=217704 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105631027 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105631028 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14089320 memory=1452 CPUtime=2.23 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 15794 0 0 0 222 1 0 0 20 0 15 0 105631030 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14089320 memory=1452 CPUtime=1.82 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 11801 0 0 0 181 1 0 0 20 0 15 0 105631030 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14089320 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) S 8216 8216 7585 0 -1 1077944384 7221 0 0 0 54 1 0 0 20 0 15 0 105631030 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771480832880 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14089320 memory=215140 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1317 0 0 0 1 2 0 0 20 0 15 0 105631030 14427463680 53785 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 167.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 216592 KiB

[startup+222.301 s]
/proc/loadavg: 2.01 1.95 1.99 3/218 8313
/proc/meminfo: memFree=27041536/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14089320 memory=184364 CPUtime=227.15 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 56774 0 0 0 22694 21 0 0 20 0 15 0 105631024 14427463680 46091 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3522330 46091 3411 1 0 3483524 0
[pid=8218/tid=8219] ppid=8216 vsize=14089320 memory=186416 CPUtime=222.16 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 12462 0 0 0 22210 6 0 0 20 0 15 0 105631025 14427463680 46091 33554432000 4194304 4196468 140735285125296 139772017376768 139771614284555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14089320 memory=191548 CPUtime=0.05 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 544 0 0 0 4 1 0 0 20 0 15 0 105631026 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14089320 memory=191548 CPUtime=0.05 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1343 0 0 0 4 1 0 0 20 0 15 0 105631026 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14089320 memory=187444 CPUtime=0.06 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1595 0 0 0 4 2 0 0 20 0 15 0 105631026 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14089320 memory=186416 CPUtime=0.05 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 1347 0 0 0 4 1 0 0 20 0 15 0 105631026 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 1610 0 0 0 3 0 0 0 20 0 15 0 105631027 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105631027 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14089320 memory=186416 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105631028 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14089320 memory=187444 CPUtime=2.23 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 15797 0 0 0 222 1 0 0 20 0 15 0 105631030 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14089320 memory=3872 CPUtime=1.83 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 11809 0 0 0 182 1 0 0 20 0 15 0 105631030 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14089320 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) S 8216 8216 7585 0 -1 1077944384 7560 0 0 0 54 1 0 0 20 0 15 0 105631030 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771480832880 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14089320 memory=186416 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14089320 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1353 0 0 0 2 2 0 0 20 0 15 0 105631030 14427463680 46091 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 227.15 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 185816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+247.201 s]
/proc/loadavg: 1.77 1.90 1.98 3/217 8313
/proc/meminfo: memFree=27049828/32770624 swapFree=67108496/67108860
[pid=8216] ppid=8213 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8216/stat : 8216 (xcsp3-exec) S 8213 8216 7585 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 105631024 115843072 363 33554432000 4194304 5098028 140736592268944 140736592267048 139989147095676 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19976192 140736592270401 140736592270601 140736592270601 140736592273354 0
/proc/8216/statm: 28282 363 306 221 0 87 0
[pid=8218] ppid=8216 vsize=14089320 memory=171536 CPUtime=252.08 cores=0,2,4,6
/proc/8218/stat : 8218 (java) S 8216 8216 7585 0 -1 1077944320 56803 0 0 0 25187 21 0 0 20 0 15 0 105631024 14427463680 42884 33554432000 4194304 4196468 140735285125296 140735285107840 139772013137655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
/proc/8218/statm: 3522330 42884 3411 1 0 3483524 0
[pid=8218/tid=8219] ppid=8216 vsize=14089320 memory=171536 CPUtime=247.04 cores=0,2,4,6
/proc/8218/task/8219/stat : 8219 (java) R 8216 8216 7585 0 -1 4202560 12474 0 0 0 24698 6 0 0 20 0 15 0 105631025 14427463680 42884 33554432000 4194304 4196468 140735285125296 139772017377088 139771613169990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8220] ppid=8216 vsize=14089320 memory=14256 CPUtime=0.07 cores=0,2,4,6
/proc/8218/task/8220/stat : 8220 (java) S 8216 8216 7585 0 -1 1077944384 546 0 0 0 5 2 0 0 20 0 15 0 105631026 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771928206224 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8221] ppid=8216 vsize=14089320 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/8218/task/8221/stat : 8221 (java) S 8216 8216 7585 0 -1 1077944384 1345 0 0 0 5 2 0 0 20 0 15 0 105631026 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771927153424 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8222] ppid=8216 vsize=14089320 memory=7888 CPUtime=0.06 cores=0,2,4,6
/proc/8218/task/8222/stat : 8222 (java) S 8216 8216 7585 0 -1 1077944384 1600 0 0 0 4 2 0 0 20 0 15 0 105631026 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771607248016 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8223] ppid=8216 vsize=14089320 memory=808 CPUtime=0.07 cores=0,2,4,6
/proc/8218/task/8223/stat : 8223 (java) S 8216 8216 7585 0 -1 1077944384 1351 0 0 0 5 2 0 0 20 0 15 0 105631026 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771606195216 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8224] ppid=8216 vsize=14089320 memory=4100 CPUtime=0.04 cores=0,2,4,6
/proc/8218/task/8224/stat : 8224 (java) S 8216 8216 7585 0 -1 1077944384 1612 0 0 0 3 1 0 0 20 0 15 0 105631027 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771487148144 139772013148802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8225] ppid=8216 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8225/stat : 8225 (java) S 8216 8216 7585 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105631027 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771486094112 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8226] ppid=8216 vsize=14089320 memory=912 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8226/stat : 8226 (java) S 8216 8216 7585 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105631028 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771485041776 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8227] ppid=8216 vsize=14089320 memory=1132 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8227/stat : 8227 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771483990096 139772013156251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8228] ppid=8216 vsize=14089320 memory=6396 CPUtime=2.23 cores=0,2,4,6
/proc/8218/task/8228/stat : 8228 (java) S 8216 8216 7585 0 -1 1077944384 15797 0 0 0 222 1 0 0 20 0 15 0 105631030 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771482937968 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8229] ppid=8216 vsize=14089320 memory=5500 CPUtime=1.83 cores=0,2,4,6
/proc/8218/task/8229/stat : 8229 (java) S 8216 8216 7585 0 -1 1077944384 11809 0 0 0 182 1 0 0 20 0 15 0 105631030 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771481885168 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8230] ppid=8216 vsize=14089320 memory=4460 CPUtime=0.55 cores=0,2,4,6
/proc/8218/task/8230/stat : 8230 (java) S 8216 8216 7585 0 -1 1077944384 7560 0 0 0 54 1 0 0 20 0 15 0 105631030 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771480832880 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8231] ppid=8216 vsize=14089320 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8218/task/8231/stat : 8231 (java) S 8216 8216 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105631030 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771479780320 139772013147861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
[pid=8218/tid=8232] ppid=8216 vsize=14089320 memory=1160 CPUtime=0.05 cores=0,2,4,6
/proc/8218/task/8232/stat : 8232 (java) S 8216 8216 7585 0 -1 1077944384 1355 0 0 0 3 2 0 0 20 0 15 0 105631030 14427463680 42884 33554432000 4194304 4196468 140735285125296 139771478727088 139772013148802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 10747904 140735285126284 140735285126454 140735285126454 140735285129167 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 172988 KiB

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

[startup+247.21 s]
# the end of solver process 8216 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001494 s, system=0.000747 s

[startup+247.225 s]
# the end of solver process 8218 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.883 s, system=0.224834 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): 247.225
CPU time (s): 252.108
CPU user time (s): 251.883
CPU system time (s): 0.224834
CPU usage (%): 101.975
Max. virtual memory (cumulated for all children) (KiB): 14204616
Max. memory (cumulated for all children) (KiB): 235928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.883
system time used= 0.224834
maximum resident set size= 240624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8575
involuntary context switches= 331


# summary of solver processes directly reported to runsolver:
#   pid: 8216,8218
#   total CPU time (s): 252.108
#   total CPU user time (s): 251.883
#   total CPU system time (s): 0.224834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41945 second user time and 2.38113 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-29 18:11:18
IDJOB=4301414
IDBENCH=141146
IDSOLVER=2772
FILE ID=node149/4301414-1532880678
RUNJOBID= node149-1532880125-7616
PBS_JOBID= 21022517
Free space on /tmp= 45724 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-matching080_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301414-1532880678/watcher-4301414-1532880678 -o /tmp/evaluation-result-4301414-1532880678/solver-4301414-1532880678 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312  HOME/xcsp3-exec -seed 104998143 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301414-1532880678.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8abf4f1f4dc00a8da6097f5555605512
RANDOM SEED=104998143

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
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.60
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.60
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.60
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:        27200080 kB
MemAvailable:   31713740 kB
Buffers:          164040 kB
Cached:          4573416 kB
SwapCached:           60 kB
Active:          1846216 kB
Inactive:        3161320 kB
Active(anon):     220008 kB
Inactive(anon):    78000 kB
Active(file):    1626208 kB
Inactive(file):  3083320 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             21868 kB
Writeback:             0 kB
AnonPages:        427684 kB
Mapped:            49628 kB
Shmem:             25040 kB
Slab:             261300 kB
SReclaimable:     232592 kB
SUnreclaim:        28708 kB
KernelStack:        3824 kB
PageTables:         5940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1273904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 45700 MiB
End job on node149 at 2018-07-29 18:15:26