Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Solver of Xavier Schul & Yvhan Smal 2018-04-28 | SAT (TO) | 201740847 | 2520.09 | 2446.06 |
Name | Fapp/Fapp-ext/ Fapp-ext-02-0250_c18.xml |
MD5SUM | 24bf88c1c49a1faaa01f312934ed4415 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 181903419 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4758 |
Number of constraints | 3055 |
Number of domains | 59 |
Minimum domain size | 1 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}] |
Minimum variable degree | 2 |
Maximum variable degree | 1420 |
Distribution of variable degrees | [{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}] |
Number of extensional constraints | 3055 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":3055}] |
Optimization problem | YES |
Type of objective | min SUM |
0.13/0.13 c version: 2018-04-11 0.13/0.13 c seed: 1811631 0.13/0.13 c timeout: -1 0.13/0.13 c memlimit: -1 0.13/0.13 c nbcore: -1 57.37/35.78 o 201740874 57.37/35.79 o 201740871 57.49/35.80 o 201740870 57.49/35.80 o 201740868 57.49/35.85 o 201740867 57.66/35.98 o 201740865 57.78/36.01 o 201740864 62.31/40.38 o 201740862 62.31/40.39 o 201740860 62.42/40.43 o 201740859 79.82/57.24 o 201740858 79.82/57.25 o 201740856 79.82/57.28 o 201740855 320.13/292.37 o 201740854 680.30/645.02 o 201740853 872.37/833.12 o 201740852 1799.30/1740.67 o 201740851 1799.30/1740.68 o 201740850 1799.30/1740.69 o 201740849 1799.40/1740.72 o 201740848 2064.64/2000.32 o 201740847 2520.01/2446.01 s SATISFIABLE 2520.01/2446.02 v <instantiation> 2520.01/2446.02 v <list> 2520.01/2446.02 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] 2520.01/2446.02 v </list> 2520.01/2446.02 v <values> 2520.01/2446.02 v 2452 2548 2604 2348 2616 2300 2492 2392 2284 2300 2632 2284 2616 2520 2376 2464 2492 2508 2584 2636 2448 2540 2516 2616 2296 2368 2336 2280 2444 2516 2512 2284 2392 2440 2256 2508 2560 2412 2596 2296 2564 2240 2432 2552 2280 2624 2408 2556 2324 2296 2516 2576 2292 2624 2612 2516 2524 2452 2580 2460 2544 2392 2532 2556 2468 2564 2444 2380 2244 2300 2340 2436 2372 2588 2488 2524 2616 2316 2464 2472 2584 2556 2572 2652 2556 2620 2480 2420 2636 2496 2524 2240 2448 2280 2440 2404 2240 2596 2432 2376 2656 2404 2320 2308 2616 2644 2552 2644 2508 2512 2504 2364 2612 2576 2616 2592 2320 2648 2432 2360 2280 2340 2424 2360 2636 2476 2656 2468 2444 2452 2296 2628 2256 2580 2580 2656 2596 2592 2404 2652 2356 2468 2616 2468 2244 2432 2432 2616 2620 2576 2512 2420 2320 2572 2584 2252 2568 2304 2596 2352 2624 2616 2480 2604 2492 2340 2604 2544 2576 2340 2264 2556 2392 2612 2488 2484 2572 2500 2556 2428 2472 2404 2608 2312 2640 2612 2600 2616 2336 2300 2516 2656 2504 2612 2576 2312 2560 2248 2536 2480 2652 2596 2384 2416 2612 2592 2552 2500 2552 2292 2436 2620 2456 2460 2476 2656 2428 2476 2444 2280 2240 2408 2592 2572 2260 2288 2508 2600 2644 2608 2564 2352 2596 2392 2396 2380 2368 2388 2440 2396 2584 2516 2556 2292 2584 2416 2332 2356 2656 2332 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 8 0 0 1 7 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 9 0 9 0 0 9 0 1 0 1 1 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 0 6 7 0 9 7 0 9 0 1 0 0 0 1 8 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 5 0 0 0 9 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 3 0 0 0 1 8 0 0 0 0 0 0 0 0 0 0 5 0 0 9 1 0 0 0 9 4 0 7 2 4 1 0 0 4 1 0 0 0 0 9 9 0 0 0 0 8 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 3 0 0 4 0 0 0 5 2 1 0 0 0 0 2 0 1 0 0 8 0 8 6 1 9 0 0 0 9 0 0 1 1 0 0 0 2 0 0 0 0 0 0 0 1 0 0 6 1 0 0 7 0 1 9 1 0 0 9 0 0 4 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 9 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 4 4 1 0 1 0 0 0 2 8 9 0 1 0 0 0 1 1 5 0 0 0 0 0 9 0 0 0 0 0 3 0 4 0 0 0 6 0 0 1 0 9 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 6 1 0 0 0 0 9 0 1 0 0 1 9 0 0 0 1 0 0 0 1 0 0 0 5 3 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 1 0 3 9 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 9 0 0 0 6 8 0 0 0 0 1 0 0 0 2 9 0 0 0 0 1 0 9 3 0 0 0 3 0 0 0 5 1 1 0 0 0 0 1 8 1 0 0 0 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 4 1 1 8 0 0 0 0 0 0 9 9 0 0 0 8 0 7 6 0 0 0 0 0 0 0 8 0 0 0 0 0 0 7 0 9 8 0 0 0 0 0 1 0 0 0 1 0 9 1 0 0 1 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 9 2 0 1 9 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 7 0 1 1 1 0 0 0 1 1 9 4 0 0 0 0 0 5 0 9 9 0 2 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 9 0 0 0 0 0 0 2 1 4 0 0 0 0 8 0 6 0 0 4 0 4 6 7 0 0 0 6 0 6 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 5 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 1 0 0 9 4 0 0 1 1 0 0 0 0 0 0 0 1 9 7 0 0 0 9 0 9 0 0 0 1 9 0 1 1 0 0 2 0 1 0 0 0 9 0 0 7 0 1 0 0 0 0 1 0 0 0 3 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 9 0 9 0 0 5 1 0 1 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 1 1 0 1 9 0 5 8 0 0 0 0 9 0 0 0 0 0 0 0 0 6 4 0 5 0 0 0 0 1 1 0 0 1 9 0 0 0 0 0 1 0 1 0 0 0 5 1 0 1 0 1 0 7 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 2 1 8 0 1 1 1 0 8 9 0 8 0 0 0 7 5 1 0 0 0 0 4 0 0 6 0 0 0 0 0 0 0 0 6 2 0 1 0 0 0 0 0 0 6 0 0 0 9 0 0 6 1 0 0 9 0 0 0 0 0 0 3 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 2 6 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 1 0 0 0 0 0 9 0 1 9 0 0 0 0 0 7 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 5 0 0 0 9 8 2 0 0 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 8 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 3 0 1 0 9 0 5 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 5 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 9 1 0 1 9 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 2 6 0 0 5 0 4 0 0 1 0 3 0 0 0 0 0 1 0 8 0 0 9 0 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 9 0 0 0 0 1 1 0 8 8 0 0 1 0 0 0 0 8 7 0 0 9 9 1 9 0 0 5 0 1 5 1 0 9 1 9 6 0 8 9 0 0 0 5 9 4 0 0 7 0 2 0 1 7 9 0 3 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 8 0 0 1 0 0 0 0 1 180 184 156 136 184 188 120 48 148 204 68 32 156 84 88 52 24 188 88 104 208 64 108 36 256 192 12 192 40 172 200 360 316 224 144 116 288 268 276 208 56 36 68 148 172 32 44 120 308 44 352 116 200 64 156 208 356 68 132 264 288 316 268 308 136 24 4 44 104 116 104 248 156 68 108 60 60 104 160 116 172 40 132 76 180 12 52 28 36 248 264 112 204 252 60 348 224 240 148 260 328 20 80 212 20 56 168 316 252 200 20 60 16 296 88 260 160 20 76 24 64 28 16 240 252 232 84 148 292 248 304 240 12 136 196 288 152 192 44 372 360 296 36 48 12 44 112 20 232 188 356 184 8 224 36 68 144 136 136 56 76 36 240 140 136 68 196 200 92 180 16 236 40 200 88 44 44 168 116 156 104 52 72 188 80 88 36 144 52 212 84 248 152 252 212 88 152 156 136 24 84 232 96 136 224 48 264 212 148 156 84 136 88 52 144 12 112 292 108 140 188 380 244 296 24 24 324 136 180 52 68 76 44 108 148 156 32 116 72 16 52 68 36 72 60 236 64 52 196 104 16 72 84 56 320 36 168 112 256 372 60 188 316 20 324 248 136 136 184 148 100 92 220 244 248 268 256 248 204 240 68 88 20 12 116 252 236 96 132 96 236 32 148 220 304 108 100 296 56 316 292 160 72 120 44 28 68 88 112 64 16 276 100 60 88 40 148 40 108 144 108 64 32 132 144 232 296 136 296 184 216 104 132 220 52 196 80 28 56 264 224 148 180 180 112 204 160 44 112 92 196 180 156 216 176 136 64 32 180 260 164 380 148 104 212 4 32 140 100 44 184 88 148 216 316 220 88 92 56 56 256 68 100 152 300 48 164 144 80 296 280 192 92 276 152 164 0 20 52 256 212 236 84 52 356 152 284 96 320 264 164 56 192 324 56 312 72 224 232 336 340 256 356 124 204 412 356 244 260 72 296 140 20 28 92 92 28 216 148 160 28 80 68 40 128 216 104 96 92 128 276 12 264 300 296 376 32 272 304 112 148 172 204 28 196 124 344 16 36 28 180 176 100 48 44 88 176 196 108 248 168 28 200 184 136 124 152 200 312 28 56 128 36 160 180 44 292 288 288 136 152 268 64 176 68 112 268 8 40 80 160 4 28 140 132 76 140 284 20 296 236 4 236 64 80 132 100 112 284 364 156 248 148 48 148 232 152 80 296 304 40 40 140 108 112 236 272 100 52 252 96 92 184 28 80 72 52 96 232 128 136 148 104 52 200 204 300 176 340 260 148 240 172 72 184 288 8 88 40 28 104 64 96 100 108 44 48 48 60 116 244 112 184 52 220 96 264 116 12 192 64 96 88 228 192 80 272 136 16 88 72 52 120 264 128 56 188 36 92 48 76 36 68 72 184 56 160 40 12 176 168 212 92 112 144 60 16 72 272 112 224 172 48 392 352 404 116 412 12 60 312 92 316 16 16 104 204 4 52 324 316 236 352 92 88 96 108 252 20 112 64 16 228 12 272 116 216 192 184 84 64 140 68 272 128 108 56 156 48 324 116 12 348 296 96 132 8 168 20 56 84 28 204 56 52 204 52 152 92 260 276 4 128 304 156 8 32 260 268 132 36 116 280 300 24 76 336 236 172 212 60 192 184 128 136 120 108 148 232 48 108 40 96 168 28 32 180 140 344 68 16 192 20 216 80 48 100 148 16 8 92 120 276 44 40 28 56 156 204 96 204 100 88 304 84 100 16 168 264 200 380 340 196 28 4 36 192 380 48 60 44 116 132 128 120 44 240 128 104 148 180 196 184 72 52 396 212 276 20 296 324 252 20 40 56 160 80 176 64 120 196 12 68 100 284 204 216 244 88 76 72 376 212 352 376 336 320 188 8 44 104 4 164 192 124 316 164 336 24 312 156 128 116 8 96 132 68 208 248 216 152 40 112 416 408 356 412 12 240 248 404 164 60 340 0 292 60 188 336 228 56 180 136 36 168 124 84 240 176 36 280 124 240 176 20 224 212 300 100 356 344 176 152 192 208 216 72 204 76 68 256 320 20 88 336 96 296 268 344 284 44 60 172 12 72 136 108 132 284 392 292 216 44 308 84 256 12 76 56 64 60 168 260 52 240 100 88 332 260 252 64 120 96 24 104 140 68 80 256 72 112 32 28 12 144 48 184 144 152 208 72 152 120 68 148 104 252 116 140 52 44 160 20 144 260 44 136 352 220 196 256 48 40 76 188 32 20 56 172 272 140 348 80 200 292 116 240 76 336 112 32 332 352 20 256 32 348 204 92 184 184 140 100 220 236 208 196 280 256 248 80 80 72 112 136 216 28 228 148 160 64 92 56 164 44 212 208 20 296 224 224 4 316 20 28 36 200 356 64 20 96 60 136 36 60 224 252 344 180 60 140 24 80 148 68 116 36 144 60 188 160 140 140 172 136 328 320 308 32 344 356 12 324 112 52 232 248 360 348 316 56 344 396 296 340 140 112 36 28 20 244 288 184 140 76 100 4 176 32 36 120 60 40 228 344 148 140 128 20 112 284 80 136 212 88 168 24 76 100 152 300 264 80 100 120 96 288 84 44 76 28 48 136 312 208 356 108 220 68 104 216 56 168 48 44 140 184 184 276 72 188 8 336 16 248 228 120 36 84 144 252 180 288 76 80 316 20 92 44 8 60 52 136 64 144 32 20 248 292 20 292 292 44 96 240 244 24 148 188 128 80 96 268 8 256 328 276 44 92 28 256 96 284 56 60 204 164 300 80 232 284 216 52 180 72 28 116 48 148 176 364 84 8 152 140 52 144 88 160 100 304 268 224 48 176 68 8 52 160 232 136 212 40 36 208 160 52 176 96 100 52 292 224 344 48 380 124 132 56 56 220 308 200 88 44 28 48 168 24 124 44 36 28 280 136 332 72 84 164 104 144 172 264 92 188 88 136 104 224 80 148 232 136 124 104 116 92 192 252 204 180 172 368 48 204 84 272 44 212 260 244 264 96 360 44 52 228 40 104 52 96 36 80 132 104 60 76 324 56 108 112 152 180 84 312 36 116 164 44 204 84 60 236 212 216 208 72 272 60 24 48 216 320 136 52 112 32 120 156 124 44 184 32 76 224 72 240 64 48 76 88 132 304 72 148 200 152 72 152 320 304 176 212 304 228 168 44 264 60 8 44 108 252 228 140 224 40 168 324 2520.01/2446.02 v </values> 2520.01/2446.02 v </instantiation>
OK 201740847
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10616 MiB free) memory of node 1: 16384 MiB (13747 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299001-1532789482/watcher-4299001-1532789482 -o /tmp/evaluation-result-4299001-1532789482/solver-4299001-1532789482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23261 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299001-1532789482.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24976, runsolver pid=24973 [startup+0.100111 s]* /proc/loadavg: 1.19 1.25 1.34 4/215 24991 /proc/meminfo: memFree=24932568/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661052 memory=28008 CPUtime=0.13 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 5397 0 0 0 12 1 0 0 20 0 15 0 96511399 10916917248 7002 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665263 7002 2846 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=-8197568871503140227 CPUtime=0.09 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 3279 0 0 0 9 0 0 0 20 0 15 0 96511399 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073543574656 140073523389797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 7002 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) R 24973 24976 23229 0 -1 4202560 428 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) R 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0.02 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) R 24973 24976 23229 0 -1 4202560 321 0 0 0 2 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072567409264 140073531583294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 7002 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10661052 KiB Current children cumulated memory: 28008 KiB [startup+0.210584 s]* /proc/loadavg: 1.19 1.25 1.34 5/215 24991 /proc/meminfo: memFree=24920720/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661052 memory=40600 CPUtime=0.35 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 8265 0 0 0 33 2 0 0 20 0 15 0 96511399 10916917248 10150 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665263 10150 3007 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 5148 0 0 0 19 1 0 0 20 0 15 0 96511399 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073543584384 140073127410948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=364 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=140676719631607 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 10150 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) R 24973 24976 23229 0 -1 4202560 797 0 0 0 3 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072569514864 140073523738208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) R 24973 24976 23229 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0.08 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) R 24973 24976 23229 0 -1 4202560 830 0 0 0 8 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072567407056 140073523426654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 10150 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 10661052 KiB Current children cumulated memory: 40600 KiB [startup+0.311166 s]* /proc/loadavg: 1.19 1.25 1.34 5/215 24991 /proc/meminfo: memFree=24857672/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661052 memory=111680 CPUtime=0.6 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 9648 0 0 0 56 4 0 0 20 0 15 0 96511399 10916917248 27408 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665263 27920 3051 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 5186 0 0 0 27 3 0 0 20 0 15 0 96511399 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073543583952 140073539368093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=304556149079015447 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=140676719632291 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511400 10916917248 27986 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) R 24973 24976 23229 0 -1 4202560 1148 0 0 0 7 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072569505944 140073531635549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) R 24973 24976 23229 0 -1 4202560 1116 0 0 0 8 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072568443080 140073522846365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0.12 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=140676719097472 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 27986 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 10661052 KiB Current children cumulated memory: 111680 KiB [startup+0.709206 s] /proc/loadavg: 1.19 1.25 1.34 5/215 24991 /proc/meminfo: memFree=24662252/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661052 memory=487272 CPUtime=1.73 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 12964 0 0 0 136 37 0 0 20 0 15 0 96511399 10916917248 121818 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665263 121818 3094 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661052 memory=16236 CPUtime=0.52 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) S 24973 24976 23229 0 -1 1077944384 5216 0 0 0 47 5 0 0 20 0 15 0 96511399 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073543585424 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661052 memory=4048 CPUtime=0.11 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) R 24973 24976 23229 0 -1 4202560 203 0 0 0 5 6 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073465421144 140073532449201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661052 memory=640 CPUtime=0.13 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) R 24973 24976 23229 0 -1 4202560 201 0 0 0 5 8 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073464368144 140073532445823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661052 memory=1788 CPUtime=0.13 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) R 24973 24976 23229 0 -1 4202560 209 0 0 0 6 7 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073463315344 140073532445867 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661052 memory=960 CPUtime=0.13 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) R 24973 24976 23229 0 -1 4202560 255 0 0 0 6 7 0 0 20 0 15 0 96511400 10916917248 121818 33554432000 4194304 4196468 140734805441072 140073462262432 140073532449146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661052 memory=1232 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96511401 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072573723584 140073539356373 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661052 memory=2332 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072572671008 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661052 memory=928 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96511402 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661052 memory=6153431502485415274 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661052 memory=6081108994580113768 CPUtime=0.2 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 2042 0 0 0 20 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661052 memory=6154282490091891024 CPUtime=0.29 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 2457 0 0 0 29 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661052 memory=0 CPUtime=0.13 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 927 0 0 0 13 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661052 memory=1200 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96511405 10916917248 121818 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 1.73 s Current children cumulated vsize: 10661052 KiB Current children cumulated memory: 487272 KiB [startup+1.50082 s] /proc/loadavg: 1.19 1.25 1.34 6/215 24991 /proc/meminfo: memFree=24466148/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661128 memory=732596 CPUtime=3.95 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 15387 0 0 0 337 58 0 0 20 0 15 0 96511399 10916995072 183149 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665282 183149 3150 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=691180 CPUtime=1.19 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 5612 0 0 0 111 8 0 0 20 0 15 0 96511399 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073543583760 140073131063085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 283 0 0 0 12 10 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=0 CPUtime=0.24 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 284 0 0 0 12 12 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=0 CPUtime=0.25 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 357 0 0 0 13 12 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6943526294502006880 CPUtime=0.25 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 426 0 0 0 13 12 0 0 20 0 15 0 96511400 10916995072 183149 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 96511401 10916995072 183149 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 ################ # More data... # ################ /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 239178 0 0 0 229783 99 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585664 140073127716378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=3232 CPUtime=21.73 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 89124 0 0 0 2086 87 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=6559608 CPUtime=21.8 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 96141 0 0 0 2094 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=6559608 CPUtime=21.88 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 89825 0 0 0 2100 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6559608 CPUtime=21.8 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 87579 0 0 0 2094 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.21 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 18456 0 0 0 109 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=3868 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.87 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9498 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2.32 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9171 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0.6 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5645 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.49 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1481 0 0 0 68 81 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 2393.62 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 6559608 KiB [startup+2382.3 s] /proc/loadavg: 1.41 1.44 1.81 3/215 25395 /proc/meminfo: memFree=16603800/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2454.91 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 659605 0 0 0 244960 531 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665282 1639902 3194 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=5756 CPUtime=2358.37 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 244990 0 0 0 235737 100 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585744 140073133041159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.16 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 90409 0 0 0 2128 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.21 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 97439 0 0 0 2135 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.3 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 91622 0 0 0 2142 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.23 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 89183 0 0 0 2137 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.24 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 18688 0 0 0 112 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=3868 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.87 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9500 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2.32 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9174 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=3868 CPUtime=0.6 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5647 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=960 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=1232 CPUtime=1.52 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1504 0 0 0 69 83 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 2454.91 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 6559608 KiB [startup+2442.3 s] /proc/loadavg: 1.67 1.51 1.81 3/215 25396 /proc/meminfo: memFree=16603620/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2516.23 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 672203 0 0 0 251088 535 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665282 1639902 3194 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2417.91 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 250983 0 0 0 241690 101 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585744 140073127716342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.58 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 91632 0 0 0 2170 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.64 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 98785 0 0 0 2178 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.73 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 93747 0 0 0 2184 89 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=6559608 CPUtime=22.66 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 90800 0 0 0 2180 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.26 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 18934 0 0 0 114 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.87 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9503 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=3868 CPUtime=2.32 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9182 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=6559608 CPUtime=0.6 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5652 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=840 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=6559608 CPUtime=1.56 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1536 0 0 0 71 85 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 2516.23 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 6559608 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2446 s]* /proc/loadavg: 1.69 1.52 1.81 3/215 25396 /proc/meminfo: memFree=16603620/32770624 swapFree=67108532/67108860 [pid=24976] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2520.01 cores=1,3,5,7 /proc/24976/stat : 24976 (java) S 24973 24976 23229 0 -1 1077944320 679107 0 0 0 251465 536 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140734805423616 140073539346167 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 /proc/24976/statm: 2665282 1639902 3194 1 0 2627263 0 [pid=24976/tid=24978] ppid=24973 vsize=10661128 memory=1398720917958146503 CPUtime=2421.6 cores=1,3,5,7 /proc/24976/task/24978/stat : 24978 (java) R 24973 24976 23229 0 -1 4202560 252472 0 0 0 242058 102 0 0 20 0 15 0 96511399 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073543585856 140073133038721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24979] ppid=24973 vsize=10661128 memory=4872558044660077418 CPUtime=22.61 cores=1,3,5,7 /proc/24976/task/24979/stat : 24979 (java) S 24973 24976 23229 0 -1 1077944384 92866 0 0 0 2173 88 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073465420944 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24980] ppid=24973 vsize=10661128 memory=15436 CPUtime=22.66 cores=1,3,5,7 /proc/24976/task/24980/stat : 24980 (java) S 24973 24976 23229 0 -1 1077944384 99645 0 0 0 2180 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073464368144 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24981] ppid=24973 vsize=10661128 memory=16708 CPUtime=22.75 cores=1,3,5,7 /proc/24976/task/24981/stat : 24981 (java) S 24973 24976 23229 0 -1 1077944384 95500 0 0 0 2186 89 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073463315344 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24982] ppid=24973 vsize=10661128 memory=16236 CPUtime=22.69 cores=1,3,5,7 /proc/24976/task/24982/stat : 24982 (java) S 24973 24976 23229 0 -1 1077944384 92139 0 0 0 2183 86 0 0 20 0 15 0 96511400 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140073462262544 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24983] ppid=24973 vsize=10661128 memory=3852 CPUtime=1.26 cores=1,3,5,7 /proc/24976/task/24983/stat : 24983 (java) S 24973 24976 23229 0 -1 1077944384 19140 0 0 0 114 12 0 0 20 0 15 0 96511401 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072573725040 140073539357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24984] ppid=24973 vsize=10661128 memory=2888 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24984/stat : 24984 (java) S 24973 24976 23229 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072572671072 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24985] ppid=24973 vsize=10661128 memory=2592 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24985/stat : 24985 (java) S 24973 24976 23229 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 96511402 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072571618160 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24986] ppid=24973 vsize=10661128 memory=1404 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24986/stat : 24986 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072570566480 140073539364763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24987] ppid=24973 vsize=10661128 memory=3232 CPUtime=1.87 cores=1,3,5,7 /proc/24976/task/24987/stat : 24987 (java) S 24973 24976 23229 0 -1 1077944384 9505 0 0 0 185 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072569514864 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24988] ppid=24973 vsize=10661128 memory=6559608 CPUtime=2.32 cores=1,3,5,7 /proc/24976/task/24988/stat : 24988 (java) S 24973 24976 23229 0 -1 1077944384 9184 0 0 0 231 1 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072568462064 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24989] ppid=24973 vsize=10661128 memory=1408 CPUtime=0.6 cores=1,3,5,7 /proc/24976/task/24989/stat : 24989 (java) S 24973 24976 23229 0 -1 1077944384 5654 0 0 0 58 2 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072567409264 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24990] ppid=24973 vsize=10661128 memory=3164 CPUtime=0 cores=1,3,5,7 /proc/24976/task/24990/stat : 24990 (java) S 24973 24976 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96511404 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072566356704 140073539356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 [pid=24976/tid=24991] ppid=24973 vsize=10661128 memory=4661548 CPUtime=1.56 cores=1,3,5,7 /proc/24976/task/24991/stat : 24991 (java) S 24973 24976 23229 0 -1 1077944384 1553 0 0 0 71 85 0 0 20 0 15 0 96511405 10916995072 1639902 33554432000 4194304 4196468 140734805441072 140072565303984 140073539357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27119616 140734805443757 140734805443849 140734805443849 140734805446607 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10661128 KiB Current children cumulated memory: 6559608 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2446.06 s] # the end of solver process 24976 was just reported to runsolver # cumulated CPU time of all completed processes: user=2514.7 s, system=5.39119 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2446.06 CPU time (s): 2520.09 CPU user time (s): 2514.7 CPU system time (s): 5.39119 CPU usage (%): 103.026 Max. virtual memory (cumulated for all children) (KiB): 10661128 Max. memory (cumulated for all children) (KiB): 6559608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.7 system time used= 5.39119 maximum resident set size= 6559996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 680622 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 79027 involuntary context switches= 2804 # summary of solver processes directly reported to runsolver: # pid: 24976 # total CPU time (s): 2520.09 # total CPU user time (s): 2514.7 # total CPU system time (s): 5.39119 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.9324 second user time and 23.7473 second system time The end
Begin job on node104 at 2018-07-28 16:51:22 IDJOB=4299001 IDBENCH=141281 IDSOLVER=2766 FILE ID=node104/4299001-1532789482 RUNJOBID= node104-1532774598-23261 PBS_JOBID= 21022461 Free space on /tmp= 48164 MiB SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299001-1532789482/watcher-4299001-1532789482 -o /tmp/evaluation-result-4299001-1532789482/solver-4299001-1532789482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23261 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299001-1532789482.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415 RANDOM SEED=1726711838 node104.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.11 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.11 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.11 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.11 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: 24949100 kB MemAvailable: 28970972 kB Buffers: 154068 kB Cached: 4120428 kB SwapCached: 12 kB Active: 5081648 kB Inactive: 2221680 kB Active(anon): 2983676 kB Inactive(anon): 73040 kB Active(file): 2097972 kB Inactive(file): 2148640 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 185012 kB Writeback: 0 kB AnonPages: 3036368 kB Mapped: 52672 kB Shmem: 25060 kB Slab: 210604 kB SReclaimable: 182192 kB SUnreclaim: 28412 kB KernelStack: 3504 kB PageTables: 11140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3661376 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2963456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48064 MiB End job on node104 at 2018-07-28 17:32:08