Trace number 4272057

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 5a (2017-07-26)SAT (TO)41 2520.1299 2504.6299

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap01a.xml
MD5SUM1f75bed7d5113015eb943bda0c7ab47c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark2401.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2368
Number of constraints110871
Number of domains1
Minimum domain size2368
Maximum domain size2368
Distribution of domain sizes[{"size":2368,"count":2368}]
Minimum variable degree15
Maximum variable degree289
Distribution of variable degrees[{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":110871}]
Number of extensional constraints0
Number of intensional constraints110871
Distribution of constraint types[{"type":"intension","count":110871}]
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.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272057-1502712942.xml"  -tl '2520s' -p 1 -x 3
0.14/0.24	c [HOME/instance-4272057-1502712942.xml, -tl, 2520s, -p, 1, -x, 3]
0.14/0.30	c simple solver
0.34/0.37	c parse instance...
6.78/2.73	c solve instance...
12.23/7.28	o 46 
45.60/37.46	o 45 
71.37/61.09	o 44 
294.19/282.17	o 43 
474.02/461.64	o 42 
918.54/905.55	o 41 
2520.09/2504.60	s SATISFIABLE
2520.09/2504.60	v <instantiation>
2520.09/2504.60	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] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] </list>
2520.09/2504.60	v 	<values>31 25 18 4 32 1 9 13 17 24 26 20 33 29 13 16 8 30 2 6 35 23 14 10 5 29 24 19 34 36 35 22 33 32 28 4 30 6 27 35 26 0 9 1 23 5 31 22 2 20 37 12 26 15 28 25 1 34 21 34 22 37 18 9 7 24 26 2 27 15 28 24 28 19 24 2 33 6 18 31 24 22 15 0 38 38 39 22 16 5 23 29 25 11 4 13 38 20 12 3 31 30 34 14 37 6 39 21 21 36 9 25 23 7 35 8 10 30 10 33 36 23 32 25 3 32 32 7 24 32 30 37 26 11 9 31 5 28 20 26 37 26 18 9 27 20 14 15 4 18 0 4 21 25 26 28 26 24 18 27 7 21 31 38 25 35 2 39 26 36 18 39 35 23 27 28 5 28 30 17 38 35 25 10 16 5 21 14 20 5 37 16 33 30 26 10 24 25 13 27 34 23 35 3 17 1 4 12 12 6 1 18 6 9 30 21 31 36 23 0 37 3 17 1 1 28 5 22 11 33 10 33 15 26 4 11 33 12 22 18 13 30 16 12 27 21 38 28 22 23 36 33 30 34 35 12 24 25 21 23 27 31 30 21 17 32 26 26 37 24 22 38 15 10 7 39 32 3 35 36 18 18 16 18 2 27 14 11 22 7 0 10 18 7 12 17 16 9 5 14 27 26 3 24 8 2 11 11 13 15 7 6 18 28 0 26 34 23 17 11 22 24 4 15 20 39 22 35 31 27 0 0 8 41 2 4 8 17 3 10 3 8 2 10 9 3 6 2 1 7 6 7 14 16 0 30 32 32 27 7 15 17 5 2 3 0 31 26 28 30 20 9 12 10 24 1 0 28 36 30 31 33 16 4 31 32 21 35 26 34 4 29 23 36 27 25 39 28 8 35 17 24 36 28 10 3 41 0 4 17 10 9 20 3 16 21 12 13 15 18 0 9 14 11 36 19 16 34 0 38 7 33 34 18 4 5 3 8 1 4 16 7 6 12 7 1 6 12 13 3 8 14 10 38 25 11 31 14 21 10 11 19 20 17 14 27 36 12 23 34 1 2 5 33 23 13 5 26 15 25 18 31 23 23 8 22 33 27 5 2 31 32 8 25 29 19 12 6 3 2 4 2 8 0 24 15 13 8 5 28 1 34 15 2 3 0 38 34 31 11 24 33 13 6 34 22 3 29 19 39 0 7 11 17 6 14 23 15 21 5 8 33 2 39 24 12 37 38 12 18 33 17 22 4 26 34 6 6 25 36 8 37 35 23 39 28 34 30 21 15 24 34 27 32 33 31 25 1 31 1 29 18 35 32 23 1 25 37 31 33 29 13 36 35 30 19 2 31 26 14 20 19 29 38 10 11 30 18 32 15 12 4 25 3 3 6 28 17 0 1 38 7 7 10 32 16 7 13 24 26 4 4 24 14 8 12 19 27 10 24 14 4 22 32 13 3 8 15 23 18 35 33 39 22 32 4 6 32 27 31 37 5 3 5 33 12 1 1 34 2 3 37 9 14 12 24 8 40 6 25 34 8 28 28 13 6 7 27 31 32 10 15 4 27 3 6 31 18 29 23 17 9 5 24 22 16 21 29 32 3 30 8 5 13 10 16 14 29 3 24 14 22 17 34 31 33 38 15 21 1 13 30 25 5 34 28 17 5 8 19 25 1 0 27 31 10 11 35 4 9 2 10 28 40 16 31 4 0 39 2 9 11 15 38 14 32 18 2 8 0 25 21 20 0 5 15 33 18 4 6 23 6 3 9 10 14 27 11 19 13 2 17 5 26 24 8 25 15 7 0 21 23 10 41 27 23 7 24 35 40 22 8 26 9 1 7 19 20 8 14 5 5 8 9 18 15 3 20 29 10 34 5 3 19 41 23 14 8 20 1 4 0 3 10 23 18 0 19 1 24 35 32 2 20 29 34 29 11 3 17 16 6 0 2 31 2 25 4 34 7 23 6 22 7 28 6 0 35 30 19 3 7 20 25 19 7 0 11 3 4 4 7 15 8 20 30 35 9 10 16 11 14 25 27 6 18 28 30 40 26 25 37 22 30 11 41 31 36 10 19 16 34 26 12 8 3 13 21 2 7 36 27 1 22 8 10 22 15 35 22 27 27 9 8 2 32 26 15 23 15 29 0 36 18 19 41 1 11 10 32 28 30 5 9 2 3 18 38 33 10 25 9 35 36 14 28 20 26 4 29 0 13 38 12 35 12 5 9 8 21 1 16 4 10 18 22 39 32 15 18 21 17 16 30 14 40 1 6 35 19 2 34 37 16 12 34 26 16 4 2 3 6 35 10 16 30 20 31 15 35 17 27 9 4 6 8 7 29 13 25 8 5 23 21 0 21 24 2 11 9 0 17 37 28 10 19 4 7 30 39 17 13 19 18 11 12 25 38 32 14 35 31 24 15 18 3 37 21 3 11 30 20 2 39 23 36 7 29 10 32 24 19 35 23 22 5 10 13 22 16 12 12 39 40 19 12 37 36 26 31 38 4 2 4 2 29 8 25 31 22 16 24 16 21 1 39 24 29 17 36 10 0 4 13 5 14 26 38 19 4 9 30 32 26 11 3 3 30 24 2 40 12 30 1 5 14 6 41 37 24 31 0 3 29 3 2 4 2 33 38 11 27 34 27 25 33 31 13 14 26 20 17 0 16 3 8 23 38 28 5 4 13 13 9 40 2 41 33 38 22 17 16 27 36 41 1 2 24 14 36 35 7 24 3 4 33 25 9 20 31 2 9 17 23 33 19 9 14 29 20 1 1 20 31 27 34 34 4 25 30 19 8 10 18 25 13 21 1 16 34 6 31 5 14 0 0 18 33 36 24 17 39 26 22 27 27 26 15 14 4 18 21 29 26 23 0 19 20 29 20 17 40 26 32 16 18 4 15 15 18 39 33 2 36 34 3 7 20 6 1 34 36 35 31 38 32 4 2 32 13 10 4 17 3 10 0 14 38 24 25 19 1 14 18 0 23 19 1 27 13 26 16 0 22 30 7 4 9 34 32 9 31 18 16 6 36 29 22 4 40 38 39 22 9 19 31 27 19 35 8 30 12 2 16 0 37 35 10 7 28 22 19 33 13 17 8 10 21 3 17 28 36 6 11 4 13 10 19 12 3 1 20 12 19 13 41 14 23 9 39 28 22 5 3 29 21 40 7 20 17 23 6 25 28 4 0 27 25 34 21 29 28 30 33 39 3 15 36 36 8 19 13 4 0 37 1 31 23 25 16 37 39 41 3 40 10 4 11 23 14 6 36 38 29 4 22 9 19 14 20 31 1 0 37 18 31 23 12 21 16 26 35 28 27 1 24 29 3 10 11 33 27 30 10 6 10 6 7 0 5 14 8 34 9 13 2 11 17 4 25 14 8 30 24 3 4 24 25 15 35 31 29 39 10 36 40 18 10 19 33 21 22 37 2 12 24 12 37 1 39 21 37 25 41 21 30 35 9 33 1 20 16 0 0 33 32 24 0 1 5 28 6 3 26 31 20 31 37 11 12 28 3 37 21 26 6 40 39 35 19 29 41 36 2 6 36 6 17 23 19 11 22 19 7 15 10 1 3 5 7 13 3 17 23 12 11 9 24 8 22 9 15 22 26 34 27 28 30 18 37 32 31 20 35 0 2 15 23 27 31 3 14 41 2 20 32 20 21 8 29 38 32 33 15 38 25 27 24 36 26 17 4 37 1 2 32 21 17 22 21 30 12 9 15 27 20 9 33 26 34 22 6 6 39 13 8 26 5 18 29 12 9 5 3 12 33 30 7 28 22 16 1 34 25 24 24 17 21 11 41 30 0 0 8 27 3 9 11 4 12 19 13 14 10 35 9 3 2 19 24 3 37 9 16 13 21 1 7 37 19 15 30 1 14 4 13 9 7 25 18 21 32 15 29 35 36 13 28 22 30 21 25 11 26 17 8 10 39 9 34 20 23 39 18 24 3 23 19 0 9 7 10 26 15 6 8 1 11 5 6 12 4 3 9 26 15 28 30 37 17 10 29 33 31 37 20 13 36 13 8 4 25 24 35 35 13 30 36 20 6 35 9 14 18 5 23 24 8 31 1 23 17 13 21 10 9 36 3 11 19 1 31 11 27 23 4 1 2 8 41 18 3 36 30 22 40 12 28 11 22 21 11 26 19 41 32 8 10 39 16 30 27 2 28 11 33 7 20 29 6 23 10 12 1 2 19 18 4 10 16 14 39 28 24 4 1 0 15 21 37 38 39 9 6 14 5 19 16 10 15 31 1 22 12 28 12 14 41 24 26 20 13 10 20 32 18 16 13 6 7 0 25 9 2 38 18 39 25 4 6 14 11 3 18 20 38 9 13 4 8 6 21 7 39 38 28 34 16 10 19 14 27 23 41 20 1 28 12 18 6 22 21 5 24 13 11 22 6 14 0 17 12 26 7 30 29 34 31 39 37 23 11 12 34 15 2 36 15 6 32 23 13 33 19 0 32 39 6 19 36 13 1 15 20 24 31 11 16 28 11 20 21 18 15 0 24 34 37 25 12 38 1 4 34 31 10 41 5 34 37 36 27 0 33 17 30 32 32 24 30 4 39 2 35 5 41 18 28 40 13 28 34 40 27 29 11 12 14 38 7 23 9 5 26 15 20 9 34 35 9 40 36 30 27 27 35 22 39 0 11 29 9 1 5 36 27 38 16 22 7 27 31 38 5 32 17 22 3 24 16 11 36 11 18 32 36 38 15 6 1 10 6 5 38 27 3 29 19 15 33 8 1 28 20 37 31 7 10 15 34 3 1 36 17 24 34 2 32 41 16 17 7 6 14 25 30 33 27 0 7 21 19 11 22 16 40 5 3 40 18 10 25 16 29 8 18 5 41 36 33 9 41 30 8 0 5 31 16 36 28 8 28 8 27 3 22 11 14 29 28 26 9 15 23 35 13 0 7 2 26 35 37 14 20 36 22 2 14 29 23 26 6 31 41 32 21 1 6 17 0 38 31 26 40 17 30 2 7 5 21 23 4 14 29 5 32 4 33 8 10 25 2 8 15 12 4 3 15 8 39 15 38 25 5 19 18 35 40 7 12 32 35 12 11 13 24 17 1 20 11 13 7 40 17 20 7 6 21 12 17 13 19 35 34 37 10 21 12 34 37 14 25 5 17 31 24 25 26 29 35 39 29 16 34 32 11 35 8 32 22 27 30 38 5 2 37 35 0 14 33 12 17 37 33 16 30 24 40 40 33 28 29 18 28 2 12 17 16 41 40 4 7 38 22 18 38 23 2 14 28 13 7 23 21 32 31 9 8 19 39 15 21 36 25 26 23 16 27 18 0 5 20 20 26 34 25 24 23 </values>
2520.09/2504.60	v </instantiation>
2520.09/2504.60	c Unexpected resolution interruption!

