Trace number 4281040

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-18)SAT 19.7631 3.98189

General information on the benchmark

NameSat/
Sat-dual-flat200-479/Sat-flat200-80-dual.xml
MD5SUM525b735ba8bb5a039c9336c4821cc140
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.57814699
Satisfiable
(Un)Satisfiability was proved
Number of variables2237
Number of constraints16182
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":4},{"degree":5,"count":15},{"degree":6,"count":5},{"degree":7,"count":39},{"degree":8,"count":3},{"degree":9,"count":100},{"degree":10,"count":36},{"degree":11,"count":177},{"degree":12,"count":144},{"degree":13,"count":324},{"degree":14,"count":231},{"degree":15,"count":381},{"degree":16,"count":201},{"degree":17,"count":252},{"degree":18,"count":142},{"degree":19,"count":78},{"degree":20,"count":36},{"degree":21,"count":35},{"degree":24,"count":19},{"degree":27,"count":15}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":16182}]
Number of extensional constraints16182
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":16182}]
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-4281040-1503127596.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281040-1503127596.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.34/0.26	c parse instance...
7.93/2.44	c solve instance...
19.33/3.96	s SATISFIABLE
19.33/3.96	v <instantiation>
19.33/3.96	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>
19.33/3.96	v 	<values>1 1 3 4 2 3 1 2 2 3 1 2 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 2 3 1 2 3 2 2 1 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 3 2 2 1 3 2 2 1 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 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 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 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 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 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 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 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 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 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 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 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 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 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 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 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 3 2 1 3 2 1 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 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 3 1 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 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 2 1 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 2 1 3 2 1 3 2 1 3 2 3 1 1 2 3 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 2 3 1 2 3 1 2 3 1 3 2 1 1 2 3 1 2 3 1 2 3 1 3 2 3 1 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 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 3 1 2 3 1 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 3 1 2 3 1 2 1 3 2 1 3 2 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 1 2 3 2 1 3 2 1 3 2 3 1 2 3 1 1 3 2 3 1 2 3 1 2 1 2 3 3 2 1 3 2 1 1 2 3 2 1 3 2 3 1 2 1 3 1 3 2 3 1 2 1 2 3 1 2 3 3 2 1 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 1 2 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 3 2 1 1 2 3 3 2 1 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 2 1 3 2 1 3 2 1 3 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 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 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 2 3 3 2 1 3 2 1 1 3 2 3 1 2 1 3 2 2 3 1 2 1 3 2 3 1 2 3 1 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 3 2 1 1 2 3 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 2 3 1 2 3 1 2 3 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 1 2 3 2 3 1 3 2 1 1 3 2 1 3 2 2 3 1 2 1 3 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 3 1 2 3 1 2 1 3 2 2 3 1 1 2 3 1 2 3 1 2 3 2 3 1 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 2 1 3 2 3 1 2 1 3 2 1 3 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 1 3 2 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 2 1 3 2 1 3 2 1 3 1 2 3 1 2 3 1 3 2 1 3 2 3 1 2 3 2 1 1 3 2 1 3 2 1 3 2 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 1 3 2 3 1 2 3 1 1 3 2 1 3 2 1 3 2 1 2 3 3 2 1 2 1 3 2 3 1 2 1 3 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 2 1 3 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 2 1 3 2 1 3 3 1 2 1 3 2 2 3 1 1 3 2 1 3 2 3 1 2 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 2 3 1 3 2 1 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 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 1 3 2 1 2 3 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 2 3 1 3 1 2 2 1 3 2 1 3 1 2 3 2 3 1 1 2 3 3 2 1 </values>
19.33/3.96	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 (13310 MiB free)
  memory of node 1: 16384 MiB (13297 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281040-1503127596/watcher-4281040-1503127596 -o /tmp/evaluation-result-4281040-1503127596/solver-4281040-1503127596 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1337757697 HOME/instance-4281040-1503127596.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
solver pid=13333, runsolver pid=13330
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 6.35 7.66 7.83 3/200 13354
/proc/meminfo: memFree=27231508/32770624 swapFree=67108860/67108860
[pid=13333] ppid=13330 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13333/stat : 13333 (xcsp3-exec) S 13330 13333 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145847140 9740288 346 33554432000 4194304 5098028 140733128594672 140733128592776 139906150945404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29544448 140733128598628 140733128598839 140733128598839 140733128601579 0
/proc/13333/statm: 2378 346 289 221 0 87 0
[pid=13335] ppid=13333 vsize=25999808 memory=26584 CPUtime=0.12 cores=0-7
/proc/13335/stat : 13335 (java) S 13333 13333 10918 0 -1 1077944320 5495 0 0 0 11 1 0 0 20 0 20 0 145847140 26623803392 6646 33554432000 4194304 4196468 140728491762272 140728491744816 139767813770999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
/proc/13335/statm: 6499952 6646 2869 1 0 6488269 0
[pid=13335/tid=13336] ppid=13333 vsize=25999808 memory=7896950279733419674 CPUtime=0.08 cores=0-7
/proc/13335/task/13336/stat : 13336 (java) R 13333 13333 10918 0 -1 4202560 3489 0 0 0 8 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767818004352 139767813782934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13337] ppid=13333 vsize=25999808 memory=732370365486844901 CPUtime=0 cores=0-7
/proc/13335/task/13337/stat : 13337 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767766391056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13338] ppid=13333 vsize=25999808 memory=140227149391488 CPUtime=0 cores=0-7
/proc/13335/task/13338/stat : 13338 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767371397520 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13339] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13339/stat : 13339 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767370344976 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13340] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13340/stat : 13340 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767369292432 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13341] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13341/stat : 13341 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767368239888 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13342] ppid=13333 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13335/task/13342/stat : 13342 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767367187344 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13343] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13343/stat : 13343 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767366134800 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13344] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13344/stat : 13344 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767365082256 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13345] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13345/stat : 13345 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847143 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767008118768 139767813782146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13346] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13346/stat : 13346 (java) S 13333 13333 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145847143 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767007064992 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13347] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13347/stat : 13347 (java) S 13333 13333 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145847144 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767006012400 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13348] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13348/stat : 13348 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767004960976 139767813789595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13349] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13349/stat : 13349 (java) S 13333 13333 10918 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767003908592 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13350] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13350/stat : 13350 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767002856048 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13351] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13351/stat : 13351 (java) S 13333 13333 10918 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767001803504 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13352] ppid=13333 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13335/task/13352/stat : 13352 (java) R 13333 13333 10918 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139767000750960 139767797851486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13353] ppid=13333 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13353/stat : 13353 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139766999697632 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13354] ppid=13333 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13335/task/13354/stat : 13354 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847146 26623803392 6646 33554432000 4194304 4196468 140728491762272 139766998645168 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27968 KiB

