Trace number 4290977

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 2018-07-02SAT (TO)1533 19362.2 2520.83

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order40_c18.xml
MD5SUMd1aa36ddb66a988b2d6475ffc1d9c375
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark20009.6
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints62400
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree79
Maximum variable degree79
Distribution of variable degrees[{"degree":79,"count":1600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":62400}]
Number of extensional constraints0
Number of intensional constraints62400
Distribution of constraint types[{"type":"intension","count":62400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 116981753
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
8.46/3.29	c Parsing done, starting search...
782.43/178.68	o 1599
1091.60/217.52	o 1598
1402.77/256.65	o 1597
1716.18/296.08	o 1596
2028.77/335.32	o 1595
2342.85/374.85	o 1594
2689.77/418.45	o 1593
2990.64/456.29	o 1592
3304.77/495.72	o 1591
3617.33/535.04	o 1590
3937.24/576.22	o 1589
4222.26/612.05	o 1588
4505.16/647.62	o 1587
4791.34/683.71	o 1586
5078.13/719.76	o 1585
5362.75/755.57	o 1584
5646.84/791.29	o 1583
5927.45/826.58	o 1582
6209.55/862.03	o 1581
6491.77/898.58	o 1580
6783.83/935.25	o 1579
7089.21/973.69	o 1578
7394.60/1012.12	o 1577
7700.09/1050.42	o 1576
8001.86/1088.41	o 1575
8305.63/1126.69	o 1574
8604.40/1164.29	o 1573
8904.18/1201.96	o 1572
9213.12/1240.96	o 1571
9503.40/1277.47	o 1570
9791.35/1313.68	o 1569
10085.73/1350.64	o 1568
10367.92/1386.11	o 1567
10656.45/1422.42	o 1566
10941.31/1458.26	o 1565
11227.67/1494.25	o 1564
11513.17/1530.19	o 1563
11808.77/1569.84	o 1562
12082.19/1604.28	o 1561
12358.76/1639.02	o 1560
12632.27/1673.42	o 1559
12905.99/1707.87	o 1558
13178.00/1742.06	o 1557
13451.03/1776.38	o 1556
13724.03/1810.77	o 1555
13998.50/1845.26	o 1554
14274.87/1880.13	o 1553
14535.71/1912.91	o 1552
14794.15/1945.49	o 1551
15054.10/1978.16	o 1550
15311.71/2010.56	o 1549
15571.47/2043.32	o 1548
15828.95/2075.61	o 1547
16086.71/2108.07	o 1546
16353.37/2141.72	o 1545
16601.89/2173.02	o 1544
16851.12/2204.34	o 1543
17098.17/2235.49	o 1542
17346.28/2266.70	o 1541
17595.13/2297.92	o 1540
17840.57/2328.83	o 1539
18086.40/2359.74	o 1538
18343.55/2392.29	o 1537
18584.85/2422.68	o 1536
18825.88/2452.99	o 1535
19068.48/2483.46	o 1534
19310.03/2513.89	o 1533
19359.41/2520.06	s SATISFIABLE
19359.41/2520.07	v <instantiation>
19359.41/2520.07	v 	<list>
19359.41/2520.07	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]
19359.41/2520.08	v 	</list>
19359.41/2520.08	v 	<values>
19359.41/2520.08	v 		1529 1493 1510 1503 1517 1528 1499 1506 1532 1524 1508 1513 1491 1520 1494 1526 1531 1515 1504 1525 1507 1512 1511 1498 1521 1527 1516 1496 1505 1530 1490 1523 1522 1497 1533 1500 1492 1509 1495 1501 1509 1529 1520 1521 1526 1532 1496 1511 1514 1502 1507 1494 1501 1516 1510 1513 1523 1524 1525 1498 1519 1533 1497 1504 1531 1505 1517 1518 1495 1499 1528 1506 1512 1522 1530 1515 1527 1508 1500 1503 1531 1508 1505 1532 1530 1516 1526 1517 1509 1498 1515 1522 1533 1510 1519 1497 1503 1521 1506 1496 1502 1529 1525 1518 1495 1520 1523 1528 1524 1504 1494 1499 1527 1500 1512 1507 1513 1514 1501 1511 1501 1498 1512 1499 1533 1493 1529 1500 1516 1525 1502 1508 1524 1491 1531 1520 1507 1495 1505 1532 1511 1523 1528 1530 1492 1506 1513 1522 1494 1526 1527 1521 1509 1514 1518 1497 1503 1510 1496 1504 1523 1497 1498 1500 1518 1505 1528 1521 1490 1489 1501 1531 1493 1532 1499 1491 1522 1506 1503 1513 1496 1519 1495 1526 1514 1512 1533 1516 1530 1529 1520 1524 1525 1515 1517 1509 1508 1502 1510 1527 1507 1530 1517 1523 1532 1514 1518 1503 1522 1497 1504 1520 1510 1528 1533 1502 1527 1526 1531 1499 1515 1525 1498 1509 1500 1513 1505 1521 1512 1496 1501 1508 1495 1529 1519 1516 1524 1506 1511 1493 1502 1528 1519 1527 1503 1500 1512 1510 1511 1505 1517 1533 1508 1498 1497 1507 1496 1501 1523 1509 1529 1522 1515 1532 1504 1499 1494 1520 1506 1513 1516 1530 1493 1526 1525 1514 1521 1518 1531 1524 1516 1495 1533 1531 1504 1529 1509 1498 1494 1512 1499 1532 1521 1530 1507 1505 1500 1518 1524 1503 1525 1511 1514 1520 1527 1523 1515 1506 1510 1508 1496 1497 1517 1501 1502 1528 1522 1513 1526 1519 1522 1519 1496 1497 1510 1518 1500 1507 1517 1530 1520 1504 1527 1526 1506 1493 1509 1512 1499 1528 1514 1503 1505 1502 1524 1511 1508 1501 1515 1492 1531 1525 1516 1532 1495 1494 1498 1521 1529 1533 1517 1531 1525 1512 1513 1515 1511 1522 1507 1495 1496 1514 1518 1527 1529 1501 1506 1532 1521 1502 1523 1509 1520 1524 1530 1526 1497 1493 1508 1505 1504 1500 1503 1499 1510 1533 1519 1498 1528 1516 1514 1527 1524 1517 1531 1522 1510 1520 1495 1499 1494 1512 1530 1525 1516 1500 1505 1513 1519 1497 1521 1507 1532 1508 1529 1515 1496 1509 1503 1498 1533 1501 1506 1504 1528 1526 1511 1523 1518 1502 1527 1509 1501 1511 1515 1517 1521 1499 1506 1493 1524 1530 1497 1504 1514 1496 1520 1522 1502 1529 1532 1518 1503 1531 1519 1516 1525 1513 1528 1491 1505 1495 1523 1533 1507 1508 1512 1526 1498 1510 1520 1502 1509 1510 1528 1531 1527 1518 1503 1492 1513 1521 1494 1501 1517 1499 1514 1529 1511 1491 1498 1530 1523 1516 1512 1525 1519 1524 1522 1533 1508 1493 1526 1507 1505 1504 1506 1496 1532 1515 1521 1503 1502 1516 1522 1512 1517 1497 1501 1494 1525 1518 1505 1495 1496 1533 1499 1523 1507 1508 1509 1520 1526 1528 1513 1531 1524 1529 1519 1515 1514 1498 1530 1506 1532 1511 1510 1527 1504 1500 1510 1524 1506 1493 1507 1509 1505 1494 1515 1523 1511 1527 1516 1521 1530 1518 1532 1508 1533 1531 1503 1500 1529 1525 1526 1528 1495 1504 1513 1522 1492 1496 1514 1519 1497 1502 1501 1512 1517 1520 1504 1532 1503 1514 1529 1530 1523 1533 1505 1511 1516 1525 1498 1502 1522 1495 1515 1528 1513 1493 1497 1527 1524 1517 1507 1519 1521 1526 1520 1501 1512 1491 1518 1510 1506 1496 1499 1531 1509 1508 1530 1499 1494 1518 1516 1525 1531 1524 1504 1491 1533 1526 1496 1506 1527 1532 1513 1520 1508 1492 1510 1495 1522 1519 1511 1517 1529 1515 1523 1503 1509 1490 1521 1512 1514 1501 1500 1528 1502 1507 1525 1520 1495 1496 1514 1507 1506 1508 1529 1528 1500 1515 1519 1518 1505 1530 1524 1517 1497 1522 1533 1504 1501 1499 1516 1510 1502 1498 1526 1521 1532 1527 1531 1492 1523 1512 1509 1503 1513 1491 1519 1504 1511 1533 1512 1513 1515 1509 1520 1522 1518 1528 1495 1523 1500 1521 1525 1507 1496 1526 1506 1531 1502 1501 1505 1508 1503 1510 1527 1532 1529 1494 1524 1516 1499 1498 1497 1517 1514 1530 1513 1501 1507 1508 1523 1511 1530 1519 1496 1490 1510 1524 1499 1500 1526 1492 1516 1509 1522 1533 1504 1521 1531 1527 1520 1514 1512 1517 1529 1525 1491 1532 1528 1518 1503 1505 1502 1495 1515 1506 1528 1533 1497 1501 1509 1510 1498 1530 1531 1518 1526 1519 1512 1515 1523 1524 1517 1511 1495 1506 1513 1496 1516 1500 1522 1529 1527 1502 1514 1520 1521 1492 1508 1505 1494 1532 1507 1499 1493 1525 1515 1510 1529 1504 1506 1523 1495 1527 1512 1500 1509 1516 1517 1522 1520 1503 1501 1505 1526 1494 1528 1499 1518 1533 1525 1521 1498 1508 1496 1511 1497 1507 1532 1502 1513 1530 1514 1524 1519 1531 1497 1507 1515 1530 1493 1495 1524 1514 1526 1510 1506 1502 1522 1496 1521 1511 1494 1499 1516 1517 1505 1532 1509 1513 1503 1500 1531 1527 1533 1512 1525 1504 1498 1528 1520 1518 1529 1519 1508 1523 1496 1521 1526 1520 1497 1502 1532 1501 1513 1517 1505 1499 1506 1508 1515 1519 1491 1492 1528 1516 1524 1514 1512 1523 1533 1493 1500 1511 1498 1510 1518 1509 1507 1527 1522 1525 1531 1504 1530 1529 1524 1505 1500 1509 1508 1527 1494 1526 1492 1496 1529 1523 1515 1517 1525 1531 1512 1516 1510 1511 1499 1501 1519 1521 1532 1522 1528 1507 1518 1502 1493 1533 1520 1513 1498 1506 1504 1530 1503 1514 1508 1496 1528 1522 1519 1506 1501 1505 1498 1503 1495 1511 1502 1499 1513 1523 1521 1531 1530 1514 1518 1524 1504 1515 1509 1532 1507 1494 1516 1517 1500 1510 1529 1520 1526 1527 1525 1533 1497 1512 1506 1491 1499 1507 1505 1508 1503 1523 1527 1532 1497 1509 1514 1529 1495 1517 1519 1525 1520 1490 1492 1502 1494 1522 1518 1524 1504 1500 1521 1528 1530 1526 1515 1498 1531 1510 1493 1501 1533 1496 1488 1518 1508 1524 1490 1498 1504 1495 1519 1529 1503 1487 1526 1514 1509 1528 1510 1502 1501 1530 1493 1513 1506 1494 1517 1507 1511 1497 1489 1527 1522 1531 1533 1496 1500 1491 1532 1505 1492 1499 1512 1516 1522 1529 1527 1526 1519 1532 1499 1508 1521 1517 1507 1513 1502 1509 1530 1504 1514 1505 1501 1498 1533 1511 1510 1496 1518 1523 1525 1497 1524 1503 1500 1494 1515 1531 1528 1520 1506 1495 1511 1514 1521 1513 1524 1519 1533 1515 1497 1501 1532 1493 1500 1531 1508 1498 1526 1510 1518 1495 1520 1516 1496 1529 1528 1503 1509 1530 1507 1506 1499 1502 1504 1525 1527 1523 1517 1522 1512 1505 1499 1506 1513 1492 1502 1497 1507 1529 1524 1520 1530 1500 1532 1519 1528 1516 1490 1533 1493 1521 1512 1494 1527 1495 1508 1498 1510 1505 1504 1531 1523 1522 1501 1509 1496 1503 1491 1511 1525 1526 1526 1515 1504 1506 1511 1521 1508 1496 1502 1533 1522 1529 1525 1524 1512 1494 1518 1514 1509 1527 1500 1510 1513 1507 1523 1530 1520 1503 1531 1493 1495 1528 1519 1517 1501 1499 1505 1497 1516 1532 1492 1526 1514 1525 1501 1503 1502 1504 1521 1527 1512 1507 1529 1533 1498 1522 1495 1500 1532 1520 1517 1497 1530 1496 1493 1491 1506 1499 1509 1523 1515 1519 1511 1531 1508 1513 1518 1494 1524 1528 1503 1513 1531 1505 1499 1492 1525 1516 1523 1519 1514 1501 1511 1494 1518 1529 1533 1498 1517 1507 1527 1528 1510 1506 1490 1497 1522 1512 1500 1524 1526 1515 1502 1508 1504 1520 1530 1532 1521 1509 1505 1523 1530 1498 1520 1496 1522 1513 1528 1506 1531 1495 1509 1503 1504 1510 1502 1527 1515 1501 1508 1526 1500 1512 1499 1518 1532 1525 1517 1494 1511 1514 1497 1524 1516 1519 1533 1529 1507 1521 1518 1512 1527 1515 1521 1520 1497 1531 1508 1507 1523 1496 1503 1509 1501 1514 1528 1519 1498 1504 1522 1517 1499 1510 1506 1495 1526 1533 1532 1500 1502 1511 1513 1530 1529 1524 1516 1525 1505 1494 1532 1522 1518 1528 1525 1524 1520 1502 1533 1509 1527 1510 1504 1497 1503 1508 1529 1530 1512 1500 1531 1506 1507 1505 1515 1501 1514 1519 1499 1495 1498 1513 1496 1493 1511 1521 1526 1516 1523 1517 1533 1511 1523 1526 1496 1501 1516 1528 1525 1504 1498 1492 1531 1507 1532 1506 1508 1503 1529 1518 1530 1515 1517 1497 1491 1494 1499 1514 1502 1509 1519 1512 1505 1521 1524 1522 1520 1500 1527 1513 1498 1525 1532 1502 1495 1499 1514 1512 1530 1526 1519 1506 1528 1493 1511 1527 1504 1494 1500 1524 1516 1505 1508 1503 1496 1533 1501 1531 1497 1518 1513 1529 1510 1523 1521 1517 1515 1507 1520 1522 1500 1517 1516 1519 1498 1533 1513 1525 1510 1531 1528 1503 1520 1492 1524 1504 1493 1497 1527 1512 1526 1508 1521 1514 1494 1502 1530 1532 1501 1507 1506 1505 1499 1511 1509 1529 1523 1515 1522 1518 
19359.41/2520.08	v 	</values>
19359.41/2520.08	v </instantiation>

Verifier Data 

OK	1533

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290977-1532633896/watcher-4290977-1532633896 -o /tmp/evaluation-result-4290977-1532633896/solver-4290977-1532633896 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532633896-8548 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 116981753 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290977-1532633896.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=8565, runsolver pid=8562

[startup+0.100059 s]*
/proc/loadavg: 8.00 8.54 8.68 3/198 8585
/proc/meminfo: memFree=21659452/32770624 swapFree=67108860/67108860
[pid=8565] ppid=8562 vsize=26103424 memory=29752 CPUtime=0.11 cores=0-7
/proc/8565/stat : 8565 (java) S 8562 8565 8521 0 -1 1077944320 6883 0 0 0 10 1 0 0 20 0 20 0 80952800 26729906176 7438 33554432000 4194304 4196468 140733079009296 140733078991840 140437285195511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
/proc/8565/statm: 6525856 7438 3139 1 0 6487932 0
[pid=8565/tid=8567] ppid=8562 vsize=26103424 memory=4571044162957374364 CPUtime=0.09 cores=0-7
/proc/8565/task/8567/stat : 8567 (java) R 8562 8565 8521 0 -1 4202560 5164 0 0 0 8 1 0 0 20 0 20 0 80952801 26729906176 7636 33554432000 4194304 4196468 140733079009296 140437289380464 140437277912663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8568] ppid=8562 vsize=26103424 memory=732370838166895589 CPUtime=0 cores=0-7
/proc/8565/task/8568/stat : 8568 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7636 33554432000 4194304 4196468 140733079009296 140436843285008 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8569] ppid=8562 vsize=26103424 memory=140699829442176 CPUtime=0 cores=0-7
/proc/8565/task/8569/stat : 8569 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7636 33554432000 4194304 4196468 140733079009296 140436842232464 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8570] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8570/stat : 8570 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7636 33554432000 4194304 4196468 140733079009296 140436841179408 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8571] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8571/stat : 8571 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7636 33554432000 4194304 4196468 140733079009296 140436840126864 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8572] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8572/stat : 8572 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436839074832 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8573] ppid=8562 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8565/task/8573/stat : 8573 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436838022288 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8574] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8574/stat : 8574 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436836969232 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8575] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8575/stat : 8575 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436835916688 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8576] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8576/stat : 8576 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952803 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436412721392 140437285206658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8577] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8577/stat : 8577 (java) S 8562 8565 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80952803 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436411667616 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8578] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8578/stat : 8578 (java) S 8562 8565 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952804 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436410614512 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8579] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8579/stat : 8579 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436409563088 140437285214107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8580] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8580/stat : 8580 (java) S 8562 8565 8521 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436408511216 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8581] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8581/stat : 8581 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436407458672 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8582] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8582/stat : 8582 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 7702 33554432000 4194304 4196468 140733079009296 140436406405616 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8583] ppid=8562 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8565/task/8583/stat : 8583 (java) S 8562 8565 8521 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 80952806 26729906176 7768 33554432000 4194304 4196468 140733079009296 140436405353072 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8584] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8584/stat : 8584 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 7768 33554432000 4194304 4196468 140733079009296 140436404300256 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8585] ppid=8562 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8565/task/8585/stat : 8585 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 7768 33554432000 4194304 4196468 140733079009296 140436403247792 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29752 KiB