Verifier Data 

OK	41

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272057-1502712942/watcher-4272057-1502712942 -o /tmp/evaluation-result-4272057-1502712942/solver-4272057-1502712942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 303584463 HOME/instance-4272057-1502712942.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=18664, runsolver pid=18661
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 1.44 1.63 1.66 3/209 18674
/proc/meminfo: memFree=30821868/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13574484 memory=18080 CPUtime=0.03 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 3894 0 0 0 3 0 0 0 20 0 9 0 73514859 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3393621 4520 2104 1 0 3383118 0
[pid=18666/tid=18667] ppid=18664 vsize=13574484 memory=8390339637985935414 CPUtime=0.03 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 2600 0 0 0 3 0 0 0 20 0 9 0 73514859 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139735061553016 139735057339549 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13574484 memory=288230596118065508 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73514860 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13574484 memory=140505387253553 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73514860 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 73514860 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 73514860 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13574484 memory=140505387234944 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 73514861 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 73514862 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139734534796064 139735057327829 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 73514862 13900271616 4520 18446744073709551615 4194304 4196468 140720754336704 139734533743728 139735057327829 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19460 KiB

[startup+0.210029 s]*
/proc/loadavg: 1.44 1.63 1.66 4/215 18680
/proc/meminfo: memFree=30815096/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13974352 memory=28244 CPUtime=0.14 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 5503 0 0 0 13 1 0 0 20 0 15 0 73514859 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3493588 7061 2908 1 0 3482964 0
[pid=18666/tid=18667] ppid=18664 vsize=13974352 memory=8390339637985935414 CPUtime=0.1 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) S 18664 18664 897 0 -1 1077944384 3398 0 0 0 9 1 0 0 20 0 15 0 73514859 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139735061547904 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13974352 memory=288230596118065508 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13974352 memory=140505387253553 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73514860 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13974352 memory=140505387234944 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73514861 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73514862 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734534796064 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73514862 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734533743728 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) R 18664 18664 897 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 73514864 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) R 18664 18664 897 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 15 0 73514864 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735035157824 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13974352 memory=140505387234944 CPUtime=0.02 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) S 18664 18664 897 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 73514865 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13974352 memory=140505387234944 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514869 14309736448 7061 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29624 KiB

