Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 970 | 1920.71 | 250.336 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml |
MD5SUM | e65d1522f1056f49054155eb060914b2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 598 |
Best CPU time to get the best result obtained on this benchmark | 251.939 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4829 |
Number of constraints | 2482 |
Number of domains | 137 |
Minimum domain size | 2 |
Maximum domain size | 137 |
Distribution of domain sizes | [{"size":2,"count":2416},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 68 |
Distribution of variable degrees | [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 69 |
Distribution of constraint arities | [{"arity":2,"count":69},{"arity":3,"count":2347},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2414 |
Distribution of constraint types | [{"type":"intension","count":2414},{"type":"sum","count":68}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.05 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254588-1501687505.xml" -tl '1920s' -p 8 -x 0 0.00/0.23 c [HOME/instance-4254588-1501687505.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.29 c 8 solvers in parallel 0.00/0.35 c parse instance... 8.48/2.38 c solve instance... 11.69/2.87 o 107134 11.69/2.89 o 98022 12.46/2.98 o 97762 13.26/3.10 o 89706 13.26/3.12 o 89446 13.26/3.13 o 89194 13.26/3.14 o 82154 13.94/3.22 o 81878 13.94/3.23 o 81626 13.94/3.26 o 81398 13.94/3.27 o 75138 13.94/3.28 o 75042 13.94/3.29 o 74790 14.66/3.35 o 74546 16.04/4.33 o 74342 16.04/4.34 o 69214 16.04/4.35 o 68906 16.04/4.37 o 68638 16.04/4.38 o 43226 16.49/4.45 o 2178 17.62/5.39 o 2026 17.84/5.44 o 2022 17.84/5.49 o 1890 17.84/5.50 o 1886 19.56/6.45 o 1862 19.56/6.48 o 1850 19.56/6.50 o 1834 19.78/6.56 o 1790 20.96/7.49 o 1770 21.10/7.53 o 1702 22.88/8.53 o 1694 23.27/8.60 o 1634 23.27/8.69 o 1594 24.78/9.59 o 1546 55.17/13.42 o 1390 66.00/15.56 o 1322 71.49/16.59 o 1298 131.65/24.87 o 1234 232.20/37.87 o 1202 451.91/65.44 o 1198 590.37/82.89 o 1170 818.32/111.61 o 1138 1600.46/209.68 o 1090 1809.76/236.38 o 1010 1809.91/236.41 o 970 1920.71/250.37 s SATISFIABLE 1920.71/250.37 v <instantiation> 1920.71/250.37 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> 1920.71/250.37 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 0 -7 0 1 6 3 -2 -3 6 5 -6 1 8 -3 4 -3 0 7 4 1 2 1 -2 -5 -6 3 -4 -1 6 1 0 -9 -4 5 4 -3 2 1 -4 3 -2 -11 -2 -1 -2 -1 4 -1 0 5 -2 -3 0 -3 4 1 -4 -1 0 -1 -4 -5 -2 -1 0 -3 0 1 0 49 0 1 36 9 4 9 36 25 36 1 64 9 16 9 0 49 16 1 4 1 4 25 36 9 16 1 36 1 0 81 16 25 16 9 4 1 16 9 4 121 4 1 4 1 16 1 0 25 4 9 0 9 16 1 16 1 0 1 16 25 4 1 0 9 0 1 </values> 1920.71/250.37 v </instantiation> 1920.71/250.37 c Unexpected resolution interruption!
OK 970
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-4254588-1501687505/watcher-4254588-1501687505 -o /tmp/evaluation-result-4254588-1501687505/solver-4254588-1501687505 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1801523049 HOME/instance-4254588-1501687505.xml pid=21426 running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 8.08 8.47 7.80 2/174 21429 /proc/meminfo: memFree=31745748/32770624 swapFree=0/272832 [pid=21429] ppid=21426 vsize=23672 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (runsolver) D 21426 21429 31142 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 17373535 24240128 108 18446744073709551615 4194304 4338465 140735693204896 140735693202536 139866520732375 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38412288 140735693209682 140735693210179 140735693210179 140735693213642 0 /proc/21429/statm: 5918 108 54 36 0 2156 0 [startup+0.100134 s] /proc/loadavg: 8.08 8.47 7.80 2/174 21429 /proc/meminfo: memFree=31745748/32770624 swapFree=0/272832 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200303 s] /proc/loadavg: 8.08 8.47 7.80 2/174 21429 /proc/meminfo: memFree=31745748/32770624 swapFree=0/272832 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300333 s] /proc/loadavg: 8.08 8.47 7.80 2/174 21429 /proc/meminfo: memFree=31745748/32770624 swapFree=0/272832 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.701608 s] /proc/loadavg: 8.08 8.47 7.80 2/174 21429 /proc/meminfo: memFree=31745748/32770624 swapFree=0/272832 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50083 s] /proc/loadavg: 8.08 8.47 7.80 6/195 21450 /proc/meminfo: memFree=31548848/32770624 swapFree=0/272596 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 [pid=21431] ppid=21429 vsize=26001944 CPUtime=4.87 cores=0-7 /proc/21431/stat : 21431 (java) S 21429 21429 31142 0 -1 1077944320 19115 0 0 0 469 18 0 0 20 0 20 0 17373540 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140730756256416 140635596332791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 /proc/21431/statm: 6500486 64659 3209 1 0 6488787 0 [pid=21431/tid=21432] ppid=21429 vsize=26001944 CPUtime=1.33 cores=0-7 /proc/21431/task/21432/stat : 21432 (java) R 21429 21429 31142 0 -1 4202560 8843 0 0 0 129 4 0 0 20 0 20 0 17373540 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635600567696 140635596344726 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21433] ppid=21429 vsize=26001944 CPUtime=0.02 cores=0-7 /proc/21431/task/21433/stat : 21433 (java) S 21429 21429 31142 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635553298704 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21434] ppid=21429 vsize=26001944 CPUtime=0.02 cores=0-7 /proc/21431/task/21434/stat : 21434 (java) S 21429 21429 31142 0 -1 1077944384 42 0 0 0 2 0 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635552246160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21435] ppid=21429 vsize=26001944 CPUtime=0.02 cores=0-7 /proc/21431/task/21435/stat : 21435 (java) S 21429 21429 31142 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635551193616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21436] ppid=21429 vsize=26001944 CPUtime=0.02 cores=0-7 /proc/21431/task/21436/stat : 21436 (java) S 21429 21429 31142 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635156118160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21437] ppid=21429 vsize=26001944 CPUtime=0.04 cores=0-7 /proc/21431/task/21437/stat : 21437 (java) S 21429 21429 31142 0 -1 1077944384 46 0 0 0 2 2 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635155065616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21438] ppid=21429 vsize=26001944 CPUtime=0.03 cores=0-7 /proc/21431/task/21438/stat : 21438 (java) S 21429 21429 31142 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635154013072 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21439] ppid=21429 vsize=26001944 CPUtime=0.03 cores=0-7 /proc/21431/task/21439/stat : 21439 (java) S 21429 21429 31142 0 -1 1077944384 38 0 0 0 2 1 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635152960528 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21440] ppid=21429 vsize=26001944 CPUtime=0.02 cores=0-7 /proc/21431/task/21440/stat : 21440 (java) S 21429 21429 31142 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 20 0 17373541 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140635151907984 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21441] ppid=21429 vsize=26001944 CPUtime=0 cores=0-7 /proc/21431/task/21441/stat : 21441 (java) S 21429 21429 31142 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 17373542 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633939372016 140635596343938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21442] ppid=21429 vsize=26001944 CPUtime=0 cores=0-7 /proc/21431/task/21442/stat : 21442 (java) S 21429 21429 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 17373543 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633938318304 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21443] ppid=21429 vsize=26001944 CPUtime=0 cores=0-7 /proc/21431/task/21443/stat : 21443 (java) S 21429 21429 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 17373543 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633937265664 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21444] ppid=21429 vsize=26001944 CPUtime=0 cores=0-7 /proc/21431/task/21444/stat : 21444 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17373546 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633936214224 140635596351387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21445] ppid=21429 vsize=26001944 CPUtime=0.92 cores=0-7 /proc/21431/task/21445/stat : 21445 (java) R 21429 21429 31142 0 -1 4202560 2769 0 0 0 92 0 0 0 20 0 20 0 17373546 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633935148368 140635579829579 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21446] ppid=21429 vsize=26001944 CPUtime=0.86 cores=0-7 /proc/21431/task/21446/stat : 21446 (java) R 21429 21429 31142 0 -1 4202560 1761 0 0 0 86 0 0 0 20 0 20 0 17373546 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633934109424 140635596354138 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21447] ppid=21429 vsize=26001944 CPUtime=0.85 cores=0-7 /proc/21431/task/21447/stat : 21447 (java) R 21429 21429 31142 0 -1 4202560 1602 0 0 0 85 0 0 0 20 0 20 0 17373546 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633933049984 140635596354138 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21448] ppid=21429 vsize=26001944 CPUtime=0.56 cores=0-7 /proc/21431/task/21448/stat : 21448 (java) S 21429 21429 31142 0 -1 1077944384 2483 0 0 0 56 0 0 0 20 0 20 0 17373546 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633932004208 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21449] ppid=21429 vsize=26001944 CPUtime=0 cores=0-7 /proc/21431/task/21449/stat : 21449 (java) S 21429 21429 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17373546 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633930950880 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21450] ppid=21429 vsize=26001944 CPUtime=0 cores=0-7 /proc/21431/task/21450/stat : 21450 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17373550 26625990656 64659 18446744073709551615 4194304 4196468 140730756273872 140633929898416 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 Current children cumulated CPU time (s) 4.87 Current children cumulated vsize (KiB) 26011456 [startup+3.10173 s] /proc/loadavg: 8.08 8.47 7.80 2/195 21450 /proc/meminfo: memFree=31264880/32770624 swapFree=0/272596 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 [pid=21431] ppid=21429 vsize=26536504 CPUtime=13.26 cores=0-7 /proc/21431/stat : 21431 (java) S 21429 21429 31142 0 -1 1077944320 22441 0 0 0 1280 46 0 0 20 0 28 0 17373540 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140730756256416 140635596332791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 /proc/21431/statm: 6634126 131039 3238 1 0 6622427 0 [pid=21431/tid=21432] ppid=21429 vsize=26536504 CPUtime=2.14 cores=0-7 /proc/21431/task/21432/stat : 21432 (java) S 21429 21429 31142 0 -1 1077944384 9200 0 0 0 205 9 0 0 20 0 28 0 17373540 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635600573568 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21433] ppid=21429 vsize=26536504 CPUtime=0.12 cores=0-7 /proc/21431/task/21433/stat : 21433 (java) S 21429 21429 31142 0 -1 1077944384 79 0 0 0 9 3 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635553298704 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21434] ppid=21429 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/21431/task/21434/stat : 21434 (java) S 21429 21429 31142 0 -1 1077944384 82 0 0 0 8 3 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635552246160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21435] ppid=21429 vsize=26536504 CPUtime=0.14 cores=0-7 /proc/21431/task/21435/stat : 21435 (java) S 21429 21429 31142 0 -1 1077944384 94 0 0 0 10 4 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635551193616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21436] ppid=21429 vsize=26536504 CPUtime=0.14 cores=0-7 /proc/21431/task/21436/stat : 21436 (java) S 21429 21429 31142 0 -1 1077944384 89 0 0 0 10 4 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635156118160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21437] ppid=21429 vsize=26536504 CPUtime=0.12 cores=0-7 /proc/21431/task/21437/stat : 21437 (java) S 21429 21429 31142 0 -1 1077944384 97 0 0 0 8 4 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635155065616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21438] ppid=21429 vsize=26536504 CPUtime=0.16 cores=0-7 /proc/21431/task/21438/stat : 21438 (java) S 21429 21429 31142 0 -1 1077944384 110 0 0 0 12 4 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635154013072 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21439] ppid=21429 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/21431/task/21439/stat : 21439 (java) S 21429 21429 31142 0 -1 1077944384 68 0 0 0 8 3 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635152960528 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21440] ppid=21429 vsize=26536504 CPUtime=0.1 cores=0-7 /proc/21431/task/21440/stat : 21440 (java) S 21429 21429 31142 0 -1 1077944384 63 0 0 0 8 2 0 0 20 0 28 0 17373541 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140635151907984 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21441] ppid=21429 vsize=26536504 CPUtime=0.01 cores=0-7 /proc/21431/task/21441/stat : 21441 (java) S 21429 21429 31142 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 28 0 17373542 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633939372016 140635596343938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21442] ppid=21429 vsize=26536504 CPUtime=0 cores=0-7 /proc/21431/task/21442/stat : 21442 (java) S 21429 21429 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17373543 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633938318304 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21443] ppid=21429 vsize=26536504 CPUtime=0 cores=0-7 /proc/21431/task/21443/stat : 21443 (java) S 21429 21429 31142 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 17373543 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633937265664 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21444] ppid=21429 vsize=26536504 CPUtime=0 cores=0-7 /proc/21431/task/21444/stat : 21444 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17373546 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633936214224 140635596351387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21445] ppid=21429 vsize=26536504 CPUtime=2.22 cores=0-7 /proc/21431/task/21445/stat : 21445 (java) R 21429 21429 31142 0 -1 4202560 2964 0 0 0 222 0 0 0 20 0 28 0 17373546 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633935153344 140635582347364 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21446] ppid=21429 vsize=26536504 CPUtime=2.07 cores=0-7 /proc/21431/task/21446/stat : 21446 (java) R 21429 21429 31142 0 -1 4202560 1964 0 0 0 207 0 0 0 20 0 28 0 17373546 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633934097968 140635579891372 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21447] ppid=21429 vsize=26536504 CPUtime=1.99 cores=0-7 /proc/21431/task/21447/stat : 21447 (java) S 21429 21429 31142 0 -1 1077944384 2027 0 0 0 198 1 0 0 20 0 28 0 17373546 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633933056752 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21448] ppid=21429 vsize=26536504 CPUtime=0.87 cores=0-7 /proc/21431/task/21448/stat : 21448 (java) S 21429 21429 31142 0 -1 1077944384 3075 0 0 0 86 1 0 0 20 0 28 0 17373546 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633932004208 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21449] ppid=21429 vsize=26536504 CPUtime=0 cores=0-7 /proc/21431/task/21449/stat : 21449 (java) S 21429 21429 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17373546 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633930950880 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21450] ppid=21429 vsize=26536504 CPUtime=0 cores=0-7 /proc/21431/task/21450/stat : 21450 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17373550 27173380096 131039 18446744073709551615 4194304 4196468 140730756273872 140633929898416 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 Current children cumulated CPU time (s) 13.26 Current children cumulated vsize (KiB) 26546016 [startup+6.301 s] /proc/loadavg: 7.83 8.41 7.79 11/203 21643 /proc/meminfo: memFree=31086836/32770624 swapFree=0/272592 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 [pid=21431] ppid=21429 vsize=26603068 CPUtime=19.46 cores=0-7 /proc/21431/stat : 21431 (java) S 21429 21429 31142 0 -1 1077944320 28155 0 0 0 1879 67 0 0 20 0 28 0 17373540 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140730756256416 140635596332791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 /proc/21431/statm: 6650767 171438 3254 1 0 6639068 0 [pid=21431/tid=21432] ppid=21429 vsize=26603068 CPUtime=2.18 cores=0-7 /proc/21431/task/21432/stat : 21432 (java) S 21429 21429 31142 0 -1 1077944384 9207 0 0 0 209 9 0 0 20 0 28 0 17373540 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635600573568 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21433] ppid=21429 vsize=26603068 CPUtime=0.18 cores=0-7 /proc/21431/task/21433/stat : 21433 (java) S 21429 21429 31142 0 -1 1077944384 114 0 0 0 13 5 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635553298704 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21434] ppid=21429 vsize=26603068 CPUtime=0.15 cores=0-7 /proc/21431/task/21434/stat : 21434 (java) S 21429 21429 31142 0 -1 1077944384 103 0 0 0 11 4 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635552246160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21435] ppid=21429 vsize=26603068 CPUtime=0.2 cores=0-7 /proc/21431/task/21435/stat : 21435 (java) S 21429 21429 31142 0 -1 1077944384 125 0 0 0 14 6 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635551193616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21436] ppid=21429 vsize=26603068 CPUtime=0.18 cores=0-7 /proc/21431/task/21436/stat : 21436 (java) S 21429 21429 31142 0 -1 1077944384 119 0 0 0 13 5 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635156118160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21437] ppid=21429 vsize=26603068 CPUtime=0.18 cores=0-7 /proc/21431/task/21437/stat : 21437 (java) S 21429 21429 31142 0 -1 1077944384 124 0 0 0 12 6 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635155065616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21438] ppid=21429 vsize=26603068 CPUtime=0.21 cores=0-7 /proc/21431/task/21438/stat : 21438 (java) S 21429 21429 31142 0 -1 1077944384 136 0 0 0 15 6 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635154013072 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21439] ppid=21429 vsize=26603068 CPUtime=0.17 cores=0-7 /proc/21431/task/21439/stat : 21439 (java) S 21429 21429 31142 0 -1 1077944384 136 0 0 0 12 5 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635152960528 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21440] ppid=21429 vsize=26603068 CPUtime=0.15 cores=0-7 /proc/21431/task/21440/stat : 21440 (java) S 21429 21429 31142 0 -1 1077944384 90 0 0 0 12 3 0 0 20 0 28 0 17373541 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140635151907984 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21441] ppid=21429 vsize=26603068 CPUtime=0.01 cores=0-7 /proc/21431/task/21441/stat : 21441 (java) S 21429 21429 31142 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 28 0 17373542 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140633939372016 140635596343938 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21442] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21442/stat : 21442 (java) S 21429 21429 31142 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 17373543 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140633938318304 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21443] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21443/stat : 21443 (java) S 21429 21429 31142 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 17373543 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140633937265664 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21444] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21444/stat : 21444 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17373546 27241541632 171438 18446744073709551615 4194304 4196468 140730756273872 140633936214224 140635596351387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 ################ # More data... # ################ [pid=21431/tid=21808] ppid=21429 vsize=26603068 CPUtime=12.6 cores=0-7 /proc/21431/task/21808/stat : 21808 (java) R 21429 21429 31142 0 -1 4202560 658 0 0 0 1259 1 0 0 20 0 28 0 17394504 27241541632 876493 18446744073709551615 4194304 4196468 140730756273872 140633922383544 140635242048428 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21809] ppid=21429 vsize=26603068 CPUtime=12.6 cores=0-7 /proc/21431/task/21809/stat : 21809 (java) R 21429 21429 31142 0 -1 4202560 512 0 0 0 1260 0 0 0 20 0 28 0 17394504 27241541632 876493 18446744073709551615 4194304 4196468 140730756273872 140633920278584 140635241920561 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 Current children cumulated CPU time (s) 1701.52 Current children cumulated vsize (KiB) 26612580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+250.302 s] /proc/loadavg: 8.39 8.26 7.84 9/202 21826 /proc/meminfo: memFree=28245188/32770624 swapFree=0/272688 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 [pid=21431] ppid=21429 vsize=26603068 CPUtime=1920.71 cores=0-7 /proc/21431/stat : 21431 (java) S 21429 21429 31142 0 -1 1077944320 189252 0 0 0 191818 253 0 0 20 0 28 0 17373540 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140730756256416 140635596332791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 /proc/21431/statm: 6650767 876492 3257 1 0 6639068 0 [pid=21431/tid=21432] ppid=21429 vsize=26603068 CPUtime=2.23 cores=0-7 /proc/21431/task/21432/stat : 21432 (java) S 21429 21429 31142 0 -1 1077944384 11009 0 0 0 213 10 0 0 20 0 28 0 17373540 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635600573568 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21433] ppid=21429 vsize=26603068 CPUtime=0.27 cores=0-7 /proc/21431/task/21433/stat : 21433 (java) S 21429 21429 31142 0 -1 1077944384 361 0 0 0 19 8 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635553298704 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21434] ppid=21429 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/21431/task/21434/stat : 21434 (java) S 21429 21429 31142 0 -1 1077944384 233 0 0 0 17 6 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635552246160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21435] ppid=21429 vsize=26603068 CPUtime=0.28 cores=0-7 /proc/21431/task/21435/stat : 21435 (java) S 21429 21429 31142 0 -1 1077944384 1684 0 0 0 19 9 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635551193616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21436] ppid=21429 vsize=26603068 CPUtime=0.26 cores=0-7 /proc/21431/task/21436/stat : 21436 (java) S 21429 21429 31142 0 -1 1077944384 399 0 0 0 19 7 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635156118160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21437] ppid=21429 vsize=26603068 CPUtime=0.25 cores=0-7 /proc/21431/task/21437/stat : 21437 (java) S 21429 21429 31142 0 -1 1077944384 661 0 0 0 17 8 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635155065616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21438] ppid=21429 vsize=26603068 CPUtime=0.29 cores=0-7 /proc/21431/task/21438/stat : 21438 (java) S 21429 21429 31142 0 -1 1077944384 727 0 0 0 21 8 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635154013072 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21439] ppid=21429 vsize=26603068 CPUtime=0.24 cores=0-7 /proc/21431/task/21439/stat : 21439 (java) S 21429 21429 31142 0 -1 1077944384 389 0 0 0 17 7 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635152960528 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21440] ppid=21429 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/21431/task/21440/stat : 21440 (java) S 21429 21429 31142 0 -1 1077944384 548 0 0 0 18 5 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635151907984 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21441] ppid=21429 vsize=26603068 CPUtime=0.05 cores=0-7 /proc/21431/task/21441/stat : 21441 (java) S 21429 21429 31142 0 -1 1077944384 5592 0 0 0 4 1 0 0 20 0 28 0 17373542 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633939372016 140635596343938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21442] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21442/stat : 21442 (java) S 21429 21429 31142 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 17373543 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633938318304 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21443] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21443/stat : 21443 (java) S 21429 21429 31142 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 17373543 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633937265664 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21444] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21444/stat : 21444 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633936214224 140635596351387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21445] ppid=21429 vsize=26603068 CPUtime=4.17 cores=0-7 /proc/21431/task/21445/stat : 21445 (java) S 21429 21429 31142 0 -1 1077944384 25322 0 0 0 412 5 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633935161840 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21446] ppid=21429 vsize=26603068 CPUtime=3.53 cores=0-7 /proc/21431/task/21446/stat : 21446 (java) S 21429 21429 31142 0 -1 1077944384 18459 0 0 0 350 3 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633934109296 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21447] ppid=21429 vsize=26603068 CPUtime=3.86 cores=0-7 /proc/21431/task/21447/stat : 21447 (java) S 21429 21429 31142 0 -1 1077944384 18280 0 0 0 382 4 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633933056752 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21448] ppid=21429 vsize=26603068 CPUtime=1.22 cores=0-7 /proc/21431/task/21448/stat : 21448 (java) S 21429 21429 31142 0 -1 1077944384 19102 0 0 0 118 4 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633932004208 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21449] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21449/stat : 21449 (java) S 21429 21429 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633930950880 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21450] ppid=21429 vsize=26603068 CPUtime=0.1 cores=0-7 /proc/21431/task/21450/stat : 21450 (java) S 21429 21429 31142 0 -1 1077944384 2728 0 0 0 1 9 0 0 20 0 28 0 17373550 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633929898416 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21818] ppid=21429 vsize=26603068 CPUtime=13.86 cores=0-7 /proc/21431/task/21818/stat : 21818 (java) R 21429 21429 31142 0 -1 4202560 314 0 0 0 1386 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633921329744 140635241500028 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21819] ppid=21429 vsize=26603068 CPUtime=13.86 cores=0-7 /proc/21431/task/21819/stat : 21819 (java) R 21429 21429 31142 0 -1 4202560 315 0 0 0 1386 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633916068040 140635241105561 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21820] ppid=21429 vsize=26603068 CPUtime=13.65 cores=0-7 /proc/21431/task/21820/stat : 21820 (java) R 21429 21429 31142 0 -1 4202560 464 0 0 0 1365 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633913966728 140635241166697 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21821] ppid=21429 vsize=26603068 CPUtime=13.86 cores=0-7 /proc/21431/task/21821/stat : 21821 (java) R 21429 21429 31142 0 -1 4202560 1974 0 0 0 1383 3 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633917120584 140635242650608 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21822] ppid=21429 vsize=26603068 CPUtime=13.87 cores=0-7 /proc/21431/task/21822/stat : 21822 (java) R 21429 21429 31142 0 -1 4202560 167 0 0 0 1387 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633918173400 140635238341616 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21823] ppid=21429 vsize=26603068 CPUtime=13.85 cores=0-7 /proc/21431/task/21823/stat : 21823 (java) R 21429 21429 31142 0 -1 4202560 553 0 0 0 1385 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633920279032 140635241165812 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21824] ppid=21429 vsize=26603068 CPUtime=13.87 cores=0-7 /proc/21431/task/21824/stat : 21824 (java) R 21429 21429 31142 0 -1 4202560 579 0 0 0 1387 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633910816440 140635234575914 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21825] ppid=21429 vsize=26603068 CPUtime=13.82 cores=0-7 /proc/21431/task/21825/stat : 21825 (java) R 21429 21429 31142 0 -1 4202560 681 0 0 0 1382 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633922383352 140635233652994 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 Current children cumulated CPU time (s) 1920.71 Current children cumulated vsize (KiB) 26612580 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 21431 sig 9 ??? kill 21429 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+250.302 s] /proc/loadavg: 8.39 8.26 7.84 9/202 21826 /proc/meminfo: memFree=28245188/32770624 swapFree=0/272688 [pid=21429] ppid=21426 vsize=9512 CPUtime=0 cores=0-7 /proc/21429/stat : 21429 (xcsp3-exec) S 21426 21429 31142 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17373535 9740288 345 18446744073709551615 4194304 5098028 140720866922720 140720866920824 140093498098300 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 18239488 140720866931090 140720866931300 140720866931300 140720866934763 0 /proc/21429/statm: 2378 345 289 221 0 87 0 [pid=21431] ppid=21429 vsize=26603068 CPUtime=1920.71 cores=0-7 /proc/21431/stat : 21431 (java) S 21429 21429 31142 0 -1 1077944320 189252 0 0 0 191818 253 0 0 20 0 28 0 17373540 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140730756256416 140635596332791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 /proc/21431/statm: 6650767 876492 3257 1 0 6639068 0 [pid=21431/tid=21432] ppid=21429 vsize=26603068 CPUtime=2.23 cores=0-7 /proc/21431/task/21432/stat : 21432 (java) S 21429 21429 31142 0 -1 1077944384 11009 0 0 0 213 10 0 0 20 0 28 0 17373540 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635600573568 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21433] ppid=21429 vsize=26603068 CPUtime=0.27 cores=0-7 /proc/21431/task/21433/stat : 21433 (java) S 21429 21429 31142 0 -1 1077944384 361 0 0 0 19 8 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635553298704 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21434] ppid=21429 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/21431/task/21434/stat : 21434 (java) S 21429 21429 31142 0 -1 1077944384 233 0 0 0 17 6 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635552246160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21435] ppid=21429 vsize=26603068 CPUtime=0.28 cores=0-7 /proc/21431/task/21435/stat : 21435 (java) S 21429 21429 31142 0 -1 1077944384 1684 0 0 0 19 9 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635551193616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21436] ppid=21429 vsize=26603068 CPUtime=0.26 cores=0-7 /proc/21431/task/21436/stat : 21436 (java) S 21429 21429 31142 0 -1 1077944384 399 0 0 0 19 7 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635156118160 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21437] ppid=21429 vsize=26603068 CPUtime=0.25 cores=0-7 /proc/21431/task/21437/stat : 21437 (java) S 21429 21429 31142 0 -1 1077944384 661 0 0 0 17 8 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635155065616 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21438] ppid=21429 vsize=26603068 CPUtime=0.29 cores=0-7 /proc/21431/task/21438/stat : 21438 (java) S 21429 21429 31142 0 -1 1077944384 727 0 0 0 21 8 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635154013072 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21439] ppid=21429 vsize=26603068 CPUtime=0.24 cores=0-7 /proc/21431/task/21439/stat : 21439 (java) S 21429 21429 31142 0 -1 1077944384 389 0 0 0 17 7 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635152960528 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21440] ppid=21429 vsize=26603068 CPUtime=0.23 cores=0-7 /proc/21431/task/21440/stat : 21440 (java) S 21429 21429 31142 0 -1 1077944384 548 0 0 0 18 5 0 0 20 0 28 0 17373541 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140635151907984 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21441] ppid=21429 vsize=26603068 CPUtime=0.05 cores=0-7 /proc/21431/task/21441/stat : 21441 (java) S 21429 21429 31142 0 -1 1077944384 5592 0 0 0 4 1 0 0 20 0 28 0 17373542 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633939372016 140635596343938 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21442] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21442/stat : 21442 (java) S 21429 21429 31142 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 17373543 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633938318304 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21443] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21443/stat : 21443 (java) S 21429 21429 31142 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 17373543 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633937265664 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21444] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21444/stat : 21444 (java) S 21429 21429 31142 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633936214224 140635596351387 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21445] ppid=21429 vsize=26603068 CPUtime=4.17 cores=0-7 /proc/21431/task/21445/stat : 21445 (java) S 21429 21429 31142 0 -1 1077944384 25322 0 0 0 412 5 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633935161840 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21446] ppid=21429 vsize=26603068 CPUtime=3.53 cores=0-7 /proc/21431/task/21446/stat : 21446 (java) S 21429 21429 31142 0 -1 1077944384 18459 0 0 0 350 3 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633934109296 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21447] ppid=21429 vsize=26603068 CPUtime=3.86 cores=0-7 /proc/21431/task/21447/stat : 21447 (java) S 21429 21429 31142 0 -1 1077944384 18280 0 0 0 382 4 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633933056752 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21448] ppid=21429 vsize=26603068 CPUtime=1.22 cores=0-7 /proc/21431/task/21448/stat : 21448 (java) S 21429 21429 31142 0 -1 1077944384 19102 0 0 0 118 4 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633932004208 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21449] ppid=21429 vsize=26603068 CPUtime=0 cores=0-7 /proc/21431/task/21449/stat : 21449 (java) S 21429 21429 31142 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17373546 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633930950880 140635596342997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21450] ppid=21429 vsize=26603068 CPUtime=0.1 cores=0-7 /proc/21431/task/21450/stat : 21450 (java) S 21429 21429 31142 0 -1 1077944384 2728 0 0 0 1 9 0 0 20 0 28 0 17373550 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633929898416 140635596343938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21818] ppid=21429 vsize=26603068 CPUtime=13.86 cores=0-7 /proc/21431/task/21818/stat : 21818 (java) R 21429 21429 31142 0 -1 4202560 314 0 0 0 1386 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633921329744 140635241500028 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21819] ppid=21429 vsize=26603068 CPUtime=13.86 cores=0-7 /proc/21431/task/21819/stat : 21819 (java) R 21429 21429 31142 0 -1 4202560 315 0 0 0 1386 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633916068040 140635241105561 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21820] ppid=21429 vsize=26603068 CPUtime=13.65 cores=0-7 /proc/21431/task/21820/stat : 21820 (java) R 21429 21429 31142 0 -1 4202560 464 0 0 0 1365 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633913966728 140635241166697 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21821] ppid=21429 vsize=26603068 CPUtime=13.86 cores=0-7 /proc/21431/task/21821/stat : 21821 (java) R 21429 21429 31142 0 -1 4202560 1974 0 0 0 1383 3 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633917120584 140635242650608 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21822] ppid=21429 vsize=26603068 CPUtime=13.87 cores=0-7 /proc/21431/task/21822/stat : 21822 (java) R 21429 21429 31142 0 -1 4202560 167 0 0 0 1387 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633918173400 140635238341616 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21823] ppid=21429 vsize=26603068 CPUtime=13.85 cores=0-7 /proc/21431/task/21823/stat : 21823 (java) R 21429 21429 31142 0 -1 4202560 553 0 0 0 1385 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633920279032 140635241165812 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21824] ppid=21429 vsize=26603068 CPUtime=13.87 cores=0-7 /proc/21431/task/21824/stat : 21824 (java) R 21429 21429 31142 0 -1 4202560 579 0 0 0 1387 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633910816440 140635234575914 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 [pid=21431/tid=21825] ppid=21429 vsize=26603068 CPUtime=13.82 cores=0-7 /proc/21431/task/21825/stat : 21825 (java) R 21429 21429 31142 0 -1 4202560 681 0 0 0 1382 0 0 0 20 0 28 0 17397177 27241541632 876492 18446744073709551615 4194304 4196468 140730756273872 140633922383352 140635233652994 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29523968 140730756276688 140730756276864 140730756276864 140730756280271 0 Current children cumulated CPU time (s) 1920.71 Current children cumulated vsize (KiB) 26612580 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21429 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1020 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1020 # CPU time returned by wait4() is 0.00204 # while last known CPU time is 1920.71 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 250.336 CPU time (s): 1920.71 CPU user time (s): 1918.18 CPU system time (s): 2.53 CPU usage (%): 767.254 Max. virtual memory (cumulated for all children) (KiB): 26612580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.00102 system time used= 0.00102 maximum resident set size= 1384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 508 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.75731 second user time and 1.98448 second system time The end
Begin job on node129 at 2017-08-02 17:11:05 IDJOB=4254588 IDBENCH=127023 IDSOLVER=2636 FILE ID=node129/4254588-1501687505 RUNJOBID= node129-1501676508-31199 PBS_JOBID= Free space on /tmp= 61776 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254588-1501687505/watcher-4254588-1501687505 -o /tmp/evaluation-result-4254588-1501687505/solver-4254588-1501687505 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node129-1501676508-31199 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 1801523049 HOME/instance-4254588-1501687505.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=1801523049 node129.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31746304 kB MemAvailable: 32016508 kB Buffers: 139556 kB Cached: 418008 kB SwapCached: 0 kB Active: 323392 kB Inactive: 289548 kB Active(anon): 55716 kB Inactive(anon): 16716 kB Active(file): 267676 kB Inactive(file): 272832 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 105912 kB Mapped: 31184 kB Shmem: 17064 kB Slab: 116080 kB SReclaimable: 91060 kB SUnreclaim: 25020 kB KernelStack: 3456 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286940 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61940 MiB End job on node129 at 2017-08-02 17:15:15