Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 | SAT (MO) | 130468 | 13.8448 | 4.26839 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-088.xml |
MD5SUM | 433b6a25d6964ee5472894f745fbe815 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 812 |
Best CPU time to get the best result obtained on this benchmark | 2520.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7831 |
Number of constraints | 4002 |
Number of domains | 175 |
Minimum domain size | 2 |
Maximum domain size | 175 |
Distribution of domain sizes | [{"size":2,"count":3917},{"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":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 87 |
Distribution of variable degrees | [{"degree":0,"count":3741},{"degree":2,"count":4002},{"degree":87,"count":88}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 88 |
Distribution of constraint arities | [{"arity":2,"count":88},{"arity":3,"count":3829},{"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":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3915 |
Distribution of constraint types | [{"type":"intension","count":3915},{"type":"sum","count":87}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399405-1568696686.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399405-1568696686.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.29 c parse instance... 8.38/2.88 c solve instance... 11.37/3.61 o 223300 11.37/3.63 o 208336 11.37/3.64 o 208000 11.37/3.65 o 194396 11.78/3.74 o 194060 11.78/3.75 o 193732 11.78/3.76 o 181448 11.78/3.77 o 181096 11.78/3.79 o 180768 11.78/3.79 o 180464 11.78/3.80 o 169460 12.13/3.81 o 169092 12.13/3.83 o 168764 12.13/3.84 o 168444 12.13/3.84 o 168164 12.13/3.85 o 158400 12.13/3.87 o 158016 12.13/3.88 o 157672 12.13/3.90 o 157352 12.50/3.91 o 157056 12.50/3.91 o 156800 12.50/3.92 o 148236 12.50/3.96 o 147836 12.50/4.00 o 147476 12.91/4.02 o 147156 12.91/4.03 o 146844 12.91/4.04 o 146572 12.91/4.04 o 146340 12.91/4.05 o 138936 13.30/4.13 o 138520 13.30/4.15 o 138144 13.30/4.16 o 137808 13.30/4.17 o 137496 13.30/4.18 o 137208 13.30/4.19 o 136960 13.63/4.20 o 136752 13.63/4.20 o 130468 13.63/4.23 s SATISFIABLE 13.63/4.23 v <instantiation> 13.63/4.23 v <list>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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[83][0] y[83][1] y[83][2] y[83][3] y[84][0] y[84][1] y[84][2] y[85][0] y[85][1] y[86][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] 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] </list> 13.63/4.23 v <values>-1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 85 82 79 76 73 70 67 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0 -1 -2 -3 -4 -5 -6 -7 -8 -7 -6 -5 -4 -3 -2 -1 7225 6724 6241 5776 5329 4900 4489 4096 3969 3844 3721 3600 3481 3364 3249 3136 3025 2916 2809 2704 2601 2500 2401 2304 2209 2116 2025 1936 1849 1764 1681 1600 1521 1444 1369 1296 1225 1156 1089 1024 961 900 841 784 729 676 625 576 529 484 441 400 361 324 289 256 225 196 169 144 121 100 81 64 49 36 25 16 9 4 1 0 1 4 9 16 25 36 49 64 49 36 25 16 9 4 1 </values> 13.63/4.23 v </instantiation> 13.63/4.23 c Unexpected resolution interruption!
OK 130468
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11005 MiB free) memory of node 1: 16384 MiB (15670 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399405-1568696686/watcher-4399405-1568696686 -o /tmp/evaluation-result-4399405-1568696686/solver-4399405-1568696686 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1202760911 HOME/instance-4399405-1568696686.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=27668, runsolver pid=27665 [startup+0.100091 s]* /proc/loadavg: 6.97 7.16 7.15 6/233 27684 /proc/meminfo: memFree=27298484/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15144776 memory=29296 CPUtime=0.13 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 5720 0 0 0 12 1 0 0 20 0 15 0 445925711 15508250624 7324 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3786194 7324 3145 1 0 3748377 0 [pid=27670/tid=27671] ppid=27668 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) R 27668 27668 23397 0 -1 4202560 3646 0 0 0 9 0 0 0 20 0 15 0 445925711 15508250624 7324 33554432000 4194304 4196468 140736935360784 140300321346704 140299953255983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 7324 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15144776 memory=139785939916869 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445925714 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299190880880 140300317133442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445925714 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299189826848 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445925714 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299188774512 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) R 27668 27668 23397 0 -1 4202560 424 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299186669680 140300317134230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) R 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299185616880 140300317133442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15144776 memory=139785936750208 CPUtime=0.02 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) R 27668 27668 23397 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 445925717 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299184564592 140300296562006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 7324 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30748 KiB [startup+0.211063 s]* /proc/loadavg: 6.97 7.16 7.15 6/233 27684 /proc/meminfo: memFree=27285876/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15144776 memory=40388 CPUtime=0.34 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 9323 0 0 0 32 2 0 0 20 0 15 0 445925711 15508250624 10097 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3786194 10097 3281 1 0 3748377 0 [pid=27670/tid=27671] ppid=27668 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) R 27668 27668 23397 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 445925711 15508250624 10097 33554432000 4194304 4196468 140736935360784 140300321356416 140300301202782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 10097 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15144776 memory=4122675291281606304 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445925712 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15144776 memory=139785936750208 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445925714 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299190880880 140300317133442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445925714 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299189826848 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445925714 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299188774512 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) S 27668 27668 23397 0 -1 1077944384 533 0 0 0 2 0 0 0 20 0 15 0 445925717 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299186669680 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) S 27668 27668 23397 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 445925717 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299185616880 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15144776 memory=139785936750208 CPUtime=0.08 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) R 27668 27668 23397 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 15 0 445925717 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299184564592 140300301202782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925717 15508250624 10097 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41840 KiB [startup+0.313667 s]* /proc/loadavg: 6.97 7.16 7.15 8/233 27684 /proc/meminfo: memFree=27279328/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15149032 memory=49636 CPUtime=0.53 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 10795 0 0 0 50 3 0 0 20 0 15 0 445925711 15512608768 12409 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3787258 12409 3366 1 0 3748377 0 [pid=27670/tid=27671] ppid=27668 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) R 27668 27668 23397 0 -1 4202560 7773 0 0 0 28 2 0 0 20 0 15 0 445925711 15512608768 12409 33554432000 4194304 4196468 140736935360784 140300321353408 140300301202782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15512608768 12409 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445925712 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445925714 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299190880880 140300317133442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445925714 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299189826848 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445925714 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299188774512 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) S 27668 27668 23397 0 -1 1077944384 561 0 0 0 4 0 0 0 20 0 15 0 445925717 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299186669680 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) R 27668 27668 23397 0 -1 4202560 250 0 0 0 5 0 0 0 20 0 15 0 445925717 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299185607264 140300298643686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) S 27668 27668 23397 0 -1 1077944384 908 0 0 0 13 0 0 0 20 0 15 0 445925717 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299184564592 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925717 15512608768 12409 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 51088 KiB [startup+0.705306 s] /proc/loadavg: 6.97 7.16 7.15 9/233 27684 /proc/meminfo: memFree=27253448/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15151156 memory=111264 CPUtime=1.81 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 14846 0 0 0 175 6 0 0 20 0 15 0 445925711 15514783744 27816 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3787789 27816 3454 1 0 3748889 0 [pid=27670/tid=27671] ppid=27668 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) R 27668 27668 23397 0 -1 4202560 8447 0 0 0 64 4 0 0 20 0 15 0 445925711 15514783744 27816 33554432000 4194304 4196468 140736935360784 140300321358328 140299957246464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15514783744 27816 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925712 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445925712 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445925714 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299190880880 140300317133442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445925714 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299189826848 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15151156 memory=4132 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445925714 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299188774512 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15151156 memory=1112 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15151156 memory=6048 CPUtime=0.36 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) S 27668 27668 23397 0 -1 1077944384 1896 0 0 0 36 0 0 0 20 0 15 0 445925717 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299186669680 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15151156 memory=7552 CPUtime=0.38 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) S 27668 27668 23397 0 -1 1077944384 1361 0 0 0 38 0 0 0 20 0 15 0 445925717 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299185616880 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15151156 memory=2832 CPUtime=0.34 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) S 27668 27668 23397 0 -1 1077944384 1835 0 0 0 34 0 0 0 20 0 15 0 445925717 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299184564592 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) S 27668 27668 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445925717 15514783744 27816 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 1.81 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 112716 KiB [startup+1.50083 s] /proc/loadavg: 6.97 7.16 7.15 8/233 27684 /proc/meminfo: memFree=27170428/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15153204 memory=243552 CPUtime=4.43 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 22145 0 0 0 430 13 0 0 20 0 15 0 445925711 15516880896 60888 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3788301 60888 3503 1 0 3749401 0 [pid=27670/tid=27671] ppid=27668 vsize=15153204 memory=7295942809542086741 CPUtime=1.42 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) R 27668 27668 23397 0 -1 4202560 10168 0 0 0 137 5 0 0 20 0 15 0 445925711 15516880896 60888 33554432000 4194304 4196468 140736935360784 140300321357152 140300317144221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15153204 memory=7883644968797104997 CPUtime=0.04 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 250 0 0 0 3 1 0 0 20 0 15 0 445925712 15516880896 60888 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15153204 memory=279571635189568 CPUtime=0.03 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 111 0 0 0 2 1 0 0 20 0 15 0 445925712 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15153204 memory=692 CPUtime=0.02 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 15 0 445925712 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15153204 memory=1056 CPUtime=0.04 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 167 0 0 0 3 1 0 0 20 0 15 0 445925712 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15153204 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 445925714 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299190880880 140300317133442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15153204 memory=780 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 445925714 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299189826912 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15153204 memory=4132 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 445925714 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299188774528 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15153204 memory=237743619758136 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15153204 memory=0 CPUtime=1.1 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) R 27668 27668 23397 0 -1 4202560 3520 0 0 0 110 0 0 0 20 0 15 0 445925717 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299186660064 140300296610820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15153204 memory=0 CPUtime=1.07 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) R 27668 27668 23397 0 -1 4202560 3023 0 0 0 107 0 0 0 20 0 15 0 445925717 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299185606800 140300301033216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15153204 memory=0 CPUtime=0.62 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) S 27668 27668 23397 0 -1 1077944384 3342 0 0 0 62 0 0 0 20 0 15 0 445925717 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299184564592 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445925717 15516880896 60888 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 4.43 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 245004 KiB [startup+3.11131 s] /proc/loadavg: 6.97 7.16 7.15 13/237 27688 /proc/meminfo: memFree=26739520/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15419460 memory=592200 CPUtime=9.44 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 31522 0 0 0 914 30 0 0 20 0 19 0 445925711 15789527040 148050 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3854865 148050 3510 1 0 3815965 0 [pid=27670/tid=27671] ppid=27668 vsize=15419460 memory=1556 CPUtime=2.7 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) S 27668 27668 23397 0 -1 1077944384 11874 0 0 0 262 8 0 0 20 0 19 0 445925711 15789527040 148050 33554432000 4194304 4196468 140736935360784 140300321363072 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15419460 memory=1164 CPUtime=0.14 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 316 0 0 0 10 4 0 0 20 0 19 0 445925712 15789527040 148050 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15419460 memory=0 CPUtime=0.11 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 842 0 0 0 8 3 0 0 20 0 19 0 445925712 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15419460 memory=3906765191751362151 CPUtime=0.14 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 269 0 0 0 10 4 0 0 20 0 19 0 445925712 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15419460 memory=279571635290688 CPUtime=0.16 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 378 0 0 0 11 5 0 0 20 0 19 0 445925712 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15419460 memory=279571635179120 CPUtime=0.01 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 19 0 445925714 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299190880880 140300317133442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15419460 memory=8041037979969885544 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445925714 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299189826912 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445925714 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299188774528 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445925717 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15419460 memory=279571635382752 CPUtime=2.38 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) R 27668 27668 23397 0 -1 4202560 5709 0 0 0 237 1 0 0 20 0 19 0 445925717 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299186659584 140300294975584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15419460 memory=279571635382944 CPUtime=2.51 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) R 27668 27668 23397 0 -1 4202560 5864 0 0 0 250 1 0 0 20 0 19 0 445925717 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299185603424 140300302230327 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15419460 memory=279571635732928 CPUtime=0.79 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) S 27668 27668 23397 0 -1 1077944384 4216 0 0 0 79 0 0 0 20 0 19 0 445925717 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299184564400 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15419460 memory=279571635733120 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445925717 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) R 27668 27668 23397 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445925717 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27685] ppid=27668 vsize=15419460 memory=420396 CPUtime=0.13 cores=1,3,5,7 /proc/27670/task/27685/stat : 27685 (java) R 27668 27668 23397 0 -1 1077944384 49 0 0 0 13 0 0 0 20 0 19 0 445926001 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299171379296 140300317132501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27686] ppid=27668 vsize=15419460 memory=1899626 CPUtime=0.1 cores=1,3,5,7 /proc/27670/task/27686/stat : 27686 (java) R 27668 27668 23397 0 -1 4202560 56 0 0 0 10 0 0 0 20 0 19 0 445926002 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299170330192 140299962315152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27687] ppid=27668 vsize=15419460 memory=0 CPUtime=0.1 cores=1,3,5,7 /proc/27670/task/27687/stat : 27687 (java) R 27668 27668 23397 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 445926002 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299169277368 140299953165025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27688] ppid=27668 vsize=15419460 memory=139785817597937 CPUtime=0.08 cores=1,3,5,7 /proc/27670/task/27688/stat : 27688 (java) R 27668 27668 23397 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 445926002 15789527040 148050 33554432000 4194304 4196468 140736935360784 140299168222552 140299962315152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 9.44 s Current children cumulated vsize: 15532588 KiB Current children cumulated memory: 593652 KiB Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+4.20083 s] /proc/loadavg: 6.97 7.16 7.15 11/234 27780 /proc/meminfo: memFree=26606568/32770624 swapFree=66977404/67108860 [pid=27668] ppid=27665 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/27668/stat : 27668 (xcsp3-exec) S 27665 27668 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445925711 115843072 363 33554432000 4194304 5098028 140725493852480 140725493850584 140003052212860 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19148800 140725493859194 140725493859437 140725493859437 140725493862346 0 /proc/27668/statm: 28282 363 304 221 0 87 0 [pid=27670] ppid=27668 vsize=15885408 memory=728252 CPUtime=13.63 cores=1,3,5,7 /proc/27670/stat : 27670 (java) S 27668 27668 23397 0 -1 1077944320 35517 0 0 0 1318 45 0 0 20 0 24 0 445925711 16266657792 182063 33554432000 4194304 4196468 140736935360784 140736935343328 140300317122295 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 /proc/27670/statm: 3971352 182063 3525 1 0 3932452 0 [pid=27670/tid=27671] ppid=27668 vsize=15885408 memory=6944656575208382560 CPUtime=2.77 cores=1,3,5,7 /proc/27670/task/27671/stat : 27671 (java) S 27668 27668 23397 0 -1 1077944384 11885 0 0 0 269 8 0 0 20 0 24 0 445925711 16266657792 182063 33554432000 4194304 4196468 140736935360784 140300321363072 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27672] ppid=27668 vsize=15885408 memory=920 CPUtime=0.22 cores=1,3,5,7 /proc/27670/task/27672/stat : 27672 (java) S 27668 27668 23397 0 -1 1077944384 370 0 0 0 15 7 0 0 20 0 24 0 445925712 16266657792 182063 33554432000 4194304 4196468 140736935360784 140300275882384 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27673] ppid=27668 vsize=15885408 memory=33 CPUtime=0.19 cores=1,3,5,7 /proc/27670/task/27673/stat : 27673 (java) S 27668 27668 23397 0 -1 1077944384 894 0 0 0 13 6 0 0 20 0 24 0 445925712 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299908229392 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27674] ppid=27668 vsize=15885408 memory=7596819837003786326 CPUtime=0.21 cores=1,3,5,7 /proc/27670/task/27674/stat : 27674 (java) S 27668 27668 23397 0 -1 1077944384 327 0 0 0 14 7 0 0 20 0 24 0 445925712 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299907177104 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27675] ppid=27668 vsize=15885408 memory=7451860223997798486 CPUtime=0.24 cores=1,3,5,7 /proc/27670/task/27675/stat : 27675 (java) S 27668 27668 23397 0 -1 1077944384 424 0 0 0 16 8 0 0 20 0 24 0 445925712 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299906124304 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27676] ppid=27668 vsize=15885408 memory=7451860223997798486 CPUtime=0.01 cores=1,3,5,7 /proc/27670/task/27676/stat : 27676 (java) S 27668 27668 23397 0 -1 1077944384 835 0 0 0 1 0 0 0 20 0 24 0 445925714 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299190880832 140300317132501 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27677] ppid=27668 vsize=15885408 memory=7451860223997798486 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27677/stat : 27677 (java) S 27668 27668 23397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 24 0 445925714 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299189826912 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27678] ppid=27668 vsize=15885408 memory=7451860223997798486 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27678/stat : 27678 (java) S 27668 27668 23397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 24 0 445925714 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299188774528 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27679] ppid=27668 vsize=15885408 memory=0 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27679/stat : 27679 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 445925717 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299187722832 140300317140891 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27680] ppid=27668 vsize=15885408 memory=0 CPUtime=3.09 cores=1,3,5,7 /proc/27670/task/27680/stat : 27680 (java) R 27668 27668 23397 0 -1 4202560 5871 0 0 0 308 1 0 0 20 0 24 0 445925717 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299186658944 140300301033108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27681] ppid=27668 vsize=15885408 memory=0 CPUtime=3.36 cores=1,3,5,7 /proc/27670/task/27681/stat : 27681 (java) R 27668 27668 23397 0 -1 4202560 6306 0 0 0 335 1 0 0 20 0 24 0 445925717 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299185595944 140300300507174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27682] ppid=27668 vsize=15885408 memory=0 CPUtime=0.96 cores=1,3,5,7 /proc/27670/task/27682/stat : 27682 (java) S 27668 27668 23397 0 -1 1077944384 4500 0 0 0 95 1 0 0 20 0 24 0 445925717 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299184564592 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27683] ppid=27668 vsize=15885408 memory=1898393 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27683/stat : 27683 (java) S 27668 27668 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 445925717 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299183512032 140300317132501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 [pid=27670/tid=27684] ppid=27668 vsize=15885408 memory=1899634 CPUtime=0 cores=1,3,5,7 /proc/27670/task/27684/stat : 27684 (java) S 27668 27668 23397 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 445925717 16266657792 182063 33554432000 4194304 4196468 140736935360784 140299182459824 140300317133442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34856960 140736935363567 140736935363738 140736935363738 140736935366607 0 Current children cumulated CPU time: 13.63 s Current children cumulated vsize: 15998536 KiB Current children cumulated memory: 729704 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+4.22157 s] # the end of solver process 27668 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002274 s, system=0 s [startup+4.26833 s] # the end of solver process 27670 was just reported to runsolver # cumulated CPU time of all completed processes: user=13.3776 s, system=0.467211 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 4.26839 CPU time (s): 13.8448 CPU user time (s): 13.3776 CPU system time (s): 0.467211 CPU usage (%): 324.357 Max. virtual memory (cumulated for all children) (KiB): 15998536 Max. memory (cumulated for all children) (KiB): 729704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.3776 system time used= 0.467211 maximum resident set size= 752104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36388 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3392 involuntary context switches= 282 # summary of solver processes directly reported to runsolver: # pid: 27668,27670 # total CPU time (s): 13.8448 # total CPU user time (s): 13.3776 # total CPU system time (s): 0.467211 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05254 second user time and 0.094895 second system time The end
Begin job on node104 at 2019-09-17 05:54:27 IDJOB=4399405 IDBENCH=126993 IDSOLVER=2853 FILE ID=node104/4399405-1568696686 RUNJOBID= node104-1568690084-23429 PBS_JOBID= 21703803 Free space on /tmp= 58984 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-088.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399405-1568696686/watcher-4399405-1568696686 -o /tmp/evaluation-result-4399405-1568696686/solver-4399405-1568696686 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23429 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1202760911 HOME/instance-4399405-1568696686.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 433b6a25d6964ee5472894f745fbe815 RANDOM SEED=1202760911 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27314992 kB MemAvailable: 27979572 kB Buffers: 98984 kB Cached: 855040 kB SwapCached: 32300 kB Active: 4530220 kB Inactive: 329312 kB Active(anon): 3873960 kB Inactive(anon): 80728 kB Active(file): 656260 kB Inactive(file): 248584 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 66977404 kB Dirty: 26124 kB Writeback: 0 kB AnonPages: 3992052 kB Mapped: 61492 kB Shmem: 40480 kB Slab: 182448 kB SReclaimable: 151144 kB SUnreclaim: 31304 kB KernelStack: 4064 kB PageTables: 13368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5593536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3868672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58956 MiB End job on node104 at 2019-09-17 05:54:32