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-08-09) | SAT (TO) | 906 | 246.909 | 240.02699 |
| 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.10 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270140-1502622060.xml" -tl '264s' -p 1 -x 0 0.06/0.29 c [HOME/instance-4270140-1502622060.xml, -tl, 264s, -p, 1, -x, 0] 0.24/0.36 c simple solver 0.43/0.42 c parse instance... 2.58/1.19 c solve instance... 3.78/1.50 o 1806 3.78/1.56 o 1694 3.78/1.58 o 1634 4.10/1.65 o 1546 6.02/2.66 o 1526 6.47/3.09 o 1510 6.89/3.40 o 1390 8.96/4.32 o 1346 9.07/4.43 o 1298 18.61/12.51 o 1186 18.81/12.72 o 1178 34.55/28.28 o 1106 68.34/61.86 o 1058 99.91/93.39 o 950 100.91/94.37 o 906 246.88/240.01 s SATISFIABLE 246.88/240.01 v <instantiation> 246.88/240.01 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> 246.88/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> 246.88/240.01 v </instantiation> 246.88/240.01 c Unexpected resolution interruption!
OK 906
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15412 MiB free)
memory of node 1: 16384 MiB (14443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270140-1502622060/watcher-4270140-1502622060 -o /tmp/evaluation-result-4270140-1502622060/solver-4270140-1502622060 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21065 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 407556123 HOME/instance-4270140-1502622060.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22542, runsolver pid=22539
[startup+0.100148 s]*
/proc/loadavg: 1.91 1.92 1.83 2/196 22543
/proc/meminfo: memFree=30572552/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209502 s]*
/proc/loadavg: 1.91 1.92 1.83 2/210 22557
/proc/meminfo: memFree=30560808/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13974352 memory=23140 CPUtime=0.06 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 5234 0 0 0 5 1 0 0 20 0 15 0 50546638 14309736448 5785 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3493588 5785 2644 1 0 3482964 0
[pid=22544/tid=22545] ppid=22542 vsize=13974352 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 3423 0 0 0 4 0 0 0 20 0 15 0 50546638 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140686251686384 140686247478429 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13974352 memory=1358 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13974352 memory=3763240543892711072 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50546640 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50546641 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685364487200 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50546641 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685363434352 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) S 22542 22542 11586 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685361331056 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) S 22542 22542 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546649 14309736448 5851 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24520 KiB
[startup+0.310405 s]*
/proc/loadavg: 1.91 1.92 1.83 3/211 22558
/proc/meminfo: memFree=30548664/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13974352 memory=36944 CPUtime=0.24 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 8855 0 0 0 22 2 0 0 20 0 15 0 50546638 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3493588 9236 2969 1 0 3482964 0
[pid=22544/tid=22545] ppid=22542 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 6112 0 0 0 13 1 0 0 20 0 15 0 50546638 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140686251691376 140686247478429 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50546640 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50546641 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685364487200 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50546641 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685363434352 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) S 22542 22542 11586 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 15 0 50546644 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685361331056 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) S 22542 22542 11586 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 50546644 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0.05 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 773 0 0 0 5 0 0 0 20 0 15 0 50546644 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13974352 memory=139800599242368 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546649 14309736448 9236 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38324 KiB
[startup+0.700792 s]
/proc/loadavg: 1.91 1.92 1.83 5/211 22558
/proc/meminfo: memFree=30533408/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13978684 memory=84816 CPUtime=1.29 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 13359 0 0 0 125 4 0 0 20 0 15 0 50546638 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3494671 21204 3152 1 0 3482964 0
[pid=22544/tid=22545] ppid=22542 vsize=13978684 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 7964 0 0 0 50 3 0 0 20 0 15 0 50546638 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140686251688512 140685887570320 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50546639 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13978684 memory=7663244581450901345 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13978684 memory=7372786582024121444 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13978684 memory=4639059873309409382 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546639 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13978684 memory=-9033795734659767669 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50546640 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13978684 memory=-7887927021948682183 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50546641 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685364487200 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13978684 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50546641 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685363434352 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13978684 memory=-7522837415797432223 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13978684 memory=-7606742920825102191 CPUtime=0.24 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) R 22542 22542 11586 0 -1 4202560 1070 0 0 0 24 0 0 0 20 0 15 0 50546644 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685361312072 140686230956676 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13978684 memory=53740 CPUtime=0.23 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) R 22542 22542 11586 0 -1 4202560 1339 0 0 0 23 0 0 0 20 0 15 0 50546644 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686226703631 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13978684 memory=-8774313645642428999 CPUtime=0.27 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 1680 0 0 0 27 0 0 0 20 0 15 0 50546644 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13978684 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546649 14314172416 21204 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86196 KiB
[startup+1.50179 s]
/proc/loadavg: 1.91 1.92 1.83 5/211 22558
/proc/meminfo: memFree=30464284/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13980732 memory=207784 CPUtime=3.78 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 16113 0 0 0 367 11 0 0 20 0 15 0 50546638 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3495183 51946 3217 1 0 3483476 0
[pid=22544/tid=22545] ppid=22542 vsize=13980732 memory=-8774313645642428999 CPUtime=1.3 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 8891 0 0 0 125 5 0 0 20 0 15 0 50546638 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140686251695584 140686247477850 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 50546639 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13980732 memory=4211125775547771209 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 50546639 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13980732 memory=279600895094064 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 50546639 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13980732 memory=279600895094128 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 50546639 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 50546640 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13980732 memory=8546823402028195750 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685364487200 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13980732 memory=-7606742951091920751 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685363434352 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13980732 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13980732 memory=-3761991693426146123 CPUtime=0.9 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) R 22542 22542 11586 0 -1 4202560 1650 0 0 0 90 0 0 0 20 0 15 0 50546644 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685361317080 140686226671891 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13980732 memory=-5874771483550381248 CPUtime=0.88 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) R 22542 22542 11586 0 -1 4202560 1712 0 0 0 88 0 0 0 20 0 15 0 50546644 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685360265888 140686230867300 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13980732 memory=16484084485400 CPUtime=0.6 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) R 22542 22542 11586 0 -1 4202560 2396 0 0 0 59 1 0 0 20 0 15 0 50546644 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247468438 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13980732 memory=301741394933056837 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13980732 memory=14127844787770770 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50546649 14316269568 51946 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
################
# More data... #
################
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685363434352 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13980732 memory=1380 CPUtime=3.15 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) S 22542 22542 11586 0 -1 1077944384 20075 0 0 0 313 2 0 0 20 0 15 0 50546644 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685361331056 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13980732 memory=241440 CPUtime=2.71 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) S 22542 22542 11586 0 -1 1077944384 14415 0 0 0 269 2 0 0 20 0 15 0 50546644 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13980732 memory=4639904328588480592 CPUtime=0.82 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 7017 0 0 0 80 2 0 0 20 0 15 0 50546644 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13980732 memory=164 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13980732 memory=8414074075373934941 CPUtime=0.05 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 745 0 0 0 2 3 0 0 20 0 15 0 50546649 14316269568 60369 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 108.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 242856 KiB
[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.86 3/211 22717
/proc/meminfo: memFree=31346052/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13980732 memory=262572 CPUtime=169.11 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 62067 0 0 0 16888 23 0 0 20 0 15 0 50546638 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3495183 65643 3237 1 0 3483476 0
[pid=22544/tid=22545] ppid=22542 vsize=13980732 memory=1380 CPUtime=162.07 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 14123 0 0 0 16201 6 0 0 20 0 15 0 50546638 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686251693288 140685894049937 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13980732 memory=262572 CPUtime=0.03 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13980732 memory=262572 CPUtime=0.03 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 926 0 0 0 2 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 217 0 0 0 1 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13980732 memory=262572 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 873 0 0 0 0 0 0 0 20 0 15 0 50546640 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13980732 memory=262572 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685364487264 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13980732 memory=262572 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685363434368 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13980732 memory=262572 CPUtime=3.24 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) S 22542 22542 11586 0 -1 1077944384 21637 0 0 0 322 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685361331056 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13980732 memory=1380 CPUtime=2.71 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) S 22542 22542 11586 0 -1 1077944384 14664 0 0 0 269 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13980732 memory=1380 CPUtime=0.82 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 7359 0 0 0 80 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13980732 memory=262572 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13980732 memory=1380 CPUtime=0.08 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 789 0 0 0 3 5 0 0 20 0 15 0 50546649 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 169.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 263952 KiB
[startup+222.301 s]
/proc/loadavg: 2.03 1.97 1.87 3/214 22733
/proc/meminfo: memFree=31331952/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13980732 memory=262572 CPUtime=229.15 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 62324 0 0 0 22890 25 0 0 20 0 15 0 50546638 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3495183 65643 3237 1 0 3483476 0
[pid=22544/tid=22545] ppid=22542 vsize=13980732 memory=262572 CPUtime=222.08 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 14270 0 0 0 22202 6 0 0 20 0 15 0 50546638 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686251693384 140685895031483 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13980732 memory=262572 CPUtime=0.03 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 926 0 0 0 2 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13980732 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 217 0 0 0 1 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13980732 memory=262572 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 875 0 0 0 0 0 0 0 20 0 15 0 50546640 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685364487264 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13980732 memory=324 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685363434368 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13980732 memory=262572 CPUtime=3.24 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) S 22542 22542 11586 0 -1 1077944384 21639 0 0 0 322 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685361331056 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13980732 memory=262572 CPUtime=2.71 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) S 22542 22542 11586 0 -1 1077944384 14735 0 0 0 269 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13980732 memory=5668 CPUtime=0.82 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 7361 0 0 0 80 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13980732 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13980732 memory=956 CPUtime=0.12 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 822 0 0 0 5 7 0 0 20 0 15 0 50546649 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 229.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 263952 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.02 1.98 1.87 3/214 22733
/proc/meminfo: memFree=31332060/32770624 swapFree=67108860/67108860
[pid=22542] ppid=22539 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22542/stat : 22542 (xcsp3-exec) S 22539 22542 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50546628 9740288 345 18446744073709551615 4194304 5098028 140723657704576 140723657702680 140110377587324 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 17215488 140723657711999 140723657712202 140723657712202 140723657715691 0
/proc/22542/statm: 2378 345 289 221 0 87 0
[pid=22544] ppid=22542 vsize=13980732 memory=262572 CPUtime=246.88 cores=0,2,4,6
/proc/22544/stat : 22544 (java) S 22542 22542 11586 0 -1 1077944320 62765 0 0 0 24662 26 0 0 20 0 15 0 50546638 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140732071504224 140686247456503 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
/proc/22544/statm: 3495183 65643 3237 1 0 3483476 0
[pid=22544/tid=22545] ppid=22542 vsize=13980732 memory=-8195925453750481479 CPUtime=239.78 cores=0,2,4,6
/proc/22544/task/22545/stat : 22545 (java) R 22542 22542 11586 0 -1 4202560 14676 0 0 0 23972 6 0 0 20 0 15 0 50546638 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686251693384 140685894050218 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22546] ppid=22542 vsize=13980732 memory=4126316290023845779 CPUtime=0.03 cores=0,2,4,6
/proc/22544/task/22546/stat : 22546 (java) S 22542 22542 11586 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686219299984 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22547] ppid=22542 vsize=13980732 memory=3120 CPUtime=0.03 cores=0,2,4,6
/proc/22544/task/22547/stat : 22547 (java) S 22542 22542 11586 0 -1 1077944384 926 0 0 0 2 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140686218247184 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22548] ppid=22542 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/22544/task/22548/stat : 22548 (java) S 22542 22542 11586 0 -1 1077944384 217 0 0 0 1 1 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685845982096 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22549] ppid=22542 vsize=13980732 memory=262572 CPUtime=0.01 cores=0,2,4,6
/proc/22544/task/22549/stat : 22549 (java) S 22542 22542 11586 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 50546639 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685844929296 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22550] ppid=22542 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22550/stat : 22550 (java) S 22542 22542 11586 0 -1 1077944384 880 0 0 0 0 0 0 0 20 0 15 0 50546640 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685365541232 140686247467650 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22551] ppid=22542 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22551/stat : 22551 (java) S 22542 22542 11586 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685364487264 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22552] ppid=22542 vsize=13980732 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22552/stat : 22552 (java) S 22542 22542 11586 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 50546641 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685363434368 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22553] ppid=22542 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22553/stat : 22553 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685362382672 140686247475099 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22554] ppid=22542 vsize=13980732 memory=1580 CPUtime=3.24 cores=0,2,4,6
/proc/22544/task/22554/stat : 22554 (java) S 22542 22542 11586 0 -1 1077944384 21644 0 0 0 322 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685361331056 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22555] ppid=22542 vsize=13980732 memory=2168 CPUtime=2.71 cores=0,2,4,6
/proc/22544/task/22555/stat : 22555 (java) S 22542 22542 11586 0 -1 1077944384 14736 0 0 0 269 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685360278256 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22556] ppid=22542 vsize=13980732 memory=836 CPUtime=0.82 cores=0,2,4,6
/proc/22544/task/22556/stat : 22556 (java) S 22542 22542 11586 0 -1 1077944384 7363 0 0 0 80 2 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685359225456 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22557] ppid=22542 vsize=13980732 memory=3908 CPUtime=0 cores=0,2,4,6
/proc/22544/task/22557/stat : 22557 (java) S 22542 22542 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50546644 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685358172896 140686247466709 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
[pid=22544/tid=22558] ppid=22542 vsize=13980732 memory=2756 CPUtime=0.12 cores=0,2,4,6
/proc/22544/task/22558/stat : 22558 (java) S 22542 22542 11586 0 -1 1077944384 844 0 0 0 5 7 0 0 20 0 15 0 50546649 14316269568 65643 18446744073709551615 4194304 4196468 140732071521680 140685357120176 140686247467650 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16367616 140732071522743 140732071522918 140732071522918 140732071526351 0
Current children cumulated CPU time: 246.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 263952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 22542 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000889 s, system=0.001254 s
[startup+240.027 s]
# the end of solver process 22544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.636 s, system=0.273404 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.027
CPU time (s): 246.909
CPU user time (s): 246.636
CPU system time (s): 0.273404
CPU usage (%): 102.867
Max. virtual memory (cumulated for all children) (KiB): 13992368
Max. memory (cumulated for all children) (KiB): 263952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.636
system time used= 0.273404
maximum resident set size= 267420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64147
page faults= 0
swaps= 0
block input operations= 496
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8291
involuntary context switches= 309
# summary of solver processes directly reported to runsolver:
# pid: 22542,22544
# total CPU time (s): 246.909
# total CPU user time (s): 246.636
# total CPU system time (s): 0.273404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4304 second user time and 2.39963 second system time
The end
Begin job on node124 at 2017-08-13 12:46:44 IDJOB=4270140 IDBENCH=127023 IDSOLVER=2661 FILE ID=node124/4270140-1502622060 RUNJOBID= node124-1502619510-21065 PBS_JOBID= Free space on /tmp= 62020 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-4270140-1502622060/watcher-4270140-1502622060 -o /tmp/evaluation-result-4270140-1502622060/solver-4270140-1502622060 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21065 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 407556123 HOME/instance-4270140-1502622060.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=407556123 node124.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.51 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.51 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.51 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.51 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: 30573324 kB MemAvailable: 30774448 kB Buffers: 158784 kB Cached: 332708 kB SwapCached: 0 kB Active: 1604276 kB Inactive: 167172 kB Active(anon): 1231516 kB Inactive(anon): 73880 kB Active(file): 372760 kB Inactive(file): 93292 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7752 kB Writeback: 4 kB AnonPages: 1279432 kB Mapped: 54636 kB Shmem: 25320 kB Slab: 128520 kB SReclaimable: 101816 kB SUnreclaim: 26704 kB KernelStack: 3456 kB PageTables: 7460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3025272 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1163264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62016 MiB End job on node124 at 2017-08-13 12:50:44