Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 seq (2017-07-26) | SAT (TO) | 906 | 247.35001 | 240.00999 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml |
| MD5SUM | e65d1522f1056f49054155eb060914b2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 598 |
| Best CPU time to get the best result obtained on this benchmark | 251.939 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4829 |
| Number of constraints | 2482 |
| Number of domains | 137 |
| Minimum domain size | 2 |
| Maximum domain size | 137 |
| Distribution of domain sizes | [{"size":2,"count":2416},{"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":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 68 |
| Distribution of variable degrees | [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 69 |
| Distribution of constraint arities | [{"arity":2,"count":69},{"arity":3,"count":2347},{"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":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2414 |
| Distribution of constraint types | [{"type":"intension","count":2414},{"type":"sum","count":68}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254091-1501614861.xml" -tl '264s' -p 1 -x 0 0.00/0.24 c [HOME/instance-4254091-1501614861.xml, -tl, 264s, -p, 1, -x, 0] 0.00/0.29 c simple solver 0.00/0.36 c parse instance... 2.81/1.12 c solve instance... 3.66/1.42 o 1806 3.66/1.49 o 1694 3.97/1.51 o 1634 3.97/1.59 o 1546 6.16/2.66 o 1526 6.70/3.10 o 1510 7.03/3.41 o 1390 8.94/4.31 o 1346 9.08/4.42 o 1298 19.08/12.65 o 1186 19.28/12.86 o 1178 35.45/28.61 o 1106 69.44/62.48 o 1058 101.49/94.45 o 950 102.49/95.44 o 906 247.35/240.00 s SATISFIABLE 247.35/240.00 v <instantiation> 247.35/240.00 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[64][0] y[64][1] y[64][2] y[64][3] y[65][0] y[65][1] y[65][2] y[66][0] y[66][1] y[67][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] 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] </list> 247.35/240.01 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 8 1 -4 -3 -2 9 2 -1 0 -9 0 1 0 -1 0 3 8 3 -6 3 4 5 4 5 0 -5 0 5 -2 -1 -6 -3 0 -5 -2 -3 -4 -1 -6 -1 8 -3 -2 1 0 1 0 1 -2 -1 -10 1 2 1 2 -3 -4 1 2 -3 2 -1 0 -1 0 1 0 1 64 1 16 9 4 81 4 1 0 81 0 1 0 1 0 9 64 9 36 9 16 25 16 25 0 25 0 25 4 1 36 9 0 25 4 9 16 1 36 1 64 9 4 1 0 1 0 1 4 1 100 1 4 1 4 9 16 1 4 9 4 1 0 1 0 1 0 1 </values> 247.35/240.01 v </instantiation> 247.35/240.01 c Unexpected resolution interruption!
OK 906
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254091-1501614861/watcher-4254091-1501614861 -o /tmp/evaluation-result-4254091-1501614861/solver-4254091-1501614861 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1313637477 HOME/instance-4254091-1501614861.xml pid=6592 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.98 2.03 1.95 2/199 6595 /proc/meminfo: memFree=31904372/32770624 swapFree=0/161956 [pid=6595] ppid=6592 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (runsolver) D 6592 6595 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3396727 24240128 616 18446744073709551615 4194304 4338465 140725751322032 140725751319672 139696666481367 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 30085120 140725751324766 140725751325255 140725751325255 140725751328714 0 /proc/6595/statm: 5918 616 53 36 0 2156 0 [startup+0.100158 s] /proc/loadavg: 1.98 2.03 1.95 2/199 6595 /proc/meminfo: memFree=31904372/32770624 swapFree=0/161956 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200267 s] /proc/loadavg: 1.98 2.03 1.95 2/199 6595 /proc/meminfo: memFree=31904372/32770624 swapFree=0/161956 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300306 s] /proc/loadavg: 1.98 2.03 1.95 2/199 6595 /proc/meminfo: memFree=31904372/32770624 swapFree=0/161956 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700604 s] /proc/loadavg: 1.98 2.03 1.95 2/199 6595 /proc/meminfo: memFree=31904372/32770624 swapFree=0/161956 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50073 s] /proc/loadavg: 1.98 2.03 1.95 3/215 6611 /proc/meminfo: memFree=31713864/32770624 swapFree=0/161984 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=3.97 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 15737 0 0 0 387 10 0 0 20 0 15 0 3396734 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 51611 3206 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=1.36 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 8425 0 0 0 131 5 0 0 20 0 15 0 3396734 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451906634112 140451550254248 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6601] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6601/stat : 6601 (java) S 6595 6595 3187 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451500775696 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6602] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6602/stat : 6602 (java) S 6595 6595 3187 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451499723152 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6603] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6603/stat : 6603 (java) S 6595 6595 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3396736 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451381054192 140451902409346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451380000416 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451378947312 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=0.95 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) R 6595 6595 3187 0 -1 4202560 1966 0 0 0 95 0 0 0 20 0 15 0 3396739 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451376830304 140451881654880 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=0.92 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) R 6595 6595 3187 0 -1 4202560 1514 0 0 0 92 0 0 0 20 0 15 0 3396739 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451375776952 140451888430241 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.63 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 2364 0 0 0 62 1 0 0 20 0 15 0 3396739 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3396743 14316269568 51611 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 13990244 [startup+3.10071 s] /proc/loadavg: 1.98 2.03 1.95 3/215 6611 /proc/meminfo: memFree=31701216/32770624 swapFree=0/161984 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=6.7 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 18656 0 0 0 658 12 0 0 20 0 15 0 3396734 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 54367 3206 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=2.95 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 8601 0 0 0 290 5 0 0 20 0 15 0 3396734 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451906636648 140451549900125 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6601] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6601/stat : 6601 (java) S 6595 6595 3187 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451500775696 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6602] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6602/stat : 6602 (java) S 6595 6595 3187 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451499723152 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6603] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6603/stat : 6603 (java) S 6595 6595 3187 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 3396736 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451381054192 140451902409346 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451380000416 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451378947312 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=1.48 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) S 6595 6595 3187 0 -1 1077944384 3153 0 0 0 148 0 0 0 20 0 15 0 3396739 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451376842992 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=1.44 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) S 6595 6595 3187 0 -1 1077944384 2856 0 0 0 143 1 0 0 20 0 15 0 3396739 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451375790448 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.7 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 2578 0 0 0 69 1 0 0 20 0 15 0 3396739 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3396743 14316269568 54367 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 6.7 Current children cumulated vsize (KiB) 13990244 [startup+6.30069 s] /proc/loadavg: 1.98 2.03 1.95 3/215 6611 /proc/meminfo: memFree=31684768/32770624 swapFree=0/161984 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=11.32 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 36892 0 0 0 1118 14 0 0 20 0 15 0 3396734 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 58035 3210 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=6.16 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 9432 0 0 0 610 6 0 0 20 0 15 0 3396734 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451906634656 140451550802978 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6601] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6601/stat : 6601 (java) S 6595 6595 3187 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451500775696 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6602] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6602/stat : 6602 (java) S 6595 6595 3187 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451499723152 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6603] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6603/stat : 6603 (java) S 6595 6595 3187 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 3396736 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451381054192 140451902409346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451380000416 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451378947312 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=2.23 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) R 6595 6595 3187 0 -1 4202560 11812 0 0 0 222 1 0 0 20 0 15 0 3396739 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451376842992 140451894637130 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=2.07 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) S 6595 6595 3187 0 -1 1077944384 9593 0 0 0 205 2 0 0 20 0 15 0 3396739 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451375790448 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.74 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 4331 0 0 0 73 1 0 0 20 0 15 0 3396739 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 3396743 14316269568 58035 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 11.32 Current children cumulated vsize (KiB) 13990244 [startup+12.7007 s] /proc/loadavg: 1.90 2.01 1.95 3/215 6611 /proc/meminfo: memFree=31681832/32770624 swapFree=0/161976 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=19.18 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 47747 0 0 0 1903 15 0 0 20 0 15 0 3396734 14316269568 58798 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 58798 3214 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=12.56 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 10197 0 0 0 1250 6 0 0 20 0 15 0 3396734 14316269568 58798 18446744073709551615 4194304 4196468 140722491546656 140451906634752 140451550878414 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 58798 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.01 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 3396735 14316269568 58798 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 ################ # More data... # ################ [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451380000416 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451378947312 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=3.35 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) S 6595 6595 3187 0 -1 1077944384 21310 0 0 0 333 2 0 0 20 0 15 0 3396739 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451376842992 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=2.91 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) S 6595 6595 3187 0 -1 1077944384 17366 0 0 0 289 2 0 0 20 0 15 0 3396739 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451375790448 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.81 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 7836 0 0 0 80 1 0 0 20 0 15 0 3396739 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0.04 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 336 0 0 0 2 2 0 0 20 0 15 0 3396743 14316269568 58887 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 109.42 Current children cumulated vsize (KiB) 13990244 [startup+162.301 s] /proc/loadavg: 2.03 2.01 1.96 3/217 6725 /proc/meminfo: memFree=31617156/32770624 swapFree=0/162160 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=169.59 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 68102 0 0 0 16936 23 0 0 20 0 15 0 3396734 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 64149 3227 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=162.15 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 13905 0 0 0 16209 6 0 0 20 0 15 0 3396734 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451906634968 140451549292864 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 105 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6601] ppid=6595 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6597/task/6601/stat : 6601 (java) S 6595 6595 3187 0 -1 1077944384 263 0 0 0 1 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451500775696 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6602] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6602/stat : 6602 (java) S 6595 6595 3187 0 -1 1077944384 332 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451499723152 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6603] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6603/stat : 6603 (java) S 6595 6595 3187 0 -1 1077944384 799 0 0 0 0 0 0 0 20 0 15 0 3396736 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451381054192 140451902409346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451380000480 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451378947328 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=3.35 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) S 6595 6595 3187 0 -1 1077944384 21788 0 0 0 333 2 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451376842992 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=3.01 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) S 6595 6595 3187 0 -1 1077944384 20443 0 0 0 299 2 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451375790448 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.81 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 8677 0 0 0 80 1 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0.07 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 372 0 0 0 3 4 0 0 20 0 15 0 3396743 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 169.59 Current children cumulated vsize (KiB) 13990244 [startup+222.307 s] /proc/loadavg: 2.01 2.01 1.96 3/217 6727 /proc/meminfo: memFree=31622148/32770624 swapFree=0/162232 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=229.64 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 68419 0 0 0 22940 24 0 0 20 0 15 0 3396734 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 64149 3227 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=222.16 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 13995 0 0 0 22210 6 0 0 20 0 15 0 3396734 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451906635080 140451550961553 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 105 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6601] ppid=6595 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6597/task/6601/stat : 6601 (java) S 6595 6595 3187 0 -1 1077944384 263 0 0 0 1 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451500775696 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6602] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6602/stat : 6602 (java) S 6595 6595 3187 0 -1 1077944384 332 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451499723152 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6603] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6603/stat : 6603 (java) S 6595 6595 3187 0 -1 1077944384 799 0 0 0 0 0 0 0 20 0 15 0 3396736 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451381054192 140451902409346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451380000480 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451378947328 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=3.35 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) S 6595 6595 3187 0 -1 1077944384 22014 0 0 0 333 2 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451376842992 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=3.01 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) S 6595 6595 3187 0 -1 1077944384 20443 0 0 0 299 2 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451375790448 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.81 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 8677 0 0 0 80 1 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0.1 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 373 0 0 0 5 5 0 0 20 0 15 0 3396743 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 229.64 Current children cumulated vsize (KiB) 13990244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.01 2.01 1.96 3/217 6728 /proc/meminfo: memFree=31591040/32770624 swapFree=0/162244 [pid=6595] ppid=6592 vsize=9512 CPUtime=0 cores=1,3,5,7 /proc/6595/stat : 6595 (xcsp3-exec) S 6592 6595 3187 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 3396727 9740288 345 18446744073709551615 4194304 5098028 140723913057776 140723913055880 140358967558780 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 10465280 140723913060764 140723913060968 140723913060968 140723913064427 0 /proc/6595/statm: 2378 345 289 221 0 87 0 [pid=6597] ppid=6595 vsize=13980732 CPUtime=247.35 cores=1,3,5,7 /proc/6597/stat : 6597 (java) S 6595 6595 3187 0 -1 1077944320 68948 0 0 0 24710 25 0 0 20 0 15 0 3396734 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140722491529200 140451902398199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 /proc/6597/statm: 3495183 64149 3227 1 0 3483484 0 [pid=6597/tid=6598] ppid=6595 vsize=13980732 CPUtime=239.85 cores=1,3,5,7 /proc/6597/task/6598/stat : 6598 (java) R 6595 6595 3187 0 -1 4202560 14475 0 0 0 23979 6 0 0 20 0 15 0 3396734 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451906635080 140451549849057 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6599] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6599/stat : 6599 (java) S 6595 6595 3187 0 -1 1077944384 105 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451874241040 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6600] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6600/stat : 6600 (java) S 6595 6595 3187 0 -1 1077944384 85 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451501828752 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6601] ppid=6595 vsize=13980732 CPUtime=0.02 cores=1,3,5,7 /proc/6597/task/6601/stat : 6601 (java) S 6595 6595 3187 0 -1 1077944384 263 0 0 0 1 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451500775696 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6602] ppid=6595 vsize=13980732 CPUtime=0.03 cores=1,3,5,7 /proc/6597/task/6602/stat : 6602 (java) S 6595 6595 3187 0 -1 1077944384 332 0 0 0 2 1 0 0 20 0 15 0 3396735 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451499723152 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6603] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6603/stat : 6603 (java) S 6595 6595 3187 0 -1 1077944384 808 0 0 0 0 0 0 0 20 0 15 0 3396736 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451381054192 140451902409346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6604] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6604/stat : 6604 (java) S 6595 6595 3187 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451380000480 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6605] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6605/stat : 6605 (java) S 6595 6595 3187 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 3396737 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451378947328 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6606] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6606/stat : 6606 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451377895888 140451902416795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6607] ppid=6595 vsize=13980732 CPUtime=3.35 cores=1,3,5,7 /proc/6597/task/6607/stat : 6607 (java) S 6595 6595 3187 0 -1 1077944384 22017 0 0 0 333 2 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451376842992 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6608] ppid=6595 vsize=13980732 CPUtime=3.01 cores=1,3,5,7 /proc/6597/task/6608/stat : 6608 (java) S 6595 6595 3187 0 -1 1077944384 20447 0 0 0 299 2 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451375790448 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6609] ppid=6595 vsize=13980732 CPUtime=0.81 cores=1,3,5,7 /proc/6597/task/6609/stat : 6609 (java) S 6595 6595 3187 0 -1 1077944384 8685 0 0 0 80 1 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451374737392 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6610] ppid=6595 vsize=13980732 CPUtime=0 cores=1,3,5,7 /proc/6597/task/6610/stat : 6610 (java) S 6595 6595 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3396739 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451373685088 140451902408405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 [pid=6597/tid=6611] ppid=6595 vsize=13980732 CPUtime=0.11 cores=1,3,5,7 /proc/6597/task/6611/stat : 6611 (java) S 6595 6595 3187 0 -1 1077944384 398 0 0 0 5 6 0 0 20 0 15 0 3396743 14316269568 64149 18446744073709551615 4194304 4196468 140722491546656 140451372633136 140451902409346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32940032 140722491552213 140722491552388 140722491552388 140722491555791 0 Current children cumulated CPU time (s) 247.35 Current children cumulated vsize (KiB) 13990244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6597 sig 9 ??? kill 6595 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6595 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=858 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1716 # CPU time returned by wait4() is 0.002574 # while last known CPU time is 247.35 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 240.01 CPU time (s): 247.35 CPU user time (s): 247.1 CPU system time (s): 0.25 CPU usage (%): 103.058 Max. virtual memory (cumulated for all children) (KiB): 13992504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000858 system time used= 0.001716 maximum resident set size= 2656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 511 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.995075 second user time and 1.66043 second system time The end
Begin job on node135 at 2017-08-01 21:00:21 IDJOB=4254091 IDBENCH=127023 IDSOLVER=2635 FILE ID=node135/4254091-1501614861 RUNJOBID= node135-1501610360-3274 PBS_JOBID= Free space on /tmp= 61832 MiB SOLVER NAME= choco-solver 4.0.5 seq BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254091-1501614861/watcher-4254091-1501614861 -o /tmp/evaluation-result-4254091-1501614861/solver-4254091-1501614861 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1313637477 HOME/instance-4254091-1501614861.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=1313637477 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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: 31908560 kB MemAvailable: 31865528 kB Buffers: 30884 kB Cached: 238708 kB SwapCached: 0 kB Active: 347224 kB Inactive: 170548 kB Active(anon): 248800 kB Inactive(anon): 8592 kB Active(file): 98424 kB Inactive(file): 161956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7884 kB Writeback: 4 kB AnonPages: 252768 kB Mapped: 40624 kB Shmem: 8960 kB Slab: 49348 kB SReclaimable: 24844 kB SUnreclaim: 24504 kB KernelStack: 3760 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1245036 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61828 MiB End job on node135 at 2017-08-01 21:04:21