Trace number 4274907

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)13 19871.1 2520.1699

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r1.xml
MD5SUM7e3b8a2ee59b2d9d5552c0f1b810cf92
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark20062.9
Satisfiable
(Un)Satisfiability was proved
Number of variables2503
Number of constraints53
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2503}]
Minimum variable degree2
Maximum variable degree10
Distribution of variable degrees[{"degree":2,"count":8},{"degree":3,"count":48},{"degree":4,"count":145},{"degree":5,"count":711},{"degree":6,"count":768},{"degree":7,"count":521},{"degree":8,"count":255},{"degree":9,"count":45},{"degree":10,"count":2}]
Minimum constraint arity41
Maximum constraint arity408
Distribution of constraint arities[{"arity":41,"count":1},{"arity":51,"count":1},{"arity":114,"count":1},{"arity":161,"count":2},{"arity":162,"count":1},{"arity":165,"count":2},{"arity":169,"count":1},{"arity":170,"count":2},{"arity":173,"count":3},{"arity":174,"count":1},{"arity":175,"count":1},{"arity":176,"count":1},{"arity":177,"count":1},{"arity":178,"count":1},{"arity":179,"count":1},{"arity":180,"count":1},{"arity":186,"count":1},{"arity":188,"count":1},{"arity":190,"count":1},{"arity":192,"count":1},{"arity":194,"count":2},{"arity":196,"count":1},{"arity":204,"count":1},{"arity":208,"count":1},{"arity":215,"count":1},{"arity":233,"count":1},{"arity":261,"count":1},{"arity":266,"count":1},{"arity":269,"count":1},{"arity":290,"count":1},{"arity":296,"count":1},{"arity":323,"count":1},{"arity":333,"count":1},{"arity":336,"count":1},{"arity":338,"count":2},{"arity":340,"count":1},{"arity":346,"count":1},{"arity":347,"count":1},{"arity":353,"count":1},{"arity":355,"count":1},{"arity":360,"count":1},{"arity":361,"count":1},{"arity":363,"count":1},{"arity":365,"count":1},{"arity":377,"count":1},{"arity":408,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":53}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 94013055
0.29/0.26	c timeout: 20160
0.29/0.26	c memlimit: 11000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
1.50/0.72	c Parsing done, starting search...
14.24/9.34	o 13
19870.05/2520.12	s SATISFIABLE
19870.05/2520.13	v <instantiation>
19870.05/2520.13	v 	<list>
19870.05/2520.13	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] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502]
19870.05/2520.13	v 	</list>
19870.05/2520.13	v 	<values>
19870.05/2520.13	v 		1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19870.05/2520.13	v 	</values>
19870.05/2520.13	v </instantiation>

Verifier Data 

OK	13

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274907-1502763349/watcher-4274907-1502763349 -o /tmp/evaluation-result-4274907-1502763349/solver-4274907-1502763349 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502762490-12660 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 94013055 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274907-1502763349.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=12677, runsolver pid=12674

[startup+0.100141 s]*
/proc/loadavg: 7.85 8.72 8.65 3/201 12697
/proc/meminfo: memFree=31373872/32770624 swapFree=67108860/67108860
[pid=12677] ppid=12674 vsize=14325320 memory=33992 CPUtime=0.11 cores=0-7
/proc/12677/stat : 12677 (java) S 12674 12677 12633 0 -1 1077944320 8392 0 0 0 10 1 0 0 20 0 20 0 109422676 14669127680 8498 33554432000 4194304 4196468 140736623994384 140736623976928 139972765826807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
/proc/12677/statm: 3581330 8498 3401 1 0 3569050 0
[pid=12677/tid=12679] ppid=12674 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12677/task/12679/stat : 12679 (java) R 12674 12677 12633 0 -1 4202560 6318 0 0 0 8 1 0 0 20 0 20 0 109422676 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972770023760 139972397116841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12680] ppid=12674 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12677/task/12680/stat : 12680 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972718447120 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12681] ppid=12674 vsize=14325320 memory=139713272231552 CPUtime=0 cores=0-7
/proc/12677/task/12681/stat : 12681 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972717394576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12682] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12682/stat : 12682 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972359416080 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12683] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12683/stat : 12683 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972358363536 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12684] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12684/stat : 12684 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972357311504 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12685] ppid=12674 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12677/task/12685/stat : 12685 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972356258960 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12686] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12686/stat : 12686 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972355205904 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12687] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12687/stat : 12687 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 8498 33554432000 4194304 4196468 140736623994384 139972354153360 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12688] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12688/stat : 12688 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422678 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971955431664 139972765837954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12689] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12689/stat : 12689 (java) S 12674 12677 12633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109422679 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971954377888 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12690] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12690/stat : 12690 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109422679 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971953324784 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12691] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12691/stat : 12691 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422681 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971952273360 139972765845403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12692] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12692/stat : 12692 (java) S 12674 12677 12633 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 109422681 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971951221488 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12693] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12693/stat : 12693 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422681 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971950168944 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12694] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12694/stat : 12694 (java) R 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422681 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971949115888 139972765837954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12695] ppid=12674 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/12677/task/12695/stat : 12695 (java) S 12674 12677 12633 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 109422681 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971948063344 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12696] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12696/stat : 12696 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422682 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971947010528 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12697] ppid=12674 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12677/task/12697/stat : 12697 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422682 14669127680 8498 33554432000 4194304 4196468 140736623994384 139971945958064 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33992 KiB

