Trace number 4271226

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 NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT 14.742 3.2564399

General information on the benchmark

NameSat/
Sat-dual-flat200-479/Sat-flat200-14-dual.xml
MD5SUMf0983d1e8f8af2258ff0f9765563aa3d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.67346001
Satisfiable
(Un)Satisfiability was proved
Number of variables2237
Number of constraints16113
Number of domains2
Minimum domain size3
Maximum domain size7
Distribution of domain sizes[{"size":3,"count":2037},{"size":7,"count":200}]
Minimum variable degree3
Maximum variable degree27
Distribution of variable degrees[{"degree":3,"count":8},{"degree":5,"count":6},{"degree":6,"count":2},{"degree":7,"count":42},{"degree":9,"count":110},{"degree":10,"count":21},{"degree":11,"count":177},{"degree":12,"count":147},{"degree":13,"count":309},{"degree":14,"count":261},{"degree":15,"count":412},{"degree":16,"count":210},{"degree":17,"count":267},{"degree":18,"count":111},{"degree":19,"count":66},{"degree":20,"count":12},{"degree":21,"count":44},{"degree":24,"count":25},{"degree":27,"count":7}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":16113}]
Number of extensional constraints16113
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":16113}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271226-1502697424.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271226-1502697424.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
7.61/2.30	c solve instance...
14.58/3.23	s SATISFIABLE
14.58/3.23	v <instantiation>
14.58/3.23	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] </list>
14.58/3.23	v 	<values>3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 2 1 3 2 1 1 2 3 1 2 3 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 2 3 1 2 1 3 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 1 3 2 3 1 2 3 1 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 2 1 3 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 2 1 3 2 1 3 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 2 3 1 2 1 3 2 1 3 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 1 3 2 1 3 2 1 3 2 3 1 2 1 2 3 1 2 3 1 2 3 3 2 1 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 2 3 1 2 1 3 2 1 3 2 1 3 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 1 3 2 1 3 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 3 2 3 1 2 3 1 2 1 3 2 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 2 1 3 2 1 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 2 3 1 2 3 1 1 3 2 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 3 1 2 1 3 2 1 2 3 1 2 3 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 1 2 3 2 3 1 1 3 2 1 3 2 1 2 3 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 2 3 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 1 3 2 1 3 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 2 3 3 2 1 1 2 3 1 2 3 3 1 2 1 3 2 1 3 2 1 3 2 2 3 1 2 1 3 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 3 2 2 3 1 2 1 3 1 3 2 3 1 2 2 1 3 3 1 2 2 1 3 2 3 1 2 1 3 2 3 1 1 3 2 1 3 2 1 2 3 3 2 1 1 2 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 2 1 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 1 2 3 1 2 3 3 2 1 1 3 2 1 3 2 3 1 2 1 3 2 1 2 3 1 2 3 1 3 2 1 3 2 2 1 3 1 3 2 1 3 2 2 3 1 3 2 1 2 3 1 3 1 2 </values>
14.58/3.23	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271226-1502697424/watcher-4271226-1502697424 -o /tmp/evaluation-result-4271226-1502697424/solver-4271226-1502697424 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 192483575 HOME/instance-4271226-1502697424.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=32067, runsolver pid=32064