[startup+0.210394 s]*
/proc/loadavg: 6.35 7.66 7.83 2/200 13354
/proc/meminfo: memFree=27219832/32770624 swapFree=67108860/67108860
[pid=13333] ppid=13330 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13333/stat : 13333 (xcsp3-exec) S 13330 13333 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145847140 9740288 346 33554432000 4194304 5098028 140733128594672 140733128592776 139906150945404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29544448 140733128598628 140733128598839 140733128598839 140733128601579 0
/proc/13333/statm: 2378 346 289 221 0 87 0
[pid=13335] ppid=13333 vsize=26004064 memory=39216 CPUtime=0.34 cores=0-7
/proc/13335/stat : 13335 (java) S 13333 13333 10918 0 -1 1077944320 8387 0 0 0 31 3 0 0 20 0 20 0 145847140 26628161536 9804 33554432000 4194304 4196468 140728491762272 140728491744816 139767813770999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
/proc/13335/statm: 6501016 9804 3052 1 0 6488269 0
[pid=13335/tid=13336] ppid=13333 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/13335/task/13336/stat : 13336 (java) D 13333 13333 10918 0 -1 1077944384 5448 0 0 0 18 1 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767817981808 139767806450221 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13337] ppid=13333 vsize=26004064 memory=280454140618488 CPUtime=0 cores=0-7
/proc/13335/task/13337/stat : 13337 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767766391056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13338] ppid=13333 vsize=26004064 memory=140227149391488 CPUtime=0 cores=0-7
/proc/13335/task/13338/stat : 13338 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767371397520 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13339] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13339/stat : 13339 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767370344976 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13340] ppid=13333 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13340/stat : 13340 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628194304 9804 33554432000 4194304 4196468 140728491762272 139767369292432 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13341] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13341/stat : 13341 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767368239888 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13342] ppid=13333 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13335/task/13342/stat : 13342 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767367187344 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13343] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13343/stat : 13343 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767366134800 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13344] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13344/stat : 13344 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767365082256 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13345] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13345/stat : 13345 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847143 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767008118768 139767813782146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13346] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13346/stat : 13346 (java) S 13333 13333 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145847143 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767007064992 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13347] ppid=13333 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13347/stat : 13347 (java) S 13333 13333 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145847144 26628194304 9804 33554432000 4194304 4196468 140728491762272 139767006012400 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13348] ppid=13333 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13348/stat : 13348 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847146 26628194304 9804 33554432000 4194304 4196468 140728491762272 139767004960976 139767813789595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13349] ppid=13333 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13335/task/13349/stat : 13349 (java) S 13333 13333 10918 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 20 0 145847146 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767003908592 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13350] ppid=13333 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13335/task/13350/stat : 13350 (java) S 13333 13333 10918 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 145847146 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767002856048 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13351] ppid=13333 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13335/task/13351/stat : 13351 (java) S 13333 13333 10918 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 145847146 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767001803504 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13352] ppid=13333 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/13335/task/13352/stat : 13352 (java) S 13333 13333 10918 0 -1 1077944384 760 0 0 0 7 0 0 0 20 0 20 0 145847146 26628161536 9804 33554432000 4194304 4196468 140728491762272 139767000750960 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13353] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13353/stat : 13353 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847146 26628161536 9804 33554432000 4194304 4196468 140728491762272 139766999697632 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13354] ppid=13333 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13335/task/13354/stat : 13354 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847146 26628161536 9804 33554432000 4194304 4196468 140728491762272 139766998645168 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40600 KiB