[startup+0.310881 s]*
/proc/loadavg: 1.44 1.63 1.66 3/215 18680
/proc/meminfo: memFree=30802488/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13978608 memory=39848 CPUtime=0.34 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 9153 0 0 0 31 3 0 0 20 0 15 0 73514859 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3494652 9962 3046 1 0 3482964 0
[pid=18666/tid=18667] ppid=18664 vsize=13978608 memory=8390339637985935414 CPUtime=0.2 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 6379 0 0 0 18 2 0 0 20 0 15 0 73514859 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139735061538616 139735041398140 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13978608 memory=301741395000176996 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13978608 memory=140505387253553 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13978608 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73514860 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13978608 memory=7160715970097865973 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73514861 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73514862 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734534796064 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73514862 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734533743728 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) S 18664 18664 897 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 73514864 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13978608 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) S 18664 18664 897 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 73514864 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13978608 memory=140505387234944 CPUtime=0.08 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) R 18664 18664 897 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 15 0 73514865 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735057338970 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13978608 memory=140505387234944 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514869 14314094592 9962 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41228 KiB

[startup+0.700804 s]
/proc/loadavg: 1.44 1.63 1.66 5/215 18680
/proc/meminfo: memFree=30778684/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13978684 memory=106916 CPUtime=1.34 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 13279 0 0 0 128 6 0 0 20 0 15 0 73514859 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3494671 26729 3147 1 0 3482964 0
[pid=18666/tid=18667] ppid=18664 vsize=13978684 memory=7660742144744843625 CPUtime=0.57 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 7808 0 0 0 53 4 0 0 20 0 15 0 73514859 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139735061552128 139735057329558 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13978684 memory=5865469479800824941 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13978684 memory=4639622823262830690 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13978684 memory=5788363997545912423 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514860 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13978684 memory=4639059877604708710 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73514860 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13978684 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73514861 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13978684 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73514862 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734534796064 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73514862 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734533743728 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13978684 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) S 18664 18664 897 0 -1 1077944384 1497 0 0 0 27 0 0 0 20 0 15 0 73514864 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) S 18664 18664 897 0 -1 1077944384 1254 0 0 0 24 0 0 0 20 0 15 0 73514864 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13978684 memory=2529 CPUtime=0.22 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) R 18664 18664 897 0 -1 4202560 1413 0 0 0 22 0 0 0 20 0 15 0 73514865 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735036750655 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73514869 14314172416 26729 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 108296 KiB