[startup+0.210314 s]*
/proc/loadavg: 8.00 8.54 8.68 3/198 8585
/proc/meminfo: memFree=21645004/32770624 swapFree=67108860/67108860
[pid=8565] ppid=8562 vsize=26103424 memory=43092 CPUtime=0.3 cores=0-7
/proc/8565/stat : 8565 (java) S 8562 8565 8521 0 -1 1077944320 10449 0 0 0 28 2 0 0 20 0 20 0 80952800 26729906176 10773 33554432000 4194304 4196468 140733079009296 140733078991840 140437285195511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
/proc/8565/statm: 6525856 10773 3346 1 0 6487932 0
[pid=8565/tid=8567] ppid=8562 vsize=26103424 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/8565/task/8567/stat : 8567 (java) R 8562 8565 8521 0 -1 4202560 8208 0 0 0 18 1 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140437289425104 140437285217437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8568] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8568/stat : 8568 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436843285008 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8569] ppid=8562 vsize=26103424 memory=140699829909711 CPUtime=0 cores=0-7
/proc/8565/task/8569/stat : 8569 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436842232464 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8570] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8570/stat : 8570 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436841179408 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8571] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8571/stat : 8571 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436840126864 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8572] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8572/stat : 8572 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436839074832 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8573] ppid=8562 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8565/task/8573/stat : 8573 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436838022288 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8574] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8574/stat : 8574 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436836969232 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8575] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8575/stat : 8575 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436835916688 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8576] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8576/stat : 8576 (java) S 8562 8565 8521 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80952803 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436412721392 140437285206658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8577] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8577/stat : 8577 (java) S 8562 8565 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80952803 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436411667616 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8578] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8578/stat : 8578 (java) S 8562 8565 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952804 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436410614512 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8579] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8579/stat : 8579 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436409563088 140437285214107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8580] ppid=8562 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/8565/task/8580/stat : 8580 (java) S 8562 8565 8521 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436408511216 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8581] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8581/stat : 8581 (java) S 8562 8565 8521 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436407458672 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8582] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8582/stat : 8582 (java) S 8562 8565 8521 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436406405616 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8583] ppid=8562 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/8565/task/8583/stat : 8583 (java) R 8562 8565 8521 0 -1 4202560 317 0 0 0 6 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436405348800 140437277432638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8584] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8584/stat : 8584 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436404300256 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8585] ppid=8562 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8565/task/8585/stat : 8585 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 10773 33554432000 4194304 4196468 140733079009296 140436403247792 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43092 KiB