[startup+0.100141 s]*
/proc/loadavg: 0.98 3.89 6.42 3/199 32088
/proc/meminfo: memFree=31632020/32770624 swapFree=67108860/67108860
[pid=32067] ppid=32064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32067/stat : 32067 (xcsp3-exec) S 32064 32067 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102830159 9740288 346 33554432000 4194304 5098028 140732144387680 140732144385784 140090361655932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35827712 140732144391269 140732144391479 140732144391479 140732144394219 0
/proc/32067/statm: 2378 346 289 221 0 87 0
[pid=32069] ppid=32067 vsize=25999808 memory=27028 CPUtime=0.11 cores=0-7
/proc/32069/stat : 32069 (java) S 32067 32067 31301 0 -1 1077944320 5687 0 0 0 10 1 0 0 20 0 20 0 102830159 26623803392 6757 33554432000 4194304 4196468 140730099838176 140730099820720 139866280111863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
/proc/32069/statm: 6499952 6757 2846 1 0 6488269 0
[pid=32069/tid=32070] ppid=32067 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32069/task/32070/stat : 32070 (java) R 32067 32067 31301 0 -1 4202560 3696 0 0 0 8 1 0 0 20 0 20 0 102830159 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866284338112 139865895311943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32071] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32071/stat : 32071 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866232732176 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32072] ppid=32067 vsize=25999808 memory=139626605409920 CPUtime=0 cores=0-7
/proc/32069/task/32072/stat : 32072 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866231679632 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32073] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32073/stat : 32073 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866230626576 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32074] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32074/stat : 32074 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866229574032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32075] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32075/stat : 32075 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866228522000 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32076] ppid=32067 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32076/stat : 32076 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866227469456 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32077] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32077/stat : 32077 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866226416400 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32078] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32078/stat : 32078 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26623803392 6757 33554432000 4194304 4196468 140730099838176 139866225363856 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32079] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32079/stat : 32079 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830162 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864484333808 139866280123010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32080] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32080/stat : 32080 (java) S 32067 32067 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102830162 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864483280032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32081] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32081/stat : 32081 (java) S 32067 32067 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102830162 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864482226928 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32082] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32082/stat : 32082 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864481175504 139866280130459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32083] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32083/stat : 32083 (java) S 32067 32067 31301 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864480123632 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32084] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32084/stat : 32084 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864479071088 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32085] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32085/stat : 32085 (java) R 32067 32067 31301 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864478018032 139866280123010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32086] ppid=32067 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32069/task/32086/stat : 32086 (java) S 32067 32067 31301 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864476965488 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32087] ppid=32067 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32087/stat : 32087 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864475912672 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32088] ppid=32067 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32088/stat : 32088 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26623803392 6757 33554432000 4194304 4196468 140730099838176 139864474860208 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28412 KiB

[startup+0.210196 s]*
/proc/loadavg: 0.98 3.89 6.42 4/199 32088
/proc/meminfo: memFree=31621644/32770624 swapFree=67108860/67108860
[pid=32067] ppid=32064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32067/stat : 32067 (xcsp3-exec) S 32064 32067 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102830159 9740288 346 33554432000 4194304 5098028 140732144387680 140732144385784 140090361655932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35827712 140732144391269 140732144391479 140732144391479 140732144394219 0
/proc/32067/statm: 2378 346 289 221 0 87 0
[pid=32069] ppid=32067 vsize=26004064 memory=38752 CPUtime=0.32 cores=0-7
/proc/32069/stat : 32069 (java) S 32067 32067 31301 0 -1 1077944320 8300 0 0 0 30 2 0 0 20 0 20 0 102830159 26628161536 9688 33554432000 4194304 4196468 140730099838176 140730099820720 139866280111863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
/proc/32069/statm: 6501016 9688 3014 1 0 6488269 0
[pid=32069/tid=32070] ppid=32067 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32069/task/32070/stat : 32070 (java) R 32067 32067 31301 0 -1 4202560 5438 0 0 0 18 1 0 0 20 0 20 0 102830159 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866284324896 139866272789877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32071] ppid=32067 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/32069/task/32071/stat : 32071 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866232732176 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32072] ppid=32067 vsize=26004064 memory=139626605846885 CPUtime=0 cores=0-7
/proc/32069/task/32072/stat : 32072 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866231679632 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32073] ppid=32067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32073/stat : 32073 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866230626576 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32074] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32074/stat : 32074 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866229574032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32075] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32075/stat : 32075 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866228522000 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32076] ppid=32067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32076/stat : 32076 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866227469456 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32077] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32077/stat : 32077 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866226416400 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32078] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32078/stat : 32078 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 9688 33554432000 4194304 4196468 140730099838176 139866225363856 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32079] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32079/stat : 32079 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830162 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864484333808 139866280123010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32080] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32080/stat : 32080 (java) S 32067 32067 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102830162 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864483280032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32081] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32081/stat : 32081 (java) S 32067 32067 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102830162 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864482226928 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32082] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32082/stat : 32082 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864481175504 139866280130459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32083] ppid=32067 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32069/task/32083/stat : 32083 (java) S 32067 32067 31301 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864480123632 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32084] ppid=32067 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/32069/task/32084/stat : 32084 (java) S 32067 32067 31301 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864479071088 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32085] ppid=32067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32085/stat : 32085 (java) S 32067 32067 31301 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864478018032 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32086] ppid=32067 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32069/task/32086/stat : 32086 (java) R 32067 32067 31301 0 -1 4202560 691 0 0 0 7 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864476965488 139866272348990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32087] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32087/stat : 32087 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864475912672 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32088] ppid=32067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32088/stat : 32088 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 9688 33554432000 4194304 4196468 140730099838176 139864474860208 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40136 KiB