[startup+0.310412 s]*
/proc/loadavg: 5.92 7.55 7.80 3/200 13354
/proc/meminfo: memFree=27215728/32770624 swapFree=67108860/67108860
[pid=13333] ppid=13330 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13333/stat : 13333 (xcsp3-exec) S 13330 13333 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145847140 9740288 346 33554432000 4194304 5098028 140733128594672 140733128592776 139906150945404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29544448 140733128598628 140733128598839 140733128598839 140733128601579 0
/proc/13333/statm: 2378 346 289 221 0 87 0
[pid=13335] ppid=13333 vsize=26004064 memory=45548 CPUtime=0.5 cores=0-7
/proc/13335/stat : 13335 (java) S 13333 13333 10918 0 -1 1077944320 9138 0 0 0 46 4 0 0 20 0 20 0 145847140 26628161536 11387 33554432000 4194304 4196468 140728491762272 140728491744816 139767813770999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
/proc/13335/statm: 6501016 11387 3068 1 0 6488269 0
[pid=13335/tid=13336] ppid=13333 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13335/task/13336/stat : 13336 (java) R 13333 13333 10918 0 -1 4202560 6075 0 0 0 27 2 0 0 20 0 20 0 145847141 26628161536 11387 33554432000 4194304 4196468 140728491762272 139767818009920 139767813782934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13337] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13337/stat : 13337 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11387 33554432000 4194304 4196468 140728491762272 139767766391056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13338] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13338/stat : 13338 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11387 33554432000 4194304 4196468 140728491762272 139767371397520 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13339] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13339/stat : 13339 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11387 33554432000 4194304 4196468 140728491762272 139767370344976 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13340] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13340/stat : 13340 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11387 33554432000 4194304 4196468 140728491762272 139767369292432 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13341] ppid=13333 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13335/task/13341/stat : 13341 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767368239888 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13342] ppid=13333 vsize=26004064 memory=140226991322031 CPUtime=0 cores=0-7
/proc/13335/task/13342/stat : 13342 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767367187344 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13343] ppid=13333 vsize=26004064 memory=140226991324336 CPUtime=0 cores=0-7
/proc/13335/task/13343/stat : 13343 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767366134800 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13344] ppid=13333 vsize=26004064 memory=140226991326640 CPUtime=0 cores=0-7
/proc/13335/task/13344/stat : 13344 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767365082256 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13345] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13345/stat : 13345 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847143 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767008118768 139767813782146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13346] ppid=13333 vsize=26004064 memory=280453982660240 CPUtime=0 cores=0-7
/proc/13335/task/13346/stat : 13346 (java) S 13333 13333 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145847143 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767007064992 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13347] ppid=13333 vsize=26004064 memory=280453982667152 CPUtime=0 cores=0-7
/proc/13335/task/13347/stat : 13347 (java) S 13333 13333 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145847144 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767006012400 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13348] ppid=13333 vsize=26004064 memory=280453982608432 CPUtime=0 cores=0-7
/proc/13335/task/13348/stat : 13348 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767004960976 139767813789595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13349] ppid=13333 vsize=26004064 memory=280453982680976 CPUtime=0.01 cores=0-7
/proc/13335/task/13349/stat : 13349 (java) S 13333 13333 10918 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767003908592 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13350] ppid=13333 vsize=26004064 memory=280453982687888 CPUtime=0.02 cores=0-7
/proc/13335/task/13350/stat : 13350 (java) S 13333 13333 10918 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767002856048 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13351] ppid=13333 vsize=26004064 memory=280453982685584 CPUtime=0.02 cores=0-7
/proc/13335/task/13351/stat : 13351 (java) R 13333 13333 10918 0 -1 4202560 177 0 0 0 2 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767001802688 139767799786812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13352] ppid=13333 vsize=26004064 memory=280453982701744 CPUtime=0.12 cores=0-7
/proc/13335/task/13352/stat : 13352 (java) R 13333 13333 10918 0 -1 4202560 859 0 0 0 12 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139767000747328 139767792906625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13353] ppid=13333 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13353/stat : 13353 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139766999697632 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13354] ppid=13333 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13335/task/13354/stat : 13354 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847146 26628161536 11453 33554432000 4194304 4196468 140728491762272 139766998645168 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46932 KiB

