Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT (TO) | 7712 | 2400.12 | 2361.13 |
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.43/0.30 c version: 2017-06-30 0.43/0.30 c seed: 861514996 0.43/0.30 c timeout: 2400 0.43/0.30 c memlimit: 15500 0.43/0.30 c nbcore: 8 0.43/0.32 c Parsing instance... 7.68/2.42 c Parsing done, starting search... 8.07/2.54 o 290320 8.07/2.55 o 264172 8.07/2.55 o 264100 8.07/2.56 o 240016 8.07/2.57 o 239672 8.07/2.58 o 217428 8.07/2.59 o 197088 8.50/2.60 o 178524 8.50/2.61 o 160824 8.50/2.63 o 144868 8.50/2.64 o 130176 8.50/2.67 o 116716 8.91/2.71 o 104936 8.91/2.74 o 93844 8.91/2.77 o 83736 9.32/2.80 o 74796 9.32/2.87 o 74780 9.72/2.92 o 74732 9.72/2.93 o 67008 9.72/2.94 o 66736 10.02/3.01 o 59572 10.02/3.05 o 58524 10.02/3.06 o 51896 10.26/3.14 o 45020 10.26/3.14 o 39392 10.37/3.20 o 39288 10.37/3.23 o 34332 10.49/3.40 o 30136 10.78/3.60 o 29888 10.78/3.63 o 26148 11.50/4.38 o 25956 12.10/4.91 o 22776 12.60/5.48 o 22352 13.41/6.29 o 22232 13.91/6.75 o 22168 14.68/7.40 o 19500 15.05/7.64 o 17136 15.35/7.90 o 16856 15.35/7.98 o 16680 15.35/7.99 o 14748 17.98/10.28 o 14684 18.68/10.97 o 14428 18.68/10.99 o 12944 21.35/13.40 o 12904 23.36/15.44 o 12140 46.54/38.45 o 11892 53.10/44.88 o 11156 54.00/45.76 o 10648 74.57/66.06 o 10536 74.57/66.09 o 10152 94.75/86.12 o 10112 94.75/86.14 o 10032 94.75/86.14 o 9644 150.43/141.69 o 9468 160.88/152.09 o 9396 220.29/211.30 o 9348 221.08/212.00 o 9100 221.28/212.21 o 8844 297.73/288.26 o 8804 299.44/289.98 o 8552 306.18/296.64 o 8504 326.55/316.83 o 8272 438.14/427.36 o 8168 537.20/524.98 o 8160 537.30/525.07 o 7956 1231.01/1209.66 o 7952 1234.16/1212.74 o 7900 1242.18/1220.62 o 7836 1242.18/1220.63 o 7828 2381.88/2343.21 o 7712 2400.06/2361.10 s SATISFIABLE 2400.06/2361.11 v <instantiation> 2400.06/2361.11 v <list> 2400.06/2361.11 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[0][89] y[0][90] y[0][91] y[0][92] y[0][93] y[0][94] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[1][88] y[1][89] y[1][90] y[1][91] y[1][92] y[1][93] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[2][87] y[2][88] y[2][89] y[2][90] y[2][91] y[2][92] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[3][86] y[3][87] y[3][88] y[3][89] y[3][90] y[3][91] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[4][85] y[4][86] y[4][87] y[4][88] y[4][89] y[4][90] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[5][84] y[5][85] y[5][86] y[5][87] y[5][88] y[5][89] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[6][83] y[6][84] y[6][85] y[6][86] y[6][87] y[6][88] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[7][83] y[7][84] y[7][85] y[7][86] y[7][87] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[8][83] y[8][84] y[8][85] y[8][86] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[9][83] y[9][84] y[9][85] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[10][83] y[10][84] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[11][83] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[83][6] y[83][7] y[83][8] y[83][9] y[83][10] y[83][11] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[84][5] y[84][6] y[84][7] y[84][8] y[84][9] y[84][10] y[85][0] y[85][1] y[85][2] y[85][3] y[85][4] y[85][5] y[85][6] y[85][7] y[85][8] y[85][9] y[86][0] y[86][1] y[86][2] y[86][3] y[86][4] y[86][5] y[86][6] y[86][7] y[86][8] y[87][0] y[87][1] y[87][2] y[87][3] y[87][4] y[87][5] y[87][6] y[87][7] y[88][0] y[88][1] y[88][2] y[88][3] y[88][4] y[88][5] y[88][6] y[89][0] y[89][1] y[89][2] y[89][3] y[89][4] y[89][5] y[90][0] y[90][1] y[90][2] y[90][3] y[90][4] y[91][0] y[91][1] y[91][2] y[91][3] y[92][0] y[92][1] y[92][2] y[93][0] y[93][1] y[94][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] s[92] s[93] s[94] 2400.06/2361.11 v </list> 2400.06/2361.11 v <values> 2400.06/2361.11 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 10 25 24 15 18 17 20 7 18 11 18 -3 4 17 8 1 6 -3 10 -1 4 5 18 9 2 5 8 -5 -4 1 14 3 -2 9 -2 -9 10 5 4 -7 0 5 4 -3 2 3 4 1 10 -1 0 3 -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 100 625 576 225 324 289 400 49 324 121 324 9 16 289 64 1 36 9 100 1 16 25 324 81 4 25 64 25 16 1 196 9 4 81 4 81 100 25 16 49 0 25 16 9 4 9 16 1 100 1 0 9 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 2400.06/2361.11 v </values> 2400.06/2361.11 v </instantiation>
OK 7712
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247407-1500724167/watcher-4247407-1500724167 -o /tmp/evaluation-result-4247407-1500724167/solver-4247407-1500724167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500717086-20855 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 861514996 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247407-1500724167.xml pid=22161 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.53 1.47 1.45 3/261 22164 /proc/meminfo: memFree=30947088/32770624 swapFree=6308/296684 [pid=22164] ppid=22161 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 1958 0 0 0 0 0 0 0 20 0 2 0 7683015 10889764864 1658 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 2658634 1658 1188 1 0 2647545 0 [pid=22164/tid=22165] ppid=22161 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 2 0 7683015 10889764864 1790 33554432000 4194304 4196468 140734053420032 139630226631072 139630214678432 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [startup+0.100103 s] /proc/loadavg: 1.53 1.47 1.45 3/261 22164 /proc/meminfo: memFree=30947088/32770624 swapFree=6308/296684 [pid=22164] ppid=22161 vsize=13261040 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 5606 0 0 0 8 1 0 0 20 0 20 0 7683015 13579304960 5376 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3315260 5376 2618 1 0 3303698 0 [pid=22164/tid=22165] ppid=22161 vsize=13261040 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 3669 0 0 0 7 1 0 0 20 0 20 0 7683015 13579304960 5376 33554432000 4194304 4196468 140734053420032 139630226626992 139630222410909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13261040 [startup+0.200463 s] /proc/loadavg: 1.53 1.47 1.45 3/261 22164 /proc/meminfo: memFree=30947088/32770624 swapFree=6308/296684 [pid=22164] ppid=22161 vsize=13263944 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 8827 0 0 0 24 2 0 0 20 0 20 0 7683015 13582278656 8824 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3315978 8860 3548 1 0 3303698 0 [pid=22164/tid=22165] ppid=22161 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) D 22161 22164 20823 0 -1 1077944384 6456 0 0 0 17 1 0 0 20 0 20 0 7683015 13582245888 8860 33554432000 4194304 4196468 140734053420032 139630226597136 139630215068205 0 4 0 16800975 18446744072101498404 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13263944 [startup+0.30042 s] /proc/loadavg: 1.53 1.47 1.45 3/261 22164 /proc/meminfo: memFree=30947088/32770624 swapFree=6308/296684 [pid=22164] ppid=22161 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 9869 0 0 0 40 3 0 0 20 0 20 0 7683015 13582245888 11102 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3315978 11102 3657 1 0 3303698 0 [pid=22164/tid=22165] ppid=22161 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 7178 0 0 0 26 2 0 0 20 0 20 0 7683015 13582245888 11102 33554432000 4194304 4196468 140734053420032 139630226607128 139630222410909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 13263912 [startup+0.700309 s] /proc/loadavg: 1.53 1.47 1.45 3/261 22164 /proc/meminfo: memFree=30947088/32770624 swapFree=6308/296684 [pid=22164] ppid=22161 vsize=13265980 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 13696 0 0 0 160 5 0 0 20 0 20 0 7683015 13584363520 21594 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3316495 21594 3771 1 0 3304210 0 [pid=22164/tid=22165] ppid=22161 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 8038 0 0 0 64 3 0 0 20 0 20 0 7683015 13584363520 21594 33554432000 4194304 4196468 140734053420032 139630226623536 139629863624324 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 13265980 [startup+1.50117 s] /proc/loadavg: 1.57 1.48 1.45 7/281 22184 /proc/meminfo: memFree=30811172/32770624 swapFree=6308/297064 [pid=22164] ppid=22161 vsize=13268028 CPUtime=4.75 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 24597 0 0 0 466 9 0 0 20 0 20 0 7683015 13586460672 48168 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3317007 48168 3798 1 0 3304722 0 [pid=22164/tid=22165] ppid=22161 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 9727 0 0 0 142 5 0 0 20 0 20 0 7683015 13586460672 48168 33554432000 4194304 4196468 140734053420032 139630226623952 139629866943914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22167] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22167/stat : 22167 (java) S 22161 22164 20823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629822093968 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22168] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22168/stat : 22168 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629821041168 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22169] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22169/stat : 22169 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629819988368 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22170] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22170/stat : 22170 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629818935568 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22171] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22171/stat : 22171 (java) S 22161 22164 20823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629817883792 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22172] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22172/stat : 22172 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629816830992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22173] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22173/stat : 22173 (java) S 22161 22164 20823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629815778192 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22174] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22174/stat : 22174 (java) S 22161 22164 20823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7683016 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629814725392 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22175] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22175/stat : 22175 (java) S 22161 22164 20823 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 7683018 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629551303024 139630222400130 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22176] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22176/stat : 22176 (java) S 22161 22164 20823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 7683019 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629550248992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22177] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22177/stat : 22177 (java) S 22161 22164 20823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 7683019 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629549196144 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22178] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22178/stat : 22178 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683023 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629548144464 139630222407579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22179] ppid=22161 vsize=13268028 CPUtime=0.81 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22179/stat : 22179 (java) R 22161 22164 20823 0 -1 4202560 3370 0 0 0 81 0 0 0 20 0 20 0 7683023 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629547093144 139630214678437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22180] ppid=22161 vsize=13268028 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22180/stat : 22180 (java) R 22161 22164 20823 0 -1 4202560 3267 0 0 0 84 1 0 0 20 0 20 0 7683023 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629546039968 139630201578448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22181] ppid=22161 vsize=13268028 CPUtime=0.85 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22181/stat : 22181 (java) R 22161 22164 20823 0 -1 4202560 3698 0 0 0 85 0 0 0 20 0 20 0 7683023 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629544970888 139630205889376 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22182] ppid=22161 vsize=13268028 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22182/stat : 22182 (java) S 22161 22164 20823 0 -1 1077944384 3122 0 0 0 72 1 0 0 20 0 20 0 7683023 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629543934448 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22183] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22183/stat : 22183 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683023 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629542881888 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22184] ppid=22161 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22184/stat : 22184 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683024 13586460672 48168 33554432000 4194304 4196468 140734053420032 139629541829168 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 13268028 [startup+3.10116 s] /proc/loadavg: 1.57 1.48 1.45 6/281 22184 /proc/meminfo: memFree=30744024/32770624 swapFree=6308/297064 [pid=22164] ppid=22161 vsize=13270076 CPUtime=10.26 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 36368 0 0 0 1002 24 0 0 20 0 20 0 7683015 13588557824 64006 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3317519 64006 3832 1 0 3305234 0 [pid=22164/tid=22165] ppid=22161 vsize=13270076 CPUtime=3.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 12334 0 0 0 296 6 0 0 20 0 20 0 7683015 13588557824 64006 33554432000 4194304 4196468 140734053420032 139630226618752 139629871680569 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22167] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22167/stat : 22167 (java) S 22161 22164 20823 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629822093968 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22168] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22168/stat : 22168 (java) S 22161 22164 20823 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629821041168 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22169] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22169/stat : 22169 (java) S 22161 22164 20823 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629819988368 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22170] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22170/stat : 22170 (java) S 22161 22164 20823 0 -1 1077944384 134 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629818935568 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22171] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22171/stat : 22171 (java) S 22161 22164 20823 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629817883792 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22172] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22172/stat : 22172 (java) S 22161 22164 20823 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629816830992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22173] ppid=22161 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22173/stat : 22173 (java) S 22161 22164 20823 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629815778192 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22174] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22174/stat : 22174 (java) S 22161 22164 20823 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629814725392 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22175] ppid=22161 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22175/stat : 22175 (java) S 22161 22164 20823 0 -1 1077944384 930 0 0 0 1 0 0 0 20 0 20 0 7683018 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629551303024 139630222400130 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22176] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22176/stat : 22176 (java) S 22161 22164 20823 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629550249056 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22177] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22177/stat : 22177 (java) S 22161 22164 20823 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629549196160 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22178] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22178/stat : 22178 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629548144464 139630222407579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22179] ppid=22161 vsize=13270076 CPUtime=1.88 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22179/stat : 22179 (java) S 22161 22164 20823 0 -1 1077944384 4475 0 0 0 187 1 0 0 20 0 20 0 7683023 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629547092848 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22180] ppid=22161 vsize=13270076 CPUtime=1.93 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22180/stat : 22180 (java) S 22161 22164 20823 0 -1 1077944384 5091 0 0 0 192 1 0 0 20 0 20 0 7683023 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629546040048 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22181] ppid=22161 vsize=13270076 CPUtime=1.92 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22181/stat : 22181 (java) S 22161 22164 20823 0 -1 1077944384 5263 0 0 0 191 1 0 0 20 0 20 0 7683023 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629544987248 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22182] ppid=22161 vsize=13270076 CPUtime=1.2 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22182/stat : 22182 (java) S 22161 22164 20823 0 -1 1077944384 6361 0 0 0 119 1 0 0 20 0 20 0 7683023 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629543934448 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22183] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22183/stat : 22183 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629542881888 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22184] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22184/stat : 22184 (java) S 22161 22164 20823 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 7683024 13588557824 64006 33554432000 4194304 4196468 140734053420032 139629541829168 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 10.26 Current children cumulated vsize (KiB) 13270076 [startup+6.30118 s] /proc/loadavg: 1.52 1.47 1.45 3/281 22184 /proc/meminfo: memFree=30673784/32770624 swapFree=6308/297048 [pid=22164] ppid=22161 vsize=13270076 CPUtime=13.51 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 36513 0 0 0 1326 25 0 0 20 0 20 0 7683015 13588557824 79926 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3317519 79926 3832 1 0 3305234 0 [pid=22164/tid=22165] ppid=22161 vsize=13270076 CPUtime=6.22 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 12448 0 0 0 615 7 0 0 20 0 20 0 7683015 13588557824 79926 33554432000 4194304 4196468 140734053420032 139630226623984 139629871645583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22167] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22167/stat : 22167 (java) S 22161 22164 20823 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629822093968 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22168] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22168/stat : 22168 (java) S 22161 22164 20823 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629821041168 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22169] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22169/stat : 22169 (java) S 22161 22164 20823 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629819988368 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22170] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22170/stat : 22170 (java) S 22161 22164 20823 0 -1 1077944384 134 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629818935568 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22171] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22171/stat : 22171 (java) S 22161 22164 20823 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629817883792 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22172] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22172/stat : 22172 (java) S 22161 22164 20823 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629816830992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22173] ppid=22161 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22173/stat : 22173 (java) S 22161 22164 20823 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629815778192 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22174] ppid=22161 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22174/stat : 22174 (java) S 22161 22164 20823 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 20 0 7683016 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629814725392 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22175] ppid=22161 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22175/stat : 22175 (java) S 22161 22164 20823 0 -1 1077944384 931 0 0 0 1 0 0 0 20 0 20 0 7683018 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629551303024 139630222400130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22176] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22176/stat : 22176 (java) S 22161 22164 20823 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629550249056 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22177] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22177/stat : 22177 (java) S 22161 22164 20823 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 79926 33554432000 4194304 4196468 140734053420032 139629549196160 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22178] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=22164/tid=22180] ppid=22161 vsize=13270076 CPUtime=2.13 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22180/stat : 22180 (java) S 22161 22164 20823 0 -1 1077944384 8458 0 0 0 211 2 0 0 20 0 20 0 7683023 13588557824 133985 33554432000 4194304 4196468 140734053420032 139629546040048 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22181] ppid=22161 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22181/stat : 22181 (java) S 22161 22164 20823 0 -1 1077944384 7711 0 0 0 202 2 0 0 20 0 20 0 7683023 13588557824 133985 33554432000 4194304 4196468 140734053420032 139629544987248 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22182] ppid=22161 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22182/stat : 22182 (java) S 22161 22164 20823 0 -1 1077944384 10240 0 0 0 123 1 0 0 20 0 20 0 7683023 13588557824 133985 33554432000 4194304 4196468 140734053420032 139629543934448 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22183] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22183/stat : 22183 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 133985 33554432000 4194304 4196468 140734053420032 139629542881888 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22184] ppid=22161 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22184/stat : 22184 (java) S 22161 22164 20823 0 -1 1077944384 811 0 0 0 34 37 0 0 20 0 20 0 7683024 13588557824 133985 33554432000 4194304 4196468 140734053420032 139629541829168 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 2299.7 Current children cumulated vsize (KiB) 13270076 [startup+2322.3 s] /proc/loadavg: 1.67 1.62 1.60 3/281 22366 /proc/meminfo: memFree=30672772/32770624 swapFree=6308/298892 [pid=22164] ppid=22161 vsize=13270076 CPUtime=2360.61 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 123964 0 0 0 235752 309 0 0 20 0 20 0 7683015 13588557824 130649 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3317519 130649 3837 1 0 3305234 0 [pid=22164/tid=22165] ppid=22161 vsize=13270076 CPUtime=2314.22 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 37539 0 0 0 231406 16 0 0 20 0 20 0 7683015 13588557824 130649 33554432000 4194304 4196468 140734053420032 139630226627392 139629871673446 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22167] ppid=22161 vsize=13270076 CPUtime=4.53 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22167/stat : 22167 (java) S 22161 22164 20823 0 -1 1077944384 4147 0 0 0 423 30 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629822093968 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22168] ppid=22161 vsize=13270076 CPUtime=4.59 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22168/stat : 22168 (java) S 22161 22164 20823 0 -1 1077944384 5664 0 0 0 426 33 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629821041168 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22169] ppid=22161 vsize=13270076 CPUtime=4.5 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22169/stat : 22169 (java) S 22161 22164 20823 0 -1 1077944384 4538 0 0 0 420 30 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629819988368 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22170] ppid=22161 vsize=13270076 CPUtime=4.54 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22170/stat : 22170 (java) S 22161 22164 20823 0 -1 1077944384 6447 0 0 0 421 33 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629818935568 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22171] ppid=22161 vsize=13270076 CPUtime=4.61 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22171/stat : 22171 (java) S 22161 22164 20823 0 -1 1077944384 4378 0 0 0 430 31 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629817883792 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22172] ppid=22161 vsize=13270076 CPUtime=4.54 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22172/stat : 22172 (java) S 22161 22164 20823 0 -1 1077944384 4953 0 0 0 425 29 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629816830992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22173] ppid=22161 vsize=13270076 CPUtime=4.51 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22173/stat : 22173 (java) S 22161 22164 20823 0 -1 1077944384 4143 0 0 0 421 30 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629815778192 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22174] ppid=22161 vsize=13270076 CPUtime=4.46 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22174/stat : 22174 (java) S 22161 22164 20823 0 -1 1077944384 5904 0 0 0 416 30 0 0 20 0 20 0 7683016 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629814725392 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22175] ppid=22161 vsize=13270076 CPUtime=1.74 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22175/stat : 22175 (java) S 22161 22164 20823 0 -1 1077944384 9289 0 0 0 150 24 0 0 20 0 20 0 7683018 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629551303024 139630222400130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22176] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22176/stat : 22176 (java) S 22161 22164 20823 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629550249056 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22177] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22177/stat : 22177 (java) S 22161 22164 20823 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629549196160 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22178] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22178/stat : 22178 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629548144464 139630222407579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22179] ppid=22161 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22179/stat : 22179 (java) S 22161 22164 20823 0 -1 1077944384 8284 0 0 0 207 1 0 0 20 0 20 0 7683023 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629547092848 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22180] ppid=22161 vsize=13270076 CPUtime=2.13 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22180/stat : 22180 (java) S 22161 22164 20823 0 -1 1077944384 8460 0 0 0 211 2 0 0 20 0 20 0 7683023 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629546040048 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22181] ppid=22161 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22181/stat : 22181 (java) S 22161 22164 20823 0 -1 1077944384 7713 0 0 0 202 2 0 0 20 0 20 0 7683023 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629544987248 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22182] ppid=22161 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22182/stat : 22182 (java) S 22161 22164 20823 0 -1 1077944384 10242 0 0 0 123 1 0 0 20 0 20 0 7683023 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629543934448 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22183] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22183/stat : 22183 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629542881888 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22184] ppid=22161 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22184/stat : 22184 (java) S 22161 22164 20823 0 -1 1077944384 829 0 0 0 35 38 0 0 20 0 20 0 7683024 13588557824 130649 33554432000 4194304 4196468 140734053420032 139629541829168 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 2360.61 Current children cumulated vsize (KiB) 13270076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2361.1 s] /proc/loadavg: 1.41 1.56 1.58 3/281 22366 /proc/meminfo: memFree=30675624/32770624 swapFree=6308/298920 [pid=22164] ppid=22161 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 125278 0 0 0 239694 312 0 0 20 0 20 0 7683015 13588557824 128980 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3317519 128980 3837 1 0 3305234 0 [pid=22164/tid=22165] ppid=22161 vsize=13270076 CPUtime=2352.86 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 38196 0 0 0 235269 17 0 0 20 0 20 0 7683015 13588557824 128980 33554432000 4194304 4196468 140734053420032 139630226627296 139629872317967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22167] ppid=22161 vsize=13270076 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22167/stat : 22167 (java) S 22161 22164 20823 0 -1 1077944384 4263 0 0 0 433 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629822093968 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22168] ppid=22161 vsize=13270076 CPUtime=4.69 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22168/stat : 22168 (java) S 22161 22164 20823 0 -1 1077944384 5670 0 0 0 435 34 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629821041168 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22169] ppid=22161 vsize=13270076 CPUtime=4.58 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22169/stat : 22169 (java) S 22161 22164 20823 0 -1 1077944384 4550 0 0 0 428 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629819988368 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22170] ppid=22161 vsize=13270076 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22170/stat : 22170 (java) S 22161 22164 20823 0 -1 1077944384 6533 0 0 0 430 33 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629818935568 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22171] ppid=22161 vsize=13270076 CPUtime=4.7 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22171/stat : 22171 (java) S 22161 22164 20823 0 -1 1077944384 4387 0 0 0 439 31 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629817883792 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22172] ppid=22161 vsize=13270076 CPUtime=4.62 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22172/stat : 22172 (java) S 22161 22164 20823 0 -1 1077944384 4958 0 0 0 433 29 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629816830992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22173] ppid=22161 vsize=13270076 CPUtime=4.61 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22173/stat : 22173 (java) S 22161 22164 20823 0 -1 1077944384 4152 0 0 0 431 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629815778192 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22174] ppid=22161 vsize=13270076 CPUtime=4.55 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22174/stat : 22174 (java) S 22161 22164 20823 0 -1 1077944384 6120 0 0 0 425 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629814725392 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22175] ppid=22161 vsize=13270076 CPUtime=1.78 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22175/stat : 22175 (java) S 22161 22164 20823 0 -1 1077944384 9466 0 0 0 153 25 0 0 20 0 20 0 7683018 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629551303024 139630222400130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22176] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22176/stat : 22176 (java) S 22161 22164 20823 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629550249056 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22177] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22177/stat : 22177 (java) S 22161 22164 20823 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629549196160 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22178] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22178/stat : 22178 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629548144464 139630222407579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22179] ppid=22161 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22179/stat : 22179 (java) S 22161 22164 20823 0 -1 1077944384 8286 0 0 0 207 1 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629547092848 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22180] ppid=22161 vsize=13270076 CPUtime=2.13 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22180/stat : 22180 (java) S 22161 22164 20823 0 -1 1077944384 8462 0 0 0 211 2 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629546040048 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22181] ppid=22161 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22181/stat : 22181 (java) S 22161 22164 20823 0 -1 1077944384 7715 0 0 0 202 2 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629544987248 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22182] ppid=22161 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22182/stat : 22182 (java) S 22161 22164 20823 0 -1 1077944384 10244 0 0 0 123 1 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629543934448 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22183] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22183/stat : 22183 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629542881888 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22184] ppid=22161 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22184/stat : 22184 (java) S 22161 22164 20823 0 -1 1077944384 842 0 0 0 36 39 0 0 20 0 20 0 7683024 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629541829168 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 13270076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22164 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2361.1 s] /proc/loadavg: 1.41 1.56 1.58 3/281 22366 /proc/meminfo: memFree=30675624/32770624 swapFree=6308/298920 [pid=22164] ppid=22161 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/22164/stat : 22164 (java) S 22161 22164 20823 0 -1 1077944320 125278 0 0 0 239694 312 0 0 20 0 20 0 7683015 13588557824 128980 33554432000 4194304 4196468 140734053420032 140734053402576 139630222388983 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 /proc/22164/statm: 3317519 128980 3837 1 0 3305234 0 [pid=22164/tid=22165] ppid=22161 vsize=13270076 CPUtime=2352.86 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22165/stat : 22165 (java) R 22161 22164 20823 0 -1 4202560 38196 0 0 0 235269 17 0 0 20 0 20 0 7683015 13588557824 128980 33554432000 4194304 4196468 140734053420032 139630226627296 139629872317967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22167] ppid=22161 vsize=13270076 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22167/stat : 22167 (java) S 22161 22164 20823 0 -1 1077944384 4263 0 0 0 433 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629822093968 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22168] ppid=22161 vsize=13270076 CPUtime=4.69 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22168/stat : 22168 (java) S 22161 22164 20823 0 -1 1077944384 5670 0 0 0 435 34 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629821041168 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22169] ppid=22161 vsize=13270076 CPUtime=4.58 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22169/stat : 22169 (java) S 22161 22164 20823 0 -1 1077944384 4550 0 0 0 428 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629819988368 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22170] ppid=22161 vsize=13270076 CPUtime=4.63 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22170/stat : 22170 (java) S 22161 22164 20823 0 -1 1077944384 6533 0 0 0 430 33 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629818935568 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22171] ppid=22161 vsize=13270076 CPUtime=4.7 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22171/stat : 22171 (java) S 22161 22164 20823 0 -1 1077944384 4387 0 0 0 439 31 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629817883792 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22172] ppid=22161 vsize=13270076 CPUtime=4.62 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22172/stat : 22172 (java) S 22161 22164 20823 0 -1 1077944384 4958 0 0 0 433 29 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629816830992 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22173] ppid=22161 vsize=13270076 CPUtime=4.61 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22173/stat : 22173 (java) S 22161 22164 20823 0 -1 1077944384 4152 0 0 0 431 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629815778192 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22174] ppid=22161 vsize=13270076 CPUtime=4.55 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22174/stat : 22174 (java) S 22161 22164 20823 0 -1 1077944384 6120 0 0 0 425 30 0 0 20 0 20 0 7683016 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629814725392 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22175] ppid=22161 vsize=13270076 CPUtime=1.78 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22175/stat : 22175 (java) S 22161 22164 20823 0 -1 1077944384 9466 0 0 0 153 25 0 0 20 0 20 0 7683018 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629551303024 139630222400130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22176] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22176/stat : 22176 (java) S 22161 22164 20823 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629550249056 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22177] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22177/stat : 22177 (java) S 22161 22164 20823 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 7683019 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629549196160 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22178] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22178/stat : 22178 (java) S 22161 22164 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629548144464 139630222407579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22179] ppid=22161 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22179/stat : 22179 (java) S 22161 22164 20823 0 -1 1077944384 8286 0 0 0 207 1 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629547092848 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22180] ppid=22161 vsize=13270076 CPUtime=2.13 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22180/stat : 22180 (java) S 22161 22164 20823 0 -1 1077944384 8462 0 0 0 211 2 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629546040048 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22181] ppid=22161 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22181/stat : 22181 (java) S 22161 22164 20823 0 -1 1077944384 7715 0 0 0 202 2 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629544987248 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22182] ppid=22161 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22182/stat : 22182 (java) S 22161 22164 20823 0 -1 1077944384 10244 0 0 0 123 1 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629543934448 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22183] ppid=22161 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22183/stat : 22183 (java) S 22161 22164 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7683023 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629542881888 139630222399189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 [pid=22164/tid=22184] ppid=22161 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/22164/task/22184/stat : 22184 (java) S 22161 22164 20823 0 -1 1077944384 842 0 0 0 36 39 0 0 20 0 20 0 7683024 13588557824 128980 33554432000 4194304 4196468 140734053420032 139629541829168 139630222400130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34189312 140734053426314 140734053426500 140734053426500 140734053429199 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 13270076 Child status: 143 Real time (s): 2361.13 CPU time (s): 2400.12 CPU user time (s): 2396.99 CPU system time (s): 3.1301 CPU usage (%): 101.651 Max. virtual memory (cumulated for all children) (KiB): 13270076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.99 system time used= 3.1301 maximum resident set size= 727000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125725 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 129229 involuntary context switches= 138033 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.0672 second user time and 19.8646 second system time The end
Begin job on node143 at 2017-07-22 13:49:27 IDJOB=4247407 IDBENCH=126994 IDSOLVER=2628 FILE ID=node143/4247407-1500724167 RUNJOBID= node143-1500717086-20855 PBS_JOBID= 20623361 Free space on /tmp= 61868 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247407-1500724167/watcher-4247407-1500724167 -o /tmp/evaluation-result-4247407-1500724167/solver-4247407-1500724167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500717086-20855 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 861514996 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247407-1500724167.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc RANDOM SEED=861514996 node143.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30947176 kB MemAvailable: 31432852 kB Buffers: 167804 kB Cached: 589536 kB SwapCached: 0 kB Active: 1062920 kB Inactive: 305428 kB Active(anon): 613980 kB Inactive(anon): 8744 kB Active(file): 448940 kB Inactive(file): 296684 kB Unevictable: 6308 kB Mlocked: 6308 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42176 kB Writeback: 0 kB AnonPages: 617080 kB Mapped: 45752 kB Shmem: 8852 kB Slab: 145640 kB SReclaimable: 111772 kB SUnreclaim: 33868 kB KernelStack: 4496 kB PageTables: 6836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1492360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 542720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 155008 kB DirectMap2M: 33390592 kB Free space on /tmp at the end= 61824 MiB End job on node143 at 2017-07-22 14:28:49