Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Hybrid 2017-06-30 | SAT (TO) | 1344 | 2400.13 | 2271.34 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml |
MD5SUM | 5bf1605d7392d1261526feabe1cfbecc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1188 |
Best CPU time to get the best result obtained on this benchmark | 2519.8401 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 9311 |
Number of constraints | 4750 |
Number of domains | 191 |
Minimum domain size | 2 |
Maximum domain size | 191 |
Distribution of domain sizes | [{"size":2,"count":4657},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 95 |
Distribution of variable degrees | [{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 96 |
Distribution of constraint arities | [{"arity":2,"count":96},{"arity":3,"count":4561},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4655 |
Distribution of constraint types | [{"type":"intension","count":4655},{"type":"sum","count":95}] |
Optimization problem | YES |
Type of objective | min SUM |
0.42/0.35 c version: 2017-06-30 0.42/0.35 c seed: 1954332249 0.42/0.35 c timeout: 2400 0.42/0.35 c memlimit: 15500 0.42/0.35 c nbcore: 8 0.42/0.37 c Parsing instance... 7.79/2.55 c Parsing done, starting first complete search... 8.23/2.67 o 290320 8.23/2.68 o 264172 8.23/2.68 o 264100 8.23/2.69 o 240016 8.23/2.70 o 239672 8.65/2.71 o 217428 8.65/2.71 o 197088 8.65/2.73 o 178524 8.65/2.74 o 160824 8.65/2.75 o 144868 8.65/2.77 o 130176 8.65/2.80 o 116716 9.08/2.83 o 104936 9.08/2.86 o 93844 9.08/2.88 o 83736 9.49/2.91 o 74796 9.49/2.97 o 74780 9.89/3.03 o 74732 9.89/3.03 o 67008 9.89/3.04 o 66736 10.13/3.11 o 59572 10.13/3.15 o 58524 10.13/3.16 o 51896 10.30/3.24 o 45020 10.30/3.24 o 39392 10.30/3.30 o 39288 10.43/3.33 o 34332 10.53/3.49 o 30136 10.82/3.70 o 29888 10.82/3.73 o 26148 11.56/4.49 o 25956 12.25/5.03 o 22776 12.76/5.59 o 22352 13.57/6.38 o 22232 14.07/6.83 o 22168 14.74/7.47 o 19500 15.20/7.73 o 17136 15.40/7.99 o 16856 15.50/8.07 o 16680 15.50/8.07 o 14748 18.06/10.38 o 14684 18.77/11.07 o 14428 18.77/11.09 o 12944 21.27/13.54 o 12904 23.43/15.59 o 12140 39.00/30.82 c First complete search done, starting ALNS search... 42.69/33.29 o 6372 54.69/43.24 o 2824 275.06/253.14 o 2676 294.94/271.93 o 2636 305.64/282.03 o 2632 327.45/302.62 o 2452 358.28/332.05 o 2244 371.05/344.08 o 2208 386.69/358.20 o 2188 402.29/373.28 o 2056 406.42/377.16 o 2040 539.26/502.57 o 1996 591.06/550.32 o 1864 672.31/627.61 o 1760 673.51/628.87 o 1740 683.17/638.09 o 1576 811.26/759.90 o 1468 868.97/814.32 o 1424 1038.26/975.04 o 1396 1383.45/1303.18 o 1344 1811.93/1714.94 c ALNS done, starting second complete search 1811.93/1714.94 c Best operator: ValGuided(3635,MinGroup)_WeightDeg(Min) with improvement of: 9316 2400.06/2271.30 s SATISFIABLE 2400.06/2271.31 v <instantiation> 2400.06/2271.31 v <list> 2400.06/2271.31 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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[0][89] y[0][90] y[0][91] y[0][92] y[0][93] y[0][94] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[1][88] y[1][89] y[1][90] y[1][91] y[1][92] y[1][93] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[2][87] y[2][88] y[2][89] y[2][90] y[2][91] y[2][92] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[3][86] y[3][87] y[3][88] y[3][89] y[3][90] y[3][91] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[4][85] y[4][86] y[4][87] y[4][88] y[4][89] y[4][90] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[5][84] y[5][85] y[5][86] y[5][87] y[5][88] y[5][89] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[6][83] y[6][84] y[6][85] y[6][86] y[6][87] y[6][88] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[7][83] y[7][84] y[7][85] y[7][86] y[7][87] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[8][83] y[8][84] y[8][85] y[8][86] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[9][83] y[9][84] y[9][85] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[10][83] y[10][84] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[11][83] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[83][6] y[83][7] y[83][8] y[83][9] y[83][10] y[83][11] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[84][5] y[84][6] y[84][7] y[84][8] y[84][9] y[84][10] y[85][0] y[85][1] y[85][2] y[85][3] y[85][4] y[85][5] y[85][6] y[85][7] y[85][8] y[85][9] y[86][0] y[86][1] y[86][2] y[86][3] y[86][4] y[86][5] y[86][6] y[86][7] y[86][8] y[87][0] y[87][1] y[87][2] y[87][3] y[87][4] y[87][5] y[87][6] y[87][7] y[88][0] y[88][1] y[88][2] y[88][3] y[88][4] y[88][5] y[88][6] y[89][0] y[89][1] y[89][2] y[89][3] y[89][4] y[89][5] y[90][0] y[90][1] y[90][2] y[90][3] y[90][4] y[91][0] y[91][1] y[91][2] y[91][3] y[92][0] y[92][1] y[92][2] y[93][0] y[93][1] y[94][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] 2400.06/2271.31 v </list> 2400.06/2271.31 v <values> 2400.06/2271.31 v -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 2 3 -2 9 8 -9 -4 -5 2 -3 -2 7 0 -3 2 -7 4 -3 -2 -1 -6 -7 0 -3 2 1 2 5 -2 1 2 3 2 -1 2 3 2 -5 -6 3 -6 3 0 -3 -6 1 4 -1 6 -1 0 1 2 1 -2 1 6 5 -2 5 -2 5 10 3 -2 -1 -2 3 10 -1 -4 -1 -2 1 2 3 4 -1 -6 -1 0 1 -2 -1 -2 5 0 1 -4 3 -2 1 -2 1 1 4 9 4 81 64 81 16 25 4 9 4 49 0 9 4 49 16 9 4 1 36 49 0 9 4 1 4 25 4 1 4 9 4 1 4 9 4 25 36 9 36 9 0 9 36 1 16 1 36 1 0 1 4 1 4 1 36 25 4 25 4 25 100 9 4 1 4 9 100 1 16 1 4 1 4 9 16 1 36 1 0 1 4 1 4 25 0 1 16 9 4 1 4 1 2400.06/2271.31 v </values> 2400.06/2271.31 v </instantiation>
OK 1344
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247408-1500710288/watcher-4247408-1500710288 -o /tmp/evaluation-result-4247408-1500710288/solver-4247408-1500710288 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500708570-16026 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1954332249 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247408-1500710288.xml pid=16223 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.58 1.49 1.44 2/261 16226 /proc/meminfo: memFree=29553764/32770624 swapFree=5824/296772 [pid=16226] ppid=16223 vsize=10621200 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 1807 0 0 0 0 0 0 0 20 0 2 0 6297512 10876108800 2037 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 2655300 2037 1173 1 0 2644211 0 [pid=16226/tid=16227] ppid=16223 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 574 0 0 0 0 0 0 0 20 0 2 0 6297512 10889764864 2102 33554432000 4194304 4196468 140736026402832 139854475819424 139854463866784 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [startup+0.100175 s] /proc/loadavg: 1.58 1.49 1.44 2/261 16226 /proc/meminfo: memFree=29553764/32770624 swapFree=5824/296772 [pid=16226] ppid=16223 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 5658 0 0 0 9 1 0 0 20 0 20 0 6297512 13582725120 6243 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3316095 6243 3312 1 0 3303815 0 [pid=16226/tid=16227] ppid=16223 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 3748 0 0 0 8 0 0 0 20 0 20 0 6297512 13582725120 6243 33554432000 4194304 4196468 140736026402832 139854475817520 139854471599261 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13264380 [startup+0.200319 s] /proc/loadavg: 1.58 1.49 1.44 2/261 16226 /proc/meminfo: memFree=29553764/32770624 swapFree=5824/296772 [pid=16226] ppid=16223 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 8747 0 0 0 23 2 0 0 20 0 20 0 6297512 13582245888 8725 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3315978 8725 3538 1 0 3303698 0 [pid=16226/tid=16227] ppid=16223 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 6491 0 0 0 16 1 0 0 20 0 20 0 6297512 13582245888 8725 33554432000 4194304 4196468 140736026402832 139854475792864 139854455657822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13263912 [startup+0.300459 s] /proc/loadavg: 1.58 1.49 1.44 2/261 16226 /proc/meminfo: memFree=29553764/32770624 swapFree=5824/296772 [pid=16226] ppid=16223 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 9322 0 0 0 39 3 0 0 20 0 20 0 6297512 13582245888 10232 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3315978 10232 3595 1 0 3303698 0 [pid=16226/tid=16227] ppid=16223 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 6914 0 0 0 26 2 0 0 20 0 20 0 6297512 13582245888 10232 33554432000 4194304 4196468 140736026402832 139854475802416 139854471599261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700223 s] /proc/loadavg: 1.58 1.49 1.44 2/261 16226 /proc/meminfo: memFree=29553764/32770624 swapFree=5824/296772 [pid=16226] ppid=16223 vsize=13265980 CPUtime=1.45 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 13424 0 0 0 140 5 0 0 20 0 20 0 6297512 13584363520 19833 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3316495 19833 3766 1 0 3304210 0 [pid=16226/tid=16227] ppid=16223 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 8341 0 0 0 63 4 0 0 20 0 20 0 6297512 13584363520 19833 33554432000 4194304 4196468 140736026402832 139854475812976 139854084197363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 13265980 [startup+1.50124 s] /proc/loadavg: 1.58 1.49 1.44 7/281 16246 /proc/meminfo: memFree=29432740/32770624 swapFree=5824/296764 [pid=16226] ppid=16223 vsize=13268028 CPUtime=4.7 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 23744 0 0 0 461 9 0 0 20 0 20 0 6297512 13586460672 44412 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3317007 44412 3797 1 0 3304722 0 [pid=16226/tid=16227] ppid=16223 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 9360 0 0 0 141 6 0 0 20 0 20 0 6297512 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854475806048 139854455657822 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16229] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16229/stat : 16229 (java) S 16223 16226 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854070385552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16230] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16230/stat : 16230 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854069332752 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16231] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16231/stat : 16231 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854068280464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16232] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16232/stat : 16232 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854067227664 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16233] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16233/stat : 16233 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854066174352 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16234] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16234/stat : 16234 (java) S 16223 16226 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854065121552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16235] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16235/stat : 16235 (java) S 16223 16226 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854064069264 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16236] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16236/stat : 16236 (java) S 16223 16226 10103 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6297513 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854063016464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16237] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16237/stat : 16237 (java) S 16223 16226 10103 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 6297515 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854002412144 139854471588482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16238] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16238/stat : 16238 (java) S 16223 16226 10103 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6297516 13586460672 44412 33554432000 4194304 4196468 140736026402832 139854001358112 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16239] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16239/stat : 16239 (java) S 16223 16226 10103 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6297516 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853202712176 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16240] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16240/stat : 16240 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297520 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853201660496 139854471595931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16241] ppid=16223 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16241/stat : 16241 (java) S 16223 16226 10103 0 -1 1077944384 2539 0 0 0 79 0 0 0 20 0 20 0 6297520 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853200607344 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16242] ppid=16223 vsize=13268028 CPUtime=0.9 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16242/stat : 16242 (java) S 16223 16226 10103 0 -1 1077944384 4405 0 0 0 90 0 0 0 20 0 20 0 6297520 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853199554544 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16243] ppid=16223 vsize=13268028 CPUtime=0.83 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16243/stat : 16243 (java) R 16223 16226 10103 0 -1 4202560 3128 0 0 0 83 0 0 0 20 0 20 0 6297520 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853198491744 139854455108859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16244] ppid=16223 vsize=13268028 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16244/stat : 16244 (java) S 16223 16226 10103 0 -1 1077944384 2903 0 0 0 66 0 0 0 20 0 20 0 6297520 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853197449456 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16245] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16245/stat : 16245 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297520 13586460672 44412 33554432000 4194304 4196468 140736026402832 139853196397408 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16246] ppid=16223 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16246/stat : 16246 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297521 13586460672 44412 33554432000 4194304 4196468 140736026402832 139852590869296 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 4.7 Current children cumulated vsize (KiB) 13268028 [startup+3.10117 s] /proc/loadavg: 1.58 1.49 1.44 7/281 16246 /proc/meminfo: memFree=29355856/32770624 swapFree=5824/296764 [pid=16226] ppid=16223 vsize=13270076 CPUtime=10.13 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 34809 0 0 0 991 22 0 0 20 0 20 0 6297512 13588557824 64855 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3317519 64855 3834 1 0 3305234 0 [pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 12354 0 0 0 295 7 0 0 20 0 20 0 6297512 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854475812632 139854095627793 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16229/stat : 16229 (java) S 16223 16226 10103 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854070385552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16230/stat : 16230 (java) S 16223 16226 10103 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854069332752 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16231/stat : 16231 (java) S 16223 16226 10103 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854068280464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16232/stat : 16232 (java) S 16223 16226 10103 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854067227664 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16233/stat : 16233 (java) S 16223 16226 10103 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854066174352 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16234/stat : 16234 (java) S 16223 16226 10103 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854065121552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16235/stat : 16235 (java) S 16223 16226 10103 0 -1 1077944384 143 0 0 0 1 1 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854064069264 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16236/stat : 16236 (java) S 16223 16226 10103 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 20 0 6297513 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854063016464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16237/stat : 16237 (java) S 16223 16226 10103 0 -1 1077944384 791 0 0 0 0 0 0 0 20 0 20 0 6297515 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854002412144 139854471588482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16238/stat : 16238 (java) S 16223 16226 10103 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 64855 33554432000 4194304 4196468 140736026402832 139854001358176 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16239/stat : 16239 (java) S 16223 16226 10103 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853202712192 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16240/stat : 16240 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853201660496 139854471595931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=1.85 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16241/stat : 16241 (java) S 16223 16226 10103 0 -1 1077944384 4248 0 0 0 185 0 0 0 20 0 20 0 6297520 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853200607344 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=1.92 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16242/stat : 16242 (java) R 16223 16226 10103 0 -1 4202560 5430 0 0 0 191 1 0 0 20 0 20 0 6297520 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853199554840 139854452277950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=1.9 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16243/stat : 16243 (java) S 16223 16226 10103 0 -1 1077944384 4553 0 0 0 189 1 0 0 20 0 20 0 6297520 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853198502256 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16244/stat : 16244 (java) S 16223 16226 10103 0 -1 1077944384 5539 0 0 0 114 1 0 0 20 0 20 0 6297520 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853197449456 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16245/stat : 16245 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 64855 33554432000 4194304 4196468 140736026402832 139853196397408 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16246/stat : 16246 (java) S 16223 16226 10103 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 6297521 13588557824 64855 33554432000 4194304 4196468 140736026402832 139852590869296 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 10.13 Current children cumulated vsize (KiB) 13270076 [startup+6.3008 s] /proc/loadavg: 1.77 1.54 1.46 3/281 16246 /proc/meminfo: memFree=29303200/32770624 swapFree=5824/296772 [pid=16226] ppid=16223 vsize=13270076 CPUtime=13.57 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 34938 0 0 0 1330 27 0 0 20 0 20 0 6297512 13588557824 66122 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3317519 66122 3834 1 0 3305234 0 [pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=6.2 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 12360 0 0 0 613 7 0 0 20 0 20 0 6297512 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854475813080 139854095048606 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16229/stat : 16229 (java) S 16223 16226 10103 0 -1 1077944384 59 0 0 0 3 1 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854070385552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16230/stat : 16230 (java) S 16223 16226 10103 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854069332752 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16231/stat : 16231 (java) S 16223 16226 10103 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854068280464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16232/stat : 16232 (java) S 16223 16226 10103 0 -1 1077944384 57 0 0 0 2 1 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854067227664 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16233/stat : 16233 (java) S 16223 16226 10103 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854066174352 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16234/stat : 16234 (java) S 16223 16226 10103 0 -1 1077944384 32 0 0 0 2 2 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854065121552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16235/stat : 16235 (java) S 16223 16226 10103 0 -1 1077944384 151 0 0 0 2 2 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854064069264 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16236/stat : 16236 (java) S 16223 16226 10103 0 -1 1077944384 81 0 0 0 3 1 0 0 20 0 20 0 6297513 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854063016464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16237/stat : 16237 (java) S 16223 16226 10103 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 20 0 6297515 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854002412144 139854471588482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16238/stat : 16238 (java) S 16223 16226 10103 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 66122 33554432000 4194304 4196468 140736026402832 139854001358176 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16239/stat : 16239 (java) S 16223 16226 10103 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 66122 33554432000 4194304 4196468 140736026402832 139853202712192 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=3 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16242/stat : 16242 (java) S 16223 16226 10103 0 -1 1077944384 23628 0 0 0 297 3 0 0 20 0 20 0 6297520 13588557824 642116 33554432000 4194304 4196468 140736026402832 139853199554544 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16243/stat : 16243 (java) S 16223 16226 10103 0 -1 1077944384 26450 0 0 0 319 3 0 0 20 0 20 0 6297520 13588557824 642116 33554432000 4194304 4196468 140736026402832 139853198502256 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16244/stat : 16244 (java) S 16223 16226 10103 0 -1 1077944384 32410 0 0 0 154 3 0 0 20 0 20 0 6297520 13588557824 642116 33554432000 4194304 4196468 140736026402832 139853197449456 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16245/stat : 16245 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 642116 33554432000 4194304 4196468 140736026402832 139853196397408 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16246/stat : 16246 (java) S 16223 16226 10103 0 -1 1077944384 1405 0 0 0 57 65 0 0 20 0 20 0 6297521 13588557824 642116 33554432000 4194304 4196468 140736026402832 139852590869296 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 2327.56 Current children cumulated vsize (KiB) 13270076 [startup+2262.3 s] /proc/loadavg: 0.83 0.77 0.89 2/255 16397 /proc/meminfo: memFree=29239536/32770624 swapFree=5824/298668 [pid=16226] ppid=16223 vsize=13270076 CPUtime=2390.61 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 410644 0 0 0 238070 991 0 0 20 0 20 0 6297512 13588557824 618518 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3317519 618518 3869 1 0 3305234 0 [pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2241.31 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 124936 0 0 0 224042 89 0 0 20 0 20 0 6297512 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854475815584 139854086800542 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=17.06 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16229/stat : 16229 (java) S 16223 16226 10103 0 -1 1077944384 14775 0 0 0 1605 101 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854070385552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=16.97 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16230/stat : 16230 (java) S 16223 16226 10103 0 -1 1077944384 11724 0 0 0 1591 106 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854069332752 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16231/stat : 16231 (java) S 16223 16226 10103 0 -1 1077944384 14883 0 0 0 1605 98 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854068280464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=16.9 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16232/stat : 16232 (java) S 16223 16226 10103 0 -1 1077944384 13414 0 0 0 1590 100 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854067227664 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=16.85 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16233/stat : 16233 (java) S 16223 16226 10103 0 -1 1077944384 13163 0 0 0 1587 98 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854066174352 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=16.84 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16234/stat : 16234 (java) S 16223 16226 10103 0 -1 1077944384 16585 0 0 0 1581 103 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854065121552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=16.97 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16235/stat : 16235 (java) S 16223 16226 10103 0 -1 1077944384 14232 0 0 0 1596 101 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854064069264 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=16.95 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16236/stat : 16236 (java) S 16223 16226 10103 0 -1 1077944384 12930 0 0 0 1593 102 0 0 20 0 20 0 6297513 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854063016464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=1.38 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16237/stat : 16237 (java) S 16223 16226 10103 0 -1 1077944384 66064 0 0 0 108 30 0 0 20 0 20 0 6297515 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854002412144 139854471588482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16238/stat : 16238 (java) S 16223 16226 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 618518 33554432000 4194304 4196468 140736026402832 139854001358176 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16239/stat : 16239 (java) S 16223 16226 10103 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853202712192 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16240/stat : 16240 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853201660496 139854471595931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=3.14 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16241/stat : 16241 (java) S 16223 16226 10103 0 -1 1077944384 22586 0 0 0 312 2 0 0 20 0 20 0 6297520 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853200607344 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=3 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16242/stat : 16242 (java) S 16223 16226 10103 0 -1 1077944384 23630 0 0 0 297 3 0 0 20 0 20 0 6297520 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853199554544 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16243/stat : 16243 (java) S 16223 16226 10103 0 -1 1077944384 26452 0 0 0 319 3 0 0 20 0 20 0 6297520 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853198502256 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16244/stat : 16244 (java) S 16223 16226 10103 0 -1 1077944384 32412 0 0 0 154 3 0 0 20 0 20 0 6297520 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853197449456 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16245/stat : 16245 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 618518 33554432000 4194304 4196468 140736026402832 139853196397408 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.26 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16246/stat : 16246 (java) S 16223 16226 10103 0 -1 1077944384 1414 0 0 0 58 68 0 0 20 0 20 0 6297521 13588557824 618518 33554432000 4194304 4196468 140736026402832 139852590869296 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 2390.61 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2271.3 s] /proc/loadavg: 0.86 0.78 0.89 2/255 16398 /proc/meminfo: memFree=29263080/32770624 swapFree=5824/298684 [pid=16226] ppid=16223 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 410837 0 0 0 239014 992 0 0 20 0 20 0 6297512 13588557824 615440 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3317519 615440 3869 1 0 3305234 0 [pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2250.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 125069 0 0 0 224933 89 0 0 20 0 20 0 6297512 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854475815536 139854088076038 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=17.12 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16229/stat : 16229 (java) S 16223 16226 10103 0 -1 1077944384 14778 0 0 0 1611 101 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854070385552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=17.04 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16230/stat : 16230 (java) S 16223 16226 10103 0 -1 1077944384 11730 0 0 0 1598 106 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854069332752 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=17.1 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16231/stat : 16231 (java) S 16223 16226 10103 0 -1 1077944384 14888 0 0 0 1612 98 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854068280464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=16.96 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16232/stat : 16232 (java) S 16223 16226 10103 0 -1 1077944384 13424 0 0 0 1596 100 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854067227664 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=16.91 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16233/stat : 16233 (java) S 16223 16226 10103 0 -1 1077944384 13169 0 0 0 1593 98 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854066174352 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=16.91 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16234/stat : 16234 (java) S 16223 16226 10103 0 -1 1077944384 16599 0 0 0 1588 103 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854065121552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16235/stat : 16235 (java) S 16223 16226 10103 0 -1 1077944384 14234 0 0 0 1602 101 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854064069264 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=17.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16236/stat : 16236 (java) S 16223 16226 10103 0 -1 1077944384 12940 0 0 0 1600 102 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854063016464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=1.39 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16237/stat : 16237 (java) S 16223 16226 10103 0 -1 1077944384 66068 0 0 0 109 30 0 0 20 0 20 0 6297515 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854002412144 139854471588482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16238/stat : 16238 (java) S 16223 16226 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854001358176 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16239/stat : 16239 (java) S 16223 16226 10103 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853202712192 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16240/stat : 16240 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853201660496 139854471595931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=3.14 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16241/stat : 16241 (java) S 16223 16226 10103 0 -1 1077944384 22586 0 0 0 312 2 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853200607344 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=3 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16242/stat : 16242 (java) S 16223 16226 10103 0 -1 1077944384 23630 0 0 0 297 3 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853199554544 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16243/stat : 16243 (java) S 16223 16226 10103 0 -1 1077944384 26452 0 0 0 319 3 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853198502256 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16244/stat : 16244 (java) S 16223 16226 10103 0 -1 1077944384 32412 0 0 0 154 3 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853197449456 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16245/stat : 16245 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853196397408 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16246/stat : 16246 (java) S 16223 16226 10103 0 -1 1077944384 1414 0 0 0 58 69 0 0 20 0 20 0 6297521 13588557824 615440 33554432000 4194304 4196468 140736026402832 139852590869296 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16226 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2271.3 s] /proc/loadavg: 0.86 0.78 0.89 2/255 16398 /proc/meminfo: memFree=29263080/32770624 swapFree=5824/298684 [pid=16226] ppid=16223 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/16226/stat : 16226 (java) S 16223 16226 10103 0 -1 1077944320 410837 0 0 0 239014 992 0 0 20 0 20 0 6297512 13588557824 615440 33554432000 4194304 4196468 140736026402832 140736026385376 139854471577335 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 /proc/16226/statm: 3317519 615440 3869 1 0 3305234 0 [pid=16226/tid=16227] ppid=16223 vsize=13270076 CPUtime=2250.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16227/stat : 16227 (java) R 16223 16226 10103 0 -1 4202560 125069 0 0 0 224933 89 0 0 20 0 20 0 6297512 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854475815536 139854088076038 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16229] ppid=16223 vsize=13270076 CPUtime=17.12 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16229/stat : 16229 (java) S 16223 16226 10103 0 -1 1077944384 14778 0 0 0 1611 101 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854070385552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16230] ppid=16223 vsize=13270076 CPUtime=17.04 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16230/stat : 16230 (java) S 16223 16226 10103 0 -1 1077944384 11730 0 0 0 1598 106 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854069332752 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16231] ppid=16223 vsize=13270076 CPUtime=17.1 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16231/stat : 16231 (java) S 16223 16226 10103 0 -1 1077944384 14888 0 0 0 1612 98 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854068280464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16232] ppid=16223 vsize=13270076 CPUtime=16.96 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16232/stat : 16232 (java) S 16223 16226 10103 0 -1 1077944384 13424 0 0 0 1596 100 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854067227664 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16233] ppid=16223 vsize=13270076 CPUtime=16.91 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16233/stat : 16233 (java) S 16223 16226 10103 0 -1 1077944384 13169 0 0 0 1593 98 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854066174352 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16234] ppid=16223 vsize=13270076 CPUtime=16.91 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16234/stat : 16234 (java) S 16223 16226 10103 0 -1 1077944384 16599 0 0 0 1588 103 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854065121552 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16235] ppid=16223 vsize=13270076 CPUtime=17.03 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16235/stat : 16235 (java) S 16223 16226 10103 0 -1 1077944384 14234 0 0 0 1602 101 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854064069264 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16236] ppid=16223 vsize=13270076 CPUtime=17.02 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16236/stat : 16236 (java) S 16223 16226 10103 0 -1 1077944384 12940 0 0 0 1600 102 0 0 20 0 20 0 6297513 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854063016464 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16237] ppid=16223 vsize=13270076 CPUtime=1.39 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16237/stat : 16237 (java) S 16223 16226 10103 0 -1 1077944384 66068 0 0 0 109 30 0 0 20 0 20 0 6297515 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854002412144 139854471588482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16238] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16238/stat : 16238 (java) S 16223 16226 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 615440 33554432000 4194304 4196468 140736026402832 139854001358176 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16239] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16239/stat : 16239 (java) S 16223 16226 10103 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 6297516 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853202712192 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16240] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16240/stat : 16240 (java) S 16223 16226 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853201660496 139854471595931 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16241] ppid=16223 vsize=13270076 CPUtime=3.14 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16241/stat : 16241 (java) S 16223 16226 10103 0 -1 1077944384 22586 0 0 0 312 2 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853200607344 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16242] ppid=16223 vsize=13270076 CPUtime=3 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16242/stat : 16242 (java) S 16223 16226 10103 0 -1 1077944384 23630 0 0 0 297 3 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853199554544 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16243] ppid=16223 vsize=13270076 CPUtime=3.22 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16243/stat : 16243 (java) S 16223 16226 10103 0 -1 1077944384 26452 0 0 0 319 3 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853198502256 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16244] ppid=16223 vsize=13270076 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16244/stat : 16244 (java) S 16223 16226 10103 0 -1 1077944384 32412 0 0 0 154 3 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853197449456 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16245] ppid=16223 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16245/stat : 16245 (java) S 16223 16226 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6297520 13588557824 615440 33554432000 4194304 4196468 140736026402832 139853196397408 139854471587541 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 [pid=16226/tid=16246] ppid=16223 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15 /proc/16226/task/16246/stat : 16246 (java) S 16223 16226 10103 0 -1 1077944384 1414 0 0 0 58 69 0 0 20 0 20 0 6297521 13588557824 615440 33554432000 4194304 4196468 140736026402832 139852590869296 139854471588482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28024832 140736026408077 140736026408260 140736026408260 140736026410959 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2271.34 CPU time (s): 2400.13 CPU user time (s): 2390.19 CPU system time (s): 9.94113 CPU usage (%): 105.67 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2390.19 system time used= 9.94113 maximum resident set size= 3556596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 411328 page faults= 0 swaps= 0 block input operations= 8 block output operations= 2904 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 89189 involuntary context switches= 128926 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 19.576 second user time and 13.2229 second system time The end
Begin job on node119 at 2017-07-22 09:58:08 IDJOB=4247408 IDBENCH=126994 IDSOLVER=2629 FILE ID=node119/4247408-1500710288 RUNJOBID= node119-1500708570-16026 PBS_JOBID= 20623030 Free space on /tmp= 61836 MiB SOLVER NAME= OscaR - Hybrid 2017-06-30 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247408-1500710288/watcher-4247408-1500710288 -o /tmp/evaluation-result-4247408-1500710288/solver-4247408-1500710288 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500708570-16026 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1954332249 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247408-1500710288.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc RANDOM SEED=1954332249 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.98 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 : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.98 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 29554120 kB MemAvailable: 29878884 kB Buffers: 128800 kB Cached: 477696 kB SwapCached: 0 kB Active: 2468784 kB Inactive: 305480 kB Active(anon): 2170908 kB Inactive(anon): 8708 kB Active(file): 297876 kB Inactive(file): 296772 kB Unevictable: 5824 kB Mlocked: 5824 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42152 kB Writeback: 0 kB AnonPages: 2174072 kB Mapped: 45220 kB Shmem: 8844 kB Slab: 125004 kB SReclaimable: 91904 kB SUnreclaim: 33100 kB KernelStack: 4480 kB PageTables: 11828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2722228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2097152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61836 MiB End job on node119 at 2017-07-22 10:36:00