[startup+0.310236 s]*
/proc/loadavg: 0.98 3.89 6.42 3/199 32088
/proc/meminfo: memFree=31617212/32770624 swapFree=67108860/67108860
[pid=32067] ppid=32064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32067/stat : 32067 (xcsp3-exec) S 32064 32067 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102830159 9740288 346 33554432000 4194304 5098028 140732144387680 140732144385784 140090361655932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35827712 140732144391269 140732144391479 140732144391479 140732144394219 0
/proc/32067/statm: 2378 346 289 221 0 87 0
[pid=32069] ppid=32067 vsize=26004064 memory=45720 CPUtime=0.5 cores=0-7
/proc/32069/stat : 32069 (java) S 32067 32067 31301 0 -1 1077944320 9147 0 0 0 47 3 0 0 20 0 20 0 102830159 26628161536 11430 33554432000 4194304 4196468 140730099838176 140730099820720 139866280111863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
/proc/32069/statm: 6501016 11430 3087 1 0 6488269 0
[pid=32069/tid=32070] ppid=32067 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32069/task/32070/stat : 32070 (java) R 32067 32067 31301 0 -1 4202560 6114 0 0 0 27 2 0 0 20 0 20 0 102830159 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866284351024 139866280133789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32071] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32071/stat : 32071 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866232732176 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32072] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32072/stat : 32072 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866231679632 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32073] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32073/stat : 32073 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866230626576 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32074] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32074/stat : 32074 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866229574032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32075] ppid=32067 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32069/task/32075/stat : 32075 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866228522000 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32076] ppid=32067 vsize=26004064 memory=139626501206959 CPUtime=0 cores=0-7
/proc/32069/task/32076/stat : 32076 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866227469456 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32077] ppid=32067 vsize=26004064 memory=139626501209264 CPUtime=0 cores=0-7
/proc/32069/task/32077/stat : 32077 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866226416400 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32078] ppid=32067 vsize=26004064 memory=139626501211568 CPUtime=0 cores=0-7
/proc/32069/task/32078/stat : 32078 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830160 26628161536 11430 33554432000 4194304 4196468 140730099838176 139866225363856 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32079] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32079/stat : 32079 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830162 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864484333808 139866280123010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32080] ppid=32067 vsize=26004064 memory=279253002430096 CPUtime=0 cores=0-7
/proc/32069/task/32080/stat : 32080 (java) S 32067 32067 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102830162 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864483280032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32081] ppid=32067 vsize=26004064 memory=279253002437008 CPUtime=0 cores=0-7
/proc/32069/task/32081/stat : 32081 (java) S 32067 32067 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102830162 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864482226928 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32082] ppid=32067 vsize=26004064 memory=279253002378288 CPUtime=0 cores=0-7
/proc/32069/task/32082/stat : 32082 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864481175504 139866280130459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32083] ppid=32067 vsize=26004064 memory=279253002450832 CPUtime=0.01 cores=0-7
/proc/32069/task/32083/stat : 32083 (java) R 32067 32067 31301 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864480123632 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32084] ppid=32067 vsize=26004064 memory=279253002457744 CPUtime=0.02 cores=0-7
/proc/32069/task/32084/stat : 32084 (java) S 32067 32067 31301 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864479071088 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32085] ppid=32067 vsize=26004064 memory=279253002455440 CPUtime=0.02 cores=0-7
/proc/32069/task/32085/stat : 32085 (java) R 32067 32067 31301 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864478018032 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32086] ppid=32067 vsize=26004064 memory=279253002471600 CPUtime=0.13 cores=0-7
/proc/32069/task/32086/stat : 32086 (java) R 32067 32067 31301 0 -1 4202560 797 0 0 0 13 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864476962424 139866258664189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32087] ppid=32067 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32087/stat : 32087 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864475912672 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32088] ppid=32067 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32069/task/32088/stat : 32088 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26628161536 11430 33554432000 4194304 4196468 140730099838176 139864474860208 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47104 KiB

