Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-07-26) | SAT (TO) | 543 | 1920.14 | 241.83501 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml |
| MD5SUM | 02db274482b93fdda962f2b7dd8f24e7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 411 |
| Best CPU time to get the best result obtained on this benchmark | 251.90199 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3079 |
| Number of constraints | 1593 |
| Number of domains | 109 |
| Minimum domain size | 2 |
| Maximum domain size | 109 |
| Distribution of domain sizes | [{"size":2,"count":1541},{"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":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 54 |
| Distribution of variable degrees | [{"degree":0,"count":1431},{"degree":2,"count":1593},{"degree":54,"count":55}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 55 |
| Distribution of constraint arities | [{"arity":2,"count":55},{"arity":3,"count":1486},{"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":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1539 |
| Distribution of constraint types | [{"type":"intension","count":1539},{"type":"sum","count":54}] |
| 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-4254586-1501687420.xml" -tl '1920s' -p 8 -x 0 0.00/0.24 c [HOME/instance-4254586-1501687420.xml, -tl, 1920s, -p, 8, -x, 0] 0.00/0.30 c 8 solvers in parallel 0.00/0.36 c parse instance... 6.72/1.94 c solve instance... 8.85/2.28 o 53955 8.85/2.29 o 48231 8.85/2.30 o 48027 9.61/2.31 o 43135 9.61/2.32 o 1315 9.61/2.34 o 1275 9.61/2.36 o 1091 10.30/2.45 o 1015 10.30/2.46 o 951 10.30/2.48 o 887 19.69/3.66 o 847 20.45/3.75 o 719 42.68/6.60 o 671 228.94/29.92 o 603 264.80/34.49 o 583 1818.79/229.12 o 543 1920.14/241.86 s SATISFIABLE 1920.14/241.86 v <instantiation> 1920.14/241.86 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[50][0] y[50][1] y[50][2] y[50][3] y[51][0] y[51][1] y[51][2] y[52][0] y[52][1] y[53][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] 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] </list> 1920.14/241.86 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 2 -5 0 -1 2 1 4 -3 -2 1 0 -3 4 3 0 1 -2 -5 8 1 -2 -5 2 5 0 1 -6 1 -2 -1 -6 -7 0 1 2 3 -4 -3 2 -5 4 3 -2 -5 -2 -3 -2 -1 2 1 -4 -1 0 1 4 25 0 1 4 1 16 9 4 1 0 9 16 9 0 1 4 25 64 1 4 25 4 25 0 1 36 1 4 1 36 49 0 1 4 9 16 9 4 25 16 9 4 25 4 9 4 1 4 1 16 1 0 1 </values> 1920.14/241.86 v </instantiation> 1920.14/241.86 c Unexpected resolution interruption!
OK 543
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-4254586-1501687420/watcher-4254586-1501687420 -o /tmp/evaluation-result-4254586-1501687420/solver-4254586-1501687420 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 458449258 HOME/instance-4254586-1501687420.xml pid=7103 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.45 8.04 6.58 3/172 7106 /proc/meminfo: memFree=31755852/32770624 swapFree=0/256596 [pid=7106] ppid=7103 vsize=23672 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (runsolver) D 7103 7106 24937 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 17362296 24240128 106 18446744073709551615 4194304 4338465 140724825368064 140724825365704 140336593674967 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 9875456 140724825370707 140724825371203 140724825371203 140724825374666 0 /proc/7106/statm: 5918 106 53 36 0 2156 0 [startup+0.100191 s] /proc/loadavg: 8.45 8.04 6.58 3/172 7106 /proc/meminfo: memFree=31755852/32770624 swapFree=0/256596 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200376 s] /proc/loadavg: 8.45 8.04 6.58 3/172 7106 /proc/meminfo: memFree=31755852/32770624 swapFree=0/256596 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300291 s] /proc/loadavg: 8.45 8.04 6.58 3/172 7106 /proc/meminfo: memFree=31755852/32770624 swapFree=0/256596 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700432 s] /proc/loadavg: 8.45 8.04 6.58 3/172 7106 /proc/meminfo: memFree=31755852/32770624 swapFree=0/256596 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50833 s] /proc/loadavg: 8.45 8.04 6.58 5/193 7127 /proc/meminfo: memFree=31598464/32770624 swapFree=0/256600 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 [pid=7108] ppid=7106 vsize=26001944 CPUtime=4.89 cores=0-7 /proc/7108/stat : 7108 (java) S 7106 7106 24937 0 -1 1077944320 22845 0 0 0 468 21 0 0 20 0 20 0 17362301 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 140727355560240 139870983773943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 /proc/7108/statm: 6500486 62825 3219 1 0 6488787 0 [pid=7108/tid=7109] ppid=7106 vsize=26001944 CPUtime=1.32 cores=0-7 /proc/7108/task/7109/stat : 7109 (java) R 7106 7106 24937 0 -1 4202560 9127 0 0 0 127 5 0 0 20 0 20 0 17362301 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870988011952 139870599111849 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7110] ppid=7106 vsize=26001944 CPUtime=0.02 cores=0-7 /proc/7108/task/7110/stat : 7110 (java) S 7106 7106 24937 0 -1 1077944384 163 0 0 0 1 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870940740240 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7111] ppid=7106 vsize=26001944 CPUtime=0.03 cores=0-7 /proc/7108/task/7111/stat : 7111 (java) S 7106 7106 24937 0 -1 1077944384 30 0 0 0 2 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870939687440 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7112] ppid=7106 vsize=26001944 CPUtime=0.04 cores=0-7 /proc/7108/task/7112/stat : 7112 (java) S 7106 7106 24937 0 -1 1077944384 54 0 0 0 3 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870938634640 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7113] ppid=7106 vsize=26001944 CPUtime=0.03 cores=0-7 /proc/7108/task/7113/stat : 7113 (java) S 7106 7106 24937 0 -1 1077944384 46 0 0 0 3 0 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870937581840 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7114] ppid=7106 vsize=26001944 CPUtime=0.03 cores=0-7 /proc/7108/task/7114/stat : 7114 (java) S 7106 7106 24937 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870936530064 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7115] ppid=7106 vsize=26001944 CPUtime=0.04 cores=0-7 /proc/7108/task/7115/stat : 7115 (java) S 7106 7106 24937 0 -1 1077944384 76 0 0 0 3 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870935477264 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7116] ppid=7106 vsize=26001944 CPUtime=0.04 cores=0-7 /proc/7108/task/7116/stat : 7116 (java) S 7106 7106 24937 0 -1 1077944384 222 0 0 0 3 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870934424464 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7117] ppid=7106 vsize=26001944 CPUtime=0.03 cores=0-7 /proc/7108/task/7117/stat : 7117 (java) S 7106 7106 24937 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 20 0 17362302 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139870933371664 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7118] ppid=7106 vsize=26001944 CPUtime=0 cores=0-7 /proc/7108/task/7118/stat : 7118 (java) S 7106 7106 24937 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 17362303 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869775231344 139870983785090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7119] ppid=7106 vsize=26001944 CPUtime=0 cores=0-7 /proc/7108/task/7119/stat : 7119 (java) S 7106 7106 24937 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 17362304 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869774177376 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7120] ppid=7106 vsize=26001944 CPUtime=0 cores=0-7 /proc/7108/task/7120/stat : 7120 (java) S 7106 7106 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 17362304 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869773124480 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7121] ppid=7106 vsize=26001944 CPUtime=0 cores=0-7 /proc/7108/task/7121/stat : 7121 (java) S 7106 7106 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17362307 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869772072784 139870983792539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7122] ppid=7106 vsize=26001944 CPUtime=0.9 cores=0-7 /proc/7108/task/7122/stat : 7122 (java) R 7106 7106 24937 0 -1 4202560 2870 0 0 0 90 0 0 0 20 0 20 0 17362307 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869524345184 139870963617551 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7123] ppid=7106 vsize=26001944 CPUtime=0.85 cores=0-7 /proc/7108/task/7123/stat : 7123 (java) R 7106 7106 24937 0 -1 4202560 2598 0 0 0 85 0 0 0 20 0 20 0 17362307 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869523289104 139870968898824 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7124] ppid=7106 vsize=26001944 CPUtime=0.83 cores=0-7 /proc/7108/task/7124/stat : 7124 (java) R 7106 7106 24937 0 -1 4202560 2793 0 0 0 83 0 0 0 20 0 20 0 17362307 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869522249488 139870964355498 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7125] ppid=7106 vsize=26001944 CPUtime=0.59 cores=0-7 /proc/7108/task/7125/stat : 7125 (java) S 7106 7106 24937 0 -1 1077944384 3263 0 0 0 58 1 0 0 20 0 20 0 17362307 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869521197552 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7126] ppid=7106 vsize=26001944 CPUtime=0 cores=0-7 /proc/7108/task/7126/stat : 7126 (java) S 7106 7106 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17362307 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869520144992 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7127] ppid=7106 vsize=26001944 CPUtime=0 cores=0-7 /proc/7108/task/7127/stat : 7127 (java) S 7106 7106 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17362312 26625990656 62825 18446744073709551615 4194304 4196468 140727355577696 139869519092272 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 Current children cumulated CPU time (s) 4.89 Current children cumulated vsize (KiB) 26011456 [startup+3.10134 s] /proc/loadavg: 8.09 7.97 6.57 12/201 7136 /proc/meminfo: memFree=31340228/32770624 swapFree=0/256600 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 [pid=7108] ppid=7106 vsize=26536504 CPUtime=15.7 cores=0-7 /proc/7108/stat : 7108 (java) S 7106 7106 24937 0 -1 1077944320 29679 0 0 0 1524 46 0 0 20 0 28 0 17362301 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 140727355560240 139870983773943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 /proc/7108/statm: 6634126 116375 3248 1 0 6622427 0 [pid=7108/tid=7109] ppid=7106 vsize=26536504 CPUtime=1.74 cores=0-7 /proc/7108/task/7109/stat : 7109 (java) S 7106 7106 24937 0 -1 1077944384 9405 0 0 0 167 7 0 0 20 0 28 0 17362301 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870988014720 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7110] ppid=7106 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/7108/task/7110/stat : 7110 (java) S 7106 7106 24937 0 -1 1077944384 214 0 0 0 7 4 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870940740240 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7111] ppid=7106 vsize=26536504 CPUtime=0.1 cores=0-7 /proc/7108/task/7111/stat : 7111 (java) S 7106 7106 24937 0 -1 1077944384 85 0 0 0 7 3 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870939687440 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7112] ppid=7106 vsize=26536504 CPUtime=0.12 cores=0-7 /proc/7108/task/7112/stat : 7112 (java) S 7106 7106 24937 0 -1 1077944384 93 0 0 0 8 4 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870938634640 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7113] ppid=7106 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/7108/task/7113/stat : 7113 (java) S 7106 7106 24937 0 -1 1077944384 89 0 0 0 8 3 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870937581840 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7114] ppid=7106 vsize=26536504 CPUtime=0.1 cores=0-7 /proc/7108/task/7114/stat : 7114 (java) S 7106 7106 24937 0 -1 1077944384 78 0 0 0 7 3 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870936530064 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7115] ppid=7106 vsize=26536504 CPUtime=0.12 cores=0-7 /proc/7108/task/7115/stat : 7115 (java) S 7106 7106 24937 0 -1 1077944384 112 0 0 0 8 4 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870935477264 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7116] ppid=7106 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/7108/task/7116/stat : 7116 (java) S 7106 7106 24937 0 -1 1077944384 263 0 0 0 8 3 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870934424464 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7117] ppid=7106 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/7108/task/7117/stat : 7117 (java) S 7106 7106 24937 0 -1 1077944384 143 0 0 0 7 4 0 0 20 0 28 0 17362302 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139870933371664 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7118] ppid=7106 vsize=26536504 CPUtime=0.01 cores=0-7 /proc/7108/task/7118/stat : 7118 (java) S 7106 7106 24937 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 28 0 17362303 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869775231344 139870983785090 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7119] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7119/stat : 7119 (java) S 7106 7106 24937 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869774177376 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7120] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7120/stat : 7120 (java) S 7106 7106 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869773124480 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7121] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7121/stat : 7121 (java) S 7106 7106 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869772072784 139870983792539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7122] ppid=7106 vsize=26536504 CPUtime=1.96 cores=0-7 /proc/7108/task/7122/stat : 7122 (java) R 7106 7106 24937 0 -1 4202560 3710 0 0 0 196 0 0 0 20 0 28 0 17362307 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869524344432 139870968899382 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7123] ppid=7106 vsize=26536504 CPUtime=2.08 cores=0-7 /proc/7108/task/7123/stat : 7123 (java) R 7106 7106 24937 0 -1 4202560 3462 0 0 0 208 0 0 0 20 0 28 0 17362307 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869523288496 139870965318419 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7124] ppid=7106 vsize=26536504 CPUtime=2.17 cores=0-7 /proc/7108/task/7124/stat : 7124 (java) S 7106 7106 24937 0 -1 1077944384 4222 0 0 0 216 1 0 0 20 0 28 0 17362307 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869522250352 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7125] ppid=7106 vsize=26536504 CPUtime=0.95 cores=0-7 /proc/7108/task/7125/stat : 7125 (java) R 7106 7106 24937 0 -1 1077944384 4335 0 0 0 93 2 0 0 20 0 28 0 17362307 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869521197552 139870983785090 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7126] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7126/stat : 7126 (java) S 7106 7106 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869520144992 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7127] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7127/stat : 7127 (java) S 7106 7106 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17362312 27173380096 116375 18446744073709551615 4194304 4196468 140727355577696 139869519092272 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 Current children cumulated CPU time (s) 15.7 Current children cumulated vsize (KiB) 26546016 [startup+6.30134 s] /proc/loadavg: 8.09 7.97 6.57 9/201 7232 /proc/meminfo: memFree=31060952/32770624 swapFree=0/256612 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 [pid=7108] ppid=7106 vsize=26536504 CPUtime=41.08 cores=0-7 /proc/7108/stat : 7108 (java) S 7106 7106 24937 0 -1 1077944320 33304 0 0 0 4053 55 0 0 20 0 28 0 17362301 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 140727355560240 139870983773943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 /proc/7108/statm: 6634126 176278 3253 1 0 6622427 0 [pid=7108/tid=7109] ppid=7106 vsize=26536504 CPUtime=1.74 cores=0-7 /proc/7108/task/7109/stat : 7109 (java) S 7106 7106 24937 0 -1 1077944384 9405 0 0 0 167 7 0 0 20 0 28 0 17362301 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870988014720 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7110] ppid=7106 vsize=26536504 CPUtime=0.12 cores=0-7 /proc/7108/task/7110/stat : 7110 (java) S 7106 7106 24937 0 -1 1077944384 228 0 0 0 8 4 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870940740240 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7111] ppid=7106 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/7108/task/7111/stat : 7111 (java) S 7106 7106 24937 0 -1 1077944384 92 0 0 0 8 3 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870939687440 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7112] ppid=7106 vsize=26536504 CPUtime=0.14 cores=0-7 /proc/7108/task/7112/stat : 7112 (java) S 7106 7106 24937 0 -1 1077944384 123 0 0 0 10 4 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870938634640 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7113] ppid=7106 vsize=26536504 CPUtime=0.13 cores=0-7 /proc/7108/task/7113/stat : 7113 (java) S 7106 7106 24937 0 -1 1077944384 108 0 0 0 10 3 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870937581840 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7114] ppid=7106 vsize=26536504 CPUtime=0.11 cores=0-7 /proc/7108/task/7114/stat : 7114 (java) S 7106 7106 24937 0 -1 1077944384 903 0 0 0 7 4 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870936530064 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7115] ppid=7106 vsize=26536504 CPUtime=0.14 cores=0-7 /proc/7108/task/7115/stat : 7115 (java) S 7106 7106 24937 0 -1 1077944384 132 0 0 0 10 4 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870935477264 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7116] ppid=7106 vsize=26536504 CPUtime=0.13 cores=0-7 /proc/7108/task/7116/stat : 7116 (java) S 7106 7106 24937 0 -1 1077944384 375 0 0 0 10 3 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870934424464 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7117] ppid=7106 vsize=26536504 CPUtime=0.12 cores=0-7 /proc/7108/task/7117/stat : 7117 (java) S 7106 7106 24937 0 -1 1077944384 159 0 0 0 8 4 0 0 20 0 28 0 17362302 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139870933371664 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7118] ppid=7106 vsize=26536504 CPUtime=0.01 cores=0-7 /proc/7108/task/7118/stat : 7118 (java) S 7106 7106 24937 0 -1 1077944384 725 0 0 0 1 0 0 0 20 0 28 0 17362303 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139869775231344 139870983785090 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7119] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7119/stat : 7119 (java) S 7106 7106 24937 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139869774177376 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7120] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7120/stat : 7120 (java) S 7106 7106 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139869773124480 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7121] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7121/stat : 7121 (java) S 7106 7106 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 176278 18446744073709551615 4194304 4196468 140727355577696 139869772072784 139870983792539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 ################ # More data... # ################ [pid=7108/tid=7265] ppid=7106 vsize=26536504 CPUtime=127.57 cores=0-7 /proc/7108/task/7265/stat : 7265 (java) R 7106 7106 24937 0 -1 4202560 1024 0 0 0 12757 0 0 0 20 0 28 0 17365746 27173380096 543194 18446744073709551615 4194304 4196468 140727355577696 139869511081944 139870603301227 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7266] ppid=7106 vsize=26536504 CPUtime=127.67 cores=0-7 /proc/7108/task/7266/stat : 7266 (java) R 7106 7106 24937 0 -1 4202560 2086 0 0 0 12766 1 0 0 20 0 28 0 17365746 27173380096 543194 18446744073709551615 4194304 4196468 140727355577696 139869510029128 139870602126289 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 Current children cumulated CPU time (s) 1285.51 Current children cumulated vsize (KiB) 26546016 [startup+222.307 s] /proc/loadavg: 8.02 8.01 6.89 9/202 7271 /proc/meminfo: memFree=29519912/32770624 swapFree=0/256684 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 [pid=7108] ppid=7106 vsize=26536504 CPUtime=1764.56 cores=0-7 /proc/7108/stat : 7108 (java) S 7106 7106 24937 0 -1 1077944320 99356 0 0 0 176292 164 0 0 20 0 28 0 17362301 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 140727355560240 139870983773943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 /proc/7108/statm: 6634126 561627 3256 1 0 6622427 0 [pid=7108/tid=7109] ppid=7106 vsize=26536504 CPUtime=1.75 cores=0-7 /proc/7108/task/7109/stat : 7109 (java) S 7106 7106 24937 0 -1 1077944384 9889 0 0 0 168 7 0 0 20 0 28 0 17362301 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870988014720 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7110] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7110/stat : 7110 (java) S 7106 7106 24937 0 -1 1077944384 755 0 0 0 13 6 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870940740240 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7111] ppid=7106 vsize=26536504 CPUtime=0.17 cores=0-7 /proc/7108/task/7111/stat : 7111 (java) S 7106 7106 24937 0 -1 1077944384 318 0 0 0 12 5 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870939687440 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7112] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7112/stat : 7112 (java) S 7106 7106 24937 0 -1 1077944384 411 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870938634640 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7113] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7113/stat : 7113 (java) S 7106 7106 24937 0 -1 1077944384 788 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870937581840 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7114] ppid=7106 vsize=26536504 CPUtime=0.17 cores=0-7 /proc/7108/task/7114/stat : 7114 (java) S 7106 7106 24937 0 -1 1077944384 2029 0 0 0 12 5 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870936530064 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7115] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7115/stat : 7115 (java) S 7106 7106 24937 0 -1 1077944384 548 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870935477264 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7116] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7116/stat : 7116 (java) S 7106 7106 24937 0 -1 1077944384 456 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870934424464 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7117] ppid=7106 vsize=26536504 CPUtime=0.17 cores=0-7 /proc/7108/task/7117/stat : 7117 (java) S 7106 7106 24937 0 -1 1077944384 251 0 0 0 11 6 0 0 20 0 28 0 17362302 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139870933371664 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7118] ppid=7106 vsize=26536504 CPUtime=0.04 cores=0-7 /proc/7108/task/7118/stat : 7118 (java) S 7106 7106 24937 0 -1 1077944384 3054 0 0 0 3 1 0 0 20 0 28 0 17362303 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869775231344 139870983785090 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7119] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7119/stat : 7119 (java) S 7106 7106 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869774177376 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7120] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7120/stat : 7120 (java) S 7106 7106 24937 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869773124480 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7121] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7121/stat : 7121 (java) S 7106 7106 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869772072784 139870983792539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7122] ppid=7106 vsize=26536504 CPUtime=3 cores=0-7 /proc/7108/task/7122/stat : 7122 (java) S 7106 7106 24937 0 -1 1077944384 14773 0 0 0 297 3 0 0 20 0 28 0 17362307 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869524355952 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7123] ppid=7106 vsize=26536504 CPUtime=3.23 cores=0-7 /proc/7108/task/7123/stat : 7123 (java) S 7106 7106 24937 0 -1 1077944384 11822 0 0 0 321 2 0 0 20 0 28 0 17362307 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869523303152 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7124] ppid=7106 vsize=26536504 CPUtime=2.99 cores=0-7 /proc/7108/task/7124/stat : 7124 (java) S 7106 7106 24937 0 -1 1077944384 9794 0 0 0 297 2 0 0 20 0 28 0 17362307 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869522250352 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7125] ppid=7106 vsize=26536504 CPUtime=1.11 cores=0-7 /proc/7108/task/7125/stat : 7125 (java) S 7106 7106 24937 0 -1 1077944384 11777 0 0 0 107 4 0 0 20 0 28 0 17362307 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869521197552 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7126] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7126/stat : 7126 (java) S 7106 7106 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869520144992 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7127] ppid=7106 vsize=26536504 CPUtime=0.09 cores=0-7 /proc/7108/task/7127/stat : 7127 (java) S 7106 7106 24937 0 -1 1077944384 1022 0 0 0 8 1 0 0 20 0 28 0 17362312 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869519092272 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7259] ppid=7106 vsize=26536504 CPUtime=187.72 cores=0-7 /proc/7108/task/7259/stat : 7259 (java) R 7106 7106 24937 0 -1 4202560 928 0 0 0 18772 0 0 0 20 0 28 0 17365745 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869505817288 139870602660163 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7260] ppid=7106 vsize=26536504 CPUtime=187.62 cores=0-7 /proc/7108/task/7260/stat : 7260 (java) R 7106 7106 24937 0 -1 4202560 1125 0 0 0 18762 0 0 0 20 0 28 0 17365745 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869507923416 139870602226978 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7261] ppid=7106 vsize=26536504 CPUtime=187.67 cores=0-7 /proc/7108/task/7261/stat : 7261 (java) R 7106 7106 24937 0 -1 4202560 1473 0 0 0 18767 0 0 0 20 0 28 0 17365746 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869506872264 139870602127220 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7262] ppid=7106 vsize=26536504 CPUtime=187.73 cores=0-7 /proc/7108/task/7262/stat : 7262 (java) R 7106 7106 24937 0 -1 4202560 7467 0 0 0 18738 35 0 0 20 0 28 0 17365746 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869503717656 139870601893051 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7263] ppid=7106 vsize=26536504 CPUtime=185.25 cores=0-7 /proc/7108/task/7263/stat : 7263 (java) R 7106 7106 24937 0 -1 4202560 2987 0 0 0 18518 7 0 0 20 0 28 0 17365746 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869508977432 139870595602975 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7264] ppid=7106 vsize=26536504 CPUtime=187.22 cores=0-7 /proc/7108/task/7264/stat : 7264 (java) R 7106 7106 24937 0 -1 4202560 864 0 0 0 18721 1 0 0 20 0 28 0 17365746 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869435187864 139870602660939 0 4 1 16800974 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7265] ppid=7106 vsize=26536504 CPUtime=187.56 cores=0-7 /proc/7108/task/7265/stat : 7265 (java) R 7106 7106 24937 0 -1 4202560 1036 0 0 0 18756 0 0 0 20 0 28 0 17365746 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869511081832 139870602226969 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7266] ppid=7106 vsize=26536504 CPUtime=187.65 cores=0-7 /proc/7108/task/7266/stat : 7266 (java) R 7106 7106 24937 0 -1 4202560 2474 0 0 0 18764 1 0 0 20 0 28 0 17365746 27173380096 561627 18446744073709551615 4194304 4196468 140727355577696 139869510028960 139870603012953 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 Current children cumulated CPU time (s) 1764.56 Current children cumulated vsize (KiB) 26546016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+241.801 s] /proc/loadavg: 8.10 8.03 6.91 9/202 7279 /proc/meminfo: memFree=29519288/32770624 swapFree=0/256700 [pid=7106] ppid=7103 vsize=9512 CPUtime=0 cores=0-7 /proc/7106/stat : 7106 (xcsp3-exec) S 7103 7106 24937 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 17362296 9740288 344 18446744073709551615 4194304 5098028 140737188379456 140737188377560 139872269304444 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 4 0 0 7196144 7232144 35012608 140737188385171 140737188385380 140737188385380 140737188388843 0 /proc/7106/statm: 2378 344 289 221 0 87 0 [pid=7108] ppid=7106 vsize=26536504 CPUtime=1920.14 cores=0-7 /proc/7108/stat : 7108 (java) S 7106 7106 24937 0 -1 1077944320 106068 0 0 0 191841 173 0 0 20 0 28 0 17362301 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 140727355560240 139870983773943 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 /proc/7108/statm: 6634126 561651 3256 1 0 6622427 0 [pid=7108/tid=7109] ppid=7106 vsize=26536504 CPUtime=1.75 cores=0-7 /proc/7108/task/7109/stat : 7109 (java) S 7106 7106 24937 0 -1 1077944384 10058 0 0 0 168 7 0 0 20 0 28 0 17362301 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870988014720 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7110] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7110/stat : 7110 (java) S 7106 7106 24937 0 -1 1077944384 755 0 0 0 13 6 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870940740240 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7111] ppid=7106 vsize=26536504 CPUtime=0.17 cores=0-7 /proc/7108/task/7111/stat : 7111 (java) S 7106 7106 24937 0 -1 1077944384 318 0 0 0 12 5 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870939687440 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7112] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7112/stat : 7112 (java) S 7106 7106 24937 0 -1 1077944384 411 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870938634640 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7113] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7113/stat : 7113 (java) S 7106 7106 24937 0 -1 1077944384 788 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870937581840 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7114] ppid=7106 vsize=26536504 CPUtime=0.17 cores=0-7 /proc/7108/task/7114/stat : 7114 (java) S 7106 7106 24937 0 -1 1077944384 2029 0 0 0 12 5 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870936530064 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7115] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7115/stat : 7115 (java) S 7106 7106 24937 0 -1 1077944384 548 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870935477264 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7116] ppid=7106 vsize=26536504 CPUtime=0.19 cores=0-7 /proc/7108/task/7116/stat : 7116 (java) S 7106 7106 24937 0 -1 1077944384 456 0 0 0 14 5 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870934424464 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7117] ppid=7106 vsize=26536504 CPUtime=0.17 cores=0-7 /proc/7108/task/7117/stat : 7117 (java) S 7106 7106 24937 0 -1 1077944384 251 0 0 0 11 6 0 0 20 0 28 0 17362302 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139870933371664 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7118] ppid=7106 vsize=26536504 CPUtime=0.04 cores=0-7 /proc/7108/task/7118/stat : 7118 (java) S 7106 7106 24937 0 -1 1077944384 3164 0 0 0 3 1 0 0 20 0 28 0 17362303 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869775231344 139870983785090 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7119] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7119/stat : 7119 (java) S 7106 7106 24937 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869774177376 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7120] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7120/stat : 7120 (java) S 7106 7106 24937 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 17362304 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869773124480 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7121] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7121/stat : 7121 (java) S 7106 7106 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869772072784 139870983792539 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7122] ppid=7106 vsize=26536504 CPUtime=3 cores=0-7 /proc/7108/task/7122/stat : 7122 (java) S 7106 7106 24937 0 -1 1077944384 14785 0 0 0 297 3 0 0 20 0 28 0 17362307 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869524355952 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7123] ppid=7106 vsize=26536504 CPUtime=3.23 cores=0-7 /proc/7108/task/7123/stat : 7123 (java) S 7106 7106 24937 0 -1 1077944384 11849 0 0 0 321 2 0 0 20 0 28 0 17362307 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869523303152 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7124] ppid=7106 vsize=26536504 CPUtime=2.99 cores=0-7 /proc/7108/task/7124/stat : 7124 (java) S 7106 7106 24937 0 -1 1077944384 9948 0 0 0 297 2 0 0 20 0 28 0 17362307 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869522250352 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7125] ppid=7106 vsize=26536504 CPUtime=1.11 cores=0-7 /proc/7108/task/7125/stat : 7125 (java) S 7106 7106 24937 0 -1 1077944384 13420 0 0 0 107 4 0 0 20 0 28 0 17362307 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869521197552 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7126] ppid=7106 vsize=26536504 CPUtime=0 cores=0-7 /proc/7108/task/7126/stat : 7126 (java) S 7106 7106 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 17362307 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869520144992 139870983784149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7127] ppid=7106 vsize=26536504 CPUtime=0.1 cores=0-7 /proc/7108/task/7127/stat : 7127 (java) S 7106 7106 24937 0 -1 1077944384 1134 0 0 0 9 1 0 0 20 0 28 0 17362312 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869519092272 139870983785090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7272] ppid=7106 vsize=26536504 CPUtime=12.67 cores=0-7 /proc/7108/task/7272/stat : 7272 (java) R 7106 7106 24937 0 -1 4202560 268 0 0 0 1267 0 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869511085032 139870602660795 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7273] ppid=7106 vsize=26536504 CPUtime=12.67 cores=0-7 /proc/7108/task/7273/stat : 7273 (java) R 7106 7106 24937 0 -1 4202560 267 0 0 0 1267 0 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869505822568 139870603012094 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7274] ppid=7106 vsize=26536504 CPUtime=12.67 cores=0-7 /proc/7108/task/7274/stat : 7274 (java) R 7106 7106 24937 0 -1 4202560 321 0 0 0 1267 0 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869510034696 139870595603218 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7275] ppid=7106 vsize=26536504 CPUtime=12.66 cores=0-7 /proc/7108/task/7275/stat : 7275 (java) R 7106 7106 24937 0 -1 4202560 834 0 0 0 1265 1 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869506876008 139870601989500 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7276] ppid=7106 vsize=26536504 CPUtime=12.48 cores=0-7 /proc/7108/task/7276/stat : 7276 (java) R 7106 7106 24937 0 -1 4202560 658 0 0 0 1247 1 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869435194696 139870596095132 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7277] ppid=7106 vsize=26536504 CPUtime=12.66 cores=0-7 /proc/7108/task/7277/stat : 7277 (java) R 7106 7106 24937 0 -1 4202560 664 0 0 0 1263 3 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869507931336 139870595022055 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7278] ppid=7106 vsize=26536504 CPUtime=12.67 cores=0-7 /proc/7108/task/7278/stat : 7278 (java) R 7106 7106 24937 0 -1 4202560 362 0 0 0 1267 0 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869508983880 139870603013021 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 [pid=7108/tid=7279] ppid=7106 vsize=26536504 CPUtime=12.67 cores=0-7 /proc/7108/task/7279/stat : 7279 (java) R 7106 7106 24937 0 -1 4202560 162 0 0 0 1267 0 0 0 20 0 28 0 17385208 27173380096 561651 18446744073709551615 4194304 4196468 140727355577696 139869503724488 139870603013047 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18161664 140727355580880 140727355581056 140727355581056 140727355584463 0 Current children cumulated CPU time (s) 1920.14 Current children cumulated vsize (KiB) 26546016 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 7108 sig 9 ??? kill 7106 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7106 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1835 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=169 # CPU time returned by wait4() is 0.002004 # while last known CPU time is 1920.14 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 241.835 CPU time (s): 1920.14 CPU user time (s): 1918.41 CPU system time (s): 1.73 CPU usage (%): 793.986 Max. virtual memory (cumulated for all children) (KiB): 26546016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001835 system time used= 0.000169 maximum resident set size= 1380 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.95891 second user time and 1.69103 second system time The end
Begin job on node131 at 2017-08-02 17:09:43 IDJOB=4254586 IDBENCH=127009 IDSOLVER=2636 FILE ID=node131/4254586-1501687420 RUNJOBID= node131-1501676534-24993 PBS_JOBID= Free space on /tmp= 61944 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-055.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-4254586-1501687420/watcher-4254586-1501687420 -o /tmp/evaluation-result-4254586-1501687420/solver-4254586-1501687420 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 458449258 HOME/instance-4254586-1501687420.xml TIME LIMIT= 1920 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 02db274482b93fdda962f2b7dd8f24e7 RANDOM SEED=458449258 node131.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 : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31756400 kB MemAvailable: 32012416 kB Buffers: 137548 kB Cached: 406700 kB SwapCached: 0 kB Active: 328204 kB Inactive: 273320 kB Active(anon): 57796 kB Inactive(anon): 16724 kB Active(file): 270408 kB Inactive(file): 256596 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7688 kB Writeback: 0 kB AnonPages: 57012 kB Mapped: 30964 kB Shmem: 17064 kB Slab: 115060 kB SReclaimable: 89696 kB SUnreclaim: 25364 kB KernelStack: 3072 kB PageTables: 4428 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 290056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 61936 MiB End job on node131 at 2017-08-02 17:13:45