Trace number 4275638

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) 5456.1499 2520.0701

General information on the benchmark

NameSat/
Sat-dual-flat200-479/Sat-flat200-55-dual.xml
MD5SUM5b8ecf8a7d2901cb06b5717f26e52ae6
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 benchmark3.95363
Satisfiable
(Un)Satisfiability was proved
Number of variables2237
Number of constraints16233
Number of domains2
Minimum domain size3
Maximum domain size7
Distribution of domain sizes[{"size":3,"count":2037},{"size":7,"count":200}]
Minimum variable degree5
Maximum variable degree27
Distribution of variable degrees[{"degree":5,"count":24},{"degree":6,"count":8},{"degree":7,"count":45},{"degree":8,"count":3},{"degree":9,"count":96},{"degree":10,"count":36},{"degree":11,"count":162},{"degree":12,"count":137},{"degree":13,"count":294},{"degree":14,"count":219},{"degree":15,"count":376},{"degree":16,"count":243},{"degree":17,"count":276},{"degree":18,"count":150},{"degree":19,"count":84},{"degree":20,"count":15},{"degree":21,"count":30},{"degree":24,"count":26},{"degree":27,"count":13}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":16233}]
Number of extensional constraints16233
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":16233}]
Optimization problemNO
Type of objective

Solver Data 

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 1926634092
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
3.42/1.15	c Parsing done, starting search...
5456.07/2520.02	s SATISFIABLE
5456.07/2520.02	v <instantiation>
5456.07/2520.02	v 	<list>
5456.07/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]
5456.07/2520.02	v 	</list>
5456.07/2520.02	v 	<values>
5456.07/2520.02	v 		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 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 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 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 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 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 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 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 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 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 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 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 1 1 3 4 1 1 3 4 3 2 2 1 3 1 2 1 3 2 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 3 2 1 1 3 2 1 3 2 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 1 2 3 3 2 1 1 2 3 2 3 1 2 1 3 2 3 1 2 3 1 3 1 2 3 1 2 3 1 2 3 1 2 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 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 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 2 1 3 2 1 3 2 1 3 3 2 1 3 2 1 3 2 1 1 2 3 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 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 3 1 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 1 3 2 1 2 3 3 2 1 1 2 3 3 2 1 3 1 2 3 2 1 1 2 3 1 2 3 2 1 3 2 3 1 2 3 1 2 1 3 3 1 2 3 1 2 1 3 2 3 1 2 1 2 3 3 2 1 3 2 1 1 2 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 1 2 3 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 3 1 2 3 1 2 3 1 2 1 3 2 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 1 3 2 3 1 2 2 3 1 2 3 1 2 3 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 3 2 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 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 1 2 3 1 2 2 3 1 2 3 1 2 3 1 2 3 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 1 2 3 1 2 1 3 2 3 1 2 3 2 1 3 2 1 1 2 3 3 2 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 3 2 1 1 2 3 3 2 1 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 2 1 3 2 1 3 2 1 1 2 3 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 2 1 3 2 3 1 3 2 1 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 1 2 3 3 2 1 1 2 3 3 2 1 3 2 1 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 1 2 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 2 3 1 3 2 1 3 2 1 3 2 1 1 3 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 1 2 3 3 2 1 1 2 3 3 2 1 2 3 1 2 3 1 2 3 1 2 3 1 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 2 3 1 2 1 3 2 1 3 2 3 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 2 3 1 2 1 3 1 3 2 3 1 2 3 1 2 1 3 2 2 1 3 2 1 3 2 1 3 3 2 1 1 3 2 1 3 2 2 3 1 2 1 3 2 1 3 2 1 3 1 3 2 3 1 2 2 1 3 2 1 3 1 3 2 1 3 2 1 3 2 2 1 3 3 1 2 2 1 3 2 3 1 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 2 3 1 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 2 3 1 2 3 1 3 1 2 1 3 2 2 1 3 2 3 1 1 2 3 2 3 1 2 3 1 1 2 3 2 3 1 2 1 3 2 3 1 2 1 3 3 2 1 3 2 1 1 3 2 1 3 2 1 3 2 2 1 3 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 2 3 1 2 1 3 2 3 1 1 2 3 2 3 1 2 3 1 3 2 1 1 3 2 1 2 3 3 2 1 
5456.07/2520.02	v 	</values>
5456.07/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 (13409 MiB free)
  memory of node 1: 16384 MiB (14606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275638-1502697576/watcher-4275638-1502697576 -o /tmp/evaluation-result-4275638-1502697576/solver-4275638-1502697576 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502694194-24010 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1926634092 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275638-1502697576.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=24160, runsolver pid=24157


[startup+0.100139 s]*
/proc/loadavg: 7.85 7.83 7.85 2/198 24180
/proc/meminfo: memFree=28666964/32770624 swapFree=67108860/67108860
[pid=24160] ppid=24157 vsize=14325320 memory=34312 CPUtime=0.12 cores=0-7
/proc/24160/stat : 24160 (java) S 24157 24160 23983 0 -1 1077944320 8475 0 0 0 11 1 0 0 20 0 20 0 102838549 14669127680 8578 33554432000 4194304 4196468 140730052578000 140730052560544 140715537141495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
/proc/24160/statm: 3581330 8578 3411 1 0 3569050 0
[pid=24160/tid=24162] ppid=24157 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24160/task/24162/stat : 24162 (java) R 24157 24160 23983 0 -1 4202560 6422 0 0 0 8 1 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715541358192 140715537163421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24163] ppid=24157 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24160/task/24163/stat : 24163 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715489762448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24164] ppid=24157 vsize=14325320 memory=140017920710272 CPUtime=0 cores=0-7
/proc/24160/task/24164/stat : 24164 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715488709648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24165] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24165/stat : 24165 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715487656848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24166] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24166/stat : 24166 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715486604048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24167] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24167/stat : 24167 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715485551248 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24168] ppid=24157 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/24160/task/24168/stat : 24168 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715484498448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24169] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24169/stat : 24169 (java) S 24157 24160 23983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715483445648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24170] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24170/stat : 24170 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 8578 33554432000 4194304 4196468 140730052578000 140715482392848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24171] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24171/stat : 24171 (java) S 24157 24160 23983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102838552 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714634070896 140715537152642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24172] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24172/stat : 24172 (java) S 24157 24160 23983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102838552 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714633016864 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24173] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24173/stat : 24173 (java) S 24157 24160 23983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102838553 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714631964016 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24174] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24174/stat : 24174 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714630912336 140715537160091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24175] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24175/stat : 24175 (java) S 24157 24160 23983 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714629859696 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24176] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24176/stat : 24176 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714628806896 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24177] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24177/stat : 24177 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714627754096 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24178] ppid=24157 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/24160/task/24178/stat : 24178 (java) S 24157 24160 23983 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714626701296 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24179] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24179/stat : 24179 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714625649760 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24180] ppid=24157 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/24160/task/24180/stat : 24180 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 8578 33554432000 4194304 4196468 140730052578000 140714624597040 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34312 KiB