[startup+0.701071 s]
/proc/loadavg: 0.98 3.89 6.42 3/199 32088
/proc/meminfo: memFree=31591360/32770624 swapFree=67108860/67108860
[pid=32067] ppid=32064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32067/stat : 32067 (xcsp3-exec) S 32064 32067 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102830159 9740288 346 33554432000 4194304 5098028 140732144387680 140732144385784 140090361655932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35827712 140732144391269 140732144391479 140732144391479 140732144394219 0
/proc/32067/statm: 2378 346 289 221 0 87 0
[pid=32069] ppid=32067 vsize=26004140 memory=126896 CPUtime=2.03 cores=0-7
/proc/32069/stat : 32069 (java) S 32067 32067 31301 0 -1 1077944320 13072 0 0 0 198 5 0 0 20 0 20 0 102830159 26628239360 31724 33554432000 4194304 4196468 140730099838176 140730099820720 139866280111863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
/proc/32069/statm: 6501035 31724 3202 1 0 6488269 0
[pid=32069/tid=32070] ppid=32067 vsize=26004140 memory=279253002829488 CPUtime=0.67 cores=0-7
/proc/32069/task/32070/stat : 32070 (java) R 32067 32067 31301 0 -1 4202560 6491 0 0 0 64 3 0 0 20 0 20 0 102830159 26628239360 32236 33554432000 4194304 4196468 140730099838176 139866284346320 139865898992034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32071] ppid=32067 vsize=26004140 memory=139626501415792 CPUtime=0 cores=0-7
/proc/32069/task/32071/stat : 32071 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26628239360 32236 33554432000 4194304 4196468 140730099838176 139866232732176 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32072] ppid=32067 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32072/stat : 32072 (java) S 32067 32067 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830160 26628239360 32236 33554432000 4194304 4196468 140730099838176 139866231679632 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32073] ppid=32067 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/32069/task/32073/stat : 32073 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830160 26628239360 32236 33554432000 4194304 4196468 140730099838176 139866230626576 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0

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

[pid=32069/tid=32082] ppid=32067 vsize=26006188 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/32069/task/32082/stat : 32082 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864481175504 139866280130459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32083] ppid=32067 vsize=26006188 memory=-7019007802211101846 CPUtime=1.02 cores=0-7
/proc/32069/task/32083/stat : 32083 (java) R 32067 32067 31301 0 -1 4202560 3056 0 0 0 102 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864480113424 139866259951376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32084] ppid=32067 vsize=26006188 memory=7682744562847679290 CPUtime=1.08 cores=0-7
/proc/32069/task/32084/stat : 32084 (java) R 32067 32067 31301 0 -1 4202560 2970 0 0 0 108 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864479071088 139866280133210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32085] ppid=32067 vsize=26006188 memory=1004 CPUtime=1.03 cores=0-7
/proc/32069/task/32085/stat : 32085 (java) R 32067 32067 31301 0 -1 4202560 2569 0 0 0 103 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864478011056 139866261635032 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32086] ppid=32067 vsize=26006188 memory=1436 CPUtime=0.47 cores=0-7
/proc/32069/task/32086/stat : 32086 (java) S 32067 32067 31301 0 -1 1077944384 2600 0 0 0 47 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864476965488 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32087] ppid=32067 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/32069/task/32087/stat : 32087 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864475912672 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32088] ppid=32067 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/32069/task/32088/stat : 32088 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830165 26630336512 77868 33554432000 4194304 4196468 140730099838176 139864474860208 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 312856 KiB

