Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | SAT (TO) | 999 | 2520.08 | 2513.12 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-086.xml |
MD5SUM | a6faa7a5ef9c34b1bccb6ba71ed7d002 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 887 |
Best CPU time to get the best result obtained on this benchmark | 2520.69 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7481 |
Number of constraints | 3825 |
Number of domains | 171 |
Minimum domain size | 2 |
Maximum domain size | 171 |
Distribution of domain sizes | [{"size":2,"count":3742},{"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":123,"count":1}, {"size":125,"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 85 |
Distribution of variable degrees | [{"degree":0,"count":3570},{"degree":2,"count":3825},{"degree":85,"count":86}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 86 |
Distribution of constraint arities | [{"arity":2,"count":86},{"arity":3,"count":3656},{"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":62,"count":1}, {"arity":63,"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3740 |
Distribution of constraint types | [{"type":"intension","count":3740},{"type":"sum","count":85}] |
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-4406293-1569405447.xml" -tl '2520s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406293-1569405447.xml, -tl, 2520s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 4.34/1.50 c solve instance... 5.73/2.10 o 2423 6.53/2.39 o 2159 8.11/3.76 o 2007 9.15/4.62 o 1983 9.25/4.78 o 1919 9.25/4.78 o 1719 9.25/4.78 o 1703 9.25/4.78 o 1655 9.25/4.78 o 1639 9.25/4.78 o 1599 9.25/4.78 o 1559 9.68/5.13 o 1551 10.78/6.14 o 1535 10.89/6.26 o 1471 10.89/6.27 o 1383 12.58/7.16 o 1247 14.44/8.96 o 1143 19.86/14.23 o 1071 39.96/34.20 o 1063 46.72/40.92 o 1047 116.63/110.76 o 999 2520.05/2513.11 s SATISFIABLE 2520.05/2513.11 v <instantiation> 2520.05/2513.11 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[81][0] y[81][1] y[81][2] y[81][3] y[82][0] y[82][1] y[82][2] y[83][0] y[83][1] y[84][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] 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] </list> 2520.05/2513.11 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 -3 6 -5 0 5 -4 -5 2 1 4 1 2 -5 0 -5 -4 3 8 -1 2 3 -2 5 2 3 2 1 2 3 4 1 -2 -1 4 3 -4 1 -8 1 0 5 2 5 0 5 -2 1 2 1 2 -1 2 -1 4 -7 -2 3 -4 -3 0 3 0 -7 4 -5 0 -1 2 3 -10 3 2 -1 4 1 2 1 0 -1 -6 1 2 -1 0 1 9 36 25 0 25 16 25 4 1 16 1 4 25 0 25 16 9 64 1 4 9 4 25 4 9 4 1 4 9 16 1 4 1 16 9 16 1 64 1 0 25 4 25 0 25 4 1 4 1 4 1 4 1 16 49 4 9 16 9 0 9 0 49 16 25 0 1 4 9 100 9 4 1 16 1 4 1 0 1 36 1 4 1 0 1 </values> 2520.05/2513.11 v </instantiation> 2520.05/2513.11 c Unexpected resolution interruption!
OK 999
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 (13349 MiB free) memory of node 1: 16384 MiB (12307 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406293-1569405447/watcher-4406293-1569405447 -o /tmp/evaluation-result-4406293-1569405447/solver-4406293-1569405447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21329 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406293-1569405447.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23776, runsolver pid=23773 Current StackSize limit: 8192 KiB [startup+0.100253 s]* /proc/loadavg: 3.94 2.69 2.74 5/228 23792 /proc/meminfo: memFree=26255868/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15144776 memory=29376 CPUtime=0.13 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 5771 0 0 0 12 1 0 0 20 0 15 0 516801329 15508250624 7344 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3786194 7344 3146 1 0 3748377 0 [pid=23778/tid=23779] ppid=23776 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 3667 0 0 0 8 1 0 0 20 0 15 0 516801329 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225900770096 140225896555677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15144776 memory=139705037315880 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516801332 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516801332 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225363764000 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516801332 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225362711664 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) R 23776 23776 21297 0 -1 4202560 460 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225360599360 140225874366608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) R 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15144776 memory=139705033651840 CPUtime=0.02 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) R 23776 23776 21297 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 516801335 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225358502768 140225896547615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 7344 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 30828 KiB [startup+0.210801 s]* /proc/loadavg: 3.86 2.70 2.74 4/228 23792 /proc/meminfo: memFree=26243996/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15144776 memory=40416 CPUtime=0.34 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 9367 0 0 0 32 2 0 0 20 0 15 0 516801329 15508250624 10104 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3786194 10104 3268 1 0 3748377 0 [pid=23778/tid=23779] ppid=23776 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 516801329 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225900770448 140225896555677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15144776 memory=4049495006378686112 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516801330 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15144776 memory=139705033651840 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516801332 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516801332 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225363764000 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516801332 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225362711664 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) S 23776 23776 21297 0 -1 1077944384 574 0 0 0 2 0 0 0 20 0 15 0 516801335 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 516801335 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15144776 memory=139705033651840 CPUtime=0.08 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) S 23776 23776 21297 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 516801335 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225358502768 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801335 15508250624 10104 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41868 KiB [startup+0.310711 s]* /proc/loadavg: 3.86 2.70 2.74 3/228 23793 /proc/meminfo: memFree=26236092/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15149032 memory=49584 CPUtime=0.52 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 10758 0 0 0 49 3 0 0 20 0 15 0 516801329 15512608768 12396 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3787258 12396 3338 1 0 3748377 0 [pid=23778/tid=23779] ppid=23776 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 7831 0 0 0 27 2 0 0 20 0 15 0 516801329 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225900763232 140225880614238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516801330 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15149032 memory=-7233795148219007135 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516801332 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516801332 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225363764000 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516801332 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225362711664 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) S 23776 23776 21297 0 -1 1077944384 617 0 0 0 4 0 0 0 20 0 15 0 516801335 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 108 0 0 0 3 0 0 0 20 0 15 0 516801335 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) S 23776 23776 21297 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 15 0 516801335 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225358502768 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801335 15512608768 12396 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 51036 KiB [startup+0.703303 s] /proc/loadavg: 3.86 2.70 2.74 5/228 23793 /proc/meminfo: memFree=26208288/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15151156 memory=113640 CPUtime=1.79 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 15002 0 0 0 174 5 0 0 20 0 15 0 516801329 15514783744 27898 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3787789 27898 3451 1 0 3748889 0 [pid=23778/tid=23779] ppid=23776 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 8487 0 0 0 64 4 0 0 20 0 15 0 516801329 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225900771056 140225878097307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801330 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516801330 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516801332 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516801332 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225363764000 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516801332 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225362711664 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15151156 memory=1228 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15151156 memory=6208 CPUtime=0.37 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) R 23776 23776 21297 0 -1 1077944384 1914 0 0 0 37 0 0 0 20 0 15 0 516801335 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15151156 memory=7552 CPUtime=0.37 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 1350 0 0 0 37 0 0 0 20 0 15 0 516801335 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15151156 memory=2832 CPUtime=0.34 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) R 23776 23776 21297 0 -1 4202560 1945 0 0 0 34 0 0 0 20 0 15 0 516801335 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225358498720 140225875808742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516801335 15514783744 28410 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 1.79 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 115092 KiB [startup+1.50162 s] /proc/loadavg: 3.86 2.70 2.74 5/228 23793 /proc/meminfo: memFree=26125384/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 ################ # More data... # ################ /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225362711680 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15153204 memory=1452 CPUtime=2.54 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) S 23776 23776 21297 0 -1 1077944384 14381 0 0 0 252 2 0 0 20 0 15 0 516801335 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15153204 memory=1129916 CPUtime=2.58 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 18235 0 0 0 256 2 0 0 20 0 15 0 516801335 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15153204 memory=1189100 CPUtime=0.85 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) S 23776 23776 21297 0 -1 1077944384 10259 0 0 0 84 1 0 0 20 0 15 0 516801335 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225358502768 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15153204 memory=1412 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15153204 memory=3180 CPUtime=0.61 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1573 0 0 0 28 33 0 0 20 0 15 0 516801335 15516880896 297275 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 2449.22 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 1190552 KiB [startup+2502.3 s] /proc/loadavg: 1.79 1.84 1.86 3/228 24224 /proc/meminfo: memFree=25342748/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2509.24 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 83434 0 0 0 250850 74 0 0 20 0 15 0 516801329 15516880896 297277 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3788301 297277 3520 1 0 3749401 0 [pid=23778/tid=23779] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2501.92 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 28395 0 0 0 250174 18 0 0 20 0 15 0 516801329 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225900771128 140225536671965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.15 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 2338 0 0 0 11 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.14 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 2075 0 0 0 10 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15153204 memory=1452 CPUtime=0.14 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 884 0 0 0 10 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.15 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 1111 0 0 0 11 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.04 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 2360 0 0 0 2 2 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225363764064 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225362711680 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2.55 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) S 23776 23776 21297 0 -1 1077944384 14525 0 0 0 253 2 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2.58 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 18237 0 0 0 256 2 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.85 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) S 23776 23776 21297 0 -1 1077944384 10511 0 0 0 84 1 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225358502768 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15153204 memory=66808 CPUtime=0.62 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1595 0 0 0 28 34 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 2509.24 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 1190560 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2513.11 s] /proc/loadavg: 1.75 1.82 1.85 3/228 24224 /proc/meminfo: memFree=25345216/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2520.05 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 83490 0 0 0 251931 74 0 0 20 0 15 0 516801329 15516880896 297277 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3788301 297277 3520 1 0 3749401 0 [pid=23778/tid=23779] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2512.73 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 28449 0 0 0 251255 18 0 0 20 0 15 0 516801329 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225900771128 140225537592512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.15 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 2338 0 0 0 11 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.14 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 2075 0 0 0 10 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.14 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 884 0 0 0 10 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.15 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 1111 0 0 0 11 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15153204 memory=1452 CPUtime=0.04 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 2360 0 0 0 2 2 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225363764064 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15153204 memory=2257 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225362711680 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15153204 memory=164 CPUtime=2.55 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) S 23776 23776 21297 0 -1 1077944384 14525 0 0 0 253 2 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15153204 memory=7687329552187001403 CPUtime=2.58 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 18237 0 0 0 256 2 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.85 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) S 23776 23776 21297 0 -1 1077944384 10511 0 0 0 84 1 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225358502768 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15153204 memory=35860 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.62 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1597 0 0 0 28 34 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 1190560 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2513.12 s] # the end of solver process 23776 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001066 s, system=0.001531 s [startup+2513.12 s] # the end of solver process 23778 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.33 s, system=0.754548 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 [startup+2513.11 s] /proc/loadavg: 1.75 1.82 1.85 3/228 24224 /proc/meminfo: memFree=25345216/32770624 swapFree=66986416/67108860 [pid=23776] ppid=23773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23776/stat : 23776 (xcsp3-exec) S 23773 23776 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516801329 115843072 363 33554432000 4194304 5098028 140725621581600 140725621579704 140482200490620 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31584256 140725621584762 140725621585005 140725621585005 140725621587914 0 /proc/23776/statm: 28282 363 304 221 0 87 0 [pid=23778] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2520.05 cores=1,3,5,7 /proc/23778/stat : 23778 (java) S 23776 23776 21297 0 -1 1077944320 83490 0 0 0 251931 74 0 0 20 0 15 0 516801329 15516880896 297277 33554432000 4194304 4196468 140737336428784 140737336411328 140225896533751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 /proc/23778/statm: 3788301 297277 3520 1 0 3749401 0 [pid=23778/tid=23779] ppid=23776 vsize=15153204 memory=1189108 CPUtime=2512.73 cores=1,3,5,7 /proc/23778/task/23779/stat : 23779 (java) R 23776 23776 21297 0 -1 4202560 28449 0 0 0 251255 18 0 0 20 0 15 0 516801329 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225900771128 140225537592512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23780] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.15 cores=1,3,5,7 /proc/23778/task/23780/stat : 23780 (java) S 23776 23776 21297 0 -1 1077944384 2338 0 0 0 11 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225853086608 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23781] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.14 cores=1,3,5,7 /proc/23778/task/23781/stat : 23781 (java) S 23776 23776 21297 0 -1 1077944384 2075 0 0 0 10 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225852033808 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23782] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.14 cores=1,3,5,7 /proc/23778/task/23782/stat : 23782 (java) S 23776 23776 21297 0 -1 1077944384 884 0 0 0 10 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225486707856 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23783] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.15 cores=1,3,5,7 /proc/23778/task/23783/stat : 23783 (java) S 23776 23776 21297 0 -1 1077944384 1111 0 0 0 11 4 0 0 20 0 15 0 516801330 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225485655056 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23784] ppid=23776 vsize=15153204 memory=1452 CPUtime=0.04 cores=1,3,5,7 /proc/23778/task/23784/stat : 23784 (java) S 23776 23776 21297 0 -1 1077944384 2360 0 0 0 2 2 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225364818032 140225896544898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23785] ppid=23776 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23785/stat : 23785 (java) S 23776 23776 21297 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225363764064 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23786] ppid=23776 vsize=15153204 memory=2257 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23786/stat : 23786 (java) S 23776 23776 21297 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516801332 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225362711680 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23787] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23787/stat : 23787 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225361659984 140225896552347 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23788] ppid=23776 vsize=15153204 memory=164 CPUtime=2.55 cores=1,3,5,7 /proc/23778/task/23788/stat : 23788 (java) S 23776 23776 21297 0 -1 1077944384 14525 0 0 0 253 2 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225360607856 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23789] ppid=23776 vsize=15153204 memory=7687329552187001403 CPUtime=2.58 cores=1,3,5,7 /proc/23778/task/23789/stat : 23789 (java) S 23776 23776 21297 0 -1 1077944384 18237 0 0 0 256 2 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225359555056 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23790] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.85 cores=1,3,5,7 /proc/23778/task/23790/stat : 23790 (java) S 23776 23776 21297 0 -1 1077944384 10511 0 0 0 84 1 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225358502768 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23791] ppid=23776 vsize=15153204 memory=35860 CPUtime=0 cores=1,3,5,7 /proc/23778/task/23791/stat : 23791 (java) S 23776 23776 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225357450208 140225896543957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 [pid=23778/tid=23792] ppid=23776 vsize=15153204 memory=1189108 CPUtime=0.62 cores=1,3,5,7 /proc/23778/task/23792/stat : 23792 (java) S 23776 23776 21297 0 -1 1077944384 1597 0 0 0 28 34 0 0 20 0 15 0 516801335 15516880896 297277 33554432000 4194304 4196468 140737336428784 140225356396976 140225896544898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 7725056 140737336435695 140737336435866 140737336435866 140737336438735 0 Current children cumulated CPU time: 2520.05 s Current children cumulated vsize: 15266332 KiB Current children cumulated memory: 1190560 KiB Child status: 143 Real time (s): 2513.12 CPU time (s): 2520.08 CPU user time (s): 2519.33 CPU system time (s): 0.754548 CPU usage (%): 100.277 Max. virtual memory (cumulated for all children) (KiB): 15268344 Max. memory (cumulated for all children) (KiB): 1190560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.33 system time used= 0.754548 maximum resident set size= 1189648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84402 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1856 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57762 involuntary context switches= 927 # summary of solver processes directly reported to runsolver: # pid: 23776,23778 # total CPU time (s): 2520.08 # total CPU user time (s): 2519.33 # total CPU system time (s): 0.754548 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.9849 second user time and 23.4843 second system time The end
Begin job on node104 at 2019-09-25 10:47:04 IDJOB=4406293 IDBENCH=126990 IDSOLVER=2869 FILE ID=node104/4406293-1569405447 RUNJOBID= node104-1569392447-21329 PBS_JOBID= 21705699 Free space on /tmp= 9808 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-086.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406293-1569405447/watcher-4406293-1569405447 -o /tmp/evaluation-result-4406293-1569405447/solver-4406293-1569405447 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21329 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406293-1569405447.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6faa7a5ef9c34b1bccb6ba71ed7d002 RANDOM SEED=1174005154 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: 26272816 kB MemAvailable: 31414748 kB Buffers: 123548 kB Cached: 5109688 kB SwapCached: 22624 kB Active: 3633804 kB Inactive: 2033328 kB Active(anon): 411504 kB Inactive(anon): 80144 kB Active(file): 3222300 kB Inactive(file): 1953184 kB Unevictable: 109660 kB Mlocked: 109660 kB SwapTotal: 67108860 kB SwapFree: 66986416 kB Dirty: 26124 kB Writeback: 0 kB AnonPages: 522436 kB Mapped: 71384 kB Shmem: 49048 kB Slab: 424828 kB SReclaimable: 394908 kB SUnreclaim: 29920 kB KernelStack: 3728 kB PageTables: 6728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1710708 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 397312 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= 9784 MiB End job on node104 at 2019-09-25 11:28:57