[startup+1.50127 s]
/proc/loadavg: 1.44 1.63 1.66 6/215 18680
/proc/meminfo: memFree=30619196/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13978684 memory=337252 CPUtime=3.67 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 17437 0 0 0 351 16 0 0 20 0 15 0 73514859 14314172416 84313 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3494671 84313 3200 1 0 3482964 0
[pid=18666/tid=18667] ppid=18664 vsize=13978684 memory=8171897334845303665 CPUtime=1.3 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 7965 0 0 0 124 6 0 0 20 0 15 0 73514859 14314172416 84313 18446744073709551615 4194304 4196468 140720754336704 139735061556104 139734697497306 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13978684 memory=15745350110221 CPUtime=0.04 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 50 0 0 0 3 1 0 0 20 0 15 0 73514860 14314172416 84313 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 55 0 0 0 4 1 0 0 20 0 15 0 73514860 14314172416 84313 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13978684 memory=6944656592387989600 CPUtime=0.05 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 60 0 0 0 4 1 0 0 20 0 15 0 73514860 14314172416 84313 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7

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

/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734533743744 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13980732 memory=4116 CPUtime=5.37 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) S 18664 18664 897 0 -1 1077944384 28522 0 0 0 534 3 0 0 20 0 15 0 73514864 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13980732 memory=40732 CPUtime=5.09 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) S 18664 18664 897 0 -1 1077944384 30608 0 0 0 505 4 0 0 20 0 15 0 73514864 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13980732 memory=4116 CPUtime=0.97 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) S 18664 18664 897 0 -1 1077944384 15320 0 0 0 95 2 0 0 20 0 15 0 73514865 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13980732 memory=40732 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13980732 memory=1440 CPUtime=1.39 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 2864 0 0 0 63 76 0 0 20 0 15 0 73514869 14316269568 849687 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 2397.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3400128 KiB