[startup+3.11087 s]
/proc/loadavg: 0.98 3.89 6.42 10/207 32096
/proc/meminfo: memFree=31079948/32770624 swapFree=67108860/67108860
[pid=32067] ppid=32064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32067/stat : 32067 (xcsp3-exec) S 32064 32067 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102830159 9740288 346 33554432000 4194304 5098028 140732144387680 140732144385784 140090361655932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35827712 140732144391269 140732144391479 140732144391479 140732144394219 0
/proc/32067/statm: 2378 346 289 221 0 87 0
[pid=32069] ppid=32067 vsize=26538700 memory=580084 CPUtime=13.78 cores=0-7
/proc/32069/stat : 32069 (java) S 32067 32067 31301 0 -1 1077944320 22158 0 0 0 1322 56 0 0 20 0 28 0 102830159 27175628800 145021 33554432000 4194304 4196468 140730099838176 140730099820720 139866280111863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
/proc/32069/statm: 6634675 145021 3264 1 0 6621909 0
[pid=32069/tid=32070] ppid=32067 vsize=26538700 memory=536724 CPUtime=2.11 cores=0-7
/proc/32069/task/32070/stat : 32070 (java) S 32067 32067 31301 0 -1 1077944384 6954 0 0 0 205 6 0 0 20 0 28 0 102830159 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866284352640 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32071] ppid=32067 vsize=26538700 memory=4420 CPUtime=0.16 cores=0-7
/proc/32069/task/32071/stat : 32071 (java) S 32067 32067 31301 0 -1 1077944384 112 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866232732176 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32072] ppid=32067 vsize=26538700 memory=169 CPUtime=0.15 cores=0-7
/proc/32069/task/32072/stat : 32072 (java) S 32067 32067 31301 0 -1 1077944384 83 0 0 0 10 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866231679632 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32073] ppid=32067 vsize=26538700 memory=164 CPUtime=0.16 cores=0-7
/proc/32069/task/32073/stat : 32073 (java) S 32067 32067 31301 0 -1 1077944384 121 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866230626576 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32074] ppid=32067 vsize=26538700 memory=60 CPUtime=0.14 cores=0-7
/proc/32069/task/32074/stat : 32074 (java) S 32067 32067 31301 0 -1 1077944384 138 0 0 0 10 4 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866229574032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32075] ppid=32067 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7
/proc/32069/task/32075/stat : 32075 (java) S 32067 32067 31301 0 -1 1077944384 86 0 0 0 9 4 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866228522000 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32076] ppid=32067 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/32069/task/32076/stat : 32076 (java) S 32067 32067 31301 0 -1 1077944384 120 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866227469456 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32077] ppid=32067 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/32069/task/32077/stat : 32077 (java) S 32067 32067 31301 0 -1 1077944384 113 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866226416400 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32078] ppid=32067 vsize=26538700 memory=568700 CPUtime=0.15 cores=0-7
/proc/32069/task/32078/stat : 32078 (java) S 32067 32067 31301 0 -1 1077944384 80 0 0 0 11 4 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866225363856 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32079] ppid=32067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32079/stat : 32079 (java) S 32067 32067 31301 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 102830162 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864484333808 139866280123010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32080] ppid=32067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32080/stat : 32080 (java) S 32067 32067 31301 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 102830162 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864483280096 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32081] ppid=32067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32081/stat : 32081 (java) S 32067 32067 31301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102830162 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864482226944 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32082] ppid=32067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32082/stat : 32082 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864481175504 139866280130459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32083] ppid=32067 vsize=26538700 memory=0 CPUtime=1.58 cores=0-7
/proc/32069/task/32083/stat : 32083 (java) S 32067 32067 31301 0 -1 1077944384 3217 0 0 0 158 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864480123632 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32084] ppid=32067 vsize=26538700 memory=0 CPUtime=1.74 cores=0-7
/proc/32069/task/32084/stat : 32084 (java) R 32067 32067 31301 0 -1 4202560 3738 0 0 0 173 1 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864479052288 139866264511393 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32085] ppid=32067 vsize=26538700 memory=0 CPUtime=1.65 cores=0-7
/proc/32069/task/32085/stat : 32085 (java) R 32067 32067 31301 0 -1 1077944384 2678 0 0 0 165 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864478018032 139866280123010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32086] ppid=32067 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/32069/task/32086/stat : 32086 (java) S 32067 32067 31301 0 -1 1077944384 2838 0 0 0 62 1 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864476965488 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32087] ppid=32067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32087/stat : 32087 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864475912672 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32088] ppid=32067 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32069/task/32088/stat : 32088 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864474860208 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32089] ppid=32067 vsize=26538700 memory=0 CPUtime=0.55 cores=0-7
/proc/32069/task/32089/stat : 32089 (java) R 32067 32067 31301 0 -1 4202560 80 0 0 0 53 2 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863863055400 139865902383272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32090] ppid=32067 vsize=26538700 memory=0 CPUtime=0.63 cores=0-7
/proc/32069/task/32090/stat : 32090 (java) R 32067 32067 31301 0 -1 4202560 50 0 0 0 63 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863862004008 139865902383057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32091] ppid=32067 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7
/proc/32069/task/32091/stat : 32091 (java) R 32067 32067 31301 0 -1 4202560 35 0 0 0 56 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863860948464 139865902383267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32092] ppid=32067 vsize=26538700 memory=0 CPUtime=0.51 cores=0-7
/proc/32069/task/32092/stat : 32092 (java) R 32067 32067 31301 0 -1 4202560 36 0 0 0 51 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863859896184 139865903003442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32093] ppid=32067 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/32069/task/32093/stat : 32093 (java) R 32067 32067 31301 0 -1 4202560 36 0 0 0 60 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863858840160 139865902662413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32094] ppid=32067 vsize=26538700 memory=288230574492221466 CPUtime=0.6 cores=0-7
/proc/32069/task/32094/stat : 32094 (java) R 32067 32067 31301 0 -1 4202560 58 0 0 0 59 1 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863857793176 139865902662469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32095] ppid=32067 vsize=26538700 memory=0 CPUtime=0.61 cores=0-7
/proc/32069/task/32095/stat : 32095 (java) R 32067 32067 31301 0 -1 4202560 38 0 0 0 61 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863856740840 139865902661523 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32096] ppid=32067 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7
/proc/32069/task/32096/stat : 32096 (java) R 32067 32067 31301 0 -1 4202560 38 0 0 0 62 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863855685624 139865902537902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 581468 KiB

