Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering 2017-07-26 | SAT (TO) | 7484 | 2520.1201 | 2503.3301 |
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.30/0.36 c version: 2017-07-26 0.30/0.36 c seed: 1673711503 0.30/0.36 c timeout: 2520 0.30/0.36 c memlimit: 11000 0.30/0.36 c nbcore: 4 0.30/0.38 c Parsing instance... 5.97/2.40 c Parsing done, starting search... 6.26/2.51 o 290320 6.26/2.52 o 264172 6.26/2.52 o 264100 6.26/2.53 o 240016 6.26/2.54 o 239672 6.26/2.54 o 217428 6.26/2.55 o 197088 6.26/2.57 o 178524 6.26/2.58 o 160824 6.26/2.59 o 144868 6.59/2.61 o 130176 6.59/2.63 o 116716 6.59/2.67 o 104936 6.90/2.70 o 93844 6.90/2.73 o 83736 6.90/2.77 o 74796 7.20/2.89 o 74780 7.51/2.98 o 74732 7.51/2.98 o 67008 7.51/3.00 o 66736 7.84/3.08 o 59572 8.15/3.12 o 58524 8.15/3.13 o 51896 8.42/3.22 o 45020 8.42/3.23 o 39392 8.42/3.29 o 39288 8.65/3.32 o 34332 8.77/3.48 o 30136 8.98/3.69 o 29888 9.09/3.72 o 26148 9.80/4.49 o 25956 10.44/5.02 o 22776 11.04/5.61 o 22352 11.84/6.42 o 22232 12.25/6.89 o 22168 13.01/7.54 o 19500 13.27/7.78 o 17136 13.59/8.04 o 16856 13.69/8.13 o 16680 13.69/8.13 o 14748 16.16/10.45 o 14684 16.92/11.16 o 14428 16.92/11.18 o 12944 19.46/13.61 o 12904 21.46/15.68 o 12140 44.97/38.95 o 11892 51.48/45.49 o 11156 52.38/46.39 o 10648 73.04/66.97 o 10536 73.04/66.99 o 10152 93.47/87.36 o 10112 93.47/87.38 o 10032 93.47/87.38 o 9644 150.07/143.85 o 9468 160.68/154.42 o 9396 221.02/214.66 o 9348 221.73/215.38 o 9100 221.93/215.60 o 8844 299.52/292.85 o 8804 301.23/294.59 o 8552 307.96/301.26 o 8504 328.45/321.69 o 8272 440.60/433.34 o 8168 539.01/531.38 o 8160 539.11/531.47 o 7956 1232.27/1221.62 o 7952 1235.38/1224.74 o 7900 1243.42/1232.71 o 7836 1243.42/1232.72 o 7828 2379.33/2363.35 o 7712 2413.61/2397.42 o 7484 2520.05/2503.30 s SATISFIABLE 2520.05/2503.31 v <instantiation> 2520.05/2503.31 v <list> 2520.05/2503.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] 2520.05/2503.31 v </list> 2520.05/2503.31 v <values> 2520.05/2503.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 15 6 25 24 19 14 17 20 7 14 15 22 -3 0 13 12 1 2 1 6 3 4 1 18 5 -2 5 8 -9 -8 1 10 -1 -2 5 -2 -9 6 5 0 -11 -4 7 2 -5 0 1 2 -1 8 -3 -2 1 -4 11 4 -1 6 5 2 3 6 1 6 7 4 5 4 3 6 7 6 7 8 9 10 11 10 11 12 11 12 11 10 9 10 9 8 7 6 5 4 3 2 1 225 36 625 576 361 196 289 400 49 196 225 484 9 0 169 144 1 4 1 36 9 16 1 324 25 4 25 64 81 64 1 100 1 4 25 4 81 36 25 0 121 16 49 4 25 0 1 4 1 64 9 4 1 16 121 16 1 36 25 4 9 36 1 36 49 16 25 16 9 36 49 36 49 64 81 100 121 100 121 144 121 144 121 100 81 100 81 64 49 36 25 16 9 4 1 2520.05/2503.31 v </values> 2520.05/2503.31 v </instantiation>
OK 7484
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9458 MiB free) memory of node 1: 16384 MiB (15266 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273563-1502785118/watcher-4273563-1502785118 -o /tmp/evaluation-result-4273563-1502785118/solver-4273563-1502785118 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1673711503 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273563-1502785118.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=28860, runsolver pid=28857 Current StackSize limit: 8192 KiB [startup+0.100127 s]* /proc/loadavg: 1.92 1.86 1.79 3/205 28866 /proc/meminfo: memFree=25311132/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13573664 memory=17488 CPUtime=0.02 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 3757 0 0 0 2 0 0 0 20 0 9 0 126326986 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3393416 4372 2072 1 0 3382913 0 [pid=28860/tid=28862] ppid=28857 vsize=13573664 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 2388 0 0 0 2 0 0 0 20 0 9 0 126326994 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459681145064 140459660989790 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13573664 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 126326995 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13573664 memory=140617363515008 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 126326995 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 126326995 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 126326995 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13573664 memory=140617363515008 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 126326996 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 126326997 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459154834976 140459676919509 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 126326997 13899431936 4372 18446744073709551615 4194304 4196468 140736235140320 140459153782192 140459676919509 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 0.02 s Current children cumulated vsize: 13573664 KiB Current children cumulated memory: 17488 KiB [startup+0.210137 s]* /proc/loadavg: 1.92 1.86 1.79 3/214 28875 /proc/meminfo: memFree=25295924/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13975920 memory=34516 CPUtime=0.14 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 9111 0 0 0 12 2 0 0 20 0 15 0 126326986 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3493980 8629 3385 1 0 3482759 0 [pid=28860/tid=28862] ppid=28857 vsize=13975920 memory=7077796292425249400 CPUtime=0.09 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 7062 0 0 0 8 1 0 0 20 0 15 0 126326994 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459681115584 140459660989790 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13975920 memory=140617363515008 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13975920 memory=140617363515008 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126326996 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126326997 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459154834976 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126326997 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459153782128 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) S 28857 28860 8289 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 126326999 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459151677808 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326999 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459150625008 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13975920 memory=140617363515008 CPUtime=0.02 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) R 28857 28860 8289 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 126327000 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676930650 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13975920 memory=140617363515008 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126327003 14311342080 8629 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 13975920 KiB Current children cumulated memory: 34516 KiB [startup+0.310521 s]* /proc/loadavg: 1.92 1.86 1.79 4/214 28875 /proc/meminfo: memFree=25290108/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13975920 memory=43660 CPUtime=0.3 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 10653 0 0 0 27 3 0 0 20 0 15 0 126326986 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3493980 10915 3572 1 0 3482759 0 [pid=28860/tid=28862] ppid=28857 vsize=13975920 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 8201 0 0 0 18 2 0 0 20 0 15 0 126326994 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459681132608 140459660989790 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13975920 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13975920 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126326996 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126326997 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459154834976 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126326997 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459153782128 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) S 28857 28860 8289 0 -1 1077944384 427 0 0 0 2 0 0 0 20 0 15 0 126326999 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459151677808 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) S 28857 28860 8289 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 126326999 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459150625008 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) S 28857 28860 8289 0 -1 1077944384 450 0 0 0 5 0 0 0 20 0 15 0 126327000 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126327003 14311342080 10915 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 13975920 KiB Current children cumulated memory: 43660 KiB [startup+0.706566 s] /proc/loadavg: 1.92 1.86 1.79 3/214 28875 /proc/meminfo: memFree=25277068/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13977988 memory=85072 CPUtime=1.26 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 14869 0 0 0 122 4 0 0 20 0 15 0 126326986 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3494497 21268 3741 1 0 3483271 0 [pid=28860/tid=28862] ppid=28857 vsize=13977988 memory=2589865281281 CPUtime=0.58 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 9819 0 0 0 55 3 0 0 20 0 15 0 126326994 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459681144624 140459271882215 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13977988 memory=2615635085057 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13977988 memory=2632814954241 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126326995 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13977988 memory=66508736 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13977988 memory=-8556737395271162992 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126326995 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13977988 memory=6152287975781979490 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126326996 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13977988 memory=8025788822668141932 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126326997 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459154834976 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13977988 memory=281234458731232 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126326997 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459153782128 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13977988 memory=288230617509003574 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13977988 memory=15825482134324680 CPUtime=0.21 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) R 28857 28860 8289 0 -1 4202560 1446 0 0 0 21 0 0 0 20 0 15 0 126326999 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459151667600 140459660296173 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13977988 memory=1436 CPUtime=0.19 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) R 28857 28860 8289 0 -1 4202560 944 0 0 0 19 0 0 0 20 0 15 0 126326999 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459150615120 140459656297312 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13977988 memory=1200 CPUtime=0.24 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) R 28857 28860 8289 0 -1 1077944384 1279 0 0 0 24 0 0 0 20 0 15 0 126327000 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459149567936 140459676919509 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13977988 memory=15880 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13977988 memory=4040 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126327003 14313459712 21268 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 1.26 s Current children cumulated vsize: 13977988 KiB Current children cumulated memory: 85072 KiB [startup+1.50071 s] /proc/loadavg: 1.92 1.86 1.79 6/214 28875 /proc/meminfo: memFree=25203556/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13980036 memory=205096 CPUtime=3.75 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 25710 0 0 0 367 8 0 0 20 0 15 0 126326986 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3495009 51274 3786 1 0 3483783 0 [pid=28860/tid=28862] ppid=28857 vsize=13980036 memory=4420 CPUtime=1.35 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 12485 0 0 0 130 5 0 0 20 0 15 0 126326994 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459681146704 140459271859935 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13980036 memory=6628 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 126326995 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13980036 memory=8836 CPUtime=0.01 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 126326995 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13980036 memory=11044 CPUtime=0.01 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 126326995 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13980036 memory=13252 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 126326995 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13980036 memory=117 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 126326996 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 126326997 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459154834976 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 126326997 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459153782128 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13980036 memory=0 CPUtime=0.88 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) R 28857 28860 8289 0 -1 4202560 3911 0 0 0 88 0 0 0 20 0 15 0 126326999 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459151669088 140459662019330 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13980036 memory=0 CPUtime=0.86 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) R 28857 28860 8289 0 -1 4202560 3362 0 0 0 86 0 0 0 20 0 15 0 126326999 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459150605288 140459660405912 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13980036 memory=144959441372360 CPUtime=0.58 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) S 28857 28860 8289 0 -1 1077944384 3924 0 0 0 58 0 0 0 20 0 15 0 126327000 14315556864 51274 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 ################ # More data... # ################ /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 32776 0 0 0 243686 13 0 0 20 0 15 0 126326994 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459681147680 140459283068473 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13982084 memory=299180 CPUtime=3.38 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 10489 0 0 0 321 17 0 0 20 0 15 0 126326995 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13982084 memory=299180 CPUtime=3.4 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 9711 0 0 0 325 15 0 0 20 0 15 0 126326995 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13982084 memory=299180 CPUtime=3.39 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 9715 0 0 0 323 16 0 0 20 0 15 0 126326995 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13982084 memory=299180 CPUtime=3.37 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 10120 0 0 0 321 16 0 0 20 0 15 0 126326995 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13982084 memory=281234460440864 CPUtime=1.49 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 7354 0 0 0 137 12 0 0 20 0 15 0 126326996 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13982084 memory=299180 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459154835040 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13982084 memory=299180 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459153782144 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13982084 memory=299180 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13982084 memory=299180 CPUtime=2.43 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) S 28857 28860 8289 0 -1 1077944384 9140 0 0 0 241 2 0 0 20 0 15 0 126326999 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459151677808 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13982084 memory=299180 CPUtime=2.44 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) S 28857 28860 8289 0 -1 1077944384 10423 0 0 0 243 1 0 0 20 0 15 0 126326999 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459150625008 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13982084 memory=299180 CPUtime=1.02 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) S 28857 28860 8289 0 -1 1077944384 10935 0 0 0 101 1 0 0 20 0 15 0 126327000 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13982084 memory=299180 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13982084 memory=299180 CPUtime=0.74 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1459 0 0 0 31 43 0 0 20 0 15 0 126327003 14317654016 74795 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 2458.75 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 299180 KiB [startup+2502.3 s] /proc/loadavg: 1.44 1.40 1.54 4/212 29127 /proc/meminfo: memFree=30661916/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13982084 memory=303276 CPUtime=2519.05 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 114916 0 0 0 251778 127 0 0 20 0 15 0 126326986 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3495521 75819 3805 1 0 3484295 0 [pid=28860/tid=28862] ppid=28857 vsize=13982084 memory=303276 CPUtime=2496.84 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 33211 0 0 0 249671 13 0 0 20 0 15 0 126326994 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459681147680 140459283067178 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.47 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 10753 0 0 0 330 17 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13982084 memory=301228 CPUtime=3.49 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 9818 0 0 0 334 15 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.49 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 9819 0 0 0 332 17 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.47 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 10383 0 0 0 331 16 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13982084 memory=303276 CPUtime=1.54 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 7529 0 0 0 141 13 0 0 20 0 15 0 126326996 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13982084 memory=303276 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459154835040 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459153782144 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13982084 memory=303276 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13982084 memory=303276 CPUtime=2.43 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) S 28857 28860 8289 0 -1 1077944384 9142 0 0 0 241 2 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459151677808 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13982084 memory=301228 CPUtime=2.44 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) S 28857 28860 8289 0 -1 1077944384 10425 0 0 0 243 1 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459150625008 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13982084 memory=303276 CPUtime=1.02 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) S 28857 28860 8289 0 -1 1077944384 10937 0 0 0 101 1 0 0 20 0 15 0 126327000 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13982084 memory=4168 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13982084 memory=303248 CPUtime=0.76 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1476 0 0 0 32 44 0 0 20 0 15 0 126327003 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 2519.05 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 303276 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2503.3 s] /proc/loadavg: 1.44 1.40 1.54 4/212 29127 /proc/meminfo: memFree=30661916/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13982084 memory=303276 CPUtime=2520.05 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 114924 0 0 0 251878 127 0 0 20 0 15 0 126326986 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3495521 75819 3805 1 0 3484295 0 [pid=28860/tid=28862] ppid=28857 vsize=13982084 memory=303276 CPUtime=2497.84 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 33212 0 0 0 249771 13 0 0 20 0 15 0 126326994 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459681147792 140459283790739 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.48 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 10756 0 0 0 331 17 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.49 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 9819 0 0 0 334 15 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.49 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 9820 0 0 0 332 17 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.47 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 10384 0 0 0 331 16 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13982084 memory=303276 CPUtime=1.54 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 7530 0 0 0 141 13 0 0 20 0 15 0 126326996 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13982084 memory=301228 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459154835040 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13982084 memory=303276 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459153782144 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13982084 memory=303276 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13982084 memory=301228 CPUtime=2.43 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) S 28857 28860 8289 0 -1 1077944384 9142 0 0 0 241 2 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459151677808 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13982084 memory=303276 CPUtime=2.44 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) S 28857 28860 8289 0 -1 1077944384 10425 0 0 0 243 1 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459150625008 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13982084 memory=303276 CPUtime=1.02 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) S 28857 28860 8289 0 -1 1077944384 10937 0 0 0 101 1 0 0 20 0 15 0 126327000 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13982084 memory=303276 CPUtime=0.76 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1476 0 0 0 32 44 0 0 20 0 15 0 126327003 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 303276 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2503.33 s] # the end of solver process 28860 was just reported to runsolver # cumulated CPU time of all completed processes: user=2518.84 s, system=1.27803 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2503.3 s] /proc/loadavg: 1.44 1.40 1.54 4/212 29127 /proc/meminfo: memFree=30661916/32770624 swapFree=67108860/67108860 [pid=28860] ppid=28857 vsize=13982084 memory=303276 CPUtime=2520.05 cores=1,3,5,7 /proc/28860/stat : 28860 (java) S 28857 28860 8289 0 -1 1077944320 114924 0 0 0 251878 127 0 0 20 0 15 0 126326986 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140736235122864 140459676909303 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 /proc/28860/statm: 3495521 75819 3805 1 0 3484295 0 [pid=28860/tid=28862] ppid=28857 vsize=13982084 memory=303276 CPUtime=2497.84 cores=1,3,5,7 /proc/28860/task/28862/stat : 28862 (java) R 28857 28860 8289 0 -1 4202560 33212 0 0 0 249771 13 0 0 20 0 15 0 126326994 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459681147792 140459283790739 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28863] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.48 cores=1,3,5,7 /proc/28860/task/28863/stat : 28863 (java) S 28857 28860 8289 0 -1 1077944384 10756 0 0 0 331 17 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459596323472 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28864] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.49 cores=1,3,5,7 /proc/28860/task/28864/stat : 28864 (java) S 28857 28860 8289 0 -1 1077944384 9819 0 0 0 334 15 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459595270672 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28865] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.49 cores=1,3,5,7 /proc/28860/task/28865/stat : 28865 (java) S 28857 28860 8289 0 -1 1077944384 9820 0 0 0 332 17 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459594217872 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28866] ppid=28857 vsize=13982084 memory=303276 CPUtime=3.47 cores=1,3,5,7 /proc/28860/task/28866/stat : 28866 (java) S 28857 28860 8289 0 -1 1077944384 10384 0 0 0 331 16 0 0 20 0 15 0 126326995 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459593165072 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28867] ppid=28857 vsize=13982084 memory=303276 CPUtime=1.54 cores=1,3,5,7 /proc/28860/task/28867/stat : 28867 (java) S 28857 28860 8289 0 -1 1077944384 7530 0 0 0 141 13 0 0 20 0 15 0 126326996 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459155889008 140459676920450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28868] ppid=28857 vsize=13982084 memory=301228 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28868/stat : 28868 (java) S 28857 28860 8289 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459154835040 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28869] ppid=28857 vsize=13982084 memory=303276 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28869/stat : 28869 (java) S 28857 28860 8289 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 126326997 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459153782144 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28870] ppid=28857 vsize=13982084 memory=303276 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28870/stat : 28870 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459152730448 140459676927899 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28871] ppid=28857 vsize=13982084 memory=301228 CPUtime=2.43 cores=1,3,5,7 /proc/28860/task/28871/stat : 28871 (java) S 28857 28860 8289 0 -1 1077944384 9142 0 0 0 241 2 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459151677808 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28872] ppid=28857 vsize=13982084 memory=303276 CPUtime=2.44 cores=1,3,5,7 /proc/28860/task/28872/stat : 28872 (java) S 28857 28860 8289 0 -1 1077944384 10425 0 0 0 243 1 0 0 20 0 15 0 126326999 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459150625008 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28873] ppid=28857 vsize=13982084 memory=303276 CPUtime=1.02 cores=1,3,5,7 /proc/28860/task/28873/stat : 28873 (java) S 28857 28860 8289 0 -1 1077944384 10937 0 0 0 101 1 0 0 20 0 15 0 126327000 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459149572208 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28874] ppid=28857 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7 /proc/28860/task/28874/stat : 28874 (java) S 28857 28860 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126327000 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459148519648 140459676919509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 [pid=28860/tid=28875] ppid=28857 vsize=13982084 memory=303276 CPUtime=0.76 cores=1,3,5,7 /proc/28860/task/28875/stat : 28875 (java) S 28857 28860 8289 0 -1 1077944384 1476 0 0 0 32 44 0 0 20 0 15 0 126327003 14317654016 75819 18446744073709551615 4194304 4196468 140736235140320 140459147467952 140459676920450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 14860288 140736235143534 140736235143721 140736235143721 140736235147215 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 13982084 KiB Current children cumulated memory: 303276 KiB Child status: 143 Real time (s): 2503.33 CPU time (s): 2520.12 CPU user time (s): 2518.84 CPU system time (s): 1.27803 CPU usage (%): 100.671 Max. virtual memory (cumulated for all children) (KiB): 13982084 Max. memory (cumulated for all children) (KiB): 427012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2518.84 system time used= 1.27802 maximum resident set size= 442332 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115524 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2800 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 95934 involuntary context switches= 3203 # summary of solver processes directly reported to runsolver: # pid: 28860 # total CPU time (s): 2520.12 # total CPU user time (s): 2518.84 # total CPU system time (s): 1.27803 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 17.5201 second user time and 19.804 second system time The end
Begin job on node133 at 2017-08-15 10:04:30 IDJOB=4273563 IDBENCH=126994 IDSOLVER=2666 FILE ID=node133/4273563-1502785118 RUNJOBID= node133-1502652501-6259 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-07-26 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273563-1502785118/watcher-4273563-1502785118 -o /tmp/evaluation-result-4273563-1502785118/solver-4273563-1502785118 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1673711503 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273563-1502785118.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc RANDOM SEED=1673711503 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25319884 kB MemAvailable: 26090648 kB Buffers: 271268 kB Cached: 799532 kB SwapCached: 0 kB Active: 6722780 kB Inactive: 261084 kB Active(anon): 5853840 kB Inactive(anon): 108956 kB Active(file): 868940 kB Inactive(file): 152128 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42360 kB Writeback: 16 kB AnonPages: 5912928 kB Mapped: 75084 kB Shmem: 49852 kB Slab: 158700 kB SReclaimable: 131064 kB SUnreclaim: 27636 kB KernelStack: 3504 kB PageTables: 16748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 7645624 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5758976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61948 MiB End job on node133 at 2017-08-15 10:46:14