Trace number 4275636

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
OscaR - Parallel with EPS 2017-07-26SAT (TO) 3642.0801 2520.0701

General information on the benchmark

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

Solver Data 

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 408540183
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
3.30/1.16	c Parsing done, starting search...
3642.01/2520.02	s SATISFIABLE
3642.01/2520.02	v <instantiation>
3642.01/2520.02	v 	<list>
3642.01/2520.02	v 		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]
3642.01/2520.02	v 	</list>
3642.01/2520.02	v 	<values>
3642.01/2520.02	v 		3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 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 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 2 3 1 2 3 1 2 1 3 2 1 3 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 2 3 1 2 1 3 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 1 3 2 3 1 2 1 3 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 2 1 3 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 2 1 3 2 1 3 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 2 3 1 2 1 3 2 1 3 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 1 3 2 1 3 2 1 3 2 3 1 2 1 2 3 1 2 3 1 2 3 3 2 1 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 2 3 1 2 1 3 2 1 3 2 1 3 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 1 3 2 1 3 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 3 2 3 1 2 3 1 2 1 3 2 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 2 1 3 2 1 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 2 3 1 2 3 1 1 3 2 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 2 3 1 2 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 3 2 1 1 2 3 1 2 3 3 2 1 1 3 2 3 1 2 1 2 3 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 2 3 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 1 3 2 1 3 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 2 3 3 2 1 1 2 3 1 2 3 3 1 2 1 3 2 1 3 2 1 3 2 2 3 1 2 1 3 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 3 2 2 3 1 2 1 3 1 3 2 3 1 2 2 1 3 3 1 2 2 1 3 2 3 1 2 1 3 2 3 1 1 3 2 1 3 2 1 2 3 3 2 1 1 2 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 2 1 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 1 2 3 1 2 3 3 2 1 1 3 2 1 3 2 3 1 2 3 1 2 1 2 3 1 2 3 1 3 2 1 3 2 2 1 3 3 1 2 1 3 2 2 3 1 3 2 1 2 3 1 3 1 2 
3642.01/2520.02	v 	</values>
3642.01/2520.02	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 (15259 MiB free)
  memory of node 1: 16384 MiB (15613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275636-1502697429/watcher-4275636-1502697429 -o /tmp/evaluation-result-4275636-1502697429/solver-4275636-1502697429 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 408540183 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275636-1502697429.xml 

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

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

solver pid=32168, runsolver pid=32165

[startup+0.100165 s]*
/proc/loadavg: 1.22 3.89 6.41 2/198 32188
/proc/meminfo: memFree=31592220/32770624 swapFree=67108860/67108860
[pid=32168] ppid=32165 vsize=14325320 memory=34548 CPUtime=0.12 cores=0-7
/proc/32168/stat : 32168 (java) S 32165 32168 31301 0 -1 1077944320 8537 0 0 0 10 2 0 0 20 0 20 0 102830675 14669127680 8637 33554432000 4194304 4196468 140721573643280 140721573625824 140357898944247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
/proc/32168/statm: 3581330 8637 3406 1 0 3569050 0
[pid=32168/tid=32170] ppid=32165 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32168/task/32170/stat : 32170 (java) R 32165 32168 31301 0 -1 4202560 6475 0 0 0 8 1 0 0 20 0 20 0 102830675 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357903160928 140357883024734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32171] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32171/stat : 32171 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357855497360 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32172] ppid=32165 vsize=14325320 memory=140445446112896 CPUtime=0 cores=0-7
/proc/32168/task/32172/stat : 32172 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357493255184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32173] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32173/stat : 32173 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357492202384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32174] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32174/stat : 32174 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357491149584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32175] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32175/stat : 32175 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357490096784 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32176] ppid=32165 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32168/task/32176/stat : 32176 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357489043984 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32177] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32177/stat : 32177 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357487991184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32178] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32178/stat : 32178 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357486938384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32179] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32179/stat : 32179 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830678 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357063838576 140357898955394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32180] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32180/stat : 32180 (java) S 32165 32168 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102830678 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357062784544 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32181] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32181/stat : 32181 (java) S 32165 32168 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102830678 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357061731696 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32182] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32182/stat : 32182 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357060680016 140357898962843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32183] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32183/stat : 32183 (java) S 32165 32168 31301 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357059627376 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32184] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32184/stat : 32184 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357058574576 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32185] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32185/stat : 32185 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357057521776 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32186] ppid=32165 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/32168/task/32186/stat : 32186 (java) S 32165 32168 31301 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357056468976 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32187] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32187/stat : 32187 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357055417440 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32188] ppid=32165 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32168/task/32188/stat : 32188 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 8637 33554432000 4194304 4196468 140721573643280 140357054364720 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34548 KiB

