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-18) | SAT (TO) | 906 | 246.556 | 240.024 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml |
| MD5SUM | e65d1522f1056f49054155eb060914b2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 598 |
| Best CPU time to get the best result obtained on this benchmark | 251.939 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4829 |
| Number of constraints | 2482 |
| Number of domains | 137 |
| Minimum domain size | 2 |
| Maximum domain size | 137 |
| Distribution of domain sizes | [{"size":2,"count":2416},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 68 |
| Distribution of variable degrees | [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 69 |
| Distribution of constraint arities | [{"arity":2,"count":69},{"arity":3,"count":2347},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2414 |
| Distribution of constraint types | [{"type":"intension","count":2414},{"type":"sum","count":68}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282890-1503212699.xml" -tl '264s' -p 1 -x 0 0.12/0.14 c [HOME/instance-4282890-1503212699.xml, -tl, 264s, -p, 1, -x, 0] 0.12/0.20 c simple solver 0.34/0.26 c parse instance... 2.77/1.02 c solve instance... 3.64/1.33 o 1806 3.64/1.38 o 1694 3.95/1.41 o 1634 3.95/1.49 o 1546 5.98/2.53 o 1526 6.41/2.97 o 1510 6.74/3.28 o 1390 8.80/4.20 o 1346 8.94/4.31 o 1298 18.23/12.52 o 1186 18.43/12.74 o 1178 34.55/28.59 o 1106 68.86/62.73 o 1058 101.28/95.03 o 950 102.29/96.03 o 906 246.52/240.01 s SATISFIABLE 246.52/240.01 v <instantiation> 246.52/240.01 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[64][0] y[64][1] y[64][2] y[64][3] y[65][0] y[65][1] y[65][2] y[66][0] y[66][1] y[67][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] </list> 246.52/240.01 v <values>-1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 8 1 -4 -3 -2 9 2 -1 0 -9 0 1 0 -1 0 3 8 3 -6 3 4 5 4 5 0 -5 0 5 -2 -1 -6 -3 0 -5 -2 -3 -4 -1 -6 -1 8 -3 -2 1 0 1 0 1 -2 -1 -10 1 2 1 2 -3 -4 1 2 -3 2 -1 0 -1 0 1 0 1 64 1 16 9 4 81 4 1 0 81 0 1 0 1 0 9 64 9 36 9 16 25 16 25 0 25 0 25 4 1 36 9 0 25 4 9 16 1 36 1 64 9 4 1 0 1 0 1 4 1 100 1 4 1 4 9 16 1 4 9 4 1 0 1 0 1 0 1 </values> 246.52/240.01 v </instantiation> 246.52/240.01 c Unexpected resolution interruption!
OK 906
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12538 MiB free)
memory of node 1: 16384 MiB (11595 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282890-1503212699/watcher-4282890-1503212699 -o /tmp/evaluation-result-4282890-1503212699/solver-4282890-1503212699 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17467 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1745902493 HOME/instance-4282890-1503212699.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19989, runsolver pid=19986
[startup+0.100123 s]*
/proc/loadavg: 2.17 2.08 1.96 4/218 20005
/proc/meminfo: memFree=24696420/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13978596 memory=28224 CPUtime=0.12 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 5439 0 0 0 11 1 0 0 20 0 15 0 154350753 14314082304 7056 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3494649 7056 2866 1 0 3482966 0
[pid=19991/tid=19992] ppid=19989 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) R 19989 19989 17435 0 -1 4202560 3432 0 0 0 9 0 0 0 20 0 15 0 154350753 14314082304 7056 33554432000 4194304 4196468 140734660897200 140251527701040 140251523489174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14314082304 7056 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13978596 memory=140592088270464 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14314082304 7056 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14314082304 7056 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350754 14314082304 7056 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13978596 memory=140592088270464 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350755 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154350756 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250996549024 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154350756 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250995496432 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154350758 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154350758 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13978596 memory=140592088270464 CPUtime=0.01 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) R 19989 19989 17435 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 15 0 154350758 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250991286512 140251502108536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13978596 memory=140592088270464 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350759 14314082304 7056 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29608 KiB
[startup+0.210708 s]*
/proc/loadavg: 2.17 2.08 1.96 3/218 20005
/proc/meminfo: memFree=24684748/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13982852 memory=40760 CPUtime=0.34 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 8253 0 0 0 31 3 0 0 20 0 15 0 154350753 14318440448 10190 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3495713 10190 3060 1 0 3482966 0
[pid=19991/tid=19992] ppid=19989 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) D 19989 19989 17435 0 -1 1077944384 5384 0 0 0 18 1 0 0 20 0 15 0 154350753 14318440448 10190 33554432000 4194304 4196468 140734660897200 140251527688320 140251516156461 0 4 0 16800975 18446744072101662244 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13982852 memory=13650 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 10190 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13982852 memory=140592089047711 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 10190 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14318473216 10190 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 10190 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13982852 memory=140592088270464 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350755 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154350756 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250996549024 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154350756 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250995496432 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14318473216 10190 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13982884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 15 0 154350758 14318473216 10190 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 154350758 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13982852 memory=140592088270464 CPUtime=0.07 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) S 19989 19989 17435 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 15 0 154350758 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250991286512 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350759 14318440448 10190 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42144 KiB
[startup+0.310865 s]*
/proc/loadavg: 2.17 2.08 1.96 4/218 20005
/proc/meminfo: memFree=24678420/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13982852 memory=47088 CPUtime=0.52 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 8948 0 0 0 49 3 0 0 20 0 15 0 154350753 14318440448 11772 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3495713 11772 3079 1 0 3482966 0
[pid=19991/tid=19992] ppid=19989 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) R 19989 19989 17435 0 -1 1077944384 5945 0 0 0 28 2 0 0 20 0 15 0 154350753 14318440448 11772 33554432000 4194304 4196468 140734660897200 140251527714864 140251523487445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 11772 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 11772 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 11772 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350754 14318440448 11772 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350755 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154350756 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250996549024 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154350756 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250995496432 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) R 19989 19989 17435 0 -1 4202560 586 0 0 0 4 0 0 0 20 0 15 0 154350758 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250993391696 140251507767408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) R 19989 19989 17435 0 -1 4202560 275 0 0 0 3 0 0 0 20 0 15 0 154350758 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250992328976 140251501924539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) R 19989 19989 17435 0 -1 4202560 838 0 0 0 13 0 0 0 20 0 15 0 154350758 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250991282880 140251523489174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350759 14318440448 11772 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48472 KiB
[startup+0.701322 s]
/proc/loadavg: 2.17 2.08 1.96 5/218 20005
/proc/meminfo: memFree=24645600/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13984976 memory=102148 CPUtime=1.82 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 13058 0 0 0 177 5 0 0 20 0 15 0 154350753 14320615424 25537 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3496244 25537 3209 1 0 3483478 0
[pid=19991/tid=19992] ppid=19989 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) R 19989 19989 17435 0 -1 4202560 6612 0 0 0 64 3 0 0 20 0 15 0 154350753 14320615424 25537 33554432000 4194304 4196468 140734660897200 140251527711984 140251523489174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14320615424 25537 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14320615424 25537 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350754 14320615424 25537 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154350754 14320615424 25537 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154350755 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250996549024 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13984976 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250995496432 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13984976 memory=1204 CPUtime=0.38 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 1623 0 0 0 38 0 0 0 20 0 15 0 154350758 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13984976 memory=1728 CPUtime=0.35 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 1505 0 0 0 35 0 0 0 20 0 15 0 154350758 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13984976 memory=1440 CPUtime=0.38 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) R 19989 19989 17435 0 -1 4202560 2011 0 0 0 38 0 0 0 20 0 15 0 154350758 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250991284472 140251507724857 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154350759 14320615424 25537 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 103532 KiB
[startup+1.50087 s]
/proc/loadavg: 2.17 2.08 1.96 6/218 20005
/proc/meminfo: memFree=24521052/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250995496432 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13984976 memory=84 CPUtime=2.69 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 15327 0 0 0 268 1 0 0 20 0 15 0 154350758 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13984976 memory=33 CPUtime=2.68 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 12081 0 0 0 267 1 0 0 20 0 15 0 154350758 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13984976 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) S 19989 19989 17435 0 -1 1077944384 10197 0 0 0 78 2 0 0 20 0 15 0 154350758 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250991286512 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13984976 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13984976 memory=16101468159609422 CPUtime=0.04 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 418 0 0 0 2 2 0 0 20 0 15 0 154350759 14320615424 57628 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 108.59 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 231896 KiB
[startup+162.301 s]
/proc/loadavg: 2.02 2.07 1.97 3/218 20007
/proc/meminfo: memFree=24388668/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13984976 memory=251608 CPUtime=168.77 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 56185 0 0 0 16856 21 0 0 20 0 15 0 154350753 14320615424 62902 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3496244 62902 3264 1 0 3483478 0
[pid=19991/tid=19992] ppid=19989 vsize=13984976 memory=1384 CPUtime=162.24 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) R 19989 19989 17435 0 -1 4202560 12579 0 0 0 16218 6 0 0 20 0 15 0 154350753 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251527714040 140251167238750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13984976 memory=251608 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13984976 memory=251608 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13984976 memory=251608 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13984976 memory=251608 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 212 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13984976 memory=251608 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 154350755 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250996549088 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13984976 memory=3 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250995496448 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13984976 memory=251608 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13984976 memory=1384 CPUtime=2.69 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 15686 0 0 0 268 1 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13984976 memory=251608 CPUtime=2.77 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 14460 0 0 0 276 1 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13984976 memory=1384 CPUtime=0.81 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) S 19989 19989 17435 0 -1 1077944384 10247 0 0 0 79 2 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250991286512 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13984976 memory=251608 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 452 0 0 0 3 3 0 0 20 0 15 0 154350759 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 168.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 252992 KiB
[startup+222.301 s]
/proc/loadavg: 2.01 2.05 1.97 3/218 20008
/proc/meminfo: memFree=24389104/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13984976 memory=251608 CPUtime=228.81 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 56318 0 0 0 22859 22 0 0 20 0 15 0 154350753 14320615424 62902 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3496244 62902 3264 1 0 3483478 0
[pid=19991/tid=19992] ppid=19989 vsize=13984976 memory=251608 CPUtime=222.25 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) R 19989 19989 17435 0 -1 4202560 12657 0 0 0 22219 6 0 0 20 0 15 0 154350753 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251527714120 140251167213631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13984976 memory=251608 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13984976 memory=251608 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 212 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 154350755 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250996549088 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13984976 memory=251608 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250995496448 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13984976 memory=1384 CPUtime=2.69 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 15737 0 0 0 268 1 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13984976 memory=4096 CPUtime=2.77 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 14460 0 0 0 276 1 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13984976 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) S 19989 19989 17435 0 -1 1077944384 10247 0 0 0 79 2 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250991286512 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13984976 memory=12136 CPUtime=0.09 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 456 0 0 0 4 5 0 0 20 0 15 0 154350759 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 228.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 252992 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.21 2.10 1.99 3/218 20162
/proc/meminfo: memFree=24501052/32770624 swapFree=67108860/67108860
[pid=19989] ppid=19986 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19989/stat : 19989 (xcsp3-exec) S 19986 19989 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154350753 9740288 346 33554432000 4194304 5098028 140728382572448 140728382570552 140315263505020 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14499840 140728382575732 140728382575936 140728382575936 140728382578667 0
/proc/19989/statm: 2378 346 289 221 0 87 0
[pid=19991] ppid=19989 vsize=13984976 memory=251608 CPUtime=246.52 cores=1,3,5,7
/proc/19991/stat : 19991 (java) S 19989 19989 17435 0 -1 1077944320 56380 0 0 0 24630 22 0 0 20 0 15 0 154350753 14320615424 62902 33554432000 4194304 4196468 140734660897200 140734660879744 140251523477239 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
/proc/19991/statm: 3496244 62902 3264 1 0 3483478 0
[pid=19991/tid=19992] ppid=19989 vsize=13984976 memory=6791534058613427641 CPUtime=239.96 cores=1,3,5,7
/proc/19991/task/19992/stat : 19992 (java) R 19989 19989 17435 0 -1 4202560 12719 0 0 0 23990 6 0 0 20 0 15 0 154350753 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251527714120 140251166737645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19993] ppid=19989 vsize=13984976 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19993/stat : 19993 (java) S 19989 19989 17435 0 -1 1077944384 71 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251119151376 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19994] ppid=19989 vsize=13984976 memory=4616 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19994/stat : 19994 (java) S 19989 19989 17435 0 -1 1077944384 276 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251118098832 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19995] ppid=19989 vsize=13984976 memory=8624 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19995/stat : 19995 (java) S 19989 19989 17435 0 -1 1077944384 76 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251117046288 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19996] ppid=19989 vsize=13984976 memory=792 CPUtime=0.03 cores=1,3,5,7
/proc/19991/task/19996/stat : 19996 (java) S 19989 19989 17435 0 -1 1077944384 212 0 0 0 2 1 0 0 20 0 15 0 154350754 14320615424 62902 33554432000 4194304 4196468 140734660897200 140251115993744 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19997] ppid=19989 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19997/stat : 19997 (java) S 19989 19989 17435 0 -1 1077944384 794 0 0 0 0 0 0 0 20 0 15 0 154350755 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250997602800 140251523488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19998] ppid=19989 vsize=13984976 memory=251608 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19998/stat : 19998 (java) S 19989 19989 17435 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250996549088 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=19999] ppid=19989 vsize=13984976 memory=7810763844726514514 CPUtime=0 cores=1,3,5,7
/proc/19991/task/19999/stat : 19999 (java) S 19989 19989 17435 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154350756 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250995496448 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20000] ppid=19989 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20000/stat : 20000 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250994445008 140251523495835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20001] ppid=19989 vsize=13984976 memory=6082202987141951063 CPUtime=2.69 cores=1,3,5,7
/proc/19991/task/20001/stat : 20001 (java) S 19989 19989 17435 0 -1 1077944384 15737 0 0 0 268 1 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250993391600 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20002] ppid=19989 vsize=13984976 memory=6944656592452807316 CPUtime=2.77 cores=1,3,5,7
/proc/19991/task/20002/stat : 20002 (java) S 19989 19989 17435 0 -1 1077944384 14460 0 0 0 276 1 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250992339056 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20003] ppid=19989 vsize=13984976 memory=-7233780906022716832 CPUtime=0.81 cores=1,3,5,7
/proc/19991/task/20003/stat : 20003 (java) S 19989 19989 17435 0 -1 1077944384 10247 0 0 0 79 2 0 0 20 0 15 0 154350758 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250991286512 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20004] ppid=19989 vsize=13984976 memory=6944656592452807316 CPUtime=0 cores=1,3,5,7
/proc/19991/task/20004/stat : 20004 (java) S 19989 19989 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154350759 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250990234208 140251523487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
[pid=19991/tid=20005] ppid=19989 vsize=13984976 memory=4206468019014099040 CPUtime=0.1 cores=1,3,5,7
/proc/19991/task/20005/stat : 20005 (java) S 19989 19989 17435 0 -1 1077944384 456 0 0 0 5 5 0 0 20 0 15 0 154350759 14320615424 62902 33554432000 4194304 4196468 140734660897200 140250989181744 140251523488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 6520832 140734660904093 140734660904268 140734660904268 140734660906959 0
Current children cumulated CPU time: 246.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 252992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 19989 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000925 s, system=0.000925 s
[startup+240.024 s]
# the end of solver process 19991 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.322 s, system=0.234023 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.024
CPU time (s): 246.556
CPU user time (s): 246.322
CPU system time (s): 0.234023
CPU usage (%): 102.721
Max. virtual memory (cumulated for all children) (KiB): 13996364
Max. memory (cumulated for all children) (KiB): 252992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.322
system time used= 0.234023
maximum resident set size= 254292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8242
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 19989,19991
# total CPU time (s): 246.556
# total CPU user time (s): 246.322
# total CPU system time (s): 0.234023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5678 second user time and 2.31761 second system time
The end
Begin job on node148 at 2017-08-20 08:50:39 IDJOB=4282890 IDBENCH=127023 IDSOLVER=2678 FILE ID=node148/4282890-1503212699 RUNJOBID= node148-1503208459-17467 PBS_JOBID= 20630865 Free space on /tmp= 61716 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-4282890-1503212699/watcher-4282890-1503212699 -o /tmp/evaluation-result-4282890-1503212699/solver-4282890-1503212699 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17467 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1745902493 HOME/instance-4282890-1503212699.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=1745902493 node148.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.19 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.19 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.19 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.19 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: 24714216 kB MemAvailable: 31820288 kB Buffers: 297940 kB Cached: 7098300 kB SwapCached: 0 kB Active: 1449456 kB Inactive: 6154512 kB Active(anon): 159268 kB Inactive(anon): 84704 kB Active(file): 1290188 kB Inactive(file): 6069808 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8072 kB Writeback: 0 kB AnonPages: 320172 kB Mapped: 64232 kB Shmem: 33416 kB Slab: 151248 kB SReclaimable: 123824 kB SUnreclaim: 27424 kB KernelStack: 3824 kB PageTables: 5524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1304444 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61708 MiB End job on node148 at 2017-08-20 08:54:39