[startup+0.21014 s]*
/proc/loadavg: 7.85 8.72 8.65 3/201 12697
/proc/meminfo: memFree=31363140/32770624 swapFree=67108860/67108860
[pid=12677] ppid=12674 vsize=14325320 memory=43140 CPUtime=0.29 cores=0-7
/proc/12677/stat : 12677 (java) S 12674 12677 12633 0 -1 1077944320 9383 0 0 0 27 2 0 0 20 0 20 0 109422676 14669127680 10785 33554432000 4194304 4196468 140736623994384 140736623976928 139972765826807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
/proc/12677/statm: 3581330 10785 3608 1 0 3569050 0
[pid=12677/tid=12679] ppid=12674 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/12677/task/12679/stat : 12679 (java) R 12674 12677 12633 0 -1 4202560 6953 0 0 0 18 1 0 0 20 0 20 0 109422676 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972770053152 139972749870437 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12680] ppid=12674 vsize=14325320 memory=13885 CPUtime=0 cores=0-7
/proc/12677/task/12680/stat : 12680 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972718447120 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12681] ppid=12674 vsize=14325320 memory=288370089423943296 CPUtime=0 cores=0-7
/proc/12677/task/12681/stat : 12681 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972717394576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12682] ppid=12674 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12677/task/12682/stat : 12682 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972359416080 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12683] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12683/stat : 12683 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972358363536 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12684] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12684/stat : 12684 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972357311504 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12685] ppid=12674 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12677/task/12685/stat : 12685 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972356258960 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12686] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12686/stat : 12686 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972355205904 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12687] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12687/stat : 12687 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669127680 10785 33554432000 4194304 4196468 140736623994384 139972354153360 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12688] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12688/stat : 12688 (java) S 12674 12677 12633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109422678 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971955431664 139972765837954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12689] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12689/stat : 12689 (java) S 12674 12677 12633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109422679 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971954377888 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12690] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12690/stat : 12690 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109422679 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971953324784 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12691] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12691/stat : 12691 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422681 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971952273360 139972765845403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12692] ppid=12674 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/12677/task/12692/stat : 12692 (java) S 12674 12677 12633 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 109422681 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971951221488 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12693] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12693/stat : 12693 (java) S 12674 12677 12633 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 109422681 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971950168944 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12694] ppid=12674 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/12677/task/12694/stat : 12694 (java) S 12674 12677 12633 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 109422681 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971949115888 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12695] ppid=12674 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/12677/task/12695/stat : 12695 (java) S 12674 12677 12633 0 -1 1077944384 427 0 0 0 5 0 0 0 20 0 20 0 109422681 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971948063344 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12696] ppid=12674 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12696/stat : 12696 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422682 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971947010528 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12697] ppid=12674 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/12677/task/12697/stat : 12697 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422682 14669127680 10785 33554432000 4194304 4196468 140736623994384 139971945958064 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43140 KiB