[startup+0.210198 s]*
/proc/loadavg: 1.22 3.89 6.41 3/198 32188
/proc/meminfo: memFree=31583844/32770624 swapFree=67108860/67108860
[pid=32168] ppid=32165 vsize=14325320 memory=43704 CPUtime=0.3 cores=0-7
/proc/32168/stat : 32168 (java) S 32165 32168 31301 0 -1 1077944320 9540 0 0 0 27 3 0 0 20 0 20 0 102830675 14669127680 10926 33554432000 4194304 4196468 140721573643280 140721573625824 140357898944247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
/proc/32168/statm: 3581330 10926 3610 1 0 3569050 0
[pid=32168/tid=32170] ppid=32165 vsize=14325320 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/32168/task/32170/stat : 32170 (java) R 32165 32168 31301 0 -1 4202560 7104 0 0 0 18 2 0 0 20 0 20 0 102830675 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357903169328 140357883024734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32171] ppid=32165 vsize=14325320 memory=3182 CPUtime=0 cores=0-7
/proc/32168/task/32171/stat : 32171 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357855497360 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32172] ppid=32165 vsize=14325320 memory=3978846661508138656 CPUtime=0 cores=0-7
/proc/32168/task/32172/stat : 32172 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357493255184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32173] ppid=32165 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32168/task/32173/stat : 32173 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357492202384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32174] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32174/stat : 32174 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357491149584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32175] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32175/stat : 32175 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357490096784 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32176] ppid=32165 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32168/task/32176/stat : 32176 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357489043984 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32177] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32177/stat : 32177 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357487991184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32178] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32178/stat : 32178 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357486938384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32179] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32179/stat : 32179 (java) S 32165 32168 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102830678 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357063838576 140357898955394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32180] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32180/stat : 32180 (java) S 32165 32168 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102830678 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357062784544 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32181] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32181/stat : 32181 (java) S 32165 32168 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102830678 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357061731696 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32182] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32182/stat : 32182 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357060680016 140357898962843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32183] ppid=32165 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/32168/task/32183/stat : 32183 (java) S 32165 32168 31301 0 -1 1077944384 570 0 0 0 1 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357059627376 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32184] ppid=32165 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/32168/task/32184/stat : 32184 (java) S 32165 32168 31301 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357058574576 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32185] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32185/stat : 32185 (java) S 32165 32168 31301 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357057521776 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32186] ppid=32165 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/32168/task/32186/stat : 32186 (java) S 32165 32168 31301 0 -1 1077944384 400 0 0 0 5 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357056468976 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32187] ppid=32165 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32187/stat : 32187 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357055417440 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32188] ppid=32165 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32168/task/32188/stat : 32188 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669127680 10926 33554432000 4194304 4196468 140721573643280 140357054364720 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43704 KiB

