Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 85230 | 2520.18 | 2334.67 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml |
MD5SUM | 19bcf73076031218e5fd4b7208c9a15e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19049 |
Best CPU time to get the best result obtained on this benchmark | 2400.17 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4749 |
Number of constraints | 4410 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}] |
Minimum variable degree | 2 |
Maximum variable degree | 63 |
Distribution of variable degrees | [{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 280 |
Distribution of constraint arities | [{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4409 |
Distribution of constraint types | [{"type":"intension","count":4409},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.97/0.74 c Concrete v3.8.1528841891564 running 79.68/35.76 o 85450 81.84/37.54 o 85430 81.84/37.58 o 85250 82.13/37.61 o 85230 2520.09/2334.62 Exception in thread "main" java.util.concurrent.TimeoutException 2520.09/2334.62 at concrete.MAC.mac(MAC.scala:188) 2520.09/2334.62 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.09/2334.62 at scala.util.Try$.apply(Try.scala:209) 2520.09/2334.62 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.09/2334.62 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.09/2334.62 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.09/2334.62 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.09/2334.62 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.09/2334.62 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.09/2334.62 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.09/2334.62 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.09/2334.62 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.09/2334.62 at concrete.MAC.oneRun(MAC.scala:253) 2520.09/2334.62 at concrete.MAC.nextSolution(MAC.scala:272) 2520.09/2334.62 at concrete.MAC.nextSolution(MAC.scala:355) 2520.09/2334.62 at concrete.Solver.hasNext(Solver.scala:166) 2520.09/2334.62 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.09/2334.62 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.09/2334.62 at concrete.Solver.foreach(Solver.scala:68) 2520.09/2334.62 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.09/2334.62 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.09/2334.62 at scala.util.Success.map(Try.scala:209) 2520.09/2334.62 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.09/2334.62 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.09/2334.62 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.09/2334.62 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.09/2334.62 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.09/2334.62 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.09/2334.62 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.09/2334.62 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.09/2334.62 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.09/2334.62 at scala.collection.immutable.List.foreach(List.scala:389) 2520.09/2334.62 at scala.App.main(App.scala:76) 2520.09/2334.62 at scala.App.main$(App.scala:74) 2520.09/2334.62 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.09/2334.62 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.09/2334.63 v <instantiation cost="85230"> 2520.09/2334.63 v <list> 2520.09/2334.63 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] 2520.09/2334.63 v </list> 2520.09/2334.63 v <values> 2520.09/2334.63 v 442 680 554 792 694 456 282 44 282 44 512 750 512 750 680 442 310 72 540 778 414 652 16 254 282 44 652 414 86 324 142 380 484 722 414 652 540 778 442 680 442 680 352 114 554 792 512 750 156 394 722 484 44 282 338 100 16 254 722 484 338 100 778 540 44 282 414 652 324 86 750 512 58 296 526 764 30 268 142 380 156 394 394 156 44 282 380 142 470 708 366 128 156 394 498 736 114 352 526 764 540 778 722 484 554 792 414 652 778 540 366 128 750 512 764 526 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 750 512 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 380 142 268 30 554 792 442 680 764 526 352 114 86 324 652 414 652 414 470 708 296 58 722 484 254 16 324 86 142 380 16 254 792 554 352 114 352 114 16 254 156 394 86 324 750 512 366 128 526 764 526 764 142 380 100 338 722 484 142 380 30 268 680 442 456 694 30 268 268 30 764 526 86 324 680 442 428 666 310 72 540 778 296 58 540 778 666 428 778 540 380 142 30 268 456 694 282 44 282 44 30 268 268 30 324 86 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 414 652 114 352 268 30 694 456 100 338 30 268 352 114 778 540 254 16 442 680 540 778 512 750 30 268 708 470 156 394 666 428 666 428 30 268 414 652 338 100 100 338 428 666 540 778 44 282 666 428 540 778 142 380 456 694 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 666 428 380 142 310 72 456 694 282 44 268 30 442 680 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 268 30 750 512 666 428 736 498 736 498 428 666 394 156 296 58 114 352 540 778 750 512 540 778 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 484 722 268 30 352 114 414 652 44 282 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 380 142 512 750 792 554 708 470 44 282 142 380 708 470 666 428 540 778 526 764 268 30 484 722 296 58 428 666 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 86 324 736 498 470 708 128 366 30 268 652 414 394 156 540 778 44 282 156 394 142 380 268 30 428 666 352 114 708 470 380 142 442 680 142 380 72 310 764 526 324 86 268 30 764 526 268 30 484 722 338 100 540 778 680 442 366 128 30 268 16 254 30 268 666 428 128 366 512 750 310 72 512 750 254 16 736 498 114 352 156 394 498 736 254 16 100 338 30 268 30 268 414 652 30 268 324 86 30 268 778 540 778 540 30 268 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 128 366 254 16 72 310 100 338 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 100 0 0 100 100 100 100 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 10 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 10 0 10 0 0 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 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 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 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 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 1 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 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 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 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 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 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 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 1 1 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 1 0 0 0 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.09/2334.63 v </values> 2520.09/2334.63 v </instantiation> 2520.09/2334.63 s SATISFIABLE
OK 85230
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 (7554 MiB free) memory of node 1: 16384 MiB (14030 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293549-1532316582/watcher-4293549-1532316582 -o /tmp/evaluation-result-4293549-1532316582/solver-4293549-1532316582 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1729778901 -superng HOME/instance-4293549-1532316582.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=8678, runsolver pid=8675 [startup+0.100109 s]* /proc/loadavg: 1.39 1.35 1.39 3/206 8735 /proc/meminfo: memFree=22094180/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10055356 memory=17604 CPUtime=0.09 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 4533 12903 0 0 1 1 5 2 20 0 7 0 49221478 10296684544 4401 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2513839 4401 1994 1 0 2502277 0 [pid=8678/tid=8731] ppid=8675 vsize=10055356 memory=-9033221141379203011 CPUtime=0.08 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 2408 12903 0 0 1 0 5 2 20 0 7 0 49221487 10296684544 4467 33554432000 4194304 4196468 140733037144096 140657634265872 140657644323248 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10055356 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 7 0 49221487 10296684544 4467 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10055356 memory=139820510094976 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 7 0 49221487 10296684544 4467 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 7 0 49221487 10296684544 4467 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 7 0 49221487 10296684544 4467 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10055356 memory=139820510094976 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 7 0 49221489 10296684544 4467 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 10055356 KiB Current children cumulated memory: 17604 KiB [startup+0.210411 s]* /proc/loadavg: 1.39 1.35 1.39 3/215 8744 /proc/meminfo: memFree=22071596/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10818936 memory=45072 CPUtime=0.24 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 9101 12903 0 0 15 2 5 2 20 0 15 0 49221478 11078590464 11268 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2704734 11268 2971 1 0 2667157 0 [pid=8678/tid=8731] ppid=8675 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 6071 12903 0 0 10 1 5 2 20 0 15 0 49221487 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657634247584 140657655102493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10818936 memory=342 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10818936 memory=139820510103911 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221487 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10818936 memory=139820510094976 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221489 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 13 12903 0 0 0 0 5 2 20 0 15 0 49221489 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657024820512 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221490 11078590464 11585 33554432000 4194304 4196468 140733037144096 140656420841072 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11078590464 11585 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 498 12903 0 0 1 0 5 2 20 0 15 0 49221492 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 89 12903 0 0 1 0 5 2 20 0 15 0 49221492 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10818936 memory=139820510094976 CPUtime=0.1 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 544 12903 0 0 3 0 5 2 20 0 15 0 49221492 11078590464 11585 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11078590464 11585 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10818904 memory=139820510094976 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221493 11078557696 11585 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 10818936 KiB Current children cumulated memory: 45072 KiB [startup+0.310243 s]* /proc/loadavg: 1.39 1.35 1.39 3/215 8744 /proc/meminfo: memFree=22061052/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10819352 memory=54216 CPUtime=0.38 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 10618 12903 0 0 28 3 5 2 20 0 15 0 49221478 11079016448 13554 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2704838 13554 3090 1 0 2667149 0 [pid=8678/tid=8731] ppid=8675 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 7266 12903 0 0 19 2 5 2 20 0 15 0 49221487 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657634234784 140657646503262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221489 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 13 12903 0 0 0 0 5 2 20 0 15 0 49221489 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657024820512 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221490 11079016448 13554 33554432000 4194304 4196468 140733037144096 140656420841072 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11079016448 13554 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 498 12903 0 0 1 0 5 2 20 0 15 0 49221492 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 90 12903 0 0 1 0 5 2 20 0 15 0 49221492 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10819352 memory=139820510094976 CPUtime=0.12 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) R 8675 8678 4818 0 -1 4202560 551 12903 0 0 5 0 5 2 20 0 15 0 49221492 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657118800240 140657662434710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11079016448 13554 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10819352 memory=139820510094976 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221493 11079016448 13554 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 0.38 s Current children cumulated vsize: 10819352 KiB Current children cumulated memory: 54216 KiB [startup+0.700789 s] /proc/loadavg: 1.39 1.35 1.39 3/215 8744 /proc/meminfo: memFree=22052244/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10819352 memory=86552 CPUtime=0.97 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 16744 12903 0 0 86 4 5 2 20 0 15 0 49221478 11079016448 21638 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2704838 21638 3237 1 0 2667149 0 [pid=8678/tid=8731] ppid=8675 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 12309 12903 0 0 56 3 5 2 20 0 15 0 49221487 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657634243600 140657643986304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10819352 memory=55 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10819352 memory=1 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221487 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10819352 memory=139822660321863 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 5 12903 0 0 0 0 5 2 20 0 15 0 49221489 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10819352 memory=139822660321883 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 13 12903 0 0 0 0 5 2 20 0 15 0 49221489 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657024820512 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10819352 memory=139822660321884 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221490 11079016448 21638 33554432000 4194304 4196468 140733037144096 140656420841072 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10819352 memory=139822660321888 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11079016448 21638 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10819352 memory=139822660321897 CPUtime=0.14 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 887 12903 0 0 7 0 5 2 20 0 15 0 49221492 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10819352 memory=139822660321900 CPUtime=0.16 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 707 12903 0 0 9 0 5 2 20 0 15 0 49221492 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10819352 memory=142408230634126 CPUtime=0.19 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 618 12903 0 0 12 0 5 2 20 0 15 0 49221492 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11079016448 21638 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10819352 memory=10608 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221493 11079016448 21638 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 0.97 s Current children cumulated vsize: 10819352 KiB Current children cumulated memory: 86552 KiB [startup+1.5007 s] /proc/loadavg: 1.39 1.35 1.39 3/215 8744 /proc/meminfo: memFree=22006168/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10832204 memory=182672 CPUtime=2.85 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 23999 12903 0 0 269 9 5 2 20 0 15 0 49221478 11092176896 45668 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2708051 45668 3451 1 0 2669709 0 [pid=8678/tid=8731] ppid=8675 vsize=10832204 memory=10799 CPUtime=1.45 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 16723 12903 0 0 132 6 5 2 20 0 15 0 49221487 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657634255440 140657662444701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10832204 memory=25313 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10832204 memory=321013415751723303 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221487 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10832204 memory=288293281199310633 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221487 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10832204 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 7 12903 0 0 0 0 5 2 20 0 15 0 49221489 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10832204 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 13 12903 0 0 0 0 5 2 20 0 15 0 49221489 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657024820512 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10832204 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 1 12903 0 0 0 0 5 2 20 0 15 0 49221490 11092176896 45668 33554432000 4194304 4196468 140733037144096 140656420841072 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10832204 memory=-7606742920825102191 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11092176896 45668 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10832204 memory=-3472574944341025154 CPUtime=0.5 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 2296 12903 0 0 43 0 5 2 20 0 15 0 49221492 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10832204 memory=0 CPUtime=0.57 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 1266 12903 0 0 50 0 5 2 20 0 15 0 49221492 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10832204 memory=-2892745056951965031 CPUtime=0.5 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 1488 12903 0 0 42 1 5 2 20 0 15 0 49221492 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11092176896 45668 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 2 12903 0 0 0 0 5 2 20 0 15 0 49221493 11092176896 45668 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 ################ # More data... # ################ /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 257024 12903 0 0 214794 59 5 2 20 0 15 0 49221487 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657634258384 140657267725452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10918240 memory=238542 CPUtime=51.59 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 70814 12903 0 0 5022 130 5 2 20 0 15 0 49221487 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10918240 memory=5887148 CPUtime=51.55 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 73140 12903 0 0 5016 132 5 2 20 0 15 0 49221487 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10918240 memory=5887148 CPUtime=51.54 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 75606 12903 0 0 5020 127 5 2 20 0 15 0 49221487 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10918240 memory=5887144 CPUtime=51.51 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 73102 12903 0 0 5013 131 5 2 20 0 15 0 49221487 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10918240 memory=5887148 CPUtime=1.69 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 65699 12903 0 0 152 10 5 2 20 0 15 0 49221489 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10918240 memory=5887148 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 24 12903 0 0 0 0 5 2 20 0 15 0 49221489 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657024820640 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10918240 memory=5887148 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 26 12903 0 0 0 0 5 2 20 0 15 0 49221490 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140656420841248 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10918240 memory=5887148 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10918240 memory=5887148 CPUtime=12.54 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 104783 12903 0 0 1238 9 5 2 20 0 15 0 49221492 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10918240 memory=5887148 CPUtime=12.69 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 93997 12903 0 0 1253 9 5 2 20 0 15 0 49221492 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10918240 memory=4136 CPUtime=3.79 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 71404 12903 0 0 363 9 5 2 20 0 15 0 49221492 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10918240 memory=8368 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10918240 memory=792 CPUtime=1.34 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 2535 12903 0 0 54 73 5 2 20 0 15 0 49221493 11180277760 1471787 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 2386.34 s Current children cumulated vsize: 10918240 KiB Current children cumulated memory: 5887148 KiB [startup+2262.31 s] /proc/loadavg: 1.74 1.64 1.60 3/215 8966 /proc/meminfo: memFree=13650628/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10918240 memory=5887152 CPUtime=2446.83 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 910978 12903 0 0 243995 681 5 2 20 0 15 0 49221478 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2729560 1471788 3535 1 0 2691213 0 [pid=8678/tid=8731] ppid=8675 vsize=10918240 memory=5887152 CPUtime=2208.46 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 263532 12903 0 0 220779 60 5 2 20 0 15 0 49221487 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657634258512 140657264855105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10918240 memory=15876 CPUtime=51.72 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 72523 12903 0 0 5035 130 5 2 20 0 15 0 49221487 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10918240 memory=5887152 CPUtime=51.69 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 74376 12903 0 0 5030 132 5 2 20 0 15 0 49221487 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10918240 memory=5887152 CPUtime=51.67 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 77804 12903 0 0 5033 127 5 2 20 0 15 0 49221487 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10918240 memory=5887152 CPUtime=51.64 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 75010 12903 0 0 5026 131 5 2 20 0 15 0 49221487 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10918240 memory=5887152 CPUtime=1.7 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 65994 12903 0 0 153 10 5 2 20 0 15 0 49221489 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10918240 memory=55 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 24 12903 0 0 0 0 5 2 20 0 15 0 49221489 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657024820640 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10918240 memory=5887152 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 26 12903 0 0 0 0 5 2 20 0 15 0 49221490 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140656420841248 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10918240 memory=279640757672488 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10918240 memory=5887152 CPUtime=12.56 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 105916 12903 0 0 1240 9 5 2 20 0 15 0 49221492 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10918240 memory=0 CPUtime=12.73 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 97416 12903 0 0 1256 10 5 2 20 0 15 0 49221492 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10918240 memory=5887152 CPUtime=3.81 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 73593 12903 0 0 364 10 5 2 20 0 15 0 49221492 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10918240 memory=5887152 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10918240 memory=5887152 CPUtime=1.39 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 2566 12903 0 0 56 76 5 2 20 0 15 0 49221493 11180277760 1471788 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 2446.83 s Current children cumulated vsize: 10918240 KiB Current children cumulated memory: 5887152 KiB [startup+2322.31 s] /proc/loadavg: 1.67 1.63 1.60 3/215 8967 /proc/meminfo: memFree=13644096/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10918240 memory=5891252 CPUtime=2507.36 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 926775 12903 0 0 250045 684 5 2 20 0 15 0 49221478 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2729560 1472813 3535 1 0 2691213 0 [pid=8678/tid=8731] ppid=8675 vsize=10918240 memory=5889204 CPUtime=2268.3 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 269504 12903 0 0 226762 61 5 2 20 0 15 0 49221487 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657634258048 140657267753191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10918240 memory=5889204 CPUtime=51.87 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 73569 12903 0 0 5050 130 5 2 20 0 15 0 49221487 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10918240 memory=5889204 CPUtime=51.84 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 77822 12903 0 0 5044 133 5 2 20 0 15 0 49221487 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10918240 memory=5889204 CPUtime=51.82 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 79429 12903 0 0 5048 127 5 2 20 0 15 0 49221487 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10918240 memory=5889204 CPUtime=51.79 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 75988 12903 0 0 5041 131 5 2 20 0 15 0 49221487 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10918240 memory=5887156 CPUtime=1.71 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 66301 12903 0 0 154 10 5 2 20 0 15 0 49221489 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10918240 memory=5889204 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 24 12903 0 0 0 0 5 2 20 0 15 0 49221489 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657024820640 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10918240 memory=5889204 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 26 12903 0 0 0 0 5 2 20 0 15 0 49221490 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140656420841248 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10918240 memory=5889204 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10918240 memory=5889204 CPUtime=12.58 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 106314 12903 0 0 1242 9 5 2 20 0 15 0 49221492 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10918240 memory=5889204 CPUtime=12.75 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 99284 12903 0 0 1258 10 5 2 20 0 15 0 49221492 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10918240 memory=7892 CPUtime=3.81 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 73717 12903 0 0 364 10 5 2 20 0 15 0 49221492 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10918240 memory=8187704045996132563 CPUtime=1.42 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 2599 12903 0 0 58 77 5 2 20 0 15 0 49221493 11180277760 1472813 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 2507.36 s Current children cumulated vsize: 10918240 KiB Current children cumulated memory: 5891252 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2334.6 s] /proc/loadavg: 1.74 1.65 1.60 3/215 8967 /proc/meminfo: memFree=13640228/32770624 swapFree=67108860/67108860 [pid=8678] ppid=8675 vsize=10918240 memory=5895348 CPUtime=2520.09 cores=1,3,5,7 /proc/8678/stat : 8678 (java) S 8675 8678 4818 0 -1 1077944320 930297 12903 0 0 251316 686 5 2 20 0 15 0 49221478 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140733037126640 140657662422775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 /proc/8678/statm: 2729560 1473837 3535 1 0 2691213 0 [pid=8678/tid=8731] ppid=8675 vsize=10918240 memory=2200 CPUtime=2280.44 cores=1,3,5,7 /proc/8678/task/8731/stat : 8731 (java) R 8675 8678 4818 0 -1 4202560 271858 12903 0 0 227976 61 5 2 20 0 15 0 49221487 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657634258272 140657243268242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8732] ppid=8675 vsize=10918240 memory=8112282956445269571 CPUtime=52.01 cores=1,3,5,7 /proc/8678/task/8732/stat : 8732 (java) S 8675 8678 4818 0 -1 1077944384 73616 12903 0 0 5064 130 5 2 20 0 15 0 49221487 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657666664848 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8733] ppid=8675 vsize=10918240 memory=844 CPUtime=51.98 cores=1,3,5,7 /proc/8678/task/8733/stat : 8733 (java) S 8675 8678 4818 0 -1 1077944384 77871 12903 0 0 5058 133 5 2 20 0 15 0 49221487 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657565554960 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8734] ppid=8675 vsize=10918240 memory=5895348 CPUtime=51.96 cores=1,3,5,7 /proc/8678/task/8734/stat : 8734 (java) S 8675 8678 4818 0 -1 1077944384 79473 12903 0 0 5062 127 5 2 20 0 15 0 49221487 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657564502672 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8735] ppid=8675 vsize=10918240 memory=4612 CPUtime=51.93 cores=1,3,5,7 /proc/8678/task/8735/stat : 8735 (java) S 8675 8678 4818 0 -1 1077944384 76091 12903 0 0 5055 131 5 2 20 0 15 0 49221487 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657563449872 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8736] ppid=8675 vsize=10918240 memory=9920 CPUtime=1.71 cores=1,3,5,7 /proc/8678/task/8736/stat : 8736 (java) S 8675 8678 4818 0 -1 1077944384 66330 12903 0 0 154 10 5 2 20 0 15 0 49221489 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657121958512 140657662433922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8737] ppid=8675 vsize=10918240 memory=1944 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8737/stat : 8737 (java) S 8675 8678 4818 0 -1 1077944384 24 12903 0 0 0 0 5 2 20 0 15 0 49221489 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657024820640 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8738] ppid=8675 vsize=10918240 memory=1428 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8738/stat : 8738 (java) S 8675 8678 4818 0 -1 1077944384 26 12903 0 0 0 0 5 2 20 0 15 0 49221490 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140656420841248 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8739] ppid=8675 vsize=10918240 memory=2436 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8739/stat : 8739 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140656180550224 140657662441371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8740] ppid=8675 vsize=10918240 memory=1728 CPUtime=12.58 cores=1,3,5,7 /proc/8678/task/8740/stat : 8740 (java) S 8675 8678 4818 0 -1 1077944384 106314 12903 0 0 1242 9 5 2 20 0 15 0 49221492 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657120905328 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8741] ppid=8675 vsize=10918240 memory=1708 CPUtime=12.75 cores=1,3,5,7 /proc/8678/task/8741/stat : 8741 (java) S 8675 8678 4818 0 -1 1077944384 99678 12903 0 0 1258 10 5 2 20 0 15 0 49221492 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657119852528 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8742] ppid=8675 vsize=10918240 memory=5792 CPUtime=3.82 cores=1,3,5,7 /proc/8678/task/8742/stat : 8742 (java) S 8675 8678 4818 0 -1 1077944384 74208 12903 0 0 365 10 5 2 20 0 15 0 49221492 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657118800240 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8743] ppid=8675 vsize=10918240 memory=4612 CPUtime=0.07 cores=1,3,5,7 /proc/8678/task/8743/stat : 8743 (java) S 8675 8678 4818 0 -1 1077944384 3 12903 0 0 0 0 5 2 20 0 15 0 49221492 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140656146991584 140657662432981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 [pid=8678/tid=8744] ppid=8675 vsize=10918240 memory=9920 CPUtime=1.43 cores=1,3,5,7 /proc/8678/task/8744/stat : 8744 (java) S 8675 8678 4818 0 -1 1077944384 2610 12903 0 0 58 78 5 2 20 0 15 0 49221493 11180277760 1473837 33554432000 4194304 4196468 140733037144096 140657117748144 140657662433922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23699456 140733037148331 140733037151580 140733037151580 140733037154255 0 Current children cumulated CPU time: 2520.09 s Current children cumulated vsize: 10918240 KiB Current children cumulated memory: 5895348 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2334.67 s] # the end of solver process 8678 was just reported to runsolver # cumulated CPU time of all completed processes: user=2513.25 s, system=6.92974 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2334.67 CPU time (s): 2520.18 CPU user time (s): 2513.25 CPU system time (s): 6.92974 CPU usage (%): 107.946 Max. virtual memory (cumulated for all children) (KiB): 10918240 Max. memory (cumulated for all children) (KiB): 6066316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2513.25 system time used= 6.92974 maximum resident set size= 6066316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 947423 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 71865 involuntary context switches= 3325 # summary of solver processes directly reported to runsolver: # pid: 8678 # total CPU time (s): 2520.18 # total CPU user time (s): 2513.25 # total CPU system time (s): 6.92974 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.5704 second user time and 19.6653 second system time The end
Begin job on node150 at 2018-07-23 05:29:42 IDJOB=4293549 IDBENCH=141188 IDSOLVER=2751 FILE ID=node150/4293549-1532316582 RUNJOBID= node150-1532297041-4850 PBS_JOBID= 21018991 Free space on /tmp= 57228 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293549-1532316582/watcher-4293549-1532316582 -o /tmp/evaluation-result-4293549-1532316582/solver-4293549-1532316582 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1729778901 -superng HOME/instance-4293549-1532316582.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e RANDOM SEED=1729778901 node150.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.76 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.76 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.76 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.76 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: 22103296 kB MemAvailable: 31174872 kB Buffers: 204668 kB Cached: 9074592 kB SwapCached: 0 kB Active: 1926992 kB Inactive: 8167924 kB Active(anon): 773908 kB Inactive(anon): 61460 kB Active(file): 1153084 kB Inactive(file): 8106464 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26696 kB Writeback: 0 kB AnonPages: 823436 kB Mapped: 49768 kB Shmem: 17032 kB Slab: 267648 kB SReclaimable: 240488 kB SUnreclaim: 27160 kB KernelStack: 3504 kB PageTables: 7040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1667716 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 724992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 57200 MiB End job on node150 at 2018-07-23 06:08:37