[startup+2442.3 s]
/proc/loadavg: 1.60 1.70 1.75 3/211 19579
/proc/meminfo: memFree=27050912/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13980732 memory=3379032 CPUtime=2457.69 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 236194 0 0 0 245553 216 0 0 20 0 15 0 73514859 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3495183 844758 3251 1 0 3483476 0
[pid=18666/tid=18667] ppid=18664 vsize=13980732 memory=3379032 CPUtime=2441.38 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 120328 0 0 0 244065 73 0 0 20 0 15 0 73514859 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139735061557296 139734707093432 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13980732 memory=3384092 CPUtime=0.79 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 6411 0 0 0 64 15 0 0 20 0 15 0 73514860 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13980732 memory=3379032 CPUtime=0.81 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 7686 0 0 0 66 15 0 0 20 0 15 0 73514860 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13980732 memory=3379032 CPUtime=0.82 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 5587 0 0 0 67 15 0 0 20 0 15 0 73514860 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13980732 memory=3379032 CPUtime=0.82 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 7799 0 0 0 66 16 0 0 20 0 15 0 73514860 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13980732 memory=3379032 CPUtime=0.11 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 9652 0 0 0 6 5 0 0 20 0 15 0 73514861 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734534796128 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734533743744 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13980732 memory=3379032 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13980732 memory=1380 CPUtime=5.37 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) S 18664 18664 897 0 -1 1077944384 28527 0 0 0 534 3 0 0 20 0 15 0 73514864 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13980732 memory=3379032 CPUtime=5.09 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) S 18664 18664 897 0 -1 1077944384 30619 0 0 0 505 4 0 0 20 0 15 0 73514864 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) S 18664 18664 897 0 -1 1077944384 15325 0 0 0 95 2 0 0 20 0 15 0 73514865 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13980732 memory=-8774313645642428999 CPUtime=1.43 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 2930 0 0 0 65 78 0 0 20 0 15 0 73514869 14316269568 844758 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 2457.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3380412 KiB