[startup+0.209738 s]*
/proc/loadavg: 7.38 7.73 7.82 3/198 24180
/proc/meminfo: memFree=28658284/32770624 swapFree=67108860/67108860
[pid=24160] ppid=24157 vsize=14325320 memory=43472 CPUtime=0.29 cores=0-7
/proc/24160/stat : 24160 (java) S 24157 24160 23983 0 -1 1077944320 9510 0 0 0 27 2 0 0 20 0 20 0 102838549 14669127680 10868 33554432000 4194304 4196468 140730052578000 140730052560544 140715537141495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
/proc/24160/statm: 3581330 10868 3626 1 0 3569050 0
[pid=24160/tid=24162] ppid=24157 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/24160/task/24162/stat : 24162 (java) R 24157 24160 23983 0 -1 4202560 7055 0 0 0 17 2 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715541369200 140715521221982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24163] ppid=24157 vsize=14325320 memory=3221 CPUtime=0 cores=0-7
/proc/24160/task/24163/stat : 24163 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715489762448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24164] ppid=24157 vsize=14325320 memory=3473601910667286176 CPUtime=0 cores=0-7
/proc/24160/task/24164/stat : 24164 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715488709648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24165] ppid=24157 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/24160/task/24165/stat : 24165 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715487656848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24166] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24166/stat : 24166 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715486604048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24167] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24167/stat : 24167 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715485551248 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24168] ppid=24157 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/24160/task/24168/stat : 24168 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715484498448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24169] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24169/stat : 24169 (java) S 24157 24160 23983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715483445648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24170] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24170/stat : 24170 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669127680 10868 33554432000 4194304 4196468 140730052578000 140715482392848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24171] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24171/stat : 24171 (java) S 24157 24160 23983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102838552 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714634070896 140715537152642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24172] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24172/stat : 24172 (java) S 24157 24160 23983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102838552 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714633016864 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24173] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24173/stat : 24173 (java) S 24157 24160 23983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102838553 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714631964016 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24174] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24174/stat : 24174 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714630912336 140715537160091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24175] ppid=24157 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/24160/task/24175/stat : 24175 (java) S 24157 24160 23983 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714629859696 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24176] ppid=24157 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/24160/task/24176/stat : 24176 (java) S 24157 24160 23983 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714628806896 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24177] ppid=24157 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/24160/task/24177/stat : 24177 (java) S 24157 24160 23983 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714627754096 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24178] ppid=24157 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/24160/task/24178/stat : 24178 (java) R 24157 24160 23983 0 -1 4202560 394 0 0 0 5 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714626701296 140715516159615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24179] ppid=24157 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24179/stat : 24179 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714625649760 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24180] ppid=24157 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/24160/task/24180/stat : 24180 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669127680 10868 33554432000 4194304 4196468 140730052578000 140714624597040 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43472 KiB