[startup+0.701044 s]
/proc/loadavg: 5.92 7.55 7.80 4/200 13354
/proc/meminfo: memFree=27189488/32770624 swapFree=67108860/67108860
[pid=13333] ppid=13330 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13333/stat : 13333 (xcsp3-exec) S 13330 13333 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145847140 9740288 346 33554432000 4194304 5098028 140733128594672 140733128592776 139906150945404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29544448 140733128598628 140733128598839 140733128598839 140733128601579 0
/proc/13333/statm: 2378 346 289 221 0 87 0
[pid=13335] ppid=13333 vsize=26004140 memory=123884 CPUtime=2.05 cores=0-7
/proc/13335/stat : 13335 (java) S 13333 13333 10918 0 -1 1077944320 13356 0 0 0 201 4 0 0 20 0 20 0 145847140 26628239360 30971 33554432000 4194304 4196468 140728491762272 140728491744816 139767813770999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
/proc/13335/statm: 6501035 30971 3200 1 0 6488269 0
[pid=13335/tid=13336] ppid=13333 vsize=26004140 memory=280453982996608 CPUtime=0.68 cores=0-7
/proc/13335/task/13336/stat : 13336 (java) R 13333 13333 10918 0 -1 4202560 6443 0 0 0 65 3 0 0 20 0 20 0 145847141 26628239360 30971 33554432000 4194304 4196468 140728491762272 139767818005272 139767450125093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13337] ppid=13333 vsize=26004140 memory=1948 CPUtime=0 cores=0-7
/proc/13335/task/13337/stat : 13337 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145847141 26628239360 30971 33554432000 4194304 4196468 140728491762272 139767766391056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13338] ppid=13333 vsize=26004140 memory=800 CPUtime=0 cores=0-7
/proc/13335/task/13338/stat : 13338 (java) S 13333 13333 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145847141 26628239360 30971 33554432000 4194304 4196468 140728491762272 139767371397520 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13339] ppid=13333 vsize=26004140 memory=12132 CPUtime=0 cores=0-7
/proc/13335/task/13339/stat : 13339 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145847141 26628239360 30971 33554432000 4194304 4196468 140728491762272 139767370344976 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0

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

[pid=13335/tid=13352] ppid=13333 vsize=26538700 memory=840 CPUtime=0.65 cores=0-7
/proc/13335/task/13352/stat : 13352 (java) S 13333 13333 10918 0 -1 1077944384 3375 0 0 0 64 1 0 0 20 0 28 0 145847146 27175628800 146997 33554432000 4194304 4196468 140728491762272 139767000750960 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13353] ppid=13333 vsize=26538700 memory=1696 CPUtime=0 cores=0-7
/proc/13335/task/13353/stat : 13353 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766999697632 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13354] ppid=13333 vsize=26538700 memory=22244 CPUtime=0 cores=0-7
/proc/13335/task/13354/stat : 13354 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766998645168 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13355] ppid=13333 vsize=26538700 memory=-7749696028082845524 CPUtime=0.94 cores=0-7
/proc/13335/task/13355/stat : 13355 (java) R 13333 13333 10918 0 -1 4202560 83 0 0 0 93 1 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766990634328 139767453616743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13356] ppid=13333 vsize=26538700 memory=6933690279252828305 CPUtime=1 cores=0-7
/proc/13335/task/13356/stat : 13356 (java) R 13333 13333 10918 0 -1 4202560 52 0 0 0 100 0 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766989584392 139767453633389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13357] ppid=13333 vsize=26538700 memory=-7384994778349280928 CPUtime=0.91 cores=0-7
/proc/13335/task/13357/stat : 13357 (java) R 13333 13333 10918 0 -1 4202560 57 0 0 0 90 1 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766988530104 139767453854416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13358] ppid=13333 vsize=26538700 memory=0 CPUtime=1 cores=0-7
/proc/13335/task/13358/stat : 13358 (java) R 13333 13333 10918 0 -1 4202560 98 0 0 0 100 0 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766987479352 139767453803066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13359] ppid=13333 vsize=26538700 memory=0 CPUtime=0.92 cores=0-7
/proc/13335/task/13359/stat : 13359 (java) R 13333 13333 10918 0 -1 4202560 35 0 0 0 92 0 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766986425080 139767453633311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13360] ppid=13333 vsize=26538700 memory=0 CPUtime=0.98 cores=0-7
/proc/13335/task/13360/stat : 13360 (java) R 13333 13333 10918 0 -1 4202560 34 0 0 0 98 0 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766985374600 139767453803567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13361] ppid=13333 vsize=26538700 memory=417 CPUtime=0.98 cores=0-7
/proc/13335/task/13361/stat : 13361 (java) R 13333 13333 10918 0 -1 4202560 39 0 0 0 98 0 0 0 20 0 28 0 145847387 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766984318968 139767453633339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13362] ppid=13333 vsize=26538700 memory=-5628408999910123566 CPUtime=0.97 cores=0-7
/proc/13335/task/13362/stat : 13362 (java) R 13333 13333 10918 0 -1 4202560 37 0 0 0 97 0 0 0 20 0 28 0 145847388 27175628800 146997 33554432000 4194304 4196468 140728491762272 139766983266424 139767453854421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
Current children cumulated CPU time: 17 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 589372 KiB