[startup+0.309609 s]*
/proc/loadavg: 7.85 8.72 8.65 4/201 12697
/proc/meminfo: memFree=31356316/32770624 swapFree=67108860/67108860
[pid=12677] ppid=12674 vsize=14325340 memory=50804 CPUtime=0.47 cores=0-7
/proc/12677/stat : 12677 (java) S 12674 12677 12633 0 -1 1077944320 10489 0 0 0 44 3 0 0 20 0 20 0 109422676 14669148160 12701 33554432000 4194304 4196468 140736623994384 140736623976928 139972765826807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
/proc/12677/statm: 3581335 12701 3703 1 0 3569050 0
[pid=12677/tid=12679] ppid=12674 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12677/task/12679/stat : 12679 (java) R 12674 12677 12633 0 -1 4202560 7582 0 0 0 27 2 0 0 20 0 20 0 109422676 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972770055312 139972751929600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12680] ppid=12674 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12680/stat : 12680 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972718447120 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12681] ppid=12674 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12681/stat : 12681 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972717394576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12682] ppid=12674 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12682/stat : 12682 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972359416080 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12683] ppid=12674 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12683/stat : 12683 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972358363536 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12684] ppid=12674 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/12677/task/12684/stat : 12684 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972357311504 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12685] ppid=12674 vsize=14325340 memory=139713138750383 CPUtime=0 cores=0-7
/proc/12677/task/12685/stat : 12685 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972356258960 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12686] ppid=12674 vsize=14325340 memory=139713138752688 CPUtime=0 cores=0-7
/proc/12677/task/12686/stat : 12686 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972355205904 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12687] ppid=12674 vsize=14325340 memory=139713138754992 CPUtime=0 cores=0-7
/proc/12677/task/12687/stat : 12687 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14669148160 12701 33554432000 4194304 4196468 140736623994384 139972354153360 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12688] ppid=12674 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12688/stat : 12688 (java) S 12674 12677 12633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109422678 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971955431664 139972765837954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12689] ppid=12674 vsize=14325340 memory=279426277516944 CPUtime=0 cores=0-7
/proc/12677/task/12689/stat : 12689 (java) S 12674 12677 12633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109422679 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971954377888 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12690] ppid=12674 vsize=14325340 memory=279426277523856 CPUtime=0 cores=0-7
/proc/12677/task/12690/stat : 12690 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109422679 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971953324784 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12691] ppid=12674 vsize=14325340 memory=279426277465136 CPUtime=0 cores=0-7
/proc/12677/task/12691/stat : 12691 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422681 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971952273360 139972765845403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12692] ppid=12674 vsize=14325340 memory=279426277537680 CPUtime=0.04 cores=0-7
/proc/12677/task/12692/stat : 12692 (java) S 12674 12677 12633 0 -1 1077944384 599 0 0 0 4 0 0 0 20 0 20 0 109422681 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971951221488 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12693] ppid=12674 vsize=14325340 memory=279426277544592 CPUtime=0.01 cores=0-7
/proc/12677/task/12693/stat : 12693 (java) S 12674 12677 12633 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 109422681 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971950168944 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12694] ppid=12674 vsize=14325340 memory=279426277542288 CPUtime=0.03 cores=0-7
/proc/12677/task/12694/stat : 12694 (java) S 12674 12677 12633 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 20 0 109422681 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971949115888 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12695] ppid=12674 vsize=14325340 memory=279426277558896 CPUtime=0.08 cores=0-7
/proc/12677/task/12695/stat : 12695 (java) S 12674 12677 12633 0 -1 1077944384 546 0 0 0 8 0 0 0 20 0 20 0 109422681 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971948063344 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12696] ppid=12674 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12696/stat : 12696 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422682 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971947010528 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12697] ppid=12674 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/12677/task/12697/stat : 12697 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422682 14669148160 12701 33554432000 4194304 4196468 140736623994384 139971945958064 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50804 KiB

[startup+0.700861 s]
/proc/loadavg: 7.85 8.72 8.65 5/201 12697
/proc/meminfo: memFree=31342016/32770624 swapFree=67108860/67108860
[pid=12677] ppid=12674 vsize=14327388 memory=85160 CPUtime=1.5 cores=0-7
/proc/12677/stat : 12677 (java) S 12674 12677 12633 0 -1 1077944320 12885 0 0 0 145 5 0 0 20 0 20 0 109422676 14671245312 21290 33554432000 4194304 4196468 140736623994384 140736623976928 139972765826807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
/proc/12677/statm: 3581847 21290 3777 1 0 3569562 0
[pid=12677/tid=12679] ppid=12674 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/12677/task/12679/stat : 12679 (java) R 12674 12677 12633 0 -1 4202560 8463 0 0 0 64 3 0 0 20 0 20 0 109422676 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972770060656 139972765838742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12680] ppid=12674 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12680/stat : 12680 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972718447120 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12681] ppid=12674 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12681/stat : 12681 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972717394576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12682] ppid=12674 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12682/stat : 12682 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972359416080 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12683] ppid=12674 vsize=14327388 memory=1008 CPUtime=0 cores=0-7
/proc/12677/task/12683/stat : 12683 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972358363536 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12684] ppid=12674 vsize=14327388 memory=4612 CPUtime=0 cores=0-7
/proc/12677/task/12684/stat : 12684 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972357311504 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12685] ppid=12674 vsize=14327388 memory=1428 CPUtime=0 cores=0-7
/proc/12677/task/12685/stat : 12685 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972356258960 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12686] ppid=12674 vsize=14327388 memory=1204 CPUtime=0 cores=0-7
/proc/12677/task/12686/stat : 12686 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972355205904 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12687] ppid=12674 vsize=14327388 memory=15876 CPUtime=0 cores=0-7
/proc/12677/task/12687/stat : 12687 (java) S 12674 12677 12633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109422677 14671245312 21290 33554432000 4194304 4196468 140736623994384 139972354153360 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12688] ppid=12674 vsize=14327388 memory=19544 CPUtime=0 cores=0-7
/proc/12677/task/12688/stat : 12688 (java) S 12674 12677 12633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109422678 14671245312 21290 33554432000 4194304 4196468 140736623994384 139971955431664 139972765837954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0

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

