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 | 2520.03 | 2510.6101 |
| 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 | 2400.05 |
| 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.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269150-1502792078.xml" -tl '2520s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4269150-1502792078.xml, -tl, 2520s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.34/0.27 c parse instance... 2.76/1.04 c solve instance... 3.65/1.35 o 1806 3.95/1.40 o 1694 3.95/1.42 o 1634 4.27/1.50 o 1546 6.17/2.51 o 1526 6.63/2.94 o 1510 6.95/3.24 o 1390 9.02/4.15 o 1346 9.12/4.26 o 1298 19.04/12.34 o 1186 19.24/12.55 o 1178 34.97/28.04 o 1106 68.43/61.32 o 1058 99.85/92.65 o 950 100.85/93.62 o 906 2520.00/2510.60 s SATISFIABLE 2520.00/2510.60 v <instantiation> 2520.00/2510.60 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> 2520.00/2510.60 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> 2520.00/2510.60 v </instantiation> 2520.00/2510.60 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 (12038 MiB free)
memory of node 1: 16384 MiB (13545 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269150-1502792078/watcher-4269150-1502792078 -o /tmp/evaluation-result-4269150-1502792078/solver-4269150-1502792078 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15706 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1871734479 HOME/instance-4269150-1502792078.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17642, runsolver pid=17639
[startup+0.100059 s]*
/proc/loadavg: 2.00 2.00 2.05 4/218 17658
/proc/meminfo: memFree=26181076/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13978596 memory=28480 CPUtime=0.12 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 5460 0 0 0 11 1 0 0 20 0 15 0 112279406 14314082304 7120 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3494649 7120 2872 1 0 3482966 0
[pid=17644/tid=17645] ppid=17642 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 3493 0 0 0 8 1 0 0 20 0 15 0 112279406 14314082304 7120 33554432000 4194304 4196468 140736548808912 139735056405040 139735052184982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14314082304 7120 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13978596 memory=140625945065088 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13978596 memory=140625945065088 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279408 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112279409 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734030554656 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112279409 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734029501808 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 112279412 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13978596 memory=140625945065088 CPUtime=0.01 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) R 17642 17642 15674 0 -1 4202560 238 0 0 0 1 0 0 0 20 0 15 0 112279412 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734025291888 139735052194394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13978596 memory=140625945065088 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279412 14314082304 7120 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29860 KiB
[startup+0.21071 s]*
/proc/loadavg: 2.00 2.00 2.05 4/218 17658
/proc/meminfo: memFree=26169600/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13982852 memory=40344 CPUtime=0.34 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 8176 0 0 0 32 2 0 0 20 0 15 0 112279406 14318440448 10086 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3495713 10086 3049 1 0 3482966 0
[pid=17644/tid=17645] ppid=17642 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 5328 0 0 0 19 1 0 0 20 0 15 0 112279406 14318440448 10086 33554432000 4194304 4196468 140736548808912 139735056395040 139735052194973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13982852 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 10086 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13982852 memory=140625945081050 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13982852 memory=140625945065088 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279408 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112279409 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734030554656 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112279409 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734029501808 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) R 17642 17642 15674 0 -1 1077944384 634 0 0 0 2 0 0 0 20 0 15 0 112279412 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 112279412 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13982852 memory=140625945065088 CPUtime=0.07 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) R 17642 17642 15674 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 15 0 112279412 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734025291888 139735052184982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279412 14318440448 10086 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41724 KiB
[startup+0.310446 s]*
/proc/loadavg: 2.00 2.00 2.05 4/218 17658
/proc/meminfo: memFree=26162776/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13982852 memory=47528 CPUtime=0.51 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 9017 0 0 0 49 2 0 0 20 0 15 0 112279406 14318440448 11882 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3495713 11882 3099 1 0 3482966 0
[pid=17644/tid=17645] ppid=17642 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 5985 0 0 0 28 1 0 0 20 0 15 0 112279406 14318440448 11882 33554432000 4194304 4196468 140736548808912 139735056412384 139734688784648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 11882 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279408 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112279409 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734030554656 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112279409 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734029501808 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 634 0 0 0 3 0 0 0 20 0 15 0 112279412 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 272 0 0 0 4 0 0 0 20 0 15 0 112279412 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) R 17642 17642 15674 0 -1 4202560 822 0 0 0 12 0 0 0 20 0 15 0 112279412 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734025291888 139735044410174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279412 14318440448 11882 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48908 KiB
[startup+0.701781 s]
/proc/loadavg: 2.16 2.03 2.06 5/218 17658
/proc/meminfo: memFree=26132500/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13984976 memory=99440 CPUtime=1.81 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 12909 0 0 0 176 5 0 0 20 0 15 0 112279406 14320615424 24860 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3496244 24860 3206 1 0 3483478 0
[pid=17644/tid=17645] ppid=17642 vsize=13984976 memory=31688 CPUtime=0.67 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 6639 0 0 0 65 2 0 0 20 0 15 0 112279406 14320615424 24860 33554432000 4194304 4196468 140736548808912 139735056409928 139734688754633 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14320615424 24860 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279407 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13984976 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112279407 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112279408 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734030554656 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734029501808 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13984976 memory=5300 CPUtime=0.36 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 1721 0 0 0 36 0 0 0 20 0 15 0 112279412 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13984976 memory=4616 CPUtime=0.36 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 1342 0 0 0 36 0 0 0 20 0 15 0 112279412 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13984976 memory=1928 CPUtime=0.38 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) R 17642 17642 15674 0 -1 4202560 1900 0 0 0 38 0 0 0 20 0 15 0 112279412 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734025287616 139735045269883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 24860 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 100820 KiB
[startup+1.50094 s]
/proc/loadavg: 2.16 2.03 2.06 6/218 17658
/proc/meminfo: memFree=26005904/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734029501824 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13984976 memory=1380 CPUtime=3.31 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 20939 0 0 0 328 3 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13984976 memory=1380 CPUtime=3.27 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 21693 0 0 0 324 3 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13984976 memory=164 CPUtime=0.86 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 15674 0 -1 1077944384 10906 0 0 0 84 2 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734025291888 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13984976 memory=4012 CPUtime=1.27 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1018 0 0 0 60 67 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 2391.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 399260 KiB
[startup+2442.3 s]
/proc/loadavg: 1.84 1.90 1.95 3/217 17835
/proc/meminfo: memFree=25862348/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13984976 memory=397880 CPUtime=2451.65 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 84277 0 0 0 245073 92 0 0 20 0 15 0 112279406 14320615424 99470 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3496244 99470 3263 1 0 3483478 0
[pid=17644/tid=17645] ppid=17642 vsize=13984976 memory=397880 CPUtime=2442.35 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 19545 0 0 0 244225 10 0 0 20 0 15 0 112279406 14320615424 99470 33554432000 4194304 4196468 140736548808912 139735056409520 139734694959597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 960 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 99470 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13984976 memory=397880 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1507 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13984976 memory=397880 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1684 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2182 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13984976 memory=397880 CPUtime=0.06 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 2495 0 0 0 3 3 0 0 20 0 15 0 112279408 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734030554720 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734029501824 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13984976 memory=397880 CPUtime=3.31 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 20941 0 0 0 328 3 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13984976 memory=1380 CPUtime=3.27 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 21695 0 0 0 324 3 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.87 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 15674 0 -1 1077944384 10908 0 0 0 85 2 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734025291888 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13984976 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13984976 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1024 0 0 0 62 68 0 0 20 0 15 0 112279412 14320615424 99470 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 2451.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 399260 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 1.95 1.97 3/217 17911
/proc/meminfo: memFree=25829676/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13984976 memory=391724 CPUtime=2511.7 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 85187 0 0 0 251075 95 0 0 20 0 15 0 112279406 14320615424 97931 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3496244 97931 3263 1 0 3483478 0
[pid=17644/tid=17645] ppid=17642 vsize=13984976 memory=391724 CPUtime=2502.34 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 19896 0 0 0 250223 11 0 0 20 0 15 0 112279406 14320615424 97931 33554432000 4194304 4196468 140736548808912 139735056412232 139734695257695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13984976 memory=391724 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 965 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1536 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13984976 memory=391724 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1736 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2441 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13984976 memory=391724 CPUtime=0.07 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 2638 0 0 0 4 3 0 0 20 0 15 0 112279408 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734030554720 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734029501824 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13984976 memory=4012 CPUtime=3.31 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 20941 0 0 0 328 3 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13984976 memory=31748 CPUtime=3.27 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 21695 0 0 0 324 3 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.87 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 15674 0 -1 1077944384 10959 0 0 0 85 2 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734025291888 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13984976 memory=391724 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13984976 memory=1380 CPUtime=1.34 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1044 0 0 0 64 70 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 2511.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 393104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.6 s]
/proc/loadavg: 2.04 1.95 1.97 3/217 17911
/proc/meminfo: memFree=25825456/32770624 swapFree=67108860/67108860
[pid=17642] ppid=17639 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17642/stat : 17642 (xcsp3-exec) S 17639 17642 15674 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 112279406 9740288 345 33554432000 4194304 5098028 140730888920640 140730888918744 140666344219260 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39763968 140730888922222 140730888922427 140730888922427 140730888925163 0
/proc/17642/statm: 2378 345 289 221 0 87 0
[pid=17644] ppid=17642 vsize=13984976 memory=391724 CPUtime=2520 cores=1,3,5,7
/proc/17644/stat : 17644 (java) S 17642 17642 15674 0 -1 1077944320 85222 0 0 0 251905 95 0 0 20 0 15 0 112279406 14320615424 97931 33554432000 4194304 4196468 140736548808912 140736548791456 139735052173047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
/proc/17644/statm: 3496244 97931 3263 1 0 3483478 0
[pid=17644/tid=17645] ppid=17642 vsize=13984976 memory=6508 CPUtime=2510.64 cores=1,3,5,7
/proc/17644/task/17645/stat : 17645 (java) R 17642 17642 15674 0 -1 4202560 19907 0 0 0 251053 11 0 0 20 0 15 0 112279406 14320615424 97931 33554432000 4194304 4196468 140736548808912 139735056408960 139734694186892 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17646] ppid=17642 vsize=13984976 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17646/stat : 17646 (java) S 17642 17642 15674 0 -1 1077944384 965 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139735017454224 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17647] ppid=17642 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17647/stat : 17647 (java) S 17642 17642 15674 0 -1 1077944384 1536 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734647159312 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17648] ppid=17642 vsize=13984976 memory=1296 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17648/stat : 17648 (java) S 17642 17642 15674 0 -1 1077944384 1736 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734646106512 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17649] ppid=17642 vsize=13984976 memory=2400 CPUtime=0.1 cores=1,3,5,7
/proc/17644/task/17649/stat : 17649 (java) S 17642 17642 15674 0 -1 1077944384 2441 0 0 0 7 3 0 0 20 0 15 0 112279407 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734645053712 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17650] ppid=17642 vsize=13984976 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/17644/task/17650/stat : 17650 (java) S 17642 17642 15674 0 -1 1077944384 2656 0 0 0 4 3 0 0 20 0 15 0 112279408 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734031608688 139735052184194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17651] ppid=17642 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17651/stat : 17651 (java) S 17642 17642 15674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734030554720 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17652] ppid=17642 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17652/stat : 17652 (java) S 17642 17642 15674 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 112279409 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734029501824 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17653] ppid=17642 vsize=13984976 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17653/stat : 17653 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734028450128 139735052191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17654] ppid=17642 vsize=13984976 memory=1708 CPUtime=3.31 cores=1,3,5,7
/proc/17644/task/17654/stat : 17654 (java) S 17642 17642 15674 0 -1 1077944384 20941 0 0 0 328 3 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734027397488 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17655] ppid=17642 vsize=13984976 memory=12032 CPUtime=3.27 cores=1,3,5,7
/proc/17644/task/17655/stat : 17655 (java) S 17642 17642 15674 0 -1 1077944384 21695 0 0 0 324 3 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734026344688 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17656] ppid=17642 vsize=13984976 memory=1708 CPUtime=0.87 cores=1,3,5,7
/proc/17644/task/17656/stat : 17656 (java) S 17642 17642 15674 0 -1 1077944384 10963 0 0 0 85 2 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734025291888 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17657] ppid=17642 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/17644/task/17657/stat : 17657 (java) S 17642 17642 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734024239328 139735052183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
[pid=17644/tid=17658] ppid=17642 vsize=13984976 memory=796 CPUtime=1.34 cores=1,3,5,7
/proc/17644/task/17658/stat : 17658 (java) S 17642 17642 15674 0 -1 1077944384 1046 0 0 0 64 70 0 0 20 0 15 0 112279412 14320615424 97931 33554432000 4194304 4196468 140736548808912 139734023187632 139735052184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 37187584 140736548811927 140736548812103 140736548812103 140736548814799 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 393104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.61 s]
# the end of solver process 17642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000926 s, system=0.000926 s
[startup+2510.61 s]
# the end of solver process 17644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.07 s, system=0.960155 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): 2510.61
CPU time (s): 2520.03
CPU user time (s): 2519.07
CPU system time (s): 0.960155
CPU usage (%): 100.375
Max. virtual memory (cumulated for all children) (KiB): 13996608
Max. memory (cumulated for all children) (KiB): 416188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.07
system time used= 0.960155
maximum resident set size= 421480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57857
involuntary context switches= 3400
# summary of solver processes directly reported to runsolver:
# pid: 17642,17644
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.07
# total CPU system time (s): 0.960155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0168 second user time and 23.6317 second system time
The end
Begin job on node105 at 2017-08-15 12:00:19 IDJOB=4269150 IDBENCH=127023 IDSOLVER=2660 FILE ID=node105/4269150-1502792078 RUNJOBID= node105-1502785522-15706 PBS_JOBID= 20629123 Free space on /tmp= 60656 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-4269150-1502792078/watcher-4269150-1502792078 -o /tmp/evaluation-result-4269150-1502792078/solver-4269150-1502792078 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15706 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1871734479 HOME/instance-4269150-1502792078.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=1871734479 node105.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.17 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.17 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.17 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.17 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: 26198752 kB MemAvailable: 31755348 kB Buffers: 232720 kB Cached: 5596524 kB SwapCached: 0 kB Active: 983484 kB Inactive: 5120564 kB Active(anon): 277292 kB Inactive(anon): 25060 kB Active(file): 706192 kB Inactive(file): 5095504 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7904 kB Writeback: 12 kB AnonPages: 280548 kB Mapped: 57948 kB Shmem: 25228 kB Slab: 167944 kB SReclaimable: 141468 kB SUnreclaim: 26476 kB KernelStack: 3552 kB PageTables: 5784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1272244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 163840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60652 MiB End job on node105 at 2017-08-15 12:42:10