[startup+0.309871 s]*
/proc/loadavg: 1.22 3.89 6.41 2/198 32188
/proc/meminfo: memFree=31576664/32770624 swapFree=67108860/67108860
[pid=32168] ppid=32165 vsize=14325340 memory=51112 CPUtime=0.49 cores=0-7
/proc/32168/stat : 32168 (java) S 32165 32168 31301 0 -1 1077944320 10607 0 0 0 45 4 0 0 20 0 20 0 102830675 14669148160 12778 33554432000 4194304 4196468 140721573643280 140721573625824 140357898944247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
/proc/32168/statm: 3581335 12778 3700 1 0 3569050 0
[pid=32168/tid=32170] ppid=32165 vsize=14325340 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/32168/task/32170/stat : 32170 (java) R 32165 32168 31301 0 -1 4202560 7668 0 0 0 26 2 0 0 20 0 20 0 102830675 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357903165120 140357534871909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32171] ppid=32165 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32171/stat : 32171 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357855497360 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32172] ppid=32165 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32172/stat : 32172 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357493255184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32173] ppid=32165 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32173/stat : 32173 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357492202384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32174] ppid=32165 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32174/stat : 32174 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357491149584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32175] ppid=32165 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/32168/task/32175/stat : 32175 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357490096784 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32176] ppid=32165 vsize=14325340 memory=140445296456623 CPUtime=0 cores=0-7
/proc/32168/task/32176/stat : 32176 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357489043984 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32177] ppid=32165 vsize=14325340 memory=140445296458928 CPUtime=0 cores=0-7
/proc/32168/task/32177/stat : 32177 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357487991184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32178] ppid=32165 vsize=14325340 memory=140445296461232 CPUtime=0 cores=0-7
/proc/32168/task/32178/stat : 32178 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357486938384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32179] ppid=32165 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32179/stat : 32179 (java) S 32165 32168 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102830678 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357063838576 140357898955394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32180] ppid=32165 vsize=14325340 memory=280890592929424 CPUtime=0 cores=0-7
/proc/32168/task/32180/stat : 32180 (java) S 32165 32168 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102830678 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357062784544 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32181] ppid=32165 vsize=14325340 memory=280890592936336 CPUtime=0 cores=0-7
/proc/32168/task/32181/stat : 32181 (java) S 32165 32168 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102830678 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357061731696 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32182] ppid=32165 vsize=14325340 memory=280890592877616 CPUtime=0 cores=0-7
/proc/32168/task/32182/stat : 32182 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357060680016 140357898962843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32183] ppid=32165 vsize=14325340 memory=280890592950160 CPUtime=0.03 cores=0-7
/proc/32168/task/32183/stat : 32183 (java) R 32165 32168 31301 0 -1 1077944384 774 0 0 0 3 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357059627376 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32184] ppid=32165 vsize=14325340 memory=280890592957072 CPUtime=0.01 cores=0-7
/proc/32168/task/32184/stat : 32184 (java) S 32165 32168 31301 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357058574576 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32185] ppid=32165 vsize=14325340 memory=280890592954768 CPUtime=0.03 cores=0-7
/proc/32168/task/32185/stat : 32185 (java) R 32165 32168 31301 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357057521776 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32186] ppid=32165 vsize=14325340 memory=280890592971376 CPUtime=0.08 cores=0-7
/proc/32168/task/32186/stat : 32186 (java) S 32165 32168 31301 0 -1 1077944384 499 0 0 0 8 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357056468976 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32187] ppid=32165 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32187/stat : 32187 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357055417440 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32188] ppid=32165 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/32168/task/32188/stat : 32188 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830681 14669148160 12778 33554432000 4194304 4196468 140721573643280 140357054364720 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51112 KiB

[startup+0.700922 s]
/proc/loadavg: 1.22 3.89 6.41 4/198 32188
/proc/meminfo: memFree=31554080/32770624 swapFree=67108860/67108860
[pid=32168] ppid=32165 vsize=14327388 memory=103156 CPUtime=1.65 cores=0-7
/proc/32168/stat : 32168 (java) S 32165 32168 31301 0 -1 1077944320 14351 0 0 0 159 6 0 0 20 0 20 0 102830675 14671245312 25789 33554432000 4194304 4196468 140721573643280 140721573625824 140357898944247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
/proc/32168/statm: 3581847 25789 3777 1 0 3569562 0
[pid=32168/tid=32170] ppid=32165 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/32168/task/32170/stat : 32170 (java) R 32165 32168 31301 0 -1 4202560 8325 0 0 0 63 4 0 0 20 0 20 0 102830675 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357903177440 140357537918919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32171] ppid=32165 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32171/stat : 32171 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357855497360 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32172] ppid=32165 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32172/stat : 32172 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357493255184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32173] ppid=32165 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/32168/task/32173/stat : 32173 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357492202384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32174] ppid=32165 vsize=14327388 memory=1720 CPUtime=0 cores=0-7
/proc/32168/task/32174/stat : 32174 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357491149584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32175] ppid=32165 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/32168/task/32175/stat : 32175 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357490096784 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32176] ppid=32165 vsize=14327388 memory=1436 CPUtime=0 cores=0-7
/proc/32168/task/32176/stat : 32176 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357489043984 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32177] ppid=32165 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/32168/task/32177/stat : 32177 (java) S 32165 32168 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357487991184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32178] ppid=32165 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/32168/task/32178/stat : 32178 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102830676 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357486938384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32179] ppid=32165 vsize=14327388 memory=4040 CPUtime=0 cores=0-7
/proc/32168/task/32179/stat : 32179 (java) S 32165 32168 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102830678 14671245312 25789 33554432000 4194304 4196468 140721573643280 140357063838576 140357898955394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0

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

