Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 794 | 2400.2 | 306.312 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml |
| MD5SUM | e65d1522f1056f49054155eb060914b2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 598 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4829 |
| Number of constraints | 2482 |
| Number of domains | 137 |
| Minimum domain size | 2 |
| Maximum domain size | 137 |
| Distribution of domain sizes | [{"size":2,"count":2416},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 68 |
| Distribution of variable degrees | [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 69 |
| Distribution of constraint arities | [{"arity":2,"count":69},{"arity":3,"count":2347},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2414 |
| Distribution of constraint types | [{"type":"intension","count":2414},{"type":"sum","count":68}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247425-1500689904.xml" -tl '2400s' -p 8 -x 0 0.00/0.22 c [HOME/instance-4247425-1500689904.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.29 c 8 solvers in parallel 0.00/0.37 c parse instance... 10.38/2.73 c solve instance... 14.04/3.21 o 107134 14.04/3.27 o 98022 14.04/3.29 o 97762 14.77/3.37 o 89706 14.77/3.41 o 89446 16.38/4.28 o 89194 16.57/4.30 o 82154 16.57/4.39 o 81878 17.35/4.41 o 81626 17.35/4.42 o 81398 17.35/4.44 o 75334 17.35/4.45 o 75042 17.35/4.46 o 74790 17.35/4.47 o 74546 17.35/4.48 o 74342 17.35/4.50 o 69214 17.88/4.52 o 68906 17.88/4.53 o 68174 17.88/4.54 o 2178 17.88/4.57 o 2026 18.47/4.65 o 2022 18.47/4.66 o 1890 18.47/4.68 o 1886 19.19/4.71 o 1862 19.19/4.75 o 1850 19.19/4.77 o 1834 19.80/4.81 o 1790 19.80/4.84 o 1770 19.80/4.87 o 1702 21.30/5.03 o 1694 22.07/5.10 o 1634 24.39/5.50 o 1594 25.24/5.53 o 1546 57.02/9.64 o 1434 67.03/11.14 o 1390 117.24/17.74 o 1182 818.33/106.26 o 1078 831.50/107.97 o 1066 1008.40/130.39 o 850 1086.42/140.57 o 810 1962.46/251.01 o 806 2270.92/290.08 o 794 2400.20/306.34 s SATISFIABLE 2400.20/306.34 v <instantiation> 2400.20/306.34 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> 2400.20/306.34 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 1 -2 -7 -2 3 -2 -1 -2 -3 0 3 -2 -3 -2 -7 0 -1 -2 -1 -6 -1 -4 1 -4 -9 6 1 6 3 0 3 2 1 -2 -1 0 -1 6 1 -4 1 -2 7 -2 -1 2 5 0 -1 0 -1 10 1 0 3 -2 -1 -2 -5 0 -1 0 1 -2 1 64 1 16 1 4 49 4 9 4 1 4 9 0 9 4 9 4 49 0 1 4 1 36 1 16 1 16 81 36 1 36 9 0 9 4 1 4 1 0 1 36 1 16 1 4 49 4 1 4 25 0 1 0 1 100 1 0 9 4 1 4 25 0 1 0 1 4 1 </values> 2400.20/306.34 v </instantiation> 2400.20/306.34 c Unexpected resolution interruption!
OK 794
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247425-1500689904/watcher-4247425-1500689904 -o /tmp/evaluation-result-4247425-1500689904/solver-4247425-1500689904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 826950254 HOME/instance-4247425-1500689904.xml pid=2259 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 14.99 15.65 15.11 10/274 2262 /proc/meminfo: memFree=31231952/32770624 swapFree=5736/261424 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 [startup+0.100104 s] /proc/loadavg: 14.99 15.65 15.11 10/274 2262 /proc/meminfo: memFree=31231952/32770624 swapFree=5736/261424 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200309 s] /proc/loadavg: 14.99 15.65 15.11 10/274 2262 /proc/meminfo: memFree=31231952/32770624 swapFree=5736/261424 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300338 s] /proc/loadavg: 14.99 15.65 15.11 10/274 2262 /proc/meminfo: memFree=31231952/32770624 swapFree=5736/261424 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700233 s] /proc/loadavg: 14.99 15.65 15.11 10/274 2262 /proc/meminfo: memFree=31231952/32770624 swapFree=5736/261424 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50117 s] /proc/loadavg: 14.99 15.65 15.11 13/295 2284 /proc/meminfo: memFree=31117236/32770624 swapFree=5736/261464 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 [pid=2263] ppid=2262 vsize=13269256 CPUtime=4.84 cores=1,3,5,7,9,11,13,15 /proc/2263/stat : 2263 (java) S 2262 2262 16473 0 -1 1077944320 22537 0 0 0 462 22 0 0 20 0 20 0 4259540 13587718144 54383 33554432000 4194304 4196468 140721407900976 140721407883520 140165136248567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 /proc/2263/statm: 3317314 54383 3241 1 0 3304547 0 [pid=2263/tid=2264] ppid=2262 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2264/stat : 2264 (java) R 2262 2262 16473 0 -1 4202560 7439 0 0 0 139 5 0 0 20 0 20 0 4259540 13587718144 54383 33554432000 4194304 4196468 140721407900976 140165140486600 140164737089356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2266] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2266/stat : 2266 (java) S 2262 2262 16473 0 -1 1077944384 145 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140165054728464 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2267] ppid=2262 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2267/stat : 2267 (java) S 2262 2262 16473 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140165053675920 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2268] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2268/stat : 2268 (java) S 2262 2262 16473 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140165052623376 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2269] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2269/stat : 2269 (java) S 2262 2262 16473 0 -1 1077944384 41 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140165051570832 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2270] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2270/stat : 2270 (java) S 2262 2262 16473 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140164730972944 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2271] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2271/stat : 2271 (java) S 2262 2262 16473 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140164729920400 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2272] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2272/stat : 2272 (java) S 2262 2262 16473 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140164728867856 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2273] ppid=2262 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2273/stat : 2273 (java) S 2262 2262 16473 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 20 0 4259541 13587718144 54383 33554432000 4194304 4196468 140721407900976 140164727815312 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2274] ppid=2262 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2274/stat : 2274 (java) S 2262 2262 16473 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 20 0 4259543 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163868092400 140165136259714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2275] ppid=2262 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2275/stat : 2275 (java) S 2262 2262 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4259544 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163867038624 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2276] ppid=2262 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2276/stat : 2276 (java) S 2262 2262 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4259545 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163865986032 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2277] ppid=2262 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2277/stat : 2277 (java) S 2262 2262 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4259548 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163864934608 140165136267163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2278] ppid=2262 vsize=13269256 CPUtime=0.82 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2278/stat : 2278 (java) R 2262 2262 16473 0 -1 4202560 3650 0 0 0 81 1 0 0 20 0 20 0 4259548 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163863873360 140165117446431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2279] ppid=2262 vsize=13269256 CPUtime=0.79 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2279/stat : 2279 (java) R 2262 2262 16473 0 -1 4202560 2966 0 0 0 79 0 0 0 20 0 20 0 4259548 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163862816224 140165117771019 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2281] ppid=2262 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2281/stat : 2281 (java) R 2262 2262 16473 0 -1 4202560 3742 0 0 0 87 1 0 0 20 0 20 0 4259548 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163861763392 140165119635552 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2282] ppid=2262 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2282/stat : 2282 (java) S 2262 2262 16473 0 -1 1077944384 2927 0 0 0 64 1 0 0 20 0 20 0 4259548 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163860724592 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2283] ppid=2262 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2283/stat : 2283 (java) S 2262 2262 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4259549 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163859671264 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2284] ppid=2262 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2284/stat : 2284 (java) S 2262 2262 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4259549 13587718144 54383 33554432000 4194304 4196468 140721407900976 140163858618800 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 Current children cumulated CPU time (s) 4.84 Current children cumulated vsize (KiB) 13278768 [startup+3.10116 s] /proc/loadavg: 14.99 15.65 15.11 11/295 2284 /proc/meminfo: memFree=30808312/32770624 swapFree=5736/261464 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 [pid=2263] ppid=2262 vsize=13803816 CPUtime=13.25 cores=1,3,5,7,9,11,13,15 /proc/2263/stat : 2263 (java) S 2262 2262 16473 0 -1 1077944320 29767 0 0 0 1223 102 0 0 20 0 28 0 4259540 14135107584 124248 33554432000 4194304 4196468 140721407900976 140721407883520 140165136248567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 /proc/2263/statm: 3450954 124248 3264 1 0 3438187 0 [pid=2263/tid=2264] ppid=2262 vsize=13803816 CPUtime=2.49 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2264/stat : 2264 (java) S 2262 2262 16473 0 -1 1077944384 9536 0 0 0 241 8 0 0 20 0 28 0 4259540 14135107584 124248 33554432000 4194304 4196468 140721407900976 140165140489344 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2266] ppid=2262 vsize=13803816 CPUtime=0.17 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2266/stat : 2266 (java) S 2262 2262 16473 0 -1 1077944384 209 0 0 0 8 9 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140165054728464 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2267] ppid=2262 vsize=13803816 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2267/stat : 2267 (java) S 2262 2262 16473 0 -1 1077944384 101 0 0 0 8 10 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140165053675920 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2268] ppid=2262 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2268/stat : 2268 (java) S 2262 2262 16473 0 -1 1077944384 112 0 0 0 9 11 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140165052623376 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2269] ppid=2262 vsize=13803816 CPUtime=0.16 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2269/stat : 2269 (java) S 2262 2262 16473 0 -1 1077944384 112 0 0 0 7 9 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140165051570832 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2270] ppid=2262 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2270/stat : 2270 (java) S 2262 2262 16473 0 -1 1077944384 194 0 0 0 10 11 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140164730972944 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2271] ppid=2262 vsize=13803816 CPUtime=0.21 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2271/stat : 2271 (java) S 2262 2262 16473 0 -1 1077944384 150 0 0 0 11 10 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140164729920400 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2272] ppid=2262 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2272/stat : 2272 (java) S 2262 2262 16473 0 -1 1077944384 495 0 0 0 9 11 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140164728867856 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2273] ppid=2262 vsize=13803816 CPUtime=0.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2273/stat : 2273 (java) S 2262 2262 16473 0 -1 1077944384 126 0 0 0 9 11 0 0 20 0 28 0 4259541 14135107584 124248 33554432000 4194304 4196468 140721407900976 140164727815312 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2274] ppid=2262 vsize=13803816 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2274/stat : 2274 (java) S 2262 2262 16473 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 28 0 4259543 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163868092400 140165136259714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2275] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2275/stat : 2275 (java) S 2262 2262 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4259544 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163867038688 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2276] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2276/stat : 2276 (java) S 2262 2262 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4259545 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163865986048 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2277] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2277/stat : 2277 (java) S 2262 2262 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4259548 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163864934608 140165136267163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2278] ppid=2262 vsize=13803816 CPUtime=2.21 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2278/stat : 2278 (java) R 2262 2262 16473 0 -1 4202560 4719 0 0 0 220 1 0 0 20 0 28 0 4259548 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163863868768 140165117793866 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2279] ppid=2262 vsize=13803816 CPUtime=2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2279/stat : 2279 (java) R 2262 2262 16473 0 -1 4202560 3731 0 0 0 199 1 0 0 20 0 28 0 4259548 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163862818000 140165121363817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2281] ppid=2262 vsize=13803816 CPUtime=2.12 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2281/stat : 2281 (java) R 2262 2262 16473 0 -1 4202560 4294 0 0 0 211 1 0 0 20 0 28 0 4259548 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163861768144 140165120672208 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2282] ppid=2262 vsize=13803816 CPUtime=1.03 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2282/stat : 2282 (java) S 2262 2262 16473 0 -1 1077944384 3782 0 0 0 101 2 0 0 20 0 28 0 4259548 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163860724592 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2283] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2283/stat : 2283 (java) S 2262 2262 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4259549 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163859671264 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2284] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2284/stat : 2284 (java) S 2262 2262 16473 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4259549 14135107584 124248 33554432000 4194304 4196468 140721407900976 140163858618800 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 Current children cumulated CPU time (s) 13.25 Current children cumulated vsize (KiB) 13813328 [startup+6.30113 s] /proc/loadavg: 14.83 15.61 15.10 18/301 2543 /proc/meminfo: memFree=30427484/32770624 swapFree=5736/261480 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 [pid=2263] ppid=2262 vsize=13803816 CPUtime=31.5 cores=1,3,5,7,9,11,13,15 /proc/2263/stat : 2263 (java) S 2262 2262 16473 0 -1 1077944320 38934 0 0 0 3011 139 0 0 20 0 28 0 4259540 14135107584 196878 33554432000 4194304 4196468 140721407900976 140721407883520 140165136248567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 /proc/2263/statm: 3450954 196878 3285 1 0 3438187 0 [pid=2263/tid=2264] ppid=2262 vsize=13803816 CPUtime=2.58 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2264/stat : 2264 (java) S 2262 2262 16473 0 -1 1077944384 9569 0 0 0 250 8 0 0 20 0 28 0 4259540 14135107584 196878 33554432000 4194304 4196468 140721407900976 140165140489344 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2266] ppid=2262 vsize=13803816 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2266/stat : 2266 (java) S 2262 2262 16473 0 -1 1077944384 245 0 0 0 14 13 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140165054728464 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2267] ppid=2262 vsize=13803816 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2267/stat : 2267 (java) S 2262 2262 16473 0 -1 1077944384 138 0 0 0 14 14 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140165053675920 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2268] ppid=2262 vsize=13803816 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2268/stat : 2268 (java) S 2262 2262 16473 0 -1 1077944384 147 0 0 0 14 15 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140165052623376 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2269] ppid=2262 vsize=13803816 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2269/stat : 2269 (java) S 2262 2262 16473 0 -1 1077944384 154 0 0 0 14 13 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140165051570832 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2270] ppid=2262 vsize=13803816 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2270/stat : 2270 (java) S 2262 2262 16473 0 -1 1077944384 215 0 0 0 14 13 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140164730972944 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2271] ppid=2262 vsize=13803816 CPUtime=0.32 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2271/stat : 2271 (java) S 2262 2262 16473 0 -1 1077944384 217 0 0 0 20 12 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140164729920400 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2272] ppid=2262 vsize=13803816 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2272/stat : 2272 (java) S 2262 2262 16473 0 -1 1077944384 511 0 0 0 13 12 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140164728867856 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2273] ppid=2262 vsize=13803816 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2273/stat : 2273 (java) S 2262 2262 16473 0 -1 1077944384 168 0 0 0 15 15 0 0 20 0 28 0 4259541 14135107584 196878 33554432000 4194304 4196468 140721407900976 140164727815312 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2274] ppid=2262 vsize=13803816 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2274/stat : 2274 (java) S 2262 2262 16473 0 -1 1077944384 746 0 0 0 2 1 0 0 20 0 28 0 4259543 14135107584 196878 33554432000 4194304 4196468 140721407900976 140163868092400 140165136259714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2275] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2275/stat : 2275 (java) S 2262 2262 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4259544 14135107584 196878 33554432000 4194304 4196468 140721407900976 140163867038688 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2276] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2276/stat : 2276 (java) S 2262 2262 16473 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4259545 14135107584 196878 33554432000 4194304 4196468 140721407900976 140163865986048 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2277] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2277/stat : 2277 (java) S 2262 2262 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4259548 14135107584 196878 33554432000 4194304 4196468 140721407900976 140163864934608 140165136267163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 ################ # More data... # ################ [pid=2263/tid=3141] ppid=2262 vsize=13803816 CPUtime=31.23 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3141/stat : 3141 (java) R 2262 2262 16473 0 -1 4202560 923 0 0 0 3123 0 0 0 20 0 28 0 4284641 14135107584 866617 33554432000 4194304 4196468 140721407900976 140163846393680 140164742454250 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3142] ppid=2262 vsize=13803816 CPUtime=31.25 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3142/stat : 3142 (java) R 2262 2262 16473 0 -1 4202560 691 0 0 0 3125 0 0 0 20 0 28 0 4284641 14135107584 866617 33554432000 4194304 4196468 140721407900976 140163843235416 140164740873229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 Current children cumulated CPU time (s) 2211.76 Current children cumulated vsize (KiB) 13813328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+306.302 s] /proc/loadavg: 16.00 15.83 15.33 17/300 3151 /proc/meminfo: memFree=25750196/32770624 swapFree=5736/261932 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 [pid=2263] ppid=2262 vsize=13803816 CPUtime=2400.2 cores=1,3,5,7,9,11,13,15 /proc/2263/stat : 2263 (java) S 2262 2262 16473 0 -1 1077944320 157216 0 0 0 239763 257 0 0 20 0 28 0 4259540 14135107584 866618 33554432000 4194304 4196468 140721407900976 140721407883520 140165136248567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 /proc/2263/statm: 3450954 866618 3290 1 0 3438187 0 [pid=2263/tid=2264] ppid=2262 vsize=13803816 CPUtime=2.59 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2264/stat : 2264 (java) S 2262 2262 16473 0 -1 1077944384 10843 0 0 0 251 8 0 0 20 0 28 0 4259540 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165140489344 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2266] ppid=2262 vsize=13803816 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2266/stat : 2266 (java) S 2262 2262 16473 0 -1 1077944384 830 0 0 0 20 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165054728464 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2267] ppid=2262 vsize=13803816 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2267/stat : 2267 (java) S 2262 2262 16473 0 -1 1077944384 580 0 0 0 20 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165053675920 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2268] ppid=2262 vsize=13803816 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2268/stat : 2268 (java) S 2262 2262 16473 0 -1 1077944384 1394 0 0 0 20 18 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165052623376 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2269] ppid=2262 vsize=13803816 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2269/stat : 2269 (java) S 2262 2262 16473 0 -1 1077944384 254 0 0 0 18 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165051570832 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2270] ppid=2262 vsize=13803816 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2270/stat : 2270 (java) S 2262 2262 16473 0 -1 1077944384 701 0 0 0 18 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164730972944 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2271] ppid=2262 vsize=13803816 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2271/stat : 2271 (java) S 2262 2262 16473 0 -1 1077944384 627 0 0 0 25 15 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164729920400 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2272] ppid=2262 vsize=13803816 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2272/stat : 2272 (java) S 2262 2262 16473 0 -1 1077944384 924 0 0 0 18 15 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164728867856 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2273] ppid=2262 vsize=13803816 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2273/stat : 2273 (java) S 2262 2262 16473 0 -1 1077944384 344 0 0 0 21 18 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164727815312 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2274] ppid=2262 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2274/stat : 2274 (java) S 2262 2262 16473 0 -1 1077944384 4272 0 0 0 4 6 0 0 20 0 28 0 4259543 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163868092400 140165136259714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2275] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2275/stat : 2275 (java) S 2262 2262 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4259544 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163867038688 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2276] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2276/stat : 2276 (java) S 2262 2262 16473 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4259545 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163865986048 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2277] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2277/stat : 2277 (java) S 2262 2262 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163864934608 140165136267163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2278] ppid=2262 vsize=13803816 CPUtime=5.48 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2278/stat : 2278 (java) S 2262 2262 16473 0 -1 1077944384 25006 0 0 0 544 4 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163863882224 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2279] ppid=2262 vsize=13803816 CPUtime=5.45 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2279/stat : 2279 (java) S 2262 2262 16473 0 -1 1077944384 22114 0 0 0 542 3 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163862829680 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2281] ppid=2262 vsize=13803816 CPUtime=4.62 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2281/stat : 2281 (java) S 2262 2262 16473 0 -1 1077944384 15821 0 0 0 459 3 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163861777136 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2282] ppid=2262 vsize=13803816 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2282/stat : 2282 (java) S 2262 2262 16473 0 -1 1077944384 12552 0 0 0 153 4 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163860724592 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2283] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2283/stat : 2283 (java) S 2262 2262 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4259549 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163859671264 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2284] ppid=2262 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2284/stat : 2284 (java) S 2262 2262 16473 0 -1 1077944384 2366 0 0 0 9 10 0 0 20 0 28 0 4259549 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163858618800 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3144] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3144/stat : 3144 (java) R 2262 2262 16473 0 -1 4202560 443 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163845340184 140164741677027 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3145] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3145/stat : 3145 (java) R 2262 2262 16473 0 -1 4202560 356 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163843235784 140164741712158 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3146] ppid=2262 vsize=13803816 CPUtime=16.19 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3146/stat : 3146 (java) R 2262 2262 16473 0 -1 4202560 584 0 0 0 1619 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163849551928 140164741988404 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3147] ppid=2262 vsize=13803816 CPUtime=16.19 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3147/stat : 3147 (java) R 2262 2262 16473 0 -1 4202560 1667 0 0 0 1619 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163848499048 140164737424693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3148] ppid=2262 vsize=13803816 CPUtime=16.14 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3148/stat : 3148 (java) R 2262 2262 16473 0 -1 4202560 798 0 0 0 1614 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163844289048 140164741173430 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3149] ppid=2262 vsize=13803816 CPUtime=15.79 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3149/stat : 3149 (java) R 2262 2262 16473 0 -1 4202560 205 0 0 0 1579 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163850605000 140164741173439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3150] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3150/stat : 3150 (java) R 2262 2262 16473 0 -1 4202560 608 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163847445576 140164741859020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3151] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3151/stat : 3151 (java) R 2262 2262 16473 0 -1 4202560 747 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163846393280 140164741970615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 Current children cumulated CPU time (s) 2400.2 Current children cumulated vsize (KiB) 13813328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2263 sig 9 ??? kill 2262 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+306.302 s] /proc/loadavg: 16.00 15.83 15.33 17/300 3151 /proc/meminfo: memFree=25750196/32770624 swapFree=5736/261932 [pid=2262] ppid=2259 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2262/stat : 2262 (xcsp3-exec) S 2259 2262 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4259539 9740288 346 33554432000 4194304 5098028 140735671030560 140735671028664 140704650302076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 15147008 140735671035023 140735671035232 140735671035232 140735671037931 0 /proc/2262/statm: 2378 346 289 221 0 87 0 [pid=2263] ppid=2262 vsize=13803816 CPUtime=2400.2 cores=1,3,5,7,9,11,13,15 /proc/2263/stat : 2263 (java) S 2262 2262 16473 0 -1 1077944320 157216 0 0 0 239763 257 0 0 20 0 28 0 4259540 14135107584 866618 33554432000 4194304 4196468 140721407900976 140721407883520 140165136248567 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 /proc/2263/statm: 3450954 866618 3290 1 0 3438187 0 [pid=2263/tid=2264] ppid=2262 vsize=13803816 CPUtime=2.59 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2264/stat : 2264 (java) S 2262 2262 16473 0 -1 1077944384 10843 0 0 0 251 8 0 0 20 0 28 0 4259540 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165140489344 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2266] ppid=2262 vsize=13803816 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2266/stat : 2266 (java) S 2262 2262 16473 0 -1 1077944384 830 0 0 0 20 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165054728464 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2267] ppid=2262 vsize=13803816 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2267/stat : 2267 (java) S 2262 2262 16473 0 -1 1077944384 580 0 0 0 20 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165053675920 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2268] ppid=2262 vsize=13803816 CPUtime=0.38 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2268/stat : 2268 (java) S 2262 2262 16473 0 -1 1077944384 1394 0 0 0 20 18 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165052623376 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2269] ppid=2262 vsize=13803816 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2269/stat : 2269 (java) S 2262 2262 16473 0 -1 1077944384 254 0 0 0 18 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140165051570832 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2270] ppid=2262 vsize=13803816 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2270/stat : 2270 (java) S 2262 2262 16473 0 -1 1077944384 701 0 0 0 18 16 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164730972944 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2271] ppid=2262 vsize=13803816 CPUtime=0.4 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2271/stat : 2271 (java) S 2262 2262 16473 0 -1 1077944384 627 0 0 0 25 15 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164729920400 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2272] ppid=2262 vsize=13803816 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2272/stat : 2272 (java) S 2262 2262 16473 0 -1 1077944384 924 0 0 0 18 15 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164728867856 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2273] ppid=2262 vsize=13803816 CPUtime=0.39 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2273/stat : 2273 (java) S 2262 2262 16473 0 -1 1077944384 344 0 0 0 21 18 0 0 20 0 28 0 4259541 14135107584 866618 33554432000 4194304 4196468 140721407900976 140164727815312 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2274] ppid=2262 vsize=13803816 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2274/stat : 2274 (java) S 2262 2262 16473 0 -1 1077944384 4272 0 0 0 4 6 0 0 20 0 28 0 4259543 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163868092400 140165136259714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2275] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2275/stat : 2275 (java) S 2262 2262 16473 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4259544 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163867038688 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2276] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2276/stat : 2276 (java) S 2262 2262 16473 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4259545 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163865986048 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2277] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2277/stat : 2277 (java) S 2262 2262 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163864934608 140165136267163 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2278] ppid=2262 vsize=13803816 CPUtime=5.48 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2278/stat : 2278 (java) S 2262 2262 16473 0 -1 1077944384 25006 0 0 0 544 4 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163863882224 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2279] ppid=2262 vsize=13803816 CPUtime=5.45 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2279/stat : 2279 (java) S 2262 2262 16473 0 -1 1077944384 22114 0 0 0 542 3 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163862829680 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2281] ppid=2262 vsize=13803816 CPUtime=4.62 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2281/stat : 2281 (java) S 2262 2262 16473 0 -1 1077944384 15821 0 0 0 459 3 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163861777136 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2282] ppid=2262 vsize=13803816 CPUtime=1.57 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2282/stat : 2282 (java) S 2262 2262 16473 0 -1 1077944384 12552 0 0 0 153 4 0 0 20 0 28 0 4259548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163860724592 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2283] ppid=2262 vsize=13803816 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2283/stat : 2283 (java) S 2262 2262 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4259549 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163859671264 140165136258773 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=2284] ppid=2262 vsize=13803816 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/2263/task/2284/stat : 2284 (java) S 2262 2262 16473 0 -1 1077944384 2366 0 0 0 9 10 0 0 20 0 28 0 4259549 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163858618800 140165136259714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3144] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3144/stat : 3144 (java) R 2262 2262 16473 0 -1 4202560 443 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163845340184 140164741677027 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3145] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3145/stat : 3145 (java) R 2262 2262 16473 0 -1 4202560 356 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163843235784 140164741712158 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3146] ppid=2262 vsize=13803816 CPUtime=16.19 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3146/stat : 3146 (java) R 2262 2262 16473 0 -1 4202560 584 0 0 0 1619 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163849551928 140164741988404 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3147] ppid=2262 vsize=13803816 CPUtime=16.19 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3147/stat : 3147 (java) R 2262 2262 16473 0 -1 4202560 1667 0 0 0 1619 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163848499048 140164737424693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3148] ppid=2262 vsize=13803816 CPUtime=16.14 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3148/stat : 3148 (java) R 2262 2262 16473 0 -1 4202560 798 0 0 0 1614 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163844289048 140164741173430 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3149] ppid=2262 vsize=13803816 CPUtime=15.79 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3149/stat : 3149 (java) R 2262 2262 16473 0 -1 4202560 205 0 0 0 1579 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163850605000 140164741173439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3150] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3150/stat : 3150 (java) R 2262 2262 16473 0 -1 4202560 608 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163847445576 140164741859020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 [pid=2263/tid=3151] ppid=2262 vsize=13803816 CPUtime=16.2 cores=1,3,5,7,9,11,13,15 /proc/2263/task/3151/stat : 3151 (java) R 2262 2262 16473 0 -1 4202560 747 0 0 0 1620 0 0 0 20 0 28 0 4288548 14135107584 866618 33554432000 4194304 4196468 140721407900976 140163846393280 140164741970615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27643904 140721407902908 140721407903084 140721407903084 140721407905743 0 Current children cumulated CPU time (s) 2400.2 Current children cumulated vsize (KiB) 13813328 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2262 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1402 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1402 # CPU time returned by wait4() is 0.002804 # while last known CPU time is 2400.2 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 306.312 CPU time (s): 2400.2 CPU user time (s): 2397.63 CPU system time (s): 2.57 CPU usage (%): 783.579 Max. virtual memory (cumulated for all children) (KiB): 13815480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001402 system time used= 0.001402 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.55604 second user time and 4.20864 second system time The end
Begin job on node114 at 2017-07-22 04:18:24 IDJOB=4247425 IDBENCH=127023 IDSOLVER=2625 FILE ID=node114/4247425-1500689904 RUNJOBID= node114-1500682387-16505 PBS_JOBID= 20623324 Free space on /tmp= 62004 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247425-1500689904/watcher-4247425-1500689904 -o /tmp/evaluation-result-4247425-1500689904/solver-4247425-1500689904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 826950254 HOME/instance-4247425-1500689904.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=826950254 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 8 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.60 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 : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.60 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.60 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.60 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31232640 kB MemAvailable: 31396108 kB Buffers: 116380 kB Cached: 328280 kB SwapCached: 0 kB Active: 835200 kB Inactive: 270236 kB Active(anon): 663668 kB Inactive(anon): 8812 kB Active(file): 171532 kB Inactive(file): 261424 kB Unevictable: 5736 kB Mlocked: 5736 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8040 kB Writeback: 0 kB AnonPages: 738412 kB Mapped: 43516 kB Shmem: 8848 kB Slab: 127076 kB SReclaimable: 92692 kB SUnreclaim: 34384 kB KernelStack: 5056 kB PageTables: 6808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1669216 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 626688 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= 61996 MiB End job on node114 at 2017-07-22 04:23:30