[startup+3.80116 s]
/proc/loadavg: 5.92 7.55 7.80 11/208 13362
/proc/meminfo: memFree=26688016/32770624 swapFree=67108860/67108860
[pid=13333] ppid=13330 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13333/stat : 13333 (xcsp3-exec) S 13330 13333 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145847140 9740288 346 33554432000 4194304 5098028 140733128594672 140733128592776 139906150945404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29544448 140733128598628 140733128598839 140733128598839 140733128601579 0
/proc/13333/statm: 2378 346 289 221 0 87 0
[pid=13335] ppid=13333 vsize=26538700 memory=592112 CPUtime=18.53 cores=0-7
/proc/13335/stat : 13335 (java) S 13333 13333 10918 0 -1 1077944320 21074 0 0 0 1800 53 0 0 20 0 28 0 145847140 27175628800 148028 33554432000 4194304 4196468 140728491762272 140728491744816 139767813770999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
/proc/13335/statm: 6634675 148028 3276 1 0 6621909 0
[pid=13335/tid=13336] ppid=13333 vsize=26538700 memory=7012755875661107280 CPUtime=2.23 cores=0-7
/proc/13335/task/13336/stat : 13336 (java) S 13333 13333 10918 0 -1 1077944384 6974 0 0 0 217 6 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767818011776 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13337] ppid=13333 vsize=26538700 memory=2436 CPUtime=0.15 cores=0-7
/proc/13335/task/13337/stat : 13337 (java) S 13333 13333 10918 0 -1 1077944384 142 0 0 0 11 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767766391056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13338] ppid=13333 vsize=26538700 memory=0 CPUtime=0.17 cores=0-7
/proc/13335/task/13338/stat : 13338 (java) S 13333 13333 10918 0 -1 1077944384 149 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767371397520 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13339] ppid=13333 vsize=26538700 memory=2276 CPUtime=0.17 cores=0-7
/proc/13335/task/13339/stat : 13339 (java) S 13333 13333 10918 0 -1 1077944384 86 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767370344976 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13340] ppid=13333 vsize=26538700 memory=140226991449824 CPUtime=0.16 cores=0-7
/proc/13335/task/13340/stat : 13340 (java) S 13333 13333 10918 0 -1 1077944384 97 0 0 0 12 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767369292432 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13341] ppid=13333 vsize=26538700 memory=0 CPUtime=0.17 cores=0-7
/proc/13335/task/13341/stat : 13341 (java) S 13333 13333 10918 0 -1 1077944384 91 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767368239888 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13342] ppid=13333 vsize=26538700 memory=7163085330834404662 CPUtime=0.18 cores=0-7
/proc/13335/task/13342/stat : 13342 (java) S 13333 13333 10918 0 -1 1077944384 137 0 0 0 14 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767367187344 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13343] ppid=13333 vsize=26538700 memory=6003386618103414887 CPUtime=0.17 cores=0-7
/proc/13335/task/13343/stat : 13343 (java) S 13333 13333 10918 0 -1 1077944384 97 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767366134800 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13344] ppid=13333 vsize=26538700 memory=6440526044186890340 CPUtime=0.16 cores=0-7
/proc/13335/task/13344/stat : 13344 (java) S 13333 13333 10918 0 -1 1077944384 107 0 0 0 12 4 0 0 20 0 28 0 145847141 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767365082256 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13345] ppid=13333 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/13335/task/13345/stat : 13345 (java) S 13333 13333 10918 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 145847143 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767008118768 139767813782146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13346] ppid=13333 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13346/stat : 13346 (java) S 13333 13333 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145847143 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767007065056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13347] ppid=13333 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/13335/task/13347/stat : 13347 (java) S 13333 13333 10918 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145847144 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767006012416 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13348] ppid=13333 vsize=26538700 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/13335/task/13348/stat : 13348 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767004960976 139767813789595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13349] ppid=13333 vsize=26538700 memory=6944656592455097440 CPUtime=1.62 cores=0-7
/proc/13335/task/13349/stat : 13349 (java) S 13333 13333 10918 0 -1 1077944384 3345 0 0 0 162 0 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767003908592 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13350] ppid=13333 vsize=26538700 memory=-9174445032661854264 CPUtime=1.71 cores=0-7
/proc/13335/task/13350/stat : 13350 (java) R 13333 13333 10918 0 -1 1077944384 1773 0 0 0 171 0 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767002856048 139767813782146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13351] ppid=13333 vsize=26538700 memory=7589503746947829840 CPUtime=1.66 cores=0-7
/proc/13335/task/13351/stat : 13351 (java) S 13333 13333 10918 0 -1 1077944384 2750 0 0 0 166 0 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767001803504 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13352] ppid=13333 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/13335/task/13352/stat : 13352 (java) S 13333 13333 10918 0 -1 1077944384 3378 0 0 0 65 1 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139767000750960 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13353] ppid=13333 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13353/stat : 13353 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766999697632 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13354] ppid=13333 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13354/stat : 13354 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766998645168 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13355] ppid=13333 vsize=26538700 memory=0 CPUtime=1.09 cores=0-7
/proc/13335/task/13355/stat : 13355 (java) R 13333 13333 10918 0 -1 4202560 83 0 0 0 108 1 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766990634056 139767453633255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13356] ppid=13333 vsize=26538700 memory=0 CPUtime=1.2 cores=0-7
/proc/13335/task/13356/stat : 13356 (java) R 13333 13333 10918 0 -1 4202560 52 0 0 0 120 0 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766989582112 139767453803066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13357] ppid=13333 vsize=26538700 memory=6944656592455359580 CPUtime=1.09 cores=0-7
/proc/13335/task/13357/stat : 13357 (java) R 13333 13333 10918 0 -1 4202560 61 0 0 0 108 1 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766988529848 139767453633311 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13358] ppid=13333 vsize=26538700 memory=6944656592455097440 CPUtime=1.16 cores=0-7
/proc/13335/task/13358/stat : 13358 (java) R 13333 13333 10918 0 -1 4202560 100 0 0 0 116 0 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766987478920 139767446638851 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13359] ppid=13333 vsize=26538700 memory=1484 CPUtime=1.12 cores=0-7
/proc/13335/task/13359/stat : 13359 (java) R 13333 13333 10918 0 -1 4202560 35 0 0 0 112 0 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766986424616 139767453617119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13360] ppid=13333 vsize=26538700 memory=181 CPUtime=1.16 cores=0-7
/proc/13335/task/13360/stat : 13360 (java) R 13333 13333 10918 0 -1 4202560 34 0 0 0 116 0 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766985372248 139767453854700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13361] ppid=13333 vsize=26538700 memory=437 CPUtime=1.13 cores=0-7
/proc/13335/task/13361/stat : 13361 (java) R 13333 13333 10918 0 -1 4202560 39 0 0 0 113 0 0 0 20 0 28 0 145847387 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766984318680 139767453617119 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13362] ppid=13333 vsize=26538700 memory=107 CPUtime=1.16 cores=0-7
/proc/13335/task/13362/stat : 13362 (java) R 13333 13333 10918 0 -1 4202560 37 0 0 0 116 0 0 0 20 0 28 0 145847388 27175628800 148028 33554432000 4194304 4196468 140728491762272 139766983265824 139767454313719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
Current children cumulated CPU time: 18.53 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 593496 KiB