/proc/12677/task/12690/stat : 12690 (java) S 12674 12677 12633 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 41 0 109422679 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971953324800 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12691] ppid=12674 vsize=15735508 memory=640 CPUtime=0 cores=0-7
/proc/12677/task/12691/stat : 12691 (java) S 12674 12677 12633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 109422681 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971952273360 139972765845403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12692] ppid=12674 vsize=15735508 memory=956 CPUtime=1.2 cores=0-7
/proc/12677/task/12692/stat : 12692 (java) S 12674 12677 12633 0 -1 1077944384 8169 0 0 0 118 2 0 0 20 0 41 0 109422681 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971951221488 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12693] ppid=12674 vsize=15735508 memory=2340 CPUtime=1.07 cores=0-7
/proc/12677/task/12693/stat : 12693 (java) S 12674 12677 12633 0 -1 1077944384 5772 0 0 0 106 1 0 0 20 0 41 0 109422681 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971950168944 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12694] ppid=12674 vsize=15735508 memory=2240 CPUtime=1.29 cores=0-7
/proc/12677/task/12694/stat : 12694 (java) S 12674 12677 12633 0 -1 1077944384 6711 0 0 0 128 1 0 0 20 0 41 0 109422681 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971949115888 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12695] ppid=12674 vsize=15735508 memory=4128 CPUtime=0.91 cores=0-7
/proc/12677/task/12695/stat : 12695 (java) S 12674 12677 12633 0 -1 1077944384 13378 0 0 0 90 1 0 0 20 0 41 0 109422681 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971948063344 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12696] ppid=12674 vsize=15735508 memory=928 CPUtime=0 cores=0-7
/proc/12677/task/12696/stat : 12696 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 109422682 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971947010528 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12697] ppid=12674 vsize=15735508 memory=1576 CPUtime=0.69 cores=0-7
/proc/12677/task/12697/stat : 12697 (java) S 12674 12677 12633 0 -1 1077944384 11728 0 0 0 30 39 0 0 20 0 41 0 109422682 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971945958064 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12698] ppid=12674 vsize=15735508 memory=2196 CPUtime=0 cores=0-7
/proc/12677/task/12698/stat : 12698 (java) S 12674 12677 12633 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 41 0 109423550 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971935670784 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12699] ppid=12674 vsize=15735508 memory=6764 CPUtime=2.21 cores=0-7
/proc/12677/task/12699/stat : 12699 (java) R 12674 12677 12633 0 -1 1077944384 20141 0 0 0 65 156 0 0 20 0 41 0 109423562 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971932521376 139972765837954 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12700] ppid=12674 vsize=15735508 memory=840 CPUtime=0.01 cores=0-7
/proc/12677/task/12700/stat : 12700 (java) S 12674 12677 12633 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 41 0 109423571 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971931469232 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12701] ppid=12674 vsize=15735508 memory=4096 CPUtime=2469.84 cores=0-7
/proc/12677/task/12701/stat : 12701 (java) R 12674 12677 12633 0 -1 4202560 71834 0 0 0 246900 84 0 0 20 0 41 0 109423572 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971930410352 139972404656853 0 4 0 16800975 0 0 0 -1 4 0 0 68 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12702] ppid=12674 vsize=15735508 memory=6791534058613427641 CPUtime=2468.68 cores=0-7
/proc/12677/task/12702/stat : 12702 (java) R 12674 12677 12633 0 -1 4202560 79617 0 0 0 246782 86 0 0 20 0 41 0 109423572 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971929361456 139972404702497 0 4 0 16800975 0 0 0 -1 5 0 0 71 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12703] ppid=12674 vsize=15735508 memory=2240 CPUtime=0.07 cores=0-7
/proc/12677/task/12703/stat : 12703 (java) S 12674 12677 12633 0 -1 1077944384 91 0 0 0 7 0 0 0 20 0 41 0 109423572 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971928311088 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12704] ppid=12674 vsize=15735508 memory=4128 CPUtime=2470.06 cores=0-7
/proc/12677/task/12704/stat : 12704 (java) R 12674 12677 12633 0 -1 4202560 85577 0 0 0 246916 90 0 0 20 0 41 0 109423575 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971925158216 139972404064485 0 4 0 16800975 0 0 0 -1 0 0 0 60 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12705] ppid=12674 vsize=15735508 memory=928 CPUtime=2466.26 cores=0-7
/proc/12677/task/12705/stat : 12705 (java) R 12674 12677 12633 0 -1 4202560 76406 0 0 0 246546 80 0 0 20 0 41 0 109423575 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971924102640 139972402103107 0 4 0 16800975 0 0 0 -1 3 0 0 69 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12706] ppid=12674 vsize=15735508 memory=33 CPUtime=2466.52 cores=0-7
/proc/12677/task/12706/stat : 12706 (java) R 12674 12677 12633 0 -1 4202560 72554 0 0 0 246576 76 0 0 20 0 41 0 109423575 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971923052328 139972404064366 0 4 0 16800975 0 0 0 -1 7 0 0 64 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12707] ppid=12674 vsize=15735508 memory=7379535448736163689 CPUtime=2469.36 cores=0-7
/proc/12677/task/12707/stat : 12707 (java) R 12674 12677 12633 0 -1 4202560 84816 0 0 0 246843 93 0 0 20 0 41 0 109423575 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971921997176 139972398102179 0 4 0 16800975 0 0 0 -1 1 0 0 72 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12708] ppid=12674 vsize=15735508 memory=7594873684329058919 CPUtime=2466.55 cores=0-7
/proc/12677/task/12708/stat : 12708 (java) R 12674 12677 12633 0 -1 4202560 83656 0 0 0 246560 95 0 0 20 0 41 0 109423575 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971920945352 139972398102170 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12709] ppid=12674 vsize=15735508 memory=7234278980543998304 CPUtime=0 cores=0-7
/proc/12677/task/12709/stat : 12709 (java) S 12674 12677 12633 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 41 0 109423575 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971919898160 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12710] ppid=12674 vsize=15735508 memory=7234278980543998304 CPUtime=2467.54 cores=0-7
/proc/12677/task/12710/stat : 12710 (java) R 12674 12677 12633 0 -1 4202560 75426 0 0 0 246673 81 0 0 20 0 41 0 109423601 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971918839544 139972402102146 0 4 0 16800975 0 0 0 -1 6 0 0 54 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12711] ppid=12674 vsize=15735508 memory=7234278980543998304 CPUtime=0 cores=0-7
/proc/12677/task/12711/stat : 12711 (java) S 12674 12677 12633 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 109423602 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971917792560 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12712] ppid=12674 vsize=15735508 memory=7234278980543998304 CPUtime=0 cores=0-7
/proc/12677/task/12712/stat : 12712 (java) S 12674 12677 12633 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 41 0 109423611 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971914605488 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12713] ppid=12674 vsize=15735508 memory=7234278980543998304 CPUtime=0 cores=0-7
/proc/12677/task/12713/stat : 12713 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423612 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971913552944 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12714] ppid=12674 vsize=15735508 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/12677/task/12714/stat : 12714 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423613 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971912499888 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12715] ppid=12674 vsize=15735508 memory=928 CPUtime=0 cores=0-7
/proc/12677/task/12715/stat : 12715 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971843318576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12716] ppid=12674 vsize=15735508 memory=1576 CPUtime=0 cores=0-7
/proc/12677/task/12716/stat : 12716 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971842266544 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12717] ppid=12674 vsize=15735508 memory=2196 CPUtime=0 cores=0-7
/proc/12677/task/12717/stat : 12717 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971841214000 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12718] ppid=12674 vsize=15735508 memory=6764 CPUtime=0 cores=0-7
/proc/12677/task/12718/stat : 12718 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16113160192 706030 33554432000 4194304 4196468 140736623994384 139971840160944 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
Current children cumulated CPU time: 19870.1 s
Current children cumulated vsize: 15735508 KiB
Current children cumulated memory: 2824120 KiB

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