[startup+0.310518 s]*
/proc/loadavg: 8.00 8.54 8.68 3/198 8585
/proc/meminfo: memFree=21641436/32770624 swapFree=67108860/67108860
[pid=8565] ppid=8562 vsize=26103424 memory=46872 CPUtime=0.42 cores=0-7
/proc/8565/stat : 8565 (java) S 8562 8565 8521 0 -1 1077944320 10897 0 0 0 40 2 0 0 20 0 20 0 80952800 26729906176 11718 33554432000 4194304 4196468 140733079009296 140733078991840 140437285195511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
/proc/8565/statm: 6525856 11718 3375 1 0 6487932 0
[pid=8565/tid=8567] ppid=8562 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8565/task/8567/stat : 8567 (java) R 8562 8565 8521 0 -1 4202560 8555 0 0 0 28 1 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140437289357248 140437269275998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8568] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8568/stat : 8568 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436843285008 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8569] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8569/stat : 8569 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436842232464 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8570] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8570/stat : 8570 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436841179408 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8571] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8571/stat : 8571 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436840126864 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8572] ppid=8562 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/8565/task/8572/stat : 8572 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436839074832 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8573] ppid=8562 vsize=26103424 memory=140699706160047 CPUtime=0 cores=0-7
/proc/8565/task/8573/stat : 8573 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436838022288 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8574] ppid=8562 vsize=26103424 memory=140699706162352 CPUtime=0 cores=0-7
/proc/8565/task/8574/stat : 8574 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436836969232 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8575] ppid=8562 vsize=26103424 memory=140699706164656 CPUtime=0 cores=0-7
/proc/8565/task/8575/stat : 8575 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436835916688 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8576] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8576/stat : 8576 (java) S 8562 8565 8521 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80952803 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436412721392 140437285206658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8577] ppid=8562 vsize=26103424 memory=281399412336272 CPUtime=0 cores=0-7
/proc/8565/task/8577/stat : 8577 (java) S 8562 8565 8521 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80952803 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436411667616 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8578] ppid=8562 vsize=26103424 memory=281399412343184 CPUtime=0 cores=0-7
/proc/8565/task/8578/stat : 8578 (java) S 8562 8565 8521 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80952804 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436410614512 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8579] ppid=8562 vsize=26103424 memory=281399412284464 CPUtime=0 cores=0-7
/proc/8565/task/8579/stat : 8579 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436409563088 140437285214107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8580] ppid=8562 vsize=26103424 memory=281399412357008 CPUtime=0.01 cores=0-7
/proc/8565/task/8580/stat : 8580 (java) S 8562 8565 8521 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436408511216 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8581] ppid=8562 vsize=26103424 memory=281399412363920 CPUtime=0.01 cores=0-7
/proc/8565/task/8581/stat : 8581 (java) S 8562 8565 8521 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436407458672 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8582] ppid=8562 vsize=26103424 memory=281399412361616 CPUtime=0.01 cores=0-7
/proc/8565/task/8582/stat : 8582 (java) S 8562 8565 8521 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436406405616 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8583] ppid=8562 vsize=26103424 memory=281399412378176 CPUtime=0.07 cores=0-7
/proc/8565/task/8583/stat : 8583 (java) S 8562 8565 8521 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436405353072 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8584] ppid=8562 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8584/stat : 8584 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436404300256 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8585] ppid=8562 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/8565/task/8585/stat : 8585 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952806 26729906176 11718 33554432000 4194304 4196468 140733079009296 140436403247792 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46872 KiB

