Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-07-26 | SAT (TO) | 1814 | 1920.84 | 244.052 |
Name | PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml |
MD5SUM | 31e85661316b8aad2d1246d7b0a73c1b |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1163 |
Best CPU time to get the best result obtained on this benchmark | 2004.46 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1957 |
Number of constraints | 4000 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1957}] |
Minimum variable degree | 2 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":2,"count":151},{"degree":3,"count":275},{"degree":4,"count":378},{"degree":5,"count":395},{"degree":6,"count":340},{"degree":7,"count":211},{"degree":8,"count":100},{"degree":9,"count":61},{"degree":10,"count":31},{"degree":11,"count":13},{"degree":12,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4000}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4000}] |
Optimization problem | YES |
Type of objective | min SUM |
0.25/0.37 c version: 2017-07-26 0.25/0.37 c seed: 64129734 0.25/0.37 c timeout: 1920 0.25/0.37 c memlimit: 22000 0.25/0.37 c nbcore: 8 0.43/0.40 c Parsing instance... 1.97/0.99 c Parsing done, starting search... 11.59/3.53 o 1956 11.59/3.54 o 1955 11.59/3.54 o 1954 11.59/3.57 o 1953 11.59/3.58 o 1952 11.59/3.58 o 1951 11.59/3.58 o 1950 11.59/3.58 o 1949 11.59/3.58 o 1948 11.59/3.59 o 1947 11.59/3.59 o 1946 11.59/3.59 o 1945 11.59/3.59 o 1944 12.37/3.60 o 1943 12.37/3.61 o 1942 12.37/3.62 o 1941 12.37/3.62 o 1940 12.37/3.62 o 1939 12.37/3.62 o 1938 12.37/3.63 o 1937 12.37/3.63 o 1936 12.37/3.63 o 1935 12.37/3.63 o 1934 12.37/3.63 o 1933 12.37/3.63 o 1932 12.37/3.63 o 1931 12.37/3.63 o 1930 12.37/3.63 o 1929 12.37/3.63 o 1928 12.37/3.63 o 1927 12.37/3.63 o 1926 12.37/3.63 o 1925 12.37/3.64 o 1924 12.37/3.64 o 1923 12.37/3.64 o 1922 12.37/3.64 o 1921 12.37/3.65 o 1920 12.37/3.65 o 1919 12.37/3.65 o 1918 12.37/3.65 o 1917 12.37/3.65 o 1916 12.37/3.66 o 1915 12.37/3.66 o 1914 12.37/3.67 o 1913 12.37/3.67 o 1912 12.37/3.68 o 1911 12.37/3.68 o 1910 12.37/3.69 o 1909 12.37/3.70 o 1908 13.02/3.71 o 1907 13.02/3.71 o 1906 13.02/3.72 o 1905 13.02/3.73 o 1904 13.02/3.73 o 1903 13.02/3.74 o 1902 13.02/3.75 o 1901 13.02/3.75 o 1900 13.02/3.76 o 1899 13.02/3.76 o 1898 13.02/3.77 o 1897 13.02/3.77 o 1896 13.02/3.78 o 1895 13.02/3.79 o 1894 13.02/3.79 o 1893 13.02/3.80 o 1892 13.48/3.80 o 1891 13.48/3.80 o 1890 13.48/3.81 o 1889 13.48/3.82 o 1888 13.48/3.82 o 1887 13.48/3.82 o 1886 13.48/3.83 o 1885 13.48/3.83 o 1884 13.48/3.84 o 1883 13.48/3.84 o 1882 13.48/3.84 o 1881 13.48/3.85 o 1880 13.48/3.85 o 1879 13.48/3.85 o 1878 13.48/3.85 o 1877 13.48/3.86 o 1876 13.48/3.86 o 1875 13.48/3.86 o 1874 13.48/3.87 o 1873 13.48/3.87 o 1872 13.48/3.88 o 1871 13.48/3.88 o 1870 13.48/3.88 o 1869 13.48/3.89 o 1868 13.48/3.89 o 1867 13.48/3.89 o 1866 13.48/3.90 o 1865 13.92/3.90 o 1864 13.92/3.91 o 1863 13.92/3.92 o 1862 13.92/3.93 o 1861 13.92/3.94 o 1860 13.92/3.96 o 1859 14.72/4.04 o 1858 14.72/4.07 o 1857 15.51/4.11 o 1856 15.51/4.13 o 1855 15.51/4.15 o 1854 15.51/4.18 o 1853 16.32/4.21 o 1852 16.32/4.24 o 1851 16.32/4.27 o 1850 17.09/4.37 o 1849 20.28/4.76 o 1848 23.42/5.20 o 1847 27.46/5.61 o 1846 30.59/6.02 o 1845 33.72/6.44 o 1844 36.91/6.83 o 1843 40.10/7.22 o 1842 46.49/8.03 o 1841 52.92/8.82 o 1840 66.34/10.53 o 1839 79.07/12.19 o 1838 94.19/14.01 o 1837 108.55/15.81 o 1836 122.09/17.57 o 1835 137.25/19.47 o 1834 165.92/23.01 o 1833 222.53/30.18 o 1832 279.20/37.26 o 1831 337.50/44.53 o 1830 394.92/51.75 o 1829 453.16/59.08 o 1828 512.98/66.54 o 1827 571.90/73.96 o 1826 630.92/81.36 o 1825 691.53/88.95 o 1824 752.95/96.65 o 1823 872.60/111.68 o 1822 991.42/126.53 o 1821 1114.20/141.94 o 1820 1236.90/157.34 o 1819 1360.79/172.98 o 1818 1484.15/188.66 o 1817 1613.62/205.07 o 1816 1742.85/221.45 o 1815 1875.80/238.38 o 1814 1920.65/244.02 s SATISFIABLE 1920.65/244.02 v <instantiation> 1920.65/244.02 v <list> 1920.65/244.02 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] 1920.65/244.02 v </list> 1920.65/244.02 v <values> 1920.65/244.02 v 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1920.65/244.02 v </values> 1920.65/244.02 v </instantiation>
OK 1814
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257161-1501691577/watcher-4257161-1501691577 -o /tmp/evaluation-result-4257161-1501691577/solver-4257161-1501691577 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 64129734 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257161-1501691577.xml pid=17418 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.03 8.01 8.10 2/177 17421 /proc/meminfo: memFree=31687176/32770624 swapFree=0/262532 [pid=17421] ppid=17418 vsize=23672 CPUtime=0 cores=0-7 /proc/17421/stat : 17421 (runsolver) D 17418 17421 32125 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16973028 24240128 106 18446744073709551615 4194304 4338465 140728434407376 140728434405016 140274525315799 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 14352384 140728434409573 140728434410051 140728434410051 140728434413514 0 /proc/17421/statm: 5918 106 53 36 0 2156 0 [startup+0.100154 s] /proc/loadavg: 8.03 8.01 8.10 2/177 17421 /proc/meminfo: memFree=31687176/32770624 swapFree=0/262532 [pid=17421] ppid=17418 vsize=25300336 CPUtime=0 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 3373 0 0 0 0 0 0 0 20 0 10 0 16973028 25907544064 3540 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6325084 3540 1888 1 0 6314589 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 25300336 [startup+0.200305 s] /proc/loadavg: 8.03 8.01 8.10 2/177 17421 /proc/meminfo: memFree=31687176/32770624 swapFree=0/262532 [pid=17421] ppid=17418 vsize=25996604 CPUtime=0.09 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 6820 0 0 0 8 1 0 0 20 0 20 0 16973028 26620522496 6979 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6499151 6979 3342 1 0 6487938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25996604 [startup+0.30024 s] /proc/loadavg: 8.03 8.01 8.10 2/177 17421 /proc/meminfo: memFree=31687176/32770624 swapFree=0/262532 [pid=17421] ppid=17418 vsize=25997628 CPUtime=0.25 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 10527 0 0 0 22 3 0 0 20 0 20 0 16973028 26621571072 9380 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6499151 9380 3476 1 0 6487938 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 25997628 [startup+0.704954 s] /proc/loadavg: 8.03 8.01 8.10 2/177 17421 /proc/meminfo: memFree=31687176/32770624 swapFree=0/262532 [pid=17421] ppid=17418 vsize=25998672 CPUtime=1.17 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 14497 0 0 0 112 5 0 0 20 0 20 0 16973028 26622640128 17262 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6499668 17262 3723 1 0 6488450 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 25998672 [startup+1.50118 s] /proc/loadavg: 8.03 8.01 8.10 2/197 17441 /proc/meminfo: memFree=31578380/32770624 swapFree=0/262548 [pid=17421] ppid=17418 vsize=26002768 CPUtime=3.65 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 29606 0 0 0 350 15 0 0 20 0 20 0 16973028 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6500692 56487 3772 1 0 6489474 0 [pid=17421/tid=17423] ppid=17418 vsize=26002768 CPUtime=1.34 cores=0-7 /proc/17421/task/17423/stat : 17423 (java) R 17418 17421 32125 0 -1 4202560 14247 0 0 0 127 7 0 0 20 0 20 0 16973036 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127220409896 140126821688642 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17424] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17424/stat : 17424 (java) S 17418 17421 32125 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127143098896 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17425] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17425/stat : 17425 (java) S 17418 17421 32125 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127142046352 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17426] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17426/stat : 17426 (java) S 17418 17421 32125 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127140993296 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17427] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17427/stat : 17427 (java) S 17418 17421 32125 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127139940752 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17428] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17428/stat : 17428 (java) S 17418 17421 32125 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127138888720 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17429] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17429/stat : 17429 (java) S 17418 17421 32125 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127137836176 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17430] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17430/stat : 17430 (java) S 17418 17421 32125 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127136783120 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17431] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17431/stat : 17431 (java) S 17418 17421 32125 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 16973037 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140127135730576 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17432] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17432/stat : 17432 (java) S 17418 17421 32125 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 16973038 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126348925168 140127216183938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17433] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17433/stat : 17433 (java) S 17418 17421 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 16973039 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126347871456 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17434] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17434/stat : 17434 (java) S 17418 17421 32125 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 16973039 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126346818304 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17435] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17435/stat : 17435 (java) S 17418 17421 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16973041 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126345766864 140127216191387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17436] ppid=17418 vsize=26002768 CPUtime=0.53 cores=0-7 /proc/17421/task/17436/stat : 17436 (java) R 17418 17421 32125 0 -1 4202560 2884 0 0 0 53 0 0 0 20 0 20 0 16973041 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126344701424 140127216194138 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17437] ppid=17418 vsize=26002768 CPUtime=0.53 cores=0-7 /proc/17421/task/17437/stat : 17437 (java) R 17418 17421 32125 0 -1 4202560 2731 0 0 0 53 0 0 0 20 0 20 0 16973041 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126343643440 140127195828656 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17438] ppid=17418 vsize=26002768 CPUtime=0.52 cores=0-7 /proc/17421/task/17438/stat : 17438 (java) R 17418 17421 32125 0 -1 4202560 2220 0 0 0 52 0 0 0 20 0 20 0 16973041 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126342609392 140127216184726 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17439] ppid=17418 vsize=26002768 CPUtime=0.59 cores=0-7 /proc/17421/task/17439/stat : 17439 (java) R 17418 17421 32125 0 -1 4202560 5536 0 0 0 58 1 0 0 20 0 20 0 16973041 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126341556848 140127216194138 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17440] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17440/stat : 17440 (java) S 17418 17421 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973042 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126340504032 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17441] ppid=17418 vsize=26002768 CPUtime=0 cores=0-7 /proc/17421/task/17441/stat : 17441 (java) S 17418 17421 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16973045 26626834432 56487 18446744073709551615 4194304 4196468 140724903300448 140126339451568 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 Current children cumulated CPU time (s) 3.65 Current children cumulated vsize (KiB) 26002768 [startup+3.10114 s] /proc/loadavg: 8.03 8.01 8.10 2/197 17441 /proc/meminfo: memFree=31337312/32770624 swapFree=0/262548 [pid=17421] ppid=17418 vsize=27207100 CPUtime=8.47 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 39609 0 0 0 813 34 0 0 20 0 38 0 16973028 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6801775 101843 3792 1 0 6790036 0 [pid=17421/tid=17423] ppid=17418 vsize=27207100 CPUtime=2.59 cores=0-7 /proc/17421/task/17423/stat : 17423 (java) S 17418 17421 32125 0 -1 1077944384 17904 0 0 0 248 11 0 0 20 0 38 0 16973036 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127220410496 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17424] ppid=17418 vsize=27207100 CPUtime=0.04 cores=0-7 /proc/17421/task/17424/stat : 17424 (java) S 17418 17421 32125 0 -1 1077944384 222 0 0 0 2 2 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127143098896 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17425] ppid=17418 vsize=27207100 CPUtime=0.04 cores=0-7 /proc/17421/task/17425/stat : 17425 (java) S 17418 17421 32125 0 -1 1077944384 89 0 0 0 2 2 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127142046352 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17426] ppid=17418 vsize=27207100 CPUtime=0.03 cores=0-7 /proc/17421/task/17426/stat : 17426 (java) S 17418 17421 32125 0 -1 1077944384 78 0 0 0 2 1 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127140993296 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17427] ppid=17418 vsize=27207100 CPUtime=0.03 cores=0-7 /proc/17421/task/17427/stat : 17427 (java) S 17418 17421 32125 0 -1 1077944384 88 0 0 0 2 1 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127139940752 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17428] ppid=17418 vsize=27207100 CPUtime=0.03 cores=0-7 /proc/17421/task/17428/stat : 17428 (java) S 17418 17421 32125 0 -1 1077944384 69 0 0 0 2 1 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127138888720 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17429] ppid=17418 vsize=27207100 CPUtime=0.04 cores=0-7 /proc/17421/task/17429/stat : 17429 (java) S 17418 17421 32125 0 -1 1077944384 93 0 0 0 2 2 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127137836176 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17430] ppid=17418 vsize=27207100 CPUtime=0.03 cores=0-7 /proc/17421/task/17430/stat : 17430 (java) S 17418 17421 32125 0 -1 1077944384 92 0 0 0 2 1 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127136783120 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17431] ppid=17418 vsize=27207100 CPUtime=0.03 cores=0-7 /proc/17421/task/17431/stat : 17431 (java) S 17418 17421 32125 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 38 0 16973037 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140127135730576 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17432] ppid=17418 vsize=27207100 CPUtime=0.01 cores=0-7 /proc/17421/task/17432/stat : 17432 (java) S 17418 17421 32125 0 -1 1077944384 727 0 0 0 1 0 0 0 20 0 38 0 16973038 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126348925168 140127216183938 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17433] ppid=17418 vsize=27207100 CPUtime=0 cores=0-7 /proc/17421/task/17433/stat : 17433 (java) S 17418 17421 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 38 0 16973039 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126347871456 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17434] ppid=17418 vsize=27207100 CPUtime=0 cores=0-7 /proc/17421/task/17434/stat : 17434 (java) S 17418 17421 32125 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 38 0 16973039 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126346818304 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17435] ppid=17418 vsize=27207100 CPUtime=0 cores=0-7 /proc/17421/task/17435/stat : 17435 (java) S 17418 17421 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 16973041 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126345766864 140127216191387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17436] ppid=17418 vsize=27207100 CPUtime=0.99 cores=0-7 /proc/17421/task/17436/stat : 17436 (java) S 17418 17421 32125 0 -1 1077944384 3490 0 0 0 98 1 0 0 20 0 38 0 16973041 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126344714992 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17437] ppid=17418 vsize=27207100 CPUtime=0.89 cores=0-7 /proc/17421/task/17437/stat : 17437 (java) S 17418 17421 32125 0 -1 1077944384 3797 0 0 0 89 0 0 0 20 0 38 0 16973041 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126343662448 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17438] ppid=17418 vsize=27207100 CPUtime=1.03 cores=0-7 /proc/17421/task/17438/stat : 17438 (java) R 17418 17421 32125 0 -1 4202560 3362 0 0 0 102 1 0 0 20 0 38 0 16973041 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126342597184 140127199658813 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17439] ppid=17418 vsize=27207100 CPUtime=0.8 cores=0-7 /proc/17421/task/17439/stat : 17439 (java) S 17418 17421 32125 0 -1 1077944384 7246 0 0 0 79 1 0 0 20 0 38 0 16973041 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126341556848 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17440] ppid=17418 vsize=27207100 CPUtime=0 cores=0-7 /proc/17421/task/17440/stat : 17440 (java) S 17418 17421 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 16973042 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126340504032 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17441] ppid=17418 vsize=27207100 CPUtime=0 cores=0-7 /proc/17421/task/17441/stat : 17441 (java) S 17418 17421 32125 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 38 0 16973045 27860070400 101843 18446744073709551615 4194304 4196468 140724903300448 140126339451568 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 Current children cumulated CPU time (s) 8.47 Current children cumulated vsize (KiB) 27207100 [startup+6.30213 s] /proc/loadavg: 8.02 8.01 8.10 9/223 17467 /proc/meminfo: memFree=30454540/32770624 swapFree=0/262552 [pid=17421] ppid=17418 vsize=27739612 CPUtime=32.93 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 44239 0 0 0 3199 94 0 0 20 0 46 0 16973028 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6934903 319510 3807 1 0 6923164 0 [pid=17421/tid=17423] ppid=17418 vsize=27739612 CPUtime=2.59 cores=0-7 /proc/17421/task/17423/stat : 17423 (java) S 17418 17421 32125 0 -1 1077944384 17904 0 0 0 248 11 0 0 20 0 46 0 16973036 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127220410496 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17424] ppid=17418 vsize=27739612 CPUtime=0.16 cores=0-7 /proc/17421/task/17424/stat : 17424 (java) S 17418 17421 32125 0 -1 1077944384 324 0 0 0 9 7 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127143098896 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17425] ppid=17418 vsize=27739612 CPUtime=0.15 cores=0-7 /proc/17421/task/17425/stat : 17425 (java) S 17418 17421 32125 0 -1 1077944384 177 0 0 0 9 6 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127142046352 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17426] ppid=17418 vsize=27739612 CPUtime=0.14 cores=0-7 /proc/17421/task/17426/stat : 17426 (java) S 17418 17421 32125 0 -1 1077944384 182 0 0 0 9 5 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127140993296 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17427] ppid=17418 vsize=27739612 CPUtime=0.16 cores=0-7 /proc/17421/task/17427/stat : 17427 (java) S 17418 17421 32125 0 -1 1077944384 188 0 0 0 10 6 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127139940752 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17428] ppid=17418 vsize=27739612 CPUtime=0.15 cores=0-7 /proc/17421/task/17428/stat : 17428 (java) S 17418 17421 32125 0 -1 1077944384 154 0 0 0 9 6 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127138888720 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17429] ppid=17418 vsize=27739612 CPUtime=0.16 cores=0-7 /proc/17421/task/17429/stat : 17429 (java) S 17418 17421 32125 0 -1 1077944384 171 0 0 0 10 6 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127137836176 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17430] ppid=17418 vsize=27739612 CPUtime=0.16 cores=0-7 /proc/17421/task/17430/stat : 17430 (java) S 17418 17421 32125 0 -1 1077944384 220 0 0 0 11 5 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127136783120 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17431] ppid=17418 vsize=27739612 CPUtime=0.15 cores=0-7 /proc/17421/task/17431/stat : 17431 (java) S 17418 17421 32125 0 -1 1077944384 158 0 0 0 10 5 0 0 20 0 46 0 16973037 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140127135730576 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17432] ppid=17418 vsize=27739612 CPUtime=0.02 cores=0-7 /proc/17421/task/17432/stat : 17432 (java) S 17418 17421 32125 0 -1 1077944384 1519 0 0 0 2 0 0 0 20 0 46 0 16973038 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126348925168 140127216183938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17433] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17433/stat : 17433 (java) S 17418 17421 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16973039 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126347871456 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17434] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17434/stat : 17434 (java) S 17418 17421 32125 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 16973039 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126346818304 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17435] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17435/stat : 17435 (java) S 17418 17421 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16973041 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126345766864 140127216191387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17436] ppid=17418 vsize=27739612 CPUtime=1.38 cores=0-7 /proc/17421/task/17436/stat : 17436 (java) S 17418 17421 32125 0 -1 1077944384 3569 0 0 0 137 1 0 0 20 0 46 0 16973041 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126344714992 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17437] ppid=17418 vsize=27739612 CPUtime=1.22 cores=0-7 /proc/17421/task/17437/stat : 17437 (java) S 17418 17421 32125 0 -1 1077944384 4430 0 0 0 121 1 0 0 20 0 46 0 16973041 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126343662448 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17438] ppid=17418 vsize=27739612 CPUtime=1.42 cores=0-7 /proc/17421/task/17438/stat : 17438 (java) S 17418 17421 32125 0 -1 1077944384 3849 0 0 0 141 1 0 0 20 0 46 0 16973041 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126342609392 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17439] ppid=17418 vsize=27739612 CPUtime=0.94 cores=0-7 /proc/17421/task/17439/stat : 17439 (java) S 17418 17421 32125 0 -1 1077944384 7492 0 0 0 92 2 0 0 20 0 46 0 16973041 28405362688 319510 18446744073709551615 4194304 4196468 140724903300448 140126341556848 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17440] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=17421/tid=17442] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17442/stat : 17442 (java) S 17418 17421 32125 0 -1 1077944384 1368 0 0 0 1 0 0 0 20 0 46 0 16973279 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140126329164320 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17443] ppid=17418 vsize=27739612 CPUtime=0.26 cores=0-7 /proc/17421/task/17443/stat : 17443 (java) R 17418 17421 32125 0 -1 1077944384 3634 0 0 0 6 20 0 0 20 0 46 0 16973291 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125336494896 140127216183938 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17444] ppid=17418 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/17421/task/17444/stat : 17444 (java) S 17418 17421 32125 0 -1 1077944384 563 0 0 0 8 0 0 0 20 0 46 0 16973302 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125335443088 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17445] ppid=17418 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/17421/task/17445/stat : 17445 (java) S 17418 17421 32125 0 -1 1077944384 76 0 0 0 7 0 0 0 20 0 46 0 16973302 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125334390448 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17446] ppid=17418 vsize=27739612 CPUtime=217.59 cores=0-7 /proc/17421/task/17446/stat : 17446 (java) R 17418 17421 32125 0 -1 4202560 8938 0 0 0 21737 22 0 0 20 0 46 0 16973303 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125331234536 140126815597706 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17447] ppid=17418 vsize=27739612 CPUtime=217.34 cores=0-7 /proc/17421/task/17447/stat : 17447 (java) R 17418 17421 32125 0 -1 4202560 12641 0 0 0 21716 18 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125330183280 140126826021197 0 4 1 16800974 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17448] ppid=17418 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/17421/task/17448/stat : 17448 (java) S 17418 17421 32125 0 -1 1077944384 144 0 0 0 7 0 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125329134736 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17449] ppid=17418 vsize=27739612 CPUtime=216.6 cores=0-7 /proc/17421/task/17449/stat : 17449 (java) R 17418 17421 32125 0 -1 4202560 8232 0 0 0 21639 21 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125328076280 140126825670997 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17450] ppid=17418 vsize=27739612 CPUtime=217.63 cores=0-7 /proc/17421/task/17450/stat : 17450 (java) R 17418 17421 32125 0 -1 4202560 7650 0 0 0 21741 22 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125327025416 140126815597715 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17451] ppid=17418 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/17421/task/17451/stat : 17451 (java) S 17418 17421 32125 0 -1 1077944384 410 0 0 0 8 0 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125325976592 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17452] ppid=17418 vsize=27739612 CPUtime=217.31 cores=0-7 /proc/17421/task/17452/stat : 17452 (java) R 17418 17421 32125 0 -1 4202560 9031 0 0 0 21711 20 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125324922016 140126825670997 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17453] ppid=17418 vsize=27739612 CPUtime=216.66 cores=0-7 /proc/17421/task/17453/stat : 17453 (java) R 17418 17421 32125 0 -1 4202560 7699 0 0 0 21645 21 0 0 20 0 46 0 16973305 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125323866088 140126826531707 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17454] ppid=17418 vsize=27739612 CPUtime=216.8 cores=0-7 /proc/17421/task/17454/stat : 17454 (java) R 17418 17421 32125 0 -1 4202560 8113 0 0 0 21659 21 0 0 20 0 46 0 16973319 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140125322815968 140126822416519 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17455] ppid=17418 vsize=27739612 CPUtime=217.08 cores=0-7 /proc/17421/task/17455/stat : 17455 (java) R 17418 17421 32125 0 -1 4202560 8982 0 0 0 21688 20 0 0 20 0 46 0 16973319 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123911999224 140127201382655 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17456] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17456/stat : 17456 (java) S 17418 17421 32125 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 16973319 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123910951984 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17457] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17457/stat : 17457 (java) S 17418 17421 32125 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 16973319 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123909899440 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17458] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17458/stat : 17458 (java) S 17418 17421 32125 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 46 0 16973319 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123908846480 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17459] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17459/stat : 17459 (java) S 17418 17421 32125 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 46 0 16973319 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123907793936 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17460] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17460/stat : 17460 (java) S 17418 17421 32125 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 16973381 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123904607792 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17461] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17461/stat : 17461 (java) S 17418 17421 32125 0 -1 1077944384 647 0 0 0 1 0 0 0 20 0 46 0 16973382 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123903555344 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17462] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17462/stat : 17462 (java) S 17418 17421 32125 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 16973383 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123902502288 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17463] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17463/stat : 17463 (java) S 17418 17421 32125 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 16973383 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123901449648 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17464] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17464/stat : 17464 (java) S 17418 17421 32125 0 -1 1077944384 697 0 0 0 1 0 0 0 20 0 46 0 16973386 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123900396688 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17465] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17465/stat : 17465 (java) S 17418 17421 32125 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 46 0 16973388 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123899344144 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17466] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17466/stat : 17466 (java) S 17418 17421 32125 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 46 0 16973388 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123898291088 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17467] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17467/stat : 17467 (java) S 17418 17421 32125 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 46 0 16973389 28405362688 1373471 18446744073709551615 4194304 4196468 140724903300448 140123897238544 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 Current children cumulated CPU time (s) 1749.96 Current children cumulated vsize (KiB) 27739612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+244.001 s] /proc/loadavg: 8.72 8.39 8.24 9/224 17483 /proc/meminfo: memFree=26191560/32770624 swapFree=0/262688 [pid=17421] ppid=17418 vsize=27739612 CPUtime=1920.65 cores=0-7 /proc/17421/stat : 17421 (java) S 17418 17421 32125 0 -1 1077944320 201006 0 0 0 191757 308 0 0 20 0 46 0 16973028 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140724903282992 140127216172791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 /proc/17421/statm: 6934903 1374651 3807 1 0 6923164 0 [pid=17421/tid=17423] ppid=17418 vsize=27739612 CPUtime=2.59 cores=0-7 /proc/17421/task/17423/stat : 17423 (java) S 17418 17421 32125 0 -1 1077944384 17904 0 0 0 248 11 0 0 20 0 46 0 16973036 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127220410496 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17424] ppid=17418 vsize=27739612 CPUtime=0.61 cores=0-7 /proc/17421/task/17424/stat : 17424 (java) S 17418 17421 32125 0 -1 1077944384 6017 0 0 0 47 14 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127143098896 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17425] ppid=17418 vsize=27739612 CPUtime=0.62 cores=0-7 /proc/17421/task/17425/stat : 17425 (java) S 17418 17421 32125 0 -1 1077944384 6603 0 0 0 47 15 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127142046352 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17426] ppid=17418 vsize=27739612 CPUtime=0.59 cores=0-7 /proc/17421/task/17426/stat : 17426 (java) S 17418 17421 32125 0 -1 1077944384 4303 0 0 0 46 13 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127140993296 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17427] ppid=17418 vsize=27739612 CPUtime=0.61 cores=0-7 /proc/17421/task/17427/stat : 17427 (java) S 17418 17421 32125 0 -1 1077944384 5528 0 0 0 47 14 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127139940752 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17428] ppid=17418 vsize=27739612 CPUtime=0.6 cores=0-7 /proc/17421/task/17428/stat : 17428 (java) S 17418 17421 32125 0 -1 1077944384 6657 0 0 0 45 15 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127138888720 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17429] ppid=17418 vsize=27739612 CPUtime=0.61 cores=0-7 /proc/17421/task/17429/stat : 17429 (java) S 17418 17421 32125 0 -1 1077944384 5934 0 0 0 48 13 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127137836176 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17430] ppid=17418 vsize=27739612 CPUtime=0.6 cores=0-7 /proc/17421/task/17430/stat : 17430 (java) S 17418 17421 32125 0 -1 1077944384 4895 0 0 0 47 13 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127136783120 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17431] ppid=17418 vsize=27739612 CPUtime=0.61 cores=0-7 /proc/17421/task/17431/stat : 17431 (java) S 17418 17421 32125 0 -1 1077944384 6297 0 0 0 48 13 0 0 20 0 46 0 16973037 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140127135730576 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17432] ppid=17418 vsize=27739612 CPUtime=0.42 cores=0-7 /proc/17421/task/17432/stat : 17432 (java) S 17418 17421 32125 0 -1 1077944384 16568 0 0 0 36 6 0 0 20 0 46 0 16973038 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126348925168 140127216183938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17433] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17433/stat : 17433 (java) S 17418 17421 32125 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16973039 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126347871456 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17434] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17434/stat : 17434 (java) S 17418 17421 32125 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 16973039 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126346818304 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17435] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17435/stat : 17435 (java) S 17418 17421 32125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16973041 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126345766864 140127216191387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17436] ppid=17418 vsize=27739612 CPUtime=1.38 cores=0-7 /proc/17421/task/17436/stat : 17436 (java) S 17418 17421 32125 0 -1 1077944384 3634 0 0 0 137 1 0 0 20 0 46 0 16973041 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126344714992 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17437] ppid=17418 vsize=27739612 CPUtime=1.24 cores=0-7 /proc/17421/task/17437/stat : 17437 (java) S 17418 17421 32125 0 -1 1077944384 6049 0 0 0 123 1 0 0 20 0 46 0 16973041 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126343662448 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17438] ppid=17418 vsize=27739612 CPUtime=1.43 cores=0-7 /proc/17421/task/17438/stat : 17438 (java) S 17418 17421 32125 0 -1 1077944384 4727 0 0 0 142 1 0 0 20 0 46 0 16973041 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126342609392 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17439] ppid=17418 vsize=27739612 CPUtime=0.96 cores=0-7 /proc/17421/task/17439/stat : 17439 (java) S 17418 17421 32125 0 -1 1077944384 12124 0 0 0 94 2 0 0 20 0 46 0 16973041 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126341556848 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17440] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17440/stat : 17440 (java) S 17418 17421 32125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16973042 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126340504032 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17441] ppid=17418 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/17421/task/17441/stat : 17441 (java) S 17418 17421 32125 0 -1 1077944384 936 0 0 0 4 4 0 0 20 0 46 0 16973045 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126339451568 140127216183938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17442] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17442/stat : 17442 (java) S 17418 17421 32125 0 -1 1077944384 1445 0 0 0 1 0 0 0 20 0 46 0 16973279 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140126329164320 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17443] ppid=17418 vsize=27739612 CPUtime=0.29 cores=0-7 /proc/17421/task/17443/stat : 17443 (java) R 17418 17421 32125 0 -1 1077944384 4130 0 0 0 7 22 0 0 20 0 46 0 16973291 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125336494896 140127216183938 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17444] ppid=17418 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/17421/task/17444/stat : 17444 (java) S 17418 17421 32125 0 -1 1077944384 567 0 0 0 8 0 0 0 20 0 46 0 16973302 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125335443088 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17445] ppid=17418 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/17421/task/17445/stat : 17445 (java) S 17418 17421 32125 0 -1 1077944384 76 0 0 0 7 0 0 0 20 0 46 0 16973302 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125334390448 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17446] ppid=17418 vsize=27739612 CPUtime=238.84 cores=0-7 /proc/17421/task/17446/stat : 17446 (java) R 17418 17421 32125 0 -1 4202560 10400 0 0 0 23861 23 0 0 20 0 46 0 16973303 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125331235848 140126826532142 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17447] ppid=17418 vsize=27739612 CPUtime=238.57 cores=0-7 /proc/17421/task/17447/stat : 17447 (java) R 17418 17421 32125 0 -1 4202560 14195 0 0 0 23838 19 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125330181744 140126825584451 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17448] ppid=17418 vsize=27739612 CPUtime=0.07 cores=0-7 /proc/17421/task/17448/stat : 17448 (java) S 17418 17421 32125 0 -1 1077944384 146 0 0 0 7 0 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125329134736 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17449] ppid=17418 vsize=27739612 CPUtime=237.89 cores=0-7 /proc/17421/task/17449/stat : 17449 (java) R 17418 17421 32125 0 -1 4202560 9517 0 0 0 23768 21 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125328079040 140126826532571 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17450] ppid=17418 vsize=27739612 CPUtime=238.81 cores=0-7 /proc/17421/task/17450/stat : 17450 (java) R 17418 17421 32125 0 -1 4202560 8993 0 0 0 23858 23 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125327022864 140126826531731 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17451] ppid=17418 vsize=27739612 CPUtime=0.08 cores=0-7 /proc/17421/task/17451/stat : 17451 (java) S 17418 17421 32125 0 -1 1077944384 549 0 0 0 8 0 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125325976592 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17452] ppid=17418 vsize=27739612 CPUtime=238.58 cores=0-7 /proc/17421/task/17452/stat : 17452 (java) R 17418 17421 32125 0 -1 4202560 10176 0 0 0 23837 21 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125324918288 140126815597706 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17453] ppid=17418 vsize=27739612 CPUtime=237.89 cores=0-7 /proc/17421/task/17453/stat : 17453 (java) R 17418 17421 32125 0 -1 4202560 8941 0 0 0 23768 21 0 0 20 0 46 0 16973305 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125323867504 140126826531803 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17454] ppid=17418 vsize=27739612 CPUtime=238.06 cores=0-7 /proc/17421/task/17454/stat : 17454 (java) R 17418 17421 32125 0 -1 4202560 9545 0 0 0 23784 22 0 0 20 0 46 0 16973319 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140125322812912 140126826532606 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17455] ppid=17418 vsize=27739612 CPUtime=238.13 cores=0-7 /proc/17421/task/17455/stat : 17455 (java) R 17418 17421 32125 0 -1 4202560 9958 0 0 0 23792 21 0 0 20 0 46 0 16973319 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123912000512 140126826532659 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17456] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17456/stat : 17456 (java) S 17418 17421 32125 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 16973319 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123910951984 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17457] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17457/stat : 17457 (java) S 17418 17421 32125 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 16973319 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123909899440 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17458] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17458/stat : 17458 (java) S 17418 17421 32125 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 46 0 16973319 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123908846480 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17459] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17459/stat : 17459 (java) S 17418 17421 32125 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 46 0 16973319 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123907793936 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17460] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17460/stat : 17460 (java) S 17418 17421 32125 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 16973381 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123904607792 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17461] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17461/stat : 17461 (java) S 17418 17421 32125 0 -1 1077944384 649 0 0 0 1 0 0 0 20 0 46 0 16973382 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123903555344 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17462] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17462/stat : 17462 (java) S 17418 17421 32125 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 46 0 16973383 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123902502288 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17463] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17463/stat : 17463 (java) S 17418 17421 32125 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 16973383 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123901449648 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17464] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17464/stat : 17464 (java) S 17418 17421 32125 0 -1 1077944384 699 0 0 0 1 0 0 0 20 0 46 0 16973386 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123900396688 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17465] ppid=17418 vsize=27739612 CPUtime=0 cores=0-7 /proc/17421/task/17465/stat : 17465 (java) S 17418 17421 32125 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 46 0 16973388 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123899344144 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17466] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17466/stat : 17466 (java) S 17418 17421 32125 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 46 0 16973388 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123898291088 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 [pid=17421/tid=17467] ppid=17418 vsize=27739612 CPUtime=0.01 cores=0-7 /proc/17421/task/17467/stat : 17467 (java) S 17418 17421 32125 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 46 0 16973389 28405362688 1374651 18446744073709551615 4194304 4196468 140724903300448 140123897238544 140127216182997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10035200 140724903305617 140724903305800 140724903305800 140724903309263 0 Current children cumulated CPU time (s) 1920.65 Current children cumulated vsize (KiB) 27739612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17421 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 244.052 CPU time (s): 1920.84 CPU user time (s): 1917.72 CPU system time (s): 3.1161 CPU usage (%): 787.06 Max. virtual memory (cumulated for all children) (KiB): 27739612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1917.72 system time used= 3.1161 maximum resident set size= 5501812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201734 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 59163 involuntary context switches= 42594 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.20839 second user time and 2.64262 second system time The end
Begin job on node133 at 2017-08-02 18:18:50 IDJOB=4257161 IDBENCH=135252 IDSOLVER=2641 FILE ID=node133/4257161-1501691577 RUNJOBID= node133-1501676554-32181 PBS_JOBID= Free space on /tmp= 61864 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-07-26 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-vtxcov/Pb-vtxcov-v2000-e4000-05.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257161-1501691577/watcher-4257161-1501691577 -o /tmp/evaluation-result-4257161-1501691577/solver-4257161-1501691577 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node133-1501676554-32181 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 64129734 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257161-1501691577.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 31e85661316b8aad2d1246d7b0a73c1b RANDOM SEED=64129734 node133.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.17 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.17 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.17 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.17 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: 31687444 kB MemAvailable: 32005632 kB Buffers: 146960 kB Cached: 458048 kB SwapCached: 0 kB Active: 387968 kB Inactive: 279260 kB Active(anon): 62572 kB Inactive(anon): 16728 kB Active(file): 325396 kB Inactive(file): 262532 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42360 kB Writeback: 0 kB AnonPages: 62088 kB Mapped: 30980 kB Shmem: 17084 kB Slab: 117996 kB SReclaimable: 92188 kB SUnreclaim: 25808 kB KernelStack: 3216 kB PageTables: 4420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286236 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61820 MiB End job on node133 at 2017-08-02 18:22:55