/proc/32168/task/32194/stat : 32194 (java) S 32165 32168 31301 0 -1 1077944384 96153 0 0 0 21424 486 0 0 20 0 46 0 102831959 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356967437264 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32195] ppid=32165 vsize=16068328 memory=5546748 CPUtime=0.29 cores=0-7
/proc/32168/task/32195/stat : 32195 (java) S 32165 32168 31301 0 -1 1077944384 214 0 0 0 29 0 0 0 20 0 46 0 102831959 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356966385424 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32196] ppid=32165 vsize=16068328 memory=5533408 CPUtime=0.32 cores=0-7
/proc/32168/task/32196/stat : 32196 (java) S 32165 32168 31301 0 -1 1077944384 234 0 0 0 32 0 0 0 20 0 46 0 102831959 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356965332624 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32197] ppid=32165 vsize=16068328 memory=5544696 CPUtime=385.03 cores=0-7
/proc/32168/task/32197/stat : 32197 (java) S 32165 32168 31301 0 -1 1077944384 184176 0 0 0 38074 429 0 0 20 0 46 0 102831959 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356964277584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32198] ppid=32165 vsize=16068328 memory=2332 CPUtime=387.71 cores=0-7
/proc/32168/task/32198/stat : 32198 (java) R 32165 32168 31301 0 -1 4202560 183207 0 0 0 38323 448 0 0 20 0 46 0 102831959 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356963224784 140357898956182 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32199] ppid=32165 vsize=16068328 memory=5540076 CPUtime=371.56 cores=0-7
/proc/32168/task/32199/stat : 32199 (java) S 32165 32168 31301 0 -1 1077944384 157913 0 0 0 36595 561 0 0 20 0 46 0 102831959 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356962171920 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32200] ppid=32165 vsize=16068328 memory=5536484 CPUtime=63.36 cores=0-7
/proc/32168/task/32200/stat : 32200 (java) S 32165 32168 31301 0 -1 1077944384 41836 0 0 0 6312 24 0 0 20 0 46 0 102832088 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356961121488 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32201] ppid=32165 vsize=16068328 memory=4132 CPUtime=0.02 cores=0-7
/proc/32168/task/32201/stat : 32201 (java) S 32165 32168 31301 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 46 0 102832089 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356960068624 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32202] ppid=32165 vsize=16068328 memory=6791534058613427641 CPUtime=25.97 cores=0-7
/proc/32168/task/32202/stat : 32202 (java) S 32165 32168 31301 0 -1 1077944384 16102 0 0 0 2593 4 0 0 20 0 46 0 102832089 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356959015824 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32203] ppid=32165 vsize=16068328 memory=1236 CPUtime=0.01 cores=0-7
/proc/32168/task/32203/stat : 32203 (java) S 32165 32168 31301 0 -1 1077944384 180 0 0 0 0 1 0 0 20 0 46 0 102834438 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356955830032 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32204] ppid=32165 vsize=16068328 memory=960 CPUtime=0.02 cores=0-7
/proc/32168/task/32204/stat : 32204 (java) S 32165 32168 31301 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 46 0 102834442 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356954777232 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32205] ppid=32165 vsize=16068328 memory=2340 CPUtime=0.01 cores=0-7
/proc/32168/task/32205/stat : 32205 (java) S 32165 32168 31301 0 -1 1077944384 58 0 0 0 0 1 0 0 20 0 46 0 102834651 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356953724432 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32206] ppid=32165 vsize=16068328 memory=2236 CPUtime=228.23 cores=0-7
/proc/32168/task/32206/stat : 32206 (java) S 32165 32168 31301 0 -1 1077944384 67094 0 0 0 20288 2535 0 0 20 0 46 0 102835345 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356952669392 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32207] ppid=32165 vsize=16068328 memory=5540592 CPUtime=371.42 cores=0-7
/proc/32168/task/32207/stat : 32207 (java) S 32165 32168 31301 0 -1 1077944384 146537 0 0 0 36708 434 0 0 20 0 46 0 102835346 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356951616592 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32208] ppid=32165 vsize=16068328 memory=15872 CPUtime=314.79 cores=0-7
/proc/32168/task/32208/stat : 32208 (java) S 32165 32168 31301 0 -1 1077944384 124626 0 0 0 31037 442 0 0 20 0 46 0 102835346 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356950563728 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32209] ppid=32165 vsize=16068328 memory=4040 CPUtime=0 cores=0-7
/proc/32168/task/32209/stat : 32209 (java) S 32165 32168 31301 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 102835346 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356949513232 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32210] ppid=32165 vsize=16068328 memory=5533408 CPUtime=0 cores=0-7
/proc/32168/task/32210/stat : 32210 (java) S 32165 32168 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 102835348 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356948460432 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32211] ppid=32165 vsize=16068328 memory=5532380 CPUtime=0 cores=0-7
/proc/32168/task/32211/stat : 32211 (java) S 32165 32168 31301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 102835349 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356947408656 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32212] ppid=32165 vsize=16068328 memory=3472328296227679313 CPUtime=0 cores=0-7
/proc/32168/task/32212/stat : 32212 (java) S 32165 32168 31301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 102835351 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356946355856 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32213] ppid=32165 vsize=16068328 memory=7679937479730885434 CPUtime=227.94 cores=0-7
/proc/32168/task/32213/stat : 32213 (java) S 32165 32168 31301 0 -1 1077944384 81520 0 0 0 22336 458 0 0 20 0 46 0 102835352 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356945300816 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32214] ppid=32165 vsize=16068328 memory=-6374389567211795648 CPUtime=360.29 cores=0-7
/proc/32168/task/32214/stat : 32214 (java) S 32165 32168 31301 0 -1 1077944384 130990 0 0 0 35577 452 0 0 20 0 46 0 102835353 16453967872 1383095 33554432000 4194304 4196468 140721573643280 140356944248016 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
Current children cumulated CPU time: 3621.27 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 5532380 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.16 1.13 1.48 2/226 32293
/proc/meminfo: memFree=26083832/32770624 swapFree=67108860/67108860
[pid=32168] ppid=32165 vsize=16068328 memory=5527248 CPUtime=3642.01 cores=0-7
/proc/32168/stat : 32168 (java) S 32165 32168 31301 0 -1 1077944320 2974102 0 0 0 354522 9679 0 0 20 0 46 0 102830675 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140721573625824 140357898944247 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
/proc/32168/statm: 4017082 1381812 3878 1 0 4004276 0
[pid=32168/tid=32170] ppid=32165 vsize=16068328 memory=6791534058613427641 CPUtime=12.5 cores=0-7
/proc/32168/task/32170/stat : 32170 (java) S 32165 32168 31301 0 -1 1077944384 15955 0 0 0 1236 14 0 0 20 0 46 0 102830675 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357903181952 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32171] ppid=32165 vsize=16068328 memory=4126316290023845779 CPUtime=14.61 cores=0-7
/proc/32168/task/32171/stat : 32171 (java) S 32165 32168 31301 0 -1 1077944384 164188 0 0 0 1279 182 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357855497360 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32172] ppid=32165 vsize=16068328 memory=1200 CPUtime=14.57 cores=0-7
/proc/32168/task/32172/stat : 32172 (java) S 32165 32168 31301 0 -1 1077944384 169502 0 0 0 1284 173 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357493255184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32173] ppid=32165 vsize=16068328 memory=15872 CPUtime=14.66 cores=0-7
/proc/32168/task/32173/stat : 32173 (java) S 32165 32168 31301 0 -1 1077944384 172219 0 0 0 1287 179 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357492202384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32174] ppid=32165 vsize=16068328 memory=4040 CPUtime=14.62 cores=0-7
/proc/32168/task/32174/stat : 32174 (java) S 32165 32168 31301 0 -1 1077944384 174053 0 0 0 1279 183 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357491149584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32175] ppid=32165 vsize=16068328 memory=17436 CPUtime=14.6 cores=0-7
/proc/32168/task/32175/stat : 32175 (java) S 32165 32168 31301 0 -1 1077944384 161717 0 0 0 1283 177 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357490096784 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32176] ppid=32165 vsize=16068328 memory=18292 CPUtime=14.61 cores=0-7
/proc/32168/task/32176/stat : 32176 (java) S 32165 32168 31301 0 -1 1077944384 166802 0 0 0 1285 176 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357489043984 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32177] ppid=32165 vsize=16068328 memory=29720 CPUtime=14.59 cores=0-7
/proc/32168/task/32177/stat : 32177 (java) S 32165 32168 31301 0 -1 1077944384 167380 0 0 0 1282 177 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357487991184 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32178] ppid=32165 vsize=16068328 memory=2332 CPUtime=14.6 cores=0-7
/proc/32168/task/32178/stat : 32178 (java) S 32165 32168 31301 0 -1 1077944384 171017 0 0 0 1284 176 0 0 20 0 46 0 102830676 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357486938384 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32179] ppid=32165 vsize=16068328 memory=1292 CPUtime=0.99 cores=0-7
/proc/32168/task/32179/stat : 32179 (java) S 32165 32168 31301 0 -1 1077944384 66334 0 0 0 83 16 0 0 20 0 46 0 102830678 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357063838576 140357898955394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32180] ppid=32165 vsize=16068328 memory=1728 CPUtime=0 cores=0-7
/proc/32168/task/32180/stat : 32180 (java) S 32165 32168 31301 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 46 0 102830678 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357062784608 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32181] ppid=32165 vsize=16068328 memory=5788 CPUtime=0 cores=0-7
/proc/32168/task/32181/stat : 32181 (java) S 32165 32168 31301 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 46 0 102830678 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357061731712 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32182] ppid=32165 vsize=16068328 memory=5548800 CPUtime=0 cores=0-7
/proc/32168/task/32182/stat : 32182 (java) S 32165 32168 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357060680016 140357898962843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32183] ppid=32165 vsize=16068328 memory=5548800 CPUtime=2.86 cores=0-7
/proc/32168/task/32183/stat : 32183 (java) S 32165 32168 31301 0 -1 1077944384 18497 0 0 0 282 4 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357059627376 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32184] ppid=32165 vsize=16068328 memory=7876909351991341322 CPUtime=2.53 cores=0-7
/proc/32168/task/32184/stat : 32184 (java) S 32165 32168 31301 0 -1 1077944384 18601 0 0 0 249 4 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357058574576 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32185] ppid=32165 vsize=16068328 memory=5543672 CPUtime=2.68 cores=0-7
/proc/32168/task/32185/stat : 32185 (java) S 32165 32168 31301 0 -1 1077944384 20273 0 0 0 264 4 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357057521776 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32186] ppid=32165 vsize=16068328 memory=-6448151157375981714 CPUtime=1.17 cores=0-7
/proc/32168/task/32186/stat : 32186 (java) S 32165 32168 31301 0 -1 1077944384 19394 0 0 0 113 4 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357056468976 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32187] ppid=32165 vsize=16068328 memory=-5716592311360117905 CPUtime=0 cores=0-7
/proc/32168/task/32187/stat : 32187 (java) S 32165 32168 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357055417440 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32188] ppid=32165 vsize=16068328 memory=1720 CPUtime=1.19 cores=0-7
/proc/32168/task/32188/stat : 32188 (java) S 32165 32168 31301 0 -1 1077944384 4756 0 0 0 72 47 0 0 20 0 46 0 102830681 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140357054364720 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32189] ppid=32165 vsize=16068328 memory=1004 CPUtime=121.79 cores=0-7
/proc/32168/task/32189/stat : 32189 (java) S 32165 32168 31301 0 -1 1077944384 21547 0 0 0 8861 3318 0 0 20 0 46 0 102831933 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356976895504 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32190] ppid=32165 vsize=16068328 memory=1436 CPUtime=5.47 cores=0-7
/proc/32168/task/32190/stat : 32190 (java) S 32165 32168 31301 0 -1 1077944384 10537 0 0 0 303 244 0 0 20 0 46 0 102831945 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356973745440 140357898955394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32191] ppid=32165 vsize=16068328 memory=1200 CPUtime=41.57 cores=0-7
/proc/32168/task/32191/stat : 32191 (java) S 32165 32168 31301 0 -1 1077944384 43171 0 0 0 4135 22 0 0 20 0 46 0 102831955 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356972692816 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32192] ppid=32165 vsize=16068328 memory=15872 CPUtime=3.35 cores=0-7
/proc/32168/task/32192/stat : 32192 (java) S 32165 32168 31301 0 -1 1077944384 6659 0 0 0 332 3 0 0 20 0 46 0 102831956 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356969542800 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32193] ppid=32165 vsize=16068328 memory=4040 CPUtime=355.52 cores=0-7
/proc/32168/task/32193/stat : 32193 (java) S 32165 32168 31301 0 -1 1077944384 146749 0 0 0 34828 724 0 0 20 0 46 0 102831957 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356968490064 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32194] ppid=32165 vsize=16068328 memory=17436 CPUtime=219.1 cores=0-7
/proc/32168/task/32194/stat : 32194 (java) S 32165 32168 31301 0 -1 1077944384 96153 0 0 0 21424 486 0 0 20 0 46 0 102831959 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356967437264 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32195] ppid=32165 vsize=16068328 memory=18292 CPUtime=0.29 cores=0-7
/proc/32168/task/32195/stat : 32195 (java) S 32165 32168 31301 0 -1 1077944384 214 0 0 0 29 0 0 0 20 0 46 0 102831959 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356966385424 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32196] ppid=32165 vsize=16068328 memory=1792 CPUtime=0.32 cores=0-7
/proc/32168/task/32196/stat : 32196 (java) S 32165 32168 31301 0 -1 1077944384 234 0 0 0 32 0 0 0 20 0 46 0 102831959 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356965332624 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32197] ppid=32165 vsize=16068328 memory=648 CPUtime=386.29 cores=0-7
/proc/32168/task/32197/stat : 32197 (java) S 32165 32168 31301 0 -1 1077944384 184490 0 0 0 38198 431 0 0 20 0 46 0 102831959 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356964277584 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32198] ppid=32165 vsize=16068328 memory=1236 CPUtime=390.48 cores=0-7
/proc/32168/task/32198/stat : 32198 (java) R 32165 32168 31301 0 -1 4202560 183496 0 0 0 38598 450 0 0 20 0 46 0 102831959 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356963224784 140357898956182 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32199] ppid=32165 vsize=16068328 memory=960 CPUtime=372.87 cores=0-7
/proc/32168/task/32199/stat : 32199 (java) S 32165 32168 31301 0 -1 1077944384 158037 0 0 0 36726 561 0 0 20 0 46 0 102831959 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356962171920 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32200] ppid=32165 vsize=16068328 memory=2340 CPUtime=63.36 cores=0-7
/proc/32168/task/32200/stat : 32200 (java) S 32165 32168 31301 0 -1 1077944384 41836 0 0 0 6312 24 0 0 20 0 46 0 102832088 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356961121488 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32201] ppid=32165 vsize=16068328 memory=2236 CPUtime=0.02 cores=0-7
/proc/32168/task/32201/stat : 32201 (java) S 32165 32168 31301 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 46 0 102832089 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356960068624 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32202] ppid=32165 vsize=16068328 memory=5528272 CPUtime=25.97 cores=0-7
/proc/32168/task/32202/stat : 32202 (java) S 32165 32168 31301 0 -1 1077944384 16102 0 0 0 2593 4 0 0 20 0 46 0 102832089 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356959015824 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32203] ppid=32165 vsize=16068328 memory=5531868 CPUtime=0.01 cores=0-7
/proc/32168/task/32203/stat : 32203 (java) S 32165 32168 31301 0 -1 1077944384 180 0 0 0 0 1 0 0 20 0 46 0 102834438 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356955830032 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32204] ppid=32165 vsize=16068328 memory=13852958290872725 CPUtime=0.02 cores=0-7
/proc/32168/task/32204/stat : 32204 (java) S 32165 32168 31301 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 46 0 102834442 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356954777232 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32205] ppid=32165 vsize=16068328 memory=1004 CPUtime=0.01 cores=0-7
/proc/32168/task/32205/stat : 32205 (java) S 32165 32168 31301 0 -1 1077944384 58 0 0 0 0 1 0 0 20 0 46 0 102834651 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356953724432 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32206] ppid=32165 vsize=16068328 memory=303430223234596890 CPUtime=232.64 cores=0-7
/proc/32168/task/32206/stat : 32206 (java) S 32165 32168 31301 0 -1 1077944384 67265 0 0 0 20729 2535 0 0 20 0 46 0 102835345 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356952669392 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32207] ppid=32165 vsize=16068328 memory=288230621803970871 CPUtime=374.11 cores=0-7
/proc/32168/task/32207/stat : 32207 (java) S 32165 32168 31301 0 -1 1077944384 146885 0 0 0 36974 437 0 0 20 0 46 0 102835346 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356951616592 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32208] ppid=32165 vsize=16068328 memory=6791534058613427641 CPUtime=317.49 cores=0-7
/proc/32168/task/32208/stat : 32208 (java) S 32165 32168 31301 0 -1 1077944384 124916 0 0 0 31304 445 0 0 20 0 46 0 102835346 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356950563728 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32209] ppid=32165 vsize=16068328 memory=4040 CPUtime=0 cores=0-7
/proc/32168/task/32209/stat : 32209 (java) S 32165 32168 31301 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 102835346 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356949513232 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32210] ppid=32165 vsize=16068328 memory=17436 CPUtime=0 cores=0-7
/proc/32168/task/32210/stat : 32210 (java) S 32165 32168 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 102835348 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356948460432 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32211] ppid=32165 vsize=16068328 memory=18292 CPUtime=0 cores=0-7
/proc/32168/task/32211/stat : 32211 (java) S 32165 32168 31301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 102835349 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356947408656 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32212] ppid=32165 vsize=16068328 memory=5530328 CPUtime=0 cores=0-7
/proc/32168/task/32212/stat : 32212 (java) S 32165 32168 31301 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 102835351 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356946355856 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32213] ppid=32165 vsize=16068328 memory=1948 CPUtime=230.46 cores=0-7
/proc/32168/task/32213/stat : 32213 (java) S 32165 32168 31301 0 -1 1077944384 81754 0 0 0 22584 462 0 0 20 0 46 0 102835352 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356945300816 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
[pid=32168/tid=32214] ppid=32165 vsize=16068328 memory=8536 CPUtime=362.82 cores=0-7
/proc/32168/task/32214/stat : 32214 (java) S 32165 32168 31301 0 -1 1077944384 131172 0 0 0 35826 456 0 0 20 0 46 0 102835353 16453967872 1381812 33554432000 4194304 4196468 140721573643280 140356944248016 140357898954453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 38821888 140721573647458 140721573647643 140721573647643 140721573650383 0
Current children cumulated CPU time: 3642.01 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 5527248 KiB

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