[startup+2502.3 s]
/proc/loadavg: 1.70 1.71 1.75 3/211 19581
/proc/meminfo: memFree=27175564/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13980732 memory=3363204 CPUtime=2517.79 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 239703 0 0 0 251561 218 0 0 20 0 15 0 73514859 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3495183 840801 3251 1 0 3483476 0
[pid=18666/tid=18667] ppid=18664 vsize=13980732 memory=3363204 CPUtime=2501.36 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 122718 0 0 0 250063 73 0 0 20 0 15 0 73514859 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139735061557296 139734706660451 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13980732 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 6506 0 0 0 66 16 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13980732 memory=1380 CPUtime=0.83 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 7827 0 0 0 67 16 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13980732 memory=1380 CPUtime=0.83 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 5864 0 0 0 68 15 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13980732 memory=1380 CPUtime=0.84 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 8099 0 0 0 68 16 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13980732 memory=4116 CPUtime=0.12 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 9873 0 0 0 7 5 0 0 20 0 15 0 73514861 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734534796128 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13980732 memory=3363204 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734533743744 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13980732 memory=3363204 CPUtime=5.37 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) S 18664 18664 897 0 -1 1077944384 28541 0 0 0 534 3 0 0 20 0 15 0 73514864 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13980732 memory=3363204 CPUtime=5.09 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) S 18664 18664 897 0 -1 1077944384 30625 0 0 0 505 4 0 0 20 0 15 0 73514864 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13980732 memory=1380 CPUtime=0.97 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) S 18664 18664 897 0 -1 1077944384 15333 0 0 0 95 2 0 0 20 0 15 0 73514865 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13980732 memory=1380 CPUtime=1.46 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 2987 0 0 0 66 80 0 0 20 0 15 0 73514869 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 2517.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3364584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.6 s]
/proc/loadavg: 1.72 1.71 1.76 3/211 19582
/proc/meminfo: memFree=27176556/32770624 swapFree=67108860/67108860
[pid=18664] ppid=18661 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18664/stat : 18664 (xcsp3-exec) S 18661 18664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 73514853 9740288 345 18446744073709551615 4194304 5098028 140731095146432 140731095144536 139999657583228 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 6 0 0 7196144 7232144 33611776 140731095155065 140731095155269 140731095155269 140731095158763 0
/proc/18664/statm: 2378 345 289 221 0 87 0
[pid=18666] ppid=18664 vsize=13980732 memory=3363204 CPUtime=2520.09 cores=1,3,5,7
/proc/18666/stat : 18666 (java) S 18664 18664 897 0 -1 1077944320 239723 0 0 0 251791 218 0 0 20 0 15 0 73514859 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 140720754319248 139735057317623 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
/proc/18666/statm: 3495183 840801 3251 1 0 3483476 0
[pid=18666/tid=18667] ppid=18664 vsize=13980732 memory=2164 CPUtime=2503.66 cores=1,3,5,7
/proc/18666/task/18667/stat : 18667 (java) R 18664 18664 897 0 -1 4202560 122738 0 0 0 250293 73 0 0 20 0 15 0 73514859 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139735061557296 139734704313054 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18668] ppid=18664 vsize=13980732 memory=840 CPUtime=0.82 cores=1,3,5,7
/proc/18666/task/18668/stat : 18668 (java) S 18664 18664 897 0 -1 1077944384 6506 0 0 0 66 16 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139735018216336 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18669] ppid=18664 vsize=13980732 memory=16436 CPUtime=0.83 cores=1,3,5,7
/proc/18666/task/18669/stat : 18669 (java) S 18664 18664 897 0 -1 1077944384 7827 0 0 0 67 16 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734655888144 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18670] ppid=18664 vsize=13980732 memory=2868 CPUtime=0.83 cores=1,3,5,7
/proc/18666/task/18670/stat : 18670 (java) S 18664 18664 897 0 -1 1077944384 5864 0 0 0 68 15 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734654835856 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18671] ppid=18664 vsize=13980732 memory=2764 CPUtime=0.84 cores=1,3,5,7
/proc/18666/task/18671/stat : 18671 (java) S 18664 18664 897 0 -1 1077944384 8099 0 0 0 68 16 0 0 20 0 15 0 73514860 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734653783056 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18672] ppid=18664 vsize=13980732 memory=1152 CPUtime=0.12 cores=1,3,5,7
/proc/18666/task/18672/stat : 18672 (java) S 18664 18664 897 0 -1 1077944384 9873 0 0 0 7 5 0 0 20 0 15 0 73514861 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734535850096 139735057328770 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18673] ppid=18664 vsize=13980732 memory=3204 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18673/stat : 18673 (java) S 18664 18664 897 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734534796128 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18674] ppid=18664 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18674/stat : 18674 (java) S 18664 18664 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 73514862 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734533743744 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18675] ppid=18664 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18675/stat : 18675 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514864 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734532692048 139735057336219 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18676] ppid=18664 vsize=13980732 memory=1728 CPUtime=5.37 cores=1,3,5,7
/proc/18666/task/18676/stat : 18676 (java) S 18664 18664 897 0 -1 1077944384 28541 0 0 0 534 3 0 0 20 0 15 0 73514864 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734531639920 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18677] ppid=18664 vsize=13980732 memory=1228 CPUtime=5.09 cores=1,3,5,7
/proc/18666/task/18677/stat : 18677 (java) S 18664 18664 897 0 -1 1077944384 30625 0 0 0 505 4 0 0 20 0 15 0 73514864 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734530587120 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18678] ppid=18664 vsize=13980732 memory=796 CPUtime=0.97 cores=1,3,5,7
/proc/18666/task/18678/stat : 18678 (java) S 18664 18664 897 0 -1 1077944384 15333 0 0 0 95 2 0 0 20 0 15 0 73514865 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734529534832 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18679] ppid=18664 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18666/task/18679/stat : 18679 (java) S 18664 18664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73514865 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734528482272 139735057327829 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
[pid=18666/tid=18680] ppid=18664 vsize=13980732 memory=288230617509003574 CPUtime=1.46 cores=1,3,5,7
/proc/18666/task/18680/stat : 18680 (java) S 18664 18664 897 0 -1 1077944384 2987 0 0 0 66 80 0 0 20 0 15 0 73514869 14316269568 840801 18446744073709551615 4194304 4196468 140720754336704 139734527429040 139735057328770 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140720754340273 140720754340449 140720754340449 140720754343887 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3364584 KiB

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

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