[startup+0.700916 s]
/proc/loadavg: 8.00 8.54 8.68 2/198 8585
/proc/meminfo: memFree=21617500/32770624 swapFree=67108860/67108860
[pid=8565] ppid=8562 vsize=26105492 memory=85728 CPUtime=0.99 cores=0-7
/proc/8565/stat : 8565 (java) S 8562 8565 8521 0 -1 1077944320 17842 0 0 0 94 5 0 0 20 0 20 0 80952800 26732023808 21432 33554432000 4194304 4196468 140733079009296 140733078991840 140437285195511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
/proc/8565/statm: 6526373 21432 3505 1 0 6488444 0
[pid=8565/tid=8567] ppid=8562 vsize=26105492 memory=7013902597888697172 CPUtime=0.67 cores=0-7
/proc/8565/task/8567/stat : 8567 (java) R 8562 8565 8521 0 -1 4202560 15032 0 0 0 64 3 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140437289414912 140437269276028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8568] ppid=8562 vsize=26105492 memory=36867999286032 CPUtime=0 cores=0-7
/proc/8565/task/8568/stat : 8568 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436843285008 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8569] ppid=8562 vsize=26105492 memory=140699706170798 CPUtime=0 cores=0-7
/proc/8565/task/8569/stat : 8569 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436842232464 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8570] ppid=8562 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8570/stat : 8570 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436841179408 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8571] ppid=8562 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8571/stat : 8571 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436840126864 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8572] ppid=8562 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8572/stat : 8572 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436839074832 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8573] ppid=8562 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8573/stat : 8573 (java) S 8562 8565 8521 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436838022288 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8574] ppid=8562 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8574/stat : 8574 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436836969232 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8575] ppid=8562 vsize=26105492 memory=1840 CPUtime=0 cores=0-7
/proc/8565/task/8575/stat : 8575 (java) S 8562 8565 8521 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80952801 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436835916688 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8576] ppid=8562 vsize=26105492 memory=1004 CPUtime=0 cores=0-7
/proc/8565/task/8576/stat : 8576 (java) S 8562 8565 8521 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80952803 26732023808 21432 33554432000 4194304 4196468 140733079009296 140436412721392 140437285206658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0

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