[startup+2520.17 s]
# the end of solver process 12677 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19859 s, system=12.0849 s

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

[startup+2520.15 s]
/proc/loadavg: 8.31 8.77 8.77 10/220 12771
/proc/meminfo: memFree=28575952/32770624 swapFree=67108860/67108860
[pid=12677] ppid=12674 vsize=15868636 memory=2824268 CPUtime=19871 cores=0-7
/proc/12677/stat : 12677 (java) S 12674 12677 12633 0 -1 1077944320 1810718 0 0 0 1985891 1206 0 0 20 0 41 0 109422676 16249483264 706067 33554432000 4194304 4196468 140736623994384 140736623976928 139972765826807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
/proc/12677/statm: 3967159 706067 3857 1 0 3954353 0
[pid=12677/tid=12679] ppid=12674 vsize=15868636 memory=2828632 CPUtime=8.53 cores=0-7
/proc/12677/task/12679/stat : 12679 (java) S 12674 12677 12633 0 -1 1077944384 14557 0 0 0 844 9 0 0 20 0 41 0 109422676 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972770064512 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12680] ppid=12674 vsize=15868636 memory=2824120 CPUtime=12.45 cores=0-7
/proc/12677/task/12680/stat : 12680 (java) S 12674 12677 12633 0 -1 1077944384 105423 0 0 0 1194 51 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972718447120 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12681] ppid=12674 vsize=15868636 memory=2824120 CPUtime=12.54 cores=0-7
/proc/12677/task/12681/stat : 12681 (java) S 12674 12677 12633 0 -1 1077944384 117313 0 0 0 1203 51 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972717394576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12682] ppid=12674 vsize=15868636 memory=2828632 CPUtime=12.48 cores=0-7
/proc/12677/task/12682/stat : 12682 (java) S 12674 12677 12633 0 -1 1077944384 108849 0 0 0 1200 48 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972359416080 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12683] ppid=12674 vsize=15868636 memory=2828632 CPUtime=12.54 cores=0-7
/proc/12677/task/12683/stat : 12683 (java) S 12674 12677 12633 0 -1 1077944384 108422 0 0 0 1204 50 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972358363536 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12684] ppid=12674 vsize=15868636 memory=2824120 CPUtime=12.51 cores=0-7
/proc/12677/task/12684/stat : 12684 (java) S 12674 12677 12633 0 -1 1077944384 104931 0 0 0 1204 47 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972357311504 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12685] ppid=12674 vsize=15868636 memory=1696 CPUtime=12.53 cores=0-7
/proc/12677/task/12685/stat : 12685 (java) S 12674 12677 12633 0 -1 1077944384 106692 0 0 0 1206 47 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972356258960 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12686] ppid=12674 vsize=15868636 memory=920 CPUtime=12.51 cores=0-7
/proc/12677/task/12686/stat : 12686 (java) S 12674 12677 12633 0 -1 1077944384 107721 0 0 0 1200 51 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972355205904 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12687] ppid=12674 vsize=15868636 memory=1156 CPUtime=12.49 cores=0-7
/proc/12677/task/12687/stat : 12687 (java) S 12674 12677 12633 0 -1 1077944384 101277 0 0 0 1201 48 0 0 20 0 41 0 109422677 16249483264 706067 33554432000 4194304 4196468 140736623994384 139972354153360 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12688] ppid=12674 vsize=15868636 memory=4300 CPUtime=8.96 cores=0-7
/proc/12677/task/12688/stat : 12688 (java) S 12674 12677 12633 0 -1 1077944384 237474 0 0 0 776 120 0 0 20 0 41 0 109422678 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971955431664 139972765837954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12689] ppid=12674 vsize=15868636 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12677/task/12689/stat : 12689 (java) S 12674 12677 12633 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 41 0 109422679 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971954377952 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12690] ppid=12674 vsize=15868636 memory=2828632 CPUtime=0 cores=0-7
/proc/12677/task/12690/stat : 12690 (java) S 12674 12677 12633 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 41 0 109422679 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971953324800 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12691] ppid=12674 vsize=15868636 memory=1296 CPUtime=0 cores=0-7
/proc/12677/task/12691/stat : 12691 (java) S 12674 12677 12633 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 41 0 109422681 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971952273360 139972765845403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12692] ppid=12674 vsize=15868636 memory=2416 CPUtime=1.2 cores=0-7
/proc/12677/task/12692/stat : 12692 (java) S 12674 12677 12633 0 -1 1077944384 8169 0 0 0 118 2 0 0 20 0 41 0 109422681 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971951221488 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12693] ppid=12674 vsize=15868636 memory=1228 CPUtime=1.08 cores=0-7
/proc/12677/task/12693/stat : 12693 (java) R 12674 12677 12633 0 -1 4202560 5849 0 0 0 107 1 0 0 20 0 41 0 109422681 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971950168944 139972758077346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12694] ppid=12674 vsize=15868636 memory=12028 CPUtime=1.3 cores=0-7
/proc/12677/task/12694/stat : 12694 (java) S 12674 12677 12633 0 -1 1077944384 6817 0 0 0 129 1 0 0 20 0 41 0 109422681 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971949115888 139972765837954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12695] ppid=12674 vsize=15868636 memory=5668 CPUtime=0.91 cores=0-7
/proc/12677/task/12695/stat : 12695 (java) R 12674 12677 12633 0 -1 1077944384 13392 0 0 0 90 1 0 0 20 0 41 0 109422681 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971948063344 139972765837954 0 4 0 16800975 0 0 0 -1 3 0 0 59 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12696] ppid=12674 vsize=15868636 memory=1008 CPUtime=0 cores=0-7
/proc/12677/task/12696/stat : 12696 (java) S 12674 12677 12633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 109422682 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971947010528 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12698] ppid=12674 vsize=15868636 memory=2828632 CPUtime=0 cores=0-7
/proc/12677/task/12698/stat : 12698 (java) S 12674 12677 12633 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 41 0 109423550 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971935670784 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12699] ppid=12674 vsize=15868636 memory=4140 CPUtime=2.21 cores=0-7
/proc/12677/task/12699/stat : 12699 (java) R 12674 12677 12633 0 -1 1077944384 20142 0 0 0 65 156 0 0 20 0 41 0 109423562 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971932521376 139972765837954 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12700] ppid=12674 vsize=15868636 memory=2828632 CPUtime=0.01 cores=0-7
/proc/12677/task/12700/stat : 12700 (java) S 12674 12677 12633 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 41 0 109423571 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971931469232 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12701] ppid=12674 vsize=15868636 memory=2828632 CPUtime=2469.95 cores=0-7
/proc/12677/task/12701/stat : 12701 (java) R 12674 12677 12633 0 -1 4202560 71834 0 0 0 246911 84 0 0 20 0 41 0 109423572 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971930410616 139972398102696 0 4 0 16800975 0 0 0 -1 4 0 0 68 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12702] ppid=12674 vsize=15868636 memory=2828632 CPUtime=2468.79 cores=0-7
/proc/12677/task/12702/stat : 12702 (java) R 12674 12677 12633 0 -1 4202560 79617 0 0 0 246793 86 0 0 20 0 41 0 109423572 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971929357768 139972402522576 0 4 0 16800975 0 0 0 -1 7 0 0 71 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12703] ppid=12674 vsize=15868636 memory=1728 CPUtime=0.07 cores=0-7
/proc/12677/task/12703/stat : 12703 (java) S 12674 12677 12633 0 -1 1077944384 91 0 0 0 7 0 0 0 20 0 41 0 109423572 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971928311088 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12704] ppid=12674 vsize=15868636 memory=956 CPUtime=2470.17 cores=0-7
/proc/12677/task/12704/stat : 12704 (java) R 12674 12677 12633 0 -1 4202560 85578 0 0 0 246927 90 0 0 20 0 41 0 109423575 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971925155320 139972404655680 0 4 0 16800975 0 0 0 -1 2 0 0 60 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12705] ppid=12674 vsize=15868636 memory=2340 CPUtime=2466.37 cores=0-7
/proc/12677/task/12705/stat : 12705 (java) R 12674 12677 12633 0 -1 4202560 76406 0 0 0 246557 80 0 0 20 0 41 0 109423575 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971924102264 139972402103277 0 4 0 16800975 0 0 0 -1 5 0 0 69 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12706] ppid=12674 vsize=15868636 memory=2240 CPUtime=2466.63 cores=0-7
/proc/12677/task/12706/stat : 12706 (java) R 12674 12677 12633 0 -1 4202560 72554 0 0 0 246587 76 0 0 20 0 41 0 109423575 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971923049208 139972404657170 0 4 0 16800975 0 0 0 -1 3 0 0 64 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12707] ppid=12674 vsize=15868636 memory=2828632 CPUtime=2469.46 cores=0-7
/proc/12677/task/12707/stat : 12707 (java) R 12674 12677 12633 0 -1 4202560 84816 0 0 0 246853 93 0 0 20 0 41 0 109423575 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971922000368 139972402905792 0 4 0 16800975 0 0 0 -1 1 0 0 72 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12708] ppid=12674 vsize=15868636 memory=4205993267215204384 CPUtime=2466.67 cores=0-7
/proc/12677/task/12708/stat : 12708 (java) R 12674 12677 12633 0 -1 4202560 83656 0 0 0 246572 95 0 0 20 0 41 0 109423575 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971920944504 139972404656143 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12709] ppid=12674 vsize=15868636 memory=2824120 CPUtime=0 cores=0-7
/proc/12677/task/12709/stat : 12709 (java) S 12674 12677 12633 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 41 0 109423575 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971919898160 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12710] ppid=12674 vsize=15868636 memory=6791534058613427641 CPUtime=2467.65 cores=0-7
/proc/12677/task/12710/stat : 12710 (java) R 12674 12677 12633 0 -1 4202560 75426 0 0 0 246684 81 0 0 20 0 41 0 109423601 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971918841872 139972402102648 0 4 0 16800975 0 0 0 -1 6 0 0 54 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12711] ppid=12674 vsize=15868636 memory=796 CPUtime=0 cores=0-7
/proc/12677/task/12711/stat : 12711 (java) S 12674 12677 12633 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 41 0 109423602 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971917792560 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12712] ppid=12674 vsize=15868636 memory=4140 CPUtime=0 cores=0-7
/proc/12677/task/12712/stat : 12712 (java) S 12674 12677 12633 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 41 0 109423611 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971914605488 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12713] ppid=12674 vsize=15868636 memory=2828632 CPUtime=0 cores=0-7
/proc/12677/task/12713/stat : 12713 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423612 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971913552944 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12714] ppid=12674 vsize=15868636 memory=0 CPUtime=0 cores=0-7
/proc/12677/task/12714/stat : 12714 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423613 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971912499888 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12715] ppid=12674 vsize=15868636 memory=2828632 CPUtime=0 cores=0-7
/proc/12677/task/12715/stat : 12715 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971843318576 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12716] ppid=12674 vsize=15868636 memory=2824120 CPUtime=0 cores=0-7
/proc/12677/task/12716/stat : 12716 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971842266544 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12717] ppid=12674 vsize=15868636 memory=1296 CPUtime=0 cores=0-7
/proc/12677/task/12717/stat : 12717 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971841214000 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
[pid=12677/tid=12718] ppid=12674 vsize=15868636 memory=2416 CPUtime=0 cores=0-7
/proc/12677/task/12718/stat : 12718 (java) S 12674 12677 12633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 41 0 109423615 16249483264 706067 33554432000 4194304 4196468 140736623994384 139971840160944 139972765837013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140736624002147 140736624002331 140736624002331 140736624005071 0
Current children cumulated CPU time: 19871 s
Current children cumulated vsize: 15868636 KiB
Current children cumulated memory: 2824268 KiB