[startup+0.309401 s]*
/proc/loadavg: 7.38 7.73 7.82 2/198 24180
/proc/meminfo: memFree=28651584/32770624 swapFree=67108860/67108860
[pid=24160] ppid=24157 vsize=14325340 memory=51148 CPUtime=0.47 cores=0-7
/proc/24160/stat : 24160 (java) S 24157 24160 23983 0 -1 1077944320 10506 0 0 0 44 3 0 0 20 0 20 0 102838549 14669148160 12787 33554432000 4194304 4196468 140730052578000 140730052560544 140715537141495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
/proc/24160/statm: 3581335 12787 3722 1 0 3569050 0
[pid=24160/tid=24162] ppid=24157 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24160/task/24162/stat : 24162 (java) R 24157 24160 23983 0 -1 4202560 7617 0 0 0 27 2 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715541369904 140715537153430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24163] ppid=24157 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24163/stat : 24163 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715489762448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24164] ppid=24157 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24164/stat : 24164 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715488709648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24165] ppid=24157 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24165/stat : 24165 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715487656848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24166] ppid=24157 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24166/stat : 24166 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715486604048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24167] ppid=24157 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/24160/task/24167/stat : 24167 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715485551248 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24168] ppid=24157 vsize=14325340 memory=140017812992943 CPUtime=0 cores=0-7
/proc/24160/task/24168/stat : 24168 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715484498448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24169] ppid=24157 vsize=14325340 memory=140017812995248 CPUtime=0 cores=0-7
/proc/24160/task/24169/stat : 24169 (java) S 24157 24160 23983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715483445648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24170] ppid=24157 vsize=14325340 memory=140017812997552 CPUtime=0 cores=0-7
/proc/24160/task/24170/stat : 24170 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14669148160 12787 33554432000 4194304 4196468 140730052578000 140715482392848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24171] ppid=24157 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24171/stat : 24171 (java) S 24157 24160 23983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102838552 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714634070896 140715537152642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24172] ppid=24157 vsize=14325340 memory=280035626002064 CPUtime=0 cores=0-7
/proc/24160/task/24172/stat : 24172 (java) S 24157 24160 23983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102838552 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714633016864 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24173] ppid=24157 vsize=14325340 memory=280035626008976 CPUtime=0 cores=0-7
/proc/24160/task/24173/stat : 24173 (java) S 24157 24160 23983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102838553 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714631964016 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24174] ppid=24157 vsize=14325340 memory=280035625950256 CPUtime=0 cores=0-7
/proc/24160/task/24174/stat : 24174 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714630912336 140715537160091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24175] ppid=24157 vsize=14325340 memory=280035626022800 CPUtime=0.02 cores=0-7
/proc/24160/task/24175/stat : 24175 (java) S 24157 24160 23983 0 -1 1077944384 625 0 0 0 2 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714629859696 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24176] ppid=24157 vsize=14325340 memory=280035626029712 CPUtime=0.03 cores=0-7
/proc/24160/task/24176/stat : 24176 (java) S 24157 24160 23983 0 -1 1077944384 212 0 0 0 3 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714628806896 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24177] ppid=24157 vsize=14325340 memory=280035626027408 CPUtime=0.03 cores=0-7
/proc/24160/task/24177/stat : 24177 (java) S 24157 24160 23983 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714627754096 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24178] ppid=24157 vsize=14325340 memory=280035626044016 CPUtime=0.08 cores=0-7
/proc/24160/task/24178/stat : 24178 (java) R 24157 24160 23983 0 -1 4202560 422 0 0 0 8 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714626701296 140715537153430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24179] ppid=24157 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24179/stat : 24179 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714625649760 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24180] ppid=24157 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/24160/task/24180/stat : 24180 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838555 14669148160 12787 33554432000 4194304 4196468 140730052578000 140714624597040 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51148 KiB