[startup+3.90126 s]
/proc/loadavg: 5.92 7.55 7.80 11/208 13362
/proc/meminfo: memFree=26688016/32770624 swapFree=67108860/67108860
[pid=13333] ppid=13330 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13333/stat : 13333 (xcsp3-exec) S 13330 13333 10918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 145847140 9740288 346 33554432000 4194304 5098028 140733128594672 140733128592776 139906150945404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29544448 140733128598628 140733128598839 140733128598839 140733128601579 0
/proc/13333/statm: 2378 346 289 221 0 87 0
[pid=13335] ppid=13333 vsize=26538700 memory=594160 CPUtime=19.33 cores=0-7
/proc/13335/stat : 13335 (java) S 13333 13333 10918 0 -1 1077944320 21075 0 0 0 1880 53 0 0 20 0 28 0 145847140 27175628800 148540 33554432000 4194304 4196468 140728491762272 140728491744816 139767813770999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
/proc/13335/statm: 6634675 148540 3276 1 0 6621909 0
[pid=13335/tid=13336] ppid=13333 vsize=26538700 memory=56 CPUtime=2.23 cores=0-7
/proc/13335/task/13336/stat : 13336 (java) S 13333 13333 10918 0 -1 1077944384 6974 0 0 0 217 6 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767818011776 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13337] ppid=13333 vsize=26538700 memory=3286 CPUtime=0.15 cores=0-7
/proc/13335/task/13337/stat : 13337 (java) S 13333 13333 10918 0 -1 1077944384 142 0 0 0 11 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767766391056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13338] ppid=13333 vsize=26538700 memory=0 CPUtime=0.17 cores=0-7
/proc/13335/task/13338/stat : 13338 (java) S 13333 13333 10918 0 -1 1077944384 149 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767371397520 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13339] ppid=13333 vsize=26538700 memory=140226991670736 CPUtime=0.17 cores=0-7
/proc/13335/task/13339/stat : 13339 (java) S 13333 13333 10918 0 -1 1077944384 86 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767370344976 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13340] ppid=13333 vsize=26538700 memory=6791534058613427641 CPUtime=0.16 cores=0-7
/proc/13335/task/13340/stat : 13340 (java) S 13333 13333 10918 0 -1 1077944384 97 0 0 0 12 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767369292432 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13341] ppid=13333 vsize=26538700 memory=4052 CPUtime=0.17 cores=0-7
/proc/13335/task/13341/stat : 13341 (java) S 13333 13333 10918 0 -1 1077944384 91 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767368239888 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13342] ppid=13333 vsize=26538700 memory=16236 CPUtime=0.18 cores=0-7
/proc/13335/task/13342/stat : 13342 (java) S 13333 13333 10918 0 -1 1077944384 137 0 0 0 14 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767367187344 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13343] ppid=13333 vsize=26538700 memory=1796 CPUtime=0.17 cores=0-7
/proc/13335/task/13343/stat : 13343 (java) S 13333 13333 10918 0 -1 1077944384 97 0 0 0 13 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767366134800 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13344] ppid=13333 vsize=26538700 memory=485036 CPUtime=0.16 cores=0-7
/proc/13335/task/13344/stat : 13344 (java) S 13333 13333 10918 0 -1 1077944384 107 0 0 0 12 4 0 0 20 0 28 0 145847141 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767365082256 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13345] ppid=13333 vsize=26538700 memory=216792 CPUtime=0 cores=0-7
/proc/13335/task/13345/stat : 13345 (java) S 13333 13333 10918 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 145847143 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767008118768 139767813782146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13346] ppid=13333 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13335/task/13346/stat : 13346 (java) S 13333 13333 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 145847143 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767007065056 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13347] ppid=13333 vsize=26538700 memory=151292 CPUtime=0 cores=0-7
/proc/13335/task/13347/stat : 13347 (java) S 13333 13333 10918 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 145847144 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767006012416 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13348] ppid=13333 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13335/task/13348/stat : 13348 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767004960976 139767813789595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13349] ppid=13333 vsize=26538700 memory=140226991523920 CPUtime=1.62 cores=0-7
/proc/13335/task/13349/stat : 13349 (java) S 13333 13333 10918 0 -1 1077944384 3345 0 0 0 162 0 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767003908592 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13350] ppid=13333 vsize=26538700 memory=0 CPUtime=1.71 cores=0-7
/proc/13335/task/13350/stat : 13350 (java) S 13333 13333 10918 0 -1 1077944384 1773 0 0 0 171 0 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767002856048 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13351] ppid=13333 vsize=26538700 memory=0 CPUtime=1.66 cores=0-7
/proc/13335/task/13351/stat : 13351 (java) S 13333 13333 10918 0 -1 1077944384 2750 0 0 0 166 0 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767001803504 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13352] ppid=13333 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/13335/task/13352/stat : 13352 (java) S 13333 13333 10918 0 -1 1077944384 3378 0 0 0 65 1 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139767000750960 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13353] ppid=13333 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13353/stat : 13353 (java) S 13333 13333 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766999697632 139767813781205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13354] ppid=13333 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13335/task/13354/stat : 13354 (java) S 13333 13333 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145847146 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766998645168 139767813782146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13355] ppid=13333 vsize=26538700 memory=1384 CPUtime=1.19 cores=0-7
/proc/13335/task/13355/stat : 13355 (java) R 13333 13333 10918 0 -1 4202560 83 0 0 0 118 1 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766990634056 139767453633320 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13356] ppid=13333 vsize=26538700 memory=1384 CPUtime=1.3 cores=0-7
/proc/13335/task/13356/stat : 13356 (java) R 13333 13333 10918 0 -1 4202560 52 0 0 0 130 0 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766989582112 139767453669141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13357] ppid=13333 vsize=26538700 memory=581792 CPUtime=1.19 cores=0-7
/proc/13335/task/13357/stat : 13357 (java) R 13333 13333 10918 0 -1 4202560 61 0 0 0 118 1 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766988529848 139767453803876 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13358] ppid=13333 vsize=26538700 memory=6944652177228980320 CPUtime=1.26 cores=0-7
/proc/13335/task/13358/stat : 13358 (java) R 13333 13333 10918 0 -1 4202560 101 0 0 0 126 0 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766987478920 139767453669216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13359] ppid=13333 vsize=26538700 memory=6944656591801717405 CPUtime=1.22 cores=0-7
/proc/13335/task/13359/stat : 13359 (java) R 13333 13333 10918 0 -1 4202560 35 0 0 0 122 0 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766986424616 139767453633110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13360] ppid=13333 vsize=26538700 memory=17 CPUtime=1.26 cores=0-7
/proc/13335/task/13360/stat : 13360 (java) R 13333 13333 10918 0 -1 4202560 34 0 0 0 126 0 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766985372248 139767453616933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13361] ppid=13333 vsize=26538700 memory=16 CPUtime=1.23 cores=0-7
/proc/13335/task/13361/stat : 13361 (java) R 13333 13333 10918 0 -1 4202560 39 0 0 0 123 0 0 0 20 0 28 0 145847387 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766984318680 139767453616978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
[pid=13335/tid=13362] ppid=13333 vsize=26538700 memory=17 CPUtime=1.26 cores=0-7
/proc/13335/task/13362/stat : 13362 (java) R 13333 13333 10918 0 -1 4202560 37 0 0 0 126 0 0 0 20 0 28 0 145847388 27175628800 148540 33554432000 4194304 4196468 140728491762272 139766983265824 139767453617071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11943936 140728491771026 140728491771203 140728491771203 140728491773903 0
Current children cumulated CPU time: 19.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 595544 KiB