[startup+2504.62 s]
# the end of solver process 18666 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.93 s, system=2.20153 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): 2504.63
CPU time (s): 2520.13
CPU user time (s): 2517.93
CPU system time (s): 2.20153
CPU usage (%): 100.619
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3648508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.20153
maximum resident set size= 3658412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240891
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59256
involuntary context switches= 1514


# summary of solver processes directly reported to runsolver:
#   pid: 18664,18666
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.20153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7592 second user time and 24.6706 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-14 14:01:36
IDJOB=4272057
IDBENCH=120625
IDSOLVER=2664
FILE ID=node125/4272057-1502712942
RUNJOBID= node125-1502662595-11629
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272057-1502712942/watcher-4272057-1502712942 -o /tmp/evaluation-result-4272057-1502712942/solver-4272057-1502712942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 303584463 HOME/instance-4272057-1502712942.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=303584463

node125.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.07
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.07
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.07
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.07
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:        30831240 kB
MemAvailable:   31787088 kB
Buffers:          294788 kB
Cached:           954960 kB
SwapCached:            0 kB
Active:           911596 kB
Inactive:         596156 kB
Active(anon):     258064 kB
Inactive(anon):    33100 kB
Active(file):     653532 kB
Inactive(file):   563056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11720 kB
Writeback:             0 kB
AnonPages:        259628 kB
Mapped:            62488 kB
Shmem:             33444 kB
Slab:             136156 kB
SReclaimable:     110188 kB
SUnreclaim:        25968 kB
KernelStack:        3520 kB
PageTables:         6068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1223520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 62012 MiB
End job on node125 at 2017-08-14 14:43:21