[startup+0.700814 s]
/proc/loadavg: 7.38 7.73 7.82 4/198 24180
/proc/meminfo: memFree=28630180/32770624 swapFree=67108860/67108860
[pid=24160] ppid=24157 vsize=14327388 memory=102300 CPUtime=1.72 cores=0-7
/proc/24160/stat : 24160 (java) S 24157 24160 23983 0 -1 1077944320 14594 0 0 0 167 5 0 0 20 0 20 0 102838549 14671245312 25575 33554432000 4194304 4196468 140730052578000 140730052560544 140715537141495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
/proc/24160/statm: 3581847 25575 3777 1 0 3569562 0
[pid=24160/tid=24162] ppid=24157 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/24160/task/24162/stat : 24162 (java) R 24157 24160 23983 0 -1 4202560 8408 0 0 0 64 3 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715541377808 140715521221982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24163] ppid=24157 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24163/stat : 24163 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715489762448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24164] ppid=24157 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24164/stat : 24164 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715488709648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24165] ppid=24157 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/24160/task/24165/stat : 24165 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715487656848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24166] ppid=24157 vsize=14327388 memory=1944 CPUtime=0 cores=0-7
/proc/24160/task/24166/stat : 24166 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715486604048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24167] ppid=24157 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/24160/task/24167/stat : 24167 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715485551248 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24168] ppid=24157 vsize=14327388 memory=1424 CPUtime=0 cores=0-7
/proc/24160/task/24168/stat : 24168 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715484498448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24169] ppid=24157 vsize=14327388 memory=8552 CPUtime=0 cores=0-7
/proc/24160/task/24169/stat : 24169 (java) S 24157 24160 23983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715483445648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24170] ppid=24157 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/24160/task/24170/stat : 24170 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102838550 14671245312 25575 33554432000 4194304 4196468 140730052578000 140715482392848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24171] ppid=24157 vsize=14327388 memory=4052 CPUtime=0 cores=0-7
/proc/24160/task/24171/stat : 24171 (java) S 24157 24160 23983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102838552 14671245312 25575 33554432000 4194304 4196468 140730052578000 140714634070896 140715537152642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0

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