Child status: 0
Real time (s): 3.98189
CPU time (s): 19.7631
CPU user time (s): 19.2004
CPU system time (s): 0.562742
CPU usage (%): 496.325
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 595544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.2004
system time used= 0.562742
maximum resident set size= 599664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3517
involuntary context switches= 374


# summary of solver processes directly reported to runsolver:
#   pid: 13333
#   total CPU time (s): 19.7631
#   total CPU user time (s): 19.2004
#   total CPU system time (s): 0.562742

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064616 second user time and 0.070001 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-19 09:12:17
IDJOB=4281040
IDBENCH=123298
IDSOLVER=2675
FILE ID=node113/4281040-1503127596
RUNJOBID= node113-1503118348-10945
PBS_JOBID= 20630765
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-80-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-4281040-1503127596/watcher-4281040-1503127596 -o /tmp/evaluation-result-4281040-1503127596/solver-4281040-1503127596 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1337757697 HOME/instance-4281040-1503127596.xml

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

MD5SUM BENCH= 525b735ba8bb5a039c9336c4821cc140
RANDOM SEED=1337757697

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27247556 kB
MemAvailable:   31969396 kB
Buffers:          246380 kB
Cached:          4766576 kB
SwapCached:            0 kB
Active:          1242260 kB
Inactive:        3825848 kB
Active(anon):       5516 kB
Inactive(anon):    85840 kB
Active(file):    1236744 kB
Inactive(file):  3740008 kB
Unevictable:        7568 kB
Mlocked:            7568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8592 kB
Writeback:             0 kB
AnonPages:         55428 kB
Mapped:            50812 kB
Shmem:             33416 kB
Slab:             149252 kB
SReclaimable:     121844 kB
SUnreclaim:        27408 kB
KernelStack:        3648 kB
PageTables:         6036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 61684 MiB
End job on node113 at 2017-08-19 09:12:21