/proc/8565/task/8589/stat : 8589 (java) R 8562 8565 8521 0 -1 4202560 3331126 0 0 0 199429 1068 0 0 20 0 41 0 80962092 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436384541112 140436930293052 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8590] ppid=8562 vsize=27517708 memory=7739249387604299861 CPUtime=46.2 cores=0-7
/proc/8565/task/8590/stat : 8590 (java) S 8562 8565 8521 0 -1 1077944384 59847 0 0 0 4550 70 0 0 20 0 41 0 80962095 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436381398416 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8591] ppid=8562 vsize=27517708 memory=5636 CPUtime=15.33 cores=0-7
/proc/8565/task/8591/stat : 8591 (java) S 8562 8565 8521 0 -1 1077944384 4374 0 0 0 1526 7 0 0 20 0 41 0 80962099 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436380345872 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8592] ppid=8562 vsize=27517708 memory=4588 CPUtime=2013.21 cores=0-7
/proc/8565/task/8592/stat : 8592 (java) R 8562 8565 8521 0 -1 4202560 9174856 0 0 0 200070 1251 0 0 20 0 41 0 80962099 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436379285304 140436930293018 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8593] ppid=8562 vsize=27517708 memory=1388 CPUtime=720.87 cores=0-7
/proc/8565/task/8593/stat : 8593 (java) S 8562 8565 8521 0 -1 1077944384 1129238 0 0 0 71771 316 0 0 20 0 41 0 80962099 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436378240272 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8594] ppid=8562 vsize=27517708 memory=1224 CPUtime=2000.82 cores=0-7
/proc/8565/task/8594/stat : 8594 (java) R 8562 8565 8521 0 -1 4202560 5271860 0 0 0 198871 1211 0 0 20 0 41 0 80962104 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436377179456 140436930293009 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8595] ppid=8562 vsize=27517708 memory=15816 CPUtime=451.95 cores=0-7
/proc/8565/task/8595/stat : 8595 (java) S 8562 8565 8521 0 -1 1077944384 942473 0 0 0 44952 243 0 0 20 0 41 0 80962104 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436376134672 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8596] ppid=8562 vsize=27517708 memory=4715433313220523562 CPUtime=1963.64 cores=0-7
/proc/8565/task/8596/stat : 8596 (java) R 8562 8565 8521 0 -1 4202560 4611302 0 0 0 195201 1163 0 0 20 0 41 0 80962104 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436375078576 140436930293009 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8597] ppid=8562 vsize=27517708 memory=4427205132082312746 CPUtime=803.08 cores=0-7
/proc/8565/task/8597/stat : 8597 (java) R 8562 8565 8521 0 -1 4202560 1496351 0 0 0 80066 242 0 0 20 0 41 0 80962104 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436374022584 140436924835381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8598] ppid=8562 vsize=27517708 memory=23514068 CPUtime=1563.16 cores=0-7
/proc/8565/task/8598/stat : 8598 (java) R 8562 8565 8521 0 -1 4202560 3532705 0 0 0 155675 641 0 0 20 0 41 0 80962104 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436372972536 140436930293018 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8599] ppid=8562 vsize=27517708 memory=23523 CPUtime=402.55 cores=0-7
/proc/8565/task/8599/stat : 8599 (java) S 8562 8565 8521 0 -1 1077944384 526160 0 0 0 40069 186 0 0 20 0 41 0 80962105 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436303767056 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8607] ppid=8562 vsize=27517708 memory=0 CPUtime=1584.27 cores=0-7
/proc/8565/task/8607/stat : 8607 (java) R 8562 8565 8521 0 -1 4202560 2453995 0 0 0 157875 552 0 0 20 0 41 0 80970669 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436300572472 140436929042454 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8608] ppid=8562 vsize=27517708 memory=0 CPUtime=0 cores=0-7
/proc/8565/task/8608/stat : 8608 (java) S 8562 8565 8521 0 -1 1077944384 1148 0 0 0 0 0 0 0 20 0 41 0 80970669 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436299527440 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8609] ppid=8562 vsize=27517708 memory=986 CPUtime=0 cores=0-7
/proc/8565/task/8609/stat : 8609 (java) S 8562 8565 8521 0 -1 1077944384 1158 0 0 0 0 0 0 0 20 0 41 0 80970669 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436298474384 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8610] ppid=8562 vsize=27517708 memory=8112282956445269571 CPUtime=239.62 cores=0-7
/proc/8565/task/8610/stat : 8610 (java) S 8562 8565 8521 0 -1 1077944384 333069 0 0 0 23893 69 0 0 20 0 41 0 80970669 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436297421840 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8611] ppid=8562 vsize=27517708 memory=3872 CPUtime=235.23 cores=0-7
/proc/8565/task/8611/stat : 8611 (java) S 8562 8565 8521 0 -1 1077944384 373285 0 0 0 23455 68 0 0 20 0 41 0 80970671 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436296369808 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8612] ppid=8562 vsize=27517708 memory=24080 CPUtime=0 cores=0-7
/proc/8565/task/8612/stat : 8612 (java) S 8562 8565 8521 0 -1 1077944384 1546 0 0 0 0 0 0 0 20 0 41 0 80970673 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436295317264 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8613] ppid=8562 vsize=27517708 memory=1280 CPUtime=0 cores=0-7
/proc/8565/task/8613/stat : 8613 (java) S 8562 8565 8521 0 -1 1077944384 1984 0 0 0 0 0 0 0 20 0 41 0 80986333 28178132992 5878141 33554432000 4194304 4196468 140733079009296 140436294264208 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
Current children cumulated CPU time: 19359.4 s
Current children cumulated vsize: 27517708 KiB
Current children cumulated memory: 23512564 KiB

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