[startup+3.25638 s]
# the end of solver process 32067 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.1661 s, system=0.575945 s

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

[startup+3.21118 s]
/proc/loadavg: 0.98 3.89 6.42 10/207 32096
/proc/meminfo: memFree=31079948/32770624 swapFree=67108860/67108860
[pid=32067] ppid=32064 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32067/stat : 32067 (xcsp3-exec) S 32064 32067 31301 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102830159 9740288 346 33554432000 4194304 5098028 140732144387680 140732144385784 140090361655932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35827712 140732144391269 140732144391479 140732144391479 140732144394219 0
/proc/32067/statm: 2378 346 289 221 0 87 0
[pid=32069] ppid=32067 vsize=26538700 memory=580084 CPUtime=14.58 cores=0-7
/proc/32069/stat : 32069 (java) S 32067 32067 31301 0 -1 1077944320 22170 0 0 0 1402 56 0 0 20 0 28 0 102830159 27175628800 145021 33554432000 4194304 4196468 140730099838176 140730099820720 139866280111863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
/proc/32069/statm: 6634675 145021 3264 1 0 6621909 0
[pid=32069/tid=32070] ppid=32067 vsize=26538700 memory=0 CPUtime=2.11 cores=0-7
/proc/32069/task/32070/stat : 32070 (java) S 32067 32067 31301 0 -1 1077944384 6954 0 0 0 205 6 0 0 20 0 28 0 102830159 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866284352640 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32071] ppid=32067 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/32069/task/32071/stat : 32071 (java) S 32067 32067 31301 0 -1 1077944384 112 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866232732176 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32072] ppid=32067 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/32069/task/32072/stat : 32072 (java) S 32067 32067 31301 0 -1 1077944384 83 0 0 0 10 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866231679632 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32073] ppid=32067 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/32069/task/32073/stat : 32073 (java) S 32067 32067 31301 0 -1 1077944384 121 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866230626576 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32074] ppid=32067 vsize=26538700 memory=0 CPUtime=0.14 cores=0-7
/proc/32069/task/32074/stat : 32074 (java) S 32067 32067 31301 0 -1 1077944384 138 0 0 0 10 4 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866229574032 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32075] ppid=32067 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7
/proc/32069/task/32075/stat : 32075 (java) S 32067 32067 31301 0 -1 1077944384 86 0 0 0 9 4 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866228522000 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32076] ppid=32067 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/32069/task/32076/stat : 32076 (java) S 32067 32067 31301 0 -1 1077944384 120 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866227469456 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32077] ppid=32067 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/32069/task/32077/stat : 32077 (java) S 32067 32067 31301 0 -1 1077944384 113 0 0 0 11 5 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866226416400 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32078] ppid=32067 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/32069/task/32078/stat : 32078 (java) S 32067 32067 31301 0 -1 1077944384 80 0 0 0 11 4 0 0 20 0 28 0 102830160 27175628800 145021 33554432000 4194304 4196468 140730099838176 139866225363856 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32079] ppid=32067 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32069/task/32079/stat : 32079 (java) S 32067 32067 31301 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 102830162 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864484333808 139866280123010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32080] ppid=32067 vsize=26538700 memory=249008 CPUtime=0 cores=0-7
/proc/32069/task/32080/stat : 32080 (java) S 32067 32067 31301 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 102830162 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864483280096 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32081] ppid=32067 vsize=26538700 memory=279253002476352 CPUtime=0 cores=0-7
/proc/32069/task/32081/stat : 32081 (java) S 32067 32067 31301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102830162 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864482226944 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32082] ppid=32067 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/32069/task/32082/stat : 32082 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864481175504 139866280130459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32083] ppid=32067 vsize=26538700 memory=6944652177228980320 CPUtime=1.58 cores=0-7
/proc/32069/task/32083/stat : 32083 (java) S 32067 32067 31301 0 -1 1077944384 3219 0 0 0 158 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864480123632 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32084] ppid=32067 vsize=26538700 memory=6944656575208382560 CPUtime=1.75 cores=0-7
/proc/32069/task/32084/stat : 32084 (java) S 32067 32067 31301 0 -1 1077944384 3744 0 0 0 174 1 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864479071088 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32085] ppid=32067 vsize=26538700 memory=7652 CPUtime=1.65 cores=0-7
/proc/32069/task/32085/stat : 32085 (java) R 32067 32067 31301 0 -1 1077944384 2678 0 0 0 165 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864478018032 139866280123010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32086] ppid=32067 vsize=26538700 memory=7017841250531803201 CPUtime=0.63 cores=0-7
/proc/32069/task/32086/stat : 32086 (java) R 32067 32067 31301 0 -1 4202560 2840 0 0 0 62 1 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864476965488 139866280123798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32087] ppid=32067 vsize=26538700 memory=288287796408615488 CPUtime=0 cores=0-7
/proc/32069/task/32087/stat : 32087 (java) S 32067 32067 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864475912672 139866280122069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32088] ppid=32067 vsize=26538700 memory=468897 CPUtime=0 cores=0-7
/proc/32069/task/32088/stat : 32088 (java) S 32067 32067 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102830165 27175628800 145021 33554432000 4194304 4196468 140730099838176 139864474860208 139866280123010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32089] ppid=32067 vsize=26538700 memory=2109977108350404 CPUtime=0.64 cores=0-7
/proc/32069/task/32089/stat : 32089 (java) R 32067 32067 31301 0 -1 4202560 82 0 0 0 62 2 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863863055224 139865895299745 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32090] ppid=32067 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7
/proc/32069/task/32090/stat : 32090 (java) R 32067 32067 31301 0 -1 4202560 50 0 0 0 73 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863862004008 139865902664551 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32091] ppid=32067 vsize=26538700 memory=20900 CPUtime=0.66 cores=0-7
/proc/32069/task/32091/stat : 32091 (java) R 32067 32067 31301 0 -1 4202560 35 0 0 0 66 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863860948464 139865902383272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32092] ppid=32067 vsize=26538700 memory=0 CPUtime=0.61 cores=0-7
/proc/32069/task/32092/stat : 32092 (java) R 32067 32067 31301 0 -1 4202560 36 0 0 0 61 0 0 0 20 0 28 0 102830392 27175628800 145021 33554432000 4194304 4196468 140730099838176 139863859896184 139865902664608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32093] ppid=32067 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/32069/task/32093/stat : 32093 (java) R 32067 32067 31301 0 -1 4202560 36 0 0 0 70 0 0 0 20 0 28 0 102830392 27175628800 145030 33554432000 4194304 4196468 140730099838176 139863858840160 139865902415340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32094] ppid=32067 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/32069/task/32094/stat : 32094 (java) R 32067 32067 31301 0 -1 4202560 58 0 0 0 69 1 0 0 20 0 28 0 102830392 27175628800 145030 33554432000 4194304 4196468 140730099838176 139863857793176 139865902415078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32095] ppid=32067 vsize=26538700 memory=288230621803970871 CPUtime=0.7 cores=0-7
/proc/32069/task/32095/stat : 32095 (java) R 32067 32067 31301 0 -1 4202560 38 0 0 0 70 0 0 0 20 0 28 0 102830392 27175628800 145030 33554432000 4194304 4196468 140730099838176 139863856740344 139865902537423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
[pid=32069/tid=32096] ppid=32067 vsize=26538700 memory=13852958290872725 CPUtime=0.71 cores=0-7
/proc/32069/task/32096/stat : 32096 (java) R 32067 32067 31301 0 -1 4202560 38 0 0 0 71 0 0 0 20 0 28 0 102830392 27175628800 145030 33554432000 4194304 4196468 140730099838176 139863855685624 139865902382686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140730099840146 140730099840323 140730099840323 140730099843023 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 581468 KiB