[startup+2520.07 s]
# the end of solver process 32168 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3545.24 s, system=96.8394 s

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

Child status: 143
Real time (s): 2520.07
CPU time (s): 3642.08
CPU user time (s): 3545.24
CPU system time (s): 96.8394
CPU usage (%): 144.523
Max. virtual memory (cumulated for all children) (KiB): 16068328
Max. memory (cumulated for all children) (KiB): 5903848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.24
system time used= 96.8394
maximum resident set size= 5903848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2975699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12538206
involuntary context switches= 14670


# summary of solver processes directly reported to runsolver:
#   pid: 32168
#   total CPU time (s): 3642.08
#   total CPU user time (s): 3545.24
#   total CPU system time (s): 96.8394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.3118 second user time and 30.762 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-14 09:42:50
IDJOB=4275636
IDBENCH=123289
IDSOLVER=2668
FILE ID=node112/4275636-1502697429
RUNJOBID= node112-1502688687-31328
PBS_JOBID= 20628994
Free space on /tmp= 61788 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-14-dual.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275636-1502697429/watcher-4275636-1502697429 -o /tmp/evaluation-result-4275636-1502697429/solver-4275636-1502697429 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 408540183 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275636-1502697429.xml

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

MD5SUM BENCH= f0983d1e8f8af2258ff0f9765563aa3d
RANDOM SEED=408540183

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31613724 kB
MemAvailable:   31976388 kB
Buffers:          162892 kB
Cached:           477732 kB
SwapCached:            0 kB
Active:           493520 kB
Inactive:         201340 kB
Active(anon):       5712 kB
Inactive(anon):    76456 kB
Active(file):     487808 kB
Inactive(file):   124884 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42936 kB
Writeback:             0 kB
AnonPages:         60528 kB
Mapped:            44188 kB
Shmem:             25224 kB
Slab:             157808 kB
SReclaimable:     131616 kB
SUnreclaim:        26192 kB
KernelStack:        3136 kB
PageTables:         4628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61748 MiB
End job on node112 at 2017-08-14 10:24:50