[startup+2520.83 s]
# the end of solver process 8565 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19194.5 s, system=167.687 s

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

[startup+2520.21 s]*
/proc/loadavg: 9.00 8.88 8.76 9/223 8674
/proc/meminfo: memFree=276988/32770624 swapFree=67108860/67108860
[pid=8565] ppid=8562 vsize=27717400 memory=23513644 CPUtime=19361 cores=0-7
/proc/8565/stat : 8565 (java) S 8562 8565 8521 0 -1 1077944320 60654045 0 8 0 1919382 16718 0 0 20 0 44 0 80952800 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140733078991840 140437285195511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
/proc/8565/statm: 6929350 5878411 3637 1 0 6890900 0
[pid=8565/tid=8567] ppid=8562 vsize=27717400 memory=-6733704525061579059 CPUtime=88.85 cores=0-7
/proc/8565/task/8567/stat : 8567 (java) S 8562 8565 8521 0 -1 1077944384 40343 0 0 0 8806 79 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140437289432976 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8568] ppid=8562 vsize=27717400 memory=-7003737579269690708 CPUtime=397.95 cores=0-7
/proc/8565/task/8568/stat : 8568 (java) S 8562 8565 8521 0 -1 1077944384 2955909 0 1 0 38710 1085 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436843285008 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8569] ppid=8562 vsize=27717400 memory=1224 CPUtime=397.28 cores=0-7
/proc/8565/task/8569/stat : 8569 (java) S 8562 8565 8521 0 -1 1077944384 2845809 0 1 0 38680 1048 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436842232464 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 53 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8570] ppid=8562 vsize=27717400 memory=15816 CPUtime=398.25 cores=0-7
/proc/8565/task/8570/stat : 8570 (java) S 8562 8565 8521 0 -1 1077944384 2809672 0 1 0 38734 1091 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436841179408 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8571] ppid=8562 vsize=27717400 memory=4048 CPUtime=397.12 cores=0-7
/proc/8565/task/8571/stat : 8571 (java) S 8562 8565 8521 0 -1 1077944384 2789178 0 1 0 38659 1053 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436840126864 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8572] ppid=8562 vsize=27717400 memory=14336 CPUtime=397.32 cores=0-7
/proc/8565/task/8572/stat : 8572 (java) S 8562 8565 8521 0 -1 1077944384 2859370 0 1 0 38690 1042 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436839074832 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8573] ppid=8562 vsize=27717400 memory=14348 CPUtime=397.92 cores=0-7
/proc/8565/task/8573/stat : 8573 (java) S 8562 8565 8521 0 -1 1077944384 2783377 0 1 0 38735 1057 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436838022288 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 53 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8574] ppid=8562 vsize=27717400 memory=1180 CPUtime=397.83 cores=0-7
/proc/8565/task/8574/stat : 8574 (java) S 8562 8565 8521 0 -1 1077944384 2789153 0 1 0 38736 1047 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436836969232 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8575] ppid=8562 vsize=27717400 memory=504 CPUtime=397.36 cores=0-7
/proc/8565/task/8575/stat : 8575 (java) S 8562 8565 8521 0 -1 1077944384 2784972 0 1 0 38710 1026 0 0 20 0 44 0 80952801 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436835916688 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8576] ppid=8562 vsize=27717400 memory=1720 CPUtime=9 cores=0-7
/proc/8565/task/8576/stat : 8576 (java) S 8562 8565 8521 0 -1 1077944384 255308 0 0 0 845 55 0 0 20 0 44 0 80952803 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436412721392 140437285206658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8577] ppid=8562 vsize=27717400 memory=928 CPUtime=0 cores=0-7
/proc/8565/task/8577/stat : 8577 (java) S 8562 8565 8521 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 44 0 80952803 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436411667680 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8578] ppid=8562 vsize=27717400 memory=2392 CPUtime=0 cores=0-7
/proc/8565/task/8578/stat : 8578 (java) S 8562 8565 8521 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 44 0 80952804 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436410614528 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8579] ppid=8562 vsize=27717400 memory=932 CPUtime=0 cores=0-7
/proc/8565/task/8579/stat : 8579 (java) S 8562 8565 8521 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436409563088 140437285214107 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8580] ppid=8562 vsize=27717400 memory=1564 CPUtime=3.02 cores=0-7
/proc/8565/task/8580/stat : 8580 (java) S 8562 8565 8521 0 -1 1077944384 18171 0 0 0 297 5 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436408511216 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8581] ppid=8562 vsize=27717400 memory=2212 CPUtime=3.14 cores=0-7
/proc/8565/task/8581/stat : 8581 (java) R 8562 8565 8521 0 -1 1077944384 20571 0 0 0 307 7 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436407451696 140437285205717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8582] ppid=8562 vsize=27717400 memory=3988 CPUtime=2.9 cores=0-7
/proc/8565/task/8582/stat : 8582 (java) S 8562 8565 8521 0 -1 1077944384 20730 0 0 0 286 4 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436406405616 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8583] ppid=8562 vsize=27717400 memory=2048 CPUtime=1.65 cores=0-7
/proc/8565/task/8583/stat : 8583 (java) S 8562 8565 8521 0 -1 1077944384 61923 0 0 0 155 10 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436405353200 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8584] ppid=8562 vsize=27717400 memory=7888 CPUtime=0 cores=0-7
/proc/8565/task/8584/stat : 8584 (java) S 8562 8565 8521 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436404300256 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8585] ppid=8562 vsize=27717400 memory=8112282956445269571 CPUtime=1.85 cores=0-7
/proc/8565/task/8585/stat : 8585 (java) S 8562 8565 8521 0 -1 1077944384 3570 0 0 0 75 110 0 0 20 0 44 0 80952806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436403247792 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8586] ppid=8562 vsize=27717400 memory=1696 CPUtime=0.03 cores=0-7
/proc/8565/task/8586/stat : 8586 (java) S 8562 8565 8521 0 -1 1077944384 6660 0 0 0 2 1 0 0 20 0 44 0 80962058 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436391899680 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8587] ppid=8562 vsize=27717400 memory=916 CPUtime=8.46 cores=0-7
/proc/8565/task/8587/stat : 8587 (java) R 8562 8565 8521 0 -1 1077944384 8927 0 0 0 477 369 0 0 20 0 44 0 80962074 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436388750240 140437285206658 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8588] ppid=8562 vsize=27717400 memory=3908 CPUtime=2014.52 cores=0-7
/proc/8565/task/8588/stat : 8588 (java) R 8562 8565 8521 0 -1 4202560 4348566 0 0 0 200462 990 0 0 20 0 44 0 80962091 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436385593520 140436930293009 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8589] ppid=8562 vsize=27717400 memory=1408 CPUtime=2005.16 cores=0-7
/proc/8565/task/8589/stat : 8589 (java) R 8562 8565 8521 0 -1 4202560 3331203 0 0 0 199448 1068 0 0 20 0 44 0 80962092 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436384540976 140436930293009 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8590] ppid=8562 vsize=27717400 memory=4260 CPUtime=46.21 cores=0-7
/proc/8565/task/8590/stat : 8590 (java) S 8562 8565 8521 0 -1 1077944384 59902 0 0 0 4551 70 0 0 20 0 44 0 80962095 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436381398416 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8591] ppid=8562 vsize=27717400 memory=23514068 CPUtime=15.33 cores=0-7
/proc/8565/task/8591/stat : 8591 (java) S 8562 8565 8521 0 -1 1077944384 4375 0 0 0 1526 7 0 0 20 0 44 0 80962099 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436380345872 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8592] ppid=8562 vsize=27717400 memory=4104 CPUtime=2013.38 cores=0-7
/proc/8565/task/8592/stat : 8592 (java) R 8562 8565 8521 0 -1 4202560 9175093 0 0 0 200087 1251 0 0 20 0 44 0 80962099 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436379285304 140436930293018 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8593] ppid=8562 vsize=27717400 memory=-6733704525061579059 CPUtime=720.87 cores=0-7
/proc/8565/task/8593/stat : 8593 (java) R 8562 8565 8521 0 -1 4202560 1129265 0 0 0 71771 316 0 0 20 0 44 0 80962099 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436378231808 140437265472336 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8594] ppid=8562 vsize=27717400 memory=504 CPUtime=2001.01 cores=0-7
/proc/8565/task/8594/stat : 8594 (java) R 8562 8565 8521 0 -1 4202560 5271919 0 0 0 198890 1211 0 0 20 0 44 0 80962104 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436377179704 140436930293080 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8595] ppid=8562 vsize=27717400 memory=1720 CPUtime=451.95 cores=0-7
/proc/8565/task/8595/stat : 8595 (java) R 8562 8565 8521 0 -1 1077944384 942578 0 0 0 44952 243 0 0 20 0 44 0 80962104 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436376131184 140437285205717 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8596] ppid=8562 vsize=27717400 memory=928 CPUtime=1963.84 cores=0-7
/proc/8565/task/8596/stat : 8596 (java) R 8562 8565 8521 0 -1 4202560 4611889 0 0 0 195221 1163 0 0 20 0 44 0 80962104 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436375075128 140436932570921 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8597] ppid=8562 vsize=27717400 memory=23512564 CPUtime=803.26 cores=0-7
/proc/8565/task/8597/stat : 8597 (java) R 8562 8565 8521 0 -1 4202560 1496478 0 0 0 80084 242 0 0 20 0 44 0 80962104 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436374023888 140436928754871 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8598] ppid=8562 vsize=27717400 memory=4048 CPUtime=1563.32 cores=0-7
/proc/8565/task/8598/stat : 8598 (java) R 8562 8565 8521 0 -1 4202560 3532820 0 0 0 155691 641 0 0 20 0 44 0 80962104 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436372969392 140436930293018 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8599] ppid=8562 vsize=27717400 memory=14336 CPUtime=402.55 cores=0-7
/proc/8565/task/8599/stat : 8599 (java) S 8562 8565 8521 0 -1 1077944384 526195 0 0 0 40069 186 0 0 20 0 44 0 80962105 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436303767056 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8607] ppid=8562 vsize=27717400 memory=14348 CPUtime=1584.45 cores=0-7
/proc/8565/task/8607/stat : 8607 (java) R 8562 8565 8521 0 -1 4202560 2454142 0 0 0 157893 552 0 0 20 0 44 0 80970669 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436300572472 140436930293009 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8608] ppid=8562 vsize=27717400 memory=1180 CPUtime=0.01 cores=0-7
/proc/8565/task/8608/stat : 8608 (java) S 8562 8565 8521 0 -1 1077944384 1180 0 0 0 1 0 0 0 20 0 44 0 80970669 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436299527440 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8609] ppid=8562 vsize=27717400 memory=504 CPUtime=0.01 cores=0-7
/proc/8565/task/8609/stat : 8609 (java) S 8562 8565 8521 0 -1 1077944384 1540 0 0 0 1 0 0 0 20 0 44 0 80970669 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436298474384 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8610] ppid=8562 vsize=27717400 memory=1720 CPUtime=239.64 cores=0-7
/proc/8565/task/8610/stat : 8610 (java) R 8562 8565 8521 0 -1 1077944384 333384 0 0 0 23895 69 0 0 20 0 44 0 80970669 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436297420800 140437285205717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8611] ppid=8562 vsize=27717400 memory=928 CPUtime=235.23 cores=0-7
/proc/8565/task/8611/stat : 8611 (java) S 8562 8565 8521 0 -1 1077944384 373285 0 0 0 23455 68 0 0 20 0 44 0 80970671 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436296369808 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8612] ppid=8562 vsize=27717400 memory=2392 CPUtime=0 cores=0-7
/proc/8565/task/8612/stat : 8612 (java) S 8562 8565 8521 0 -1 1077944384 1557 0 0 0 0 0 0 0 20 0 44 0 80970673 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436295317264 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8613] ppid=8562 vsize=27717400 memory=932 CPUtime=0 cores=0-7
/proc/8565/task/8613/stat : 8613 (java) S 8562 8565 8521 0 -1 1077944384 2004 0 0 0 0 0 0 0 20 0 44 0 80986333 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436294264208 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8671] ppid=8562 vsize=27717400 memory=1564 CPUtime=0 cores=0-7
/proc/8565/task/8671/stat : 8671 (java) S 8562 8565 8521 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 44 0 81204802 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436293210736 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8673] ppid=8562 vsize=27717400 memory=2212 CPUtime=0 cores=0-7
/proc/8565/task/8673/stat : 8673 (java) S 8562 8565 8521 0 -1 1077944384 1267 0 0 0 0 0 0 0 20 0 44 0 81204806 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436291104896 140437285206658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
[pid=8565/tid=8674] ppid=8562 vsize=27717400 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8565/task/8674/stat : 8674 (java) S 8562 8565 8521 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 44 0 81204819 28382617600 5878411 33554432000 4194304 4196468 140733079009296 140436292158352 140437285205717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33030144 140733079016526 140733079016709 140733079016709 140733079019471 0
Current children cumulated CPU time: 19361 s
Current children cumulated vsize: 27717400 KiB
Current children cumulated memory: 23513644 KiB