Child status: 143
Real time (s): 2520.17
CPU time (s): 19871.1
CPU user time (s): 19859
CPU system time (s): 12.0849
CPU usage (%): 788.481
Max. virtual memory (cumulated for all children) (KiB): 15868636
Max. memory (cumulated for all children) (KiB): 3547924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19859
system time used= 12.0849
maximum resident set size= 3549652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1810755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 864001
involuntary context switches= 436708


# summary of solver processes directly reported to runsolver:
#   pid: 12677
#   total CPU time (s): 19871.1
#   total CPU user time (s): 19859
#   total CPU system time (s): 12.0849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0608 second user time and 34.3765 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-15 04:01:30
IDJOB=4274907
IDBENCH=133711
IDSOLVER=2668
FILE ID=node106/4274907-1502763349
RUNJOBID= node106-1502762490-12660
PBS_JOBID= 20629090
Free space on /tmp= 61772 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r1.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-4274907-1502763349/watcher-4274907-1502763349 -o /tmp/evaluation-result-4274907-1502763349/solver-4274907-1502763349 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502762490-12660 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 94013055 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4274907-1502763349.xml

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

MD5SUM BENCH= 7e3b8a2ee59b2d9d5552c0f1b810cf92
RANDOM SEED=94013055

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.86
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:        31392800 kB
MemAvailable:   31982388 kB
Buffers:          168532 kB
Cached:           706240 kB
SwapCached:            0 kB
Active:           486360 kB
Inactive:         443628 kB
Active(anon):      11196 kB
Inactive(anon):    72112 kB
Active(file):     475164 kB
Inactive(file):   371516 kB
Unevictable:        6472 kB
Mlocked:            6472 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42408 kB
Writeback:             0 kB
AnonPages:         61244 kB
Mapped:            45440 kB
Shmem:             25228 kB
Slab:             143448 kB
SReclaimable:     117488 kB
SUnreclaim:        25960 kB
KernelStack:        3184 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61728 MiB
End job on node106 at 2017-08-15 04:43:31