Child status: 0
Real time (s): 3.25644
CPU time (s): 14.742
CPU user time (s): 14.1661
CPU system time (s): 0.575945
CPU usage (%): 452.704
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 581468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.1661
system time used= 0.575945
maximum resident set size= 586068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3585
involuntary context switches= 268


# summary of solver processes directly reported to runsolver:
#   pid: 32067
#   total CPU time (s): 14.742
#   total CPU user time (s): 14.1661
#   total CPU system time (s): 0.575945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046165 second user time and 0.078386 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-14 09:42:45
IDJOB=4271226
IDBENCH=123289
IDSOLVER=2662
FILE ID=node112/4271226-1502697424
RUNJOBID= node112-1502688687-31328
PBS_JOBID= 20628994
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-14-dual.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271226-1502697424/watcher-4271226-1502697424 -o /tmp/evaluation-result-4271226-1502697424/solver-4271226-1502697424 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 192483575 HOME/instance-4271226-1502697424.xml

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

MD5SUM BENCH= f0983d1e8f8af2258ff0f9765563aa3d
RANDOM SEED=192483575

node112.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.24
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.24
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.24
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.24
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:        31648328 kB
MemAvailable:   31976244 kB
Buffers:          162880 kB
Cached:           442740 kB
SwapCached:            0 kB
Active:           459332 kB
Inactive:         201208 kB
Active(anon):       6120 kB
Inactive(anon):    76456 kB
Active(file):     453212 kB
Inactive(file):   124752 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7960 kB
Writeback:             0 kB
AnonPages:         61116 kB
Mapped:            44188 kB
Shmem:             25224 kB
Slab:             157832 kB
SReclaimable:     131576 kB
SUnreclaim:        26256 kB
KernelStack:        3152 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-14 09:42:49