[startup+2520.6 s]
/proc/loadavg: 9.00 8.88 8.76 2/181 8675
/proc/meminfo: memFree=10059596/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2520.8 s]
/proc/loadavg: 9.00 8.88 8.76 2/181 8675
/proc/meminfo: memFree=10059596/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.83
CPU time (s): 19362.2
CPU user time (s): 19194.5
CPU system time (s): 167.687
CPU usage (%): 768.09
Max. virtual memory (cumulated for all children) (KiB): 27783964
Max. memory (cumulated for all children) (KiB): 23514076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19194.5
system time used= 167.687
maximum resident set size= 23514200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60655524
page faults= 8
swaps= 0
block input operations= 192
block output operations= 3656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 586867
involuntary context switches= 390469


# summary of solver processes directly reported to runsolver:
#   pid: 8565
#   total CPU time (s): 19362.2
#   total CPU user time (s): 19194.5
#   total CPU system time (s): 167.687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.8986 second user time and 47.4098 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 21:38:16
IDJOB=4290977
IDBENCH=141136
IDSOLVER=2745
FILE ID=node149/4290977-1532633896
RUNJOBID= node149-1532633896-8548
PBS_JOBID= 21022184
Free space on /tmp= 43256 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290977-1532633896/watcher-4290977-1532633896 -o /tmp/evaluation-result-4290977-1532633896/solver-4290977-1532633896 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532633896-8548 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 116981753 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290977-1532633896.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=116981753

node149.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.60
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.60
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.60
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.60
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:        21676480 kB
MemAvailable:   31924984 kB
Buffers:          162868 kB
Cached:         10228320 kB
SwapCached:            0 kB
Active:          2430920 kB
Inactive:        8014180 kB
Active(anon):       3676 kB
Inactive(anon):    78408 kB
Active(file):    2427244 kB
Inactive(file):  7935772 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             37972 kB
Writeback:             0 kB
AnonPages:         61984 kB
Mapped:            40388 kB
Shmem:             25224 kB
Slab:             342076 kB
SReclaimable:     313948 kB
SUnreclaim:        28128 kB
KernelStack:        3152 kB
PageTables:         4880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43220 MiB
End job on node149 at 2018-07-26 22:20:17