/proc/24160/task/24172/stat : 24172 (java) S 24157 24160 23983 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 39 0 102838552 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714633016928 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24173] ppid=24157 vsize=15602380 memory=5504124 CPUtime=0 cores=0-7
/proc/24160/task/24173/stat : 24173 (java) S 24157 24160 23983 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 39 0 102838553 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714631964032 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24174] ppid=24157 vsize=15602380 memory=5505668 CPUtime=0 cores=0-7
/proc/24160/task/24174/stat : 24174 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714630912336 140715537160091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24175] ppid=24157 vsize=15602380 memory=17568 CPUtime=2.64 cores=0-7
/proc/24160/task/24175/stat : 24175 (java) S 24157 24160 23983 0 -1 1077944384 15962 0 0 0 260 4 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714629859696 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24176] ppid=24157 vsize=15602380 memory=18472 CPUtime=2.89 cores=0-7
/proc/24160/task/24176/stat : 24176 (java) S 24157 24160 23983 0 -1 1077944384 18701 0 0 0 286 3 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714628806896 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24177] ppid=24157 vsize=15602380 memory=303430223234596890 CPUtime=2.4 cores=0-7
/proc/24160/task/24177/stat : 24177 (java) S 24157 24160 23983 0 -1 1077944384 11202 0 0 0 238 2 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714627754096 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24178] ppid=24157 vsize=15602380 memory=303430244793319739 CPUtime=1.24 cores=0-7
/proc/24160/task/24178/stat : 24178 (java) S 24157 24160 23983 0 -1 1077944384 29876 0 0 0 118 6 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714626701296 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24179] ppid=24157 vsize=15602380 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24160/task/24179/stat : 24179 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714625649760 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24180] ppid=24157 vsize=15602380 memory=0 CPUtime=1.02 cores=0-7
/proc/24160/task/24180/stat : 24180 (java) S 24157 24160 23983 0 -1 1077944384 5209 0 0 0 63 39 0 0 20 0 39 0 102838555 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714624597040 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24181] ppid=24157 vsize=15602380 memory=0 CPUtime=106.85 cores=0-7
/proc/24160/task/24181/stat : 24181 (java) S 24157 24160 23983 0 -1 1077944384 32760 0 0 0 7869 2816 0 0 20 0 39 0 102839761 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714614310496 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24182] ppid=24157 vsize=15602380 memory=7309170037487004007 CPUtime=4.93 cores=0-7
/proc/24160/task/24182/stat : 24182 (java) S 24157 24160 23983 0 -1 1077944384 13924 0 0 0 292 201 0 0 20 0 39 0 102839774 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714611160352 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24183] ppid=24157 vsize=15602380 memory=1613 CPUtime=456.3 cores=0-7
/proc/24160/task/24183/stat : 24183 (java) S 24157 24160 23983 0 -1 1077944384 177572 0 0 0 45034 596 0 0 20 0 39 0 102839784 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714610105312 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24184] ppid=24157 vsize=15602380 memory=1614 CPUtime=0.34 cores=0-7
/proc/24160/task/24184/stat : 24184 (java) S 24157 24160 23983 0 -1 1077944384 439 0 0 0 34 0 0 0 20 0 39 0 102839785 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714606957712 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24185] ppid=24157 vsize=15602380 memory=1424 CPUtime=275.24 cores=0-7
/proc/24160/task/24185/stat : 24185 (java) S 24157 24160 23983 0 -1 1077944384 212873 0 0 0 27324 200 0 0 20 0 39 0 102839785 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714605904976 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24186] ppid=24157 vsize=15602380 memory=8552 CPUtime=493.3 cores=0-7
/proc/24160/task/24186/stat : 24186 (java) S 24157 24160 23983 0 -1 1077944384 338533 0 0 0 48324 1006 0 0 20 0 39 0 102839787 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714537116624 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24187] ppid=24157 vsize=15602380 memory=5502072 CPUtime=584.75 cores=0-7
/proc/24160/task/24187/stat : 24187 (java) R 24157 24160 23983 0 -1 4202560 343132 0 0 0 57959 516 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714536062544 140715537153430 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24188] ppid=24157 vsize=15602380 memory=5502072 CPUtime=10.33 cores=0-7
/proc/24160/task/24188/stat : 24188 (java) S 24157 24160 23983 0 -1 1077944384 11692 0 0 0 1019 14 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714535012048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24189] ppid=24157 vsize=15602380 memory=5511308 CPUtime=0.35 cores=0-7
/proc/24160/task/24189/stat : 24189 (java) S 24157 24160 23983 0 -1 1077944384 171 0 0 0 34 1 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714533959184 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24190] ppid=24157 vsize=15602380 memory=5502072 CPUtime=429.43 cores=0-7
/proc/24160/task/24190/stat : 24190 (java) S 24157 24160 23983 0 -1 1077944384 198241 0 0 0 42521 422 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714532904144 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24191] ppid=24157 vsize=15602380 memory=5502072 CPUtime=0.01 cores=0-7
/proc/24160/task/24191/stat : 24191 (java) S 24157 24160 23983 0 -1 1077944384 97 0 0 0 0 1 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714531853584 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24192] ppid=24157 vsize=15602380 memory=4144 CPUtime=522.14 cores=0-7
/proc/24160/task/24192/stat : 24192 (java) S 24157 24160 23983 0 -1 1077944384 200633 0 0 0 51450 764 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714530798432 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24193] ppid=24157 vsize=15602380 memory=2344 CPUtime=804.02 cores=0-7
/proc/24160/task/24193/stat : 24193 (java) S 24157 24160 23983 0 -1 1077944384 385388 0 0 0 79866 536 0 0 20 0 39 0 102839788 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714529745744 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24194] ppid=24157 vsize=15602380 memory=932 CPUtime=48.24 cores=0-7
/proc/24160/task/24194/stat : 24194 (java) S 24157 24160 23983 0 -1 1077944384 48422 0 0 0 4805 19 0 0 20 0 39 0 102839919 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714528695184 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24195] ppid=24157 vsize=15602380 memory=1580 CPUtime=289.98 cores=0-7
/proc/24160/task/24195/stat : 24195 (java) S 24157 24160 23983 0 -1 1077944384 202366 0 0 0 28371 627 0 0 20 0 39 0 102839919 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714527643472 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24196] ppid=24157 vsize=15602380 memory=5504636 CPUtime=411.06 cores=0-7
/proc/24160/task/24196/stat : 24196 (java) S 24157 24160 23983 0 -1 1077944384 171859 0 0 0 40590 516 0 0 20 0 39 0 102839920 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714526588368 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24197] ppid=24157 vsize=15602380 memory=5505148 CPUtime=412.46 cores=0-7
/proc/24160/task/24197/stat : 24197 (java) S 24157 24160 23983 0 -1 1077944384 164937 0 0 0 40704 542 0 0 20 0 39 0 102839920 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714525535568 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24198] ppid=24157 vsize=15602380 memory=5503612 CPUtime=0.02 cores=0-7
/proc/24160/task/24198/stat : 24198 (java) S 24157 24160 23983 0 -1 1077944384 266 0 0 0 1 1 0 0 20 0 39 0 102839920 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714524485008 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24199] ppid=24157 vsize=15602380 memory=1152 CPUtime=427.43 cores=0-7
/proc/24160/task/24199/stat : 24199 (java) S 24157 24160 23983 0 -1 1077944384 263846 0 0 0 42283 460 0 0 20 0 39 0 102844923 15976837120 1374748 33554432000 4194304 4196468 140730052578000 140714521295952 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
Current children cumulated CPU time: 5434.52 s
Current children cumulated vsize: 15602380 KiB
Current children cumulated memory: 5498992 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.45 1.15 1.74 3/217 24256
/proc/meminfo: memFree=23197468/32770624 swapFree=67108860/67108860
[pid=24160] ppid=24157 vsize=15602380 memory=5492320 CPUtime=5456.07 cores=0-7
/proc/24160/stat : 24160 (java) S 24157 24160 23983 0 -1 1077944320 4716876 0 0 0 536121 9486 0 0 20 0 39 0 102838549 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140730052560544 140715537141495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
/proc/24160/statm: 3900595 1373080 3877 1 0 3887789 0
[pid=24160/tid=24162] ppid=24157 vsize=15602380 memory=6791534058613427641 CPUtime=12.02 cores=0-7
/proc/24160/task/24162/stat : 24162 (java) S 24157 24160 23983 0 -1 1077944384 15361 0 0 0 1186 16 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715541379200 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24163] ppid=24157 vsize=15602380 memory=4872558044660077418 CPUtime=16.86 cores=0-7
/proc/24160/task/24163/stat : 24163 (java) S 24157 24160 23983 0 -1 1077944384 218287 0 0 0 1498 188 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715489762448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24164] ppid=24157 vsize=15602380 memory=1796 CPUtime=16.74 cores=0-7
/proc/24160/task/24164/stat : 24164 (java) S 24157 24160 23983 0 -1 1077944384 227484 0 0 0 1492 182 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715488709648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 33 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24165] ppid=24157 vsize=15602380 memory=960 CPUtime=16.9 cores=0-7
/proc/24160/task/24165/stat : 24165 (java) S 24157 24160 23983 0 -1 1077944384 217124 0 0 0 1511 179 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715487656848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24166] ppid=24157 vsize=15602380 memory=1236 CPUtime=16.79 cores=0-7
/proc/24160/task/24166/stat : 24166 (java) S 24157 24160 23983 0 -1 1077944384 231596 0 0 0 1495 184 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715486604048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24167] ppid=24157 vsize=15602380 memory=6791534058613427641 CPUtime=16.74 cores=0-7
/proc/24160/task/24167/stat : 24167 (java) S 24157 24160 23983 0 -1 1077944384 202950 0 0 0 1497 177 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715485551248 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24168] ppid=24157 vsize=15602380 memory=5716 CPUtime=16.72 cores=0-7
/proc/24160/task/24168/stat : 24168 (java) S 24157 24160 23983 0 -1 1077944384 228499 0 0 0 1492 180 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715484498448 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24169] ppid=24157 vsize=15602380 memory=1712 CPUtime=16.73 cores=0-7
/proc/24160/task/24169/stat : 24169 (java) S 24157 24160 23983 0 -1 1077944384 226067 0 0 0 1490 183 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715483445648 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24170] ppid=24157 vsize=15602380 memory=4612 CPUtime=16.75 cores=0-7
/proc/24160/task/24170/stat : 24170 (java) S 24157 24160 23983 0 -1 1077944384 214613 0 0 0 1497 178 0 0 20 0 39 0 102838550 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140715482392848 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24171] ppid=24157 vsize=15602380 memory=1008 CPUtime=1.4 cores=0-7
/proc/24160/task/24171/stat : 24171 (java) S 24157 24160 23983 0 -1 1077944384 83385 0 0 0 117 23 0 0 20 0 39 0 102838552 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714634070896 140715537152642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24172] ppid=24157 vsize=15602380 memory=1944 CPUtime=0 cores=0-7
/proc/24160/task/24172/stat : 24172 (java) S 24157 24160 23983 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 39 0 102838552 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714633016928 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24173] ppid=24157 vsize=15602380 memory=1200 CPUtime=0 cores=0-7
/proc/24160/task/24173/stat : 24173 (java) S 24157 24160 23983 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 39 0 102838553 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714631964032 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24174] ppid=24157 vsize=15602380 memory=1424 CPUtime=0 cores=0-7
/proc/24160/task/24174/stat : 24174 (java) S 24157 24160 23983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714630912336 140715537160091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24175] ppid=24157 vsize=15602380 memory=8552 CPUtime=2.64 cores=0-7
/proc/24160/task/24175/stat : 24175 (java) S 24157 24160 23983 0 -1 1077944384 15964 0 0 0 260 4 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714629859696 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24176] ppid=24157 vsize=15602380 memory=15872 CPUtime=2.89 cores=0-7
/proc/24160/task/24176/stat : 24176 (java) S 24157 24160 23983 0 -1 1077944384 18704 0 0 0 286 3 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714628806896 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24177] ppid=24157 vsize=15602380 memory=4052 CPUtime=2.4 cores=0-7
/proc/24160/task/24177/stat : 24177 (java) S 24157 24160 23983 0 -1 1077944384 11204 0 0 0 238 2 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714627754096 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24178] ppid=24157 vsize=15602380 memory=6791534058613427641 CPUtime=1.24 cores=0-7
/proc/24160/task/24178/stat : 24178 (java) S 24157 24160 23983 0 -1 1077944384 29878 0 0 0 118 6 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714626701296 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24179] ppid=24157 vsize=15602380 memory=932 CPUtime=0 cores=0-7
/proc/24160/task/24179/stat : 24179 (java) S 24157 24160 23983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714625649760 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24180] ppid=24157 vsize=15602380 memory=1580 CPUtime=1.04 cores=0-7
/proc/24160/task/24180/stat : 24180 (java) S 24157 24160 23983 0 -1 1077944384 5226 0 0 0 64 40 0 0 20 0 39 0 102838555 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714624597040 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24181] ppid=24157 vsize=15602380 memory=2244 CPUtime=107.47 cores=0-7
/proc/24160/task/24181/stat : 24181 (java) S 24157 24160 23983 0 -1 1077944384 32865 0 0 0 7908 2839 0 0 20 0 39 0 102839761 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714614310496 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24182] ppid=24157 vsize=15602380 memory=4132 CPUtime=4.96 cores=0-7
/proc/24160/task/24182/stat : 24182 (java) S 24157 24160 23983 0 -1 1077944384 13950 0 0 0 293 203 0 0 20 0 39 0 102839774 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714611160352 140715537152642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24183] ppid=24157 vsize=15602380 memory=2204 CPUtime=459.64 cores=0-7
/proc/24160/task/24183/stat : 24183 (java) S 24157 24160 23983 0 -1 1077944384 177770 0 0 0 45362 602 0 0 20 0 39 0 102839784 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714610105312 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24184] ppid=24157 vsize=15602380 memory=7280 CPUtime=0.34 cores=0-7
/proc/24160/task/24184/stat : 24184 (java) S 24157 24160 23983 0 -1 1077944384 439 0 0 0 34 0 0 0 20 0 39 0 102839785 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714606957712 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24185] ppid=24157 vsize=15602380 memory=844 CPUtime=275.24 cores=0-7
/proc/24160/task/24185/stat : 24185 (java) S 24157 24160 23983 0 -1 1077944384 212873 0 0 0 27324 200 0 0 20 0 39 0 102839785 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714605904976 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24186] ppid=24157 vsize=15602380 memory=1692 CPUtime=493.48 cores=0-7
/proc/24160/task/24186/stat : 24186 (java) S 24157 24160 23983 0 -1 1077944384 338544 0 0 0 48338 1010 0 0 20 0 39 0 102839787 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714537116624 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24187] ppid=24157 vsize=15602380 memory=916 CPUtime=587.83 cores=0-7
/proc/24160/task/24187/stat : 24187 (java) R 24157 24160 23983 0 -1 4202560 343352 0 0 0 58263 520 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714536062544 140715537162842 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24188] ppid=24157 vsize=15602380 memory=4124 CPUtime=10.33 cores=0-7
/proc/24160/task/24188/stat : 24188 (java) S 24157 24160 23983 0 -1 1077944384 11692 0 0 0 1019 14 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714535012048 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24189] ppid=24157 vsize=15602380 memory=6791534058613427641 CPUtime=0.35 cores=0-7
/proc/24160/task/24189/stat : 24189 (java) S 24157 24160 23983 0 -1 1077944384 171 0 0 0 34 1 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714533959184 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24190] ppid=24157 vsize=15602380 memory=288230596050944315 CPUtime=431.76 cores=0-7
/proc/24160/task/24190/stat : 24190 (java) S 24157 24160 23983 0 -1 1077944384 198535 0 0 0 42751 425 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714532904144 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24191] ppid=24157 vsize=15602380 memory=14692993764428351 CPUtime=0.01 cores=0-7
/proc/24160/task/24191/stat : 24191 (java) S 24157 24160 23983 0 -1 1077944384 97 0 0 0 0 1 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714531853584 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24192] ppid=24157 vsize=15602380 memory=1796 CPUtime=523.21 cores=0-7
/proc/24160/task/24192/stat : 24192 (java) S 24157 24160 23983 0 -1 1077944384 200791 0 0 0 51556 765 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714530798432 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24193] ppid=24157 vsize=15602380 memory=1692 CPUtime=806.87 cores=0-7
/proc/24160/task/24193/stat : 24193 (java) S 24157 24160 23983 0 -1 1077944384 385671 0 0 0 80148 539 0 0 20 0 39 0 102839788 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714529745744 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24194] ppid=24157 vsize=15602380 memory=916 CPUtime=48.24 cores=0-7
/proc/24160/task/24194/stat : 24194 (java) S 24157 24160 23983 0 -1 1077944384 48422 0 0 0 4805 19 0 0 20 0 39 0 102839919 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714528695184 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24195] ppid=24157 vsize=15602380 memory=2204 CPUtime=290.87 cores=0-7
/proc/24160/task/24195/stat : 24195 (java) S 24157 24160 23983 0 -1 1077944384 202447 0 0 0 28447 640 0 0 20 0 39 0 102839919 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714527643472 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24196] ppid=24157 vsize=15602380 memory=7280 CPUtime=412.41 cores=0-7
/proc/24160/task/24196/stat : 24196 (java) S 24157 24160 23983 0 -1 1077944384 171963 0 0 0 40724 517 0 0 20 0 39 0 102839920 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714526588368 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24197] ppid=24157 vsize=15602380 memory=844 CPUtime=415.14 cores=0-7
/proc/24160/task/24197/stat : 24197 (java) S 24157 24160 23983 0 -1 1077944384 165083 0 0 0 40969 545 0 0 20 0 39 0 102839920 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714525535568 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24198] ppid=24157 vsize=15602380 memory=1692 CPUtime=0.02 cores=0-7
/proc/24160/task/24198/stat : 24198 (java) S 24157 24160 23983 0 -1 1077944384 266 0 0 0 1 1 0 0 20 0 39 0 102839920 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714524485008 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
[pid=24160/tid=24199] ppid=24157 vsize=15602380 memory=916 CPUtime=429.75 cores=0-7
/proc/24160/task/24199/stat : 24199 (java) S 24157 24160 23983 0 -1 1077944384 264121 0 0 0 42513 462 0 0 20 0 39 0 102844923 15976837120 1373080 33554432000 4194304 4196468 140730052578000 140714521295952 140715537151701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 29306880 140730052580449 140730052580635 140730052580635 140730052583375 0
Current children cumulated CPU time: 5456.07 s
Current children cumulated vsize: 15602380 KiB
Current children cumulated memory: 5492320 KiB

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

[startup+2520.07 s]
# the end of solver process 24160 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5361.24 s, system=94.9025 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): 5456.15
CPU user time (s): 5361.24
CPU system time (s): 94.9025
CPU usage (%): 216.508
Max. virtual memory (cumulated for all children) (KiB): 15602380
Max. memory (cumulated for all children) (KiB): 5885420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5361.24
system time used= 94.9025
maximum resident set size= 5885420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4718753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11451642
involuntary context switches= 20571


# summary of solver processes directly reported to runsolver:
#   pid: 24160
#   total CPU time (s): 5456.15
#   total CPU user time (s): 5361.24
#   total CPU system time (s): 94.9025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 31.0777 second user time and 25.3374 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-14 09:45:18
IDJOB=4275638
IDBENCH=123325
IDSOLVER=2668
FILE ID=node151/4275638-1502697576
RUNJOBID= node151-1502694194-24010
PBS_JOBID= 20629005
Free space on /tmp= 61756 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-55-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-4275638-1502697576/watcher-4275638-1502697576 -o /tmp/evaluation-result-4275638-1502697576/solver-4275638-1502697576 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1502694194-24010 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1926634092 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275638-1502697576.xml

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

MD5SUM BENCH= 5b8ecf8a7d2901cb06b5717f26e52ae6
RANDOM SEED=1926634092

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        28688288 kB
MemAvailable:   31988180 kB
Buffers:          268136 kB
Cached:          3321768 kB
SwapCached:            0 kB
Active:           996668 kB
Inactive:        2644944 kB
Active(anon):      54572 kB
Inactive(anon):    25044 kB
Active(file):     942096 kB
Inactive(file):  2619900 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42632 kB
Writeback:             0 kB
AnonPages:         58852 kB
Mapped:            44496 kB
Shmem:             25224 kB
Slab:             133560 kB
SReclaimable:     107464 kB
SUnreclaim:        26096 kB
KernelStack:        3136 kB
PageTables:         4624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61712 MiB
End job on node151 at 2017-08-14 10:27:18