Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-08-01 | SAT (TO) | 70 | 251.932 | 252.019 |
| Name | PeacableArmies/ PeacableArmies-m2-30_c18.xml |
| MD5SUM | f7f9b20d19eb9843ceb4981536ba88b3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 54 |
| Best CPU time to get the best result obtained on this benchmark | 252.087 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 902 |
| Number of constraints | 43213 |
| Number of domains | 2 |
| Minimum domain size | 3 |
| Maximum domain size | 450 |
| Distribution of domain sizes | [{"size":3,"count":900},{"size":450,"count":2}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 117 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":89,"count":116},{"degree":91,"count":108},{"degree":93,"count":100},{"degree":95,"count":92},{"degree":97,"count":84},{"degree":99,"count":76},{"degree":101,"count":68},{"degree":103,"count":60},{"degree":105,"count":52},{"degree":107,"count":44},{"degree":109,"count":36},{"degree":111,"count":28},{"degree":113,"count":20},{"degree":115,"count":12},{"degree":117,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 901 |
| Distribution of constraint arities | [{"arity":2,"count":43211},{"arity":901,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 43211 |
| Distribution of constraint types | [{"type":"intension","count":43211},{"type":"count","count":2}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral 01082018 20.49/20.57 o 0 20.49/20.59 o 1 20.59/20.61 o 2 20.59/20.63 o 3 20.59/20.65 o 4 20.59/20.69 o 5 22.10/22.11 o 6 22.10/22.14 o 7 22.10/22.18 o 8 23.29/23.36 o 9 23.49/23.52 o 10 23.59/23.67 o 11 23.69/23.80 o 12 23.89/23.92 o 13 24.00/24.03 o 14 24.10/24.14 o 15 24.19/24.24 o 16 24.29/24.34 o 17 24.39/24.43 o 18 24.49/24.53 o 19 24.59/24.62 o 20 24.69/24.71 o 21 24.79/24.80 o 22 24.79/24.88 o 23 24.89/24.97 o 24 25.00/25.06 o 25 25.10/25.14 o 26 25.19/25.23 o 27 25.29/25.32 o 28 25.39/25.41 o 29 25.49/25.51 o 30 25.59/25.60 o 31 25.69/25.71 o 32 25.69/25.79 o 33 25.79/25.89 o 34 26.00/26.09 o 35 33.49/33.58 o 36 33.59/33.64 o 37 33.69/33.70 o 38 33.69/33.76 o 39 33.79/33.82 o 40 33.79/33.88 o 41 33.89/33.93 o 42 33.89/33.99 o 43 34.00/34.05 o 44 34.10/34.11 o 45 34.10/34.17 o 46 34.19/34.22 o 47 34.19/34.28 o 48 34.29/34.34 o 49 34.29/34.39 o 50 34.39/34.45 o 51 34.49/34.51 o 52 34.49/34.56 o 53 34.59/34.62 o 54 34.59/34.68 o 55 34.69/34.73 o 56 34.79/34.88 o 57 45.29/45.31 o 58 45.29/45.36 o 59 45.39/45.40 o 60 45.39/45.44 o 61 45.39/45.49 o 62 45.49/45.53 o 63 45.49/45.58 o 64 45.59/45.62 o 65 45.89/45.94 o 66 50.59/50.68 o 67 131.75/131.80 o 68 134.15/134.28 o 69 136.65/136.77 o 70 251.91/252.01 s SATISFIABLE 251.91/252.01 v <instantiation type="solution"> 251.91/252.01 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] nb nw </list> 251.91/252.01 v <values> 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 2 2 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 70 70 </values> 251.91/252.01 v </instantiation>
OK 70
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13475 MiB free)
memory of node 1: 16384 MiB (11179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312689-1534700041/watcher-4312689-1534700041 -o /tmp/evaluation-result-4312689-1534700041/solver-4312689-1534700041 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534699007-12903 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 374389764 HOME/instance-4312689-1534700041.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13583, runsolver pid=13580
[startup+0.100155 s]*
/proc/loadavg: 1.96 2.03 1.41 3/191 13584
/proc/meminfo: memFree=25243880/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=30960 memory=5452 CPUtime=0.1 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 1532 0 0 0 10 0 0 0 20 0 1 0 287567280 31703040 1363 33554432000 4194304 7499544 140733855533792 140733855530792 6094501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 7740 1363 666 807 0 731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30960 KiB
Current children cumulated memory: 5452 KiB
[startup+0.209709 s]*
/proc/loadavg: 1.96 2.03 1.41 3/191 13584
/proc/meminfo: memFree=25242392/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=32208 memory=6516 CPUtime=0.21 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 1877 0 0 0 21 0 0 0 20 0 1 0 287567280 32980992 1629 33554432000 4194304 7499544 140733855533792 140733855530792 6002064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 8052 1629 666 807 0 1043 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32208 KiB
Current children cumulated memory: 6516 KiB
[startup+0.309203 s]*
/proc/loadavg: 1.96 2.03 1.41 3/191 13584
/proc/meminfo: memFree=25241648/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=33512 memory=7732 CPUtime=0.31 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 2275 0 0 0 31 0 0 0 20 0 1 0 287567280 34316288 1933 33554432000 4194304 7499544 140733855533792 140733855530792 140247969721317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 8378 1933 666 807 0 1369 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33512 KiB
Current children cumulated memory: 7732 KiB
[startup+0.700285 s]
/proc/loadavg: 1.96 2.03 1.41 3/191 13584
/proc/meminfo: memFree=25239016/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=39420 memory=13196 CPUtime=0.69 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 3934 0 0 0 69 0 0 0 20 0 1 0 287567280 40366080 3299 33554432000 4194304 7499544 140733855533792 140733855527032 140247969721317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 9855 3299 696 807 0 2846 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 13196 KiB
[startup+1.50038 s]
/proc/loadavg: 1.96 2.03 1.41 3/191 13584
/proc/meminfo: memFree=25226368/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=64180 memory=37888 CPUtime=1.49 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 10165 0 0 0 148 1 0 0 20 0 1 0 287567280 65720320 9472 33554432000 4194304 7499544 140733855533792 140733855527032 5889916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 16045 9472 696 807 0 9036 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64180 KiB
Current children cumulated memory: 37888 KiB
[startup+3.10955 s]
/proc/loadavg: 1.96 2.03 1.42 3/191 13584
/proc/meminfo: memFree=25168716/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=109696 memory=83344 CPUtime=3.1 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 27534 0 0 0 307 3 0 0 20 0 1 0 287567280 112328704 20836 33554432000 4194304 7499544 140733855533792 140733855524712 140247969721317 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 27424 20836 696 807 0 20415 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 109696 KiB
Current children cumulated memory: 83344 KiB
[startup+6.30027 s]
/proc/loadavg: 1.96 2.03 1.42 3/191 13584
/proc/meminfo: memFree=25094568/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=186920 memory=160656 CPUtime=6.29 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 48632 0 0 0 623 6 0 0 20 0 1 0 287567280 191406080 40164 33554432000 4194304 7499544 140733855533792 140733855524792 4564151 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 46730 40164 696 807 0 39721 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 186920 KiB
Current children cumulated memory: 160656 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 2.03 1.42 3/191 13584
/proc/meminfo: memFree=24971676/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=317240 memory=290988 CPUtime=12.69 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 99634 0 0 0 1259 10 0 0 20 0 1 0 287567280 324853760 72747 33554432000 4194304 7499544 140733855533792 140733855524792 140247973206384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 79310 72747 696 807 0 72301 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 317240 KiB
Current children cumulated memory: 290988 KiB
[startup+25.5004 s]
/proc/loadavg: 1.97 2.03 1.43 3/191 13584
/proc/meminfo: memFree=24800192/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=473684 memory=448196 CPUtime=25.49 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 225164 0 0 0 2529 20 0 0 20 0 1 0 287567280 485052416 112049 33554432000 4194304 7499544 140733855533792 140733855528808 4252674 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 118421 112049 787 807 0 111412 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448196 KiB
[startup+51.1096 s]
/proc/loadavg: 1.98 2.03 1.44 3/190 13584
/proc/meminfo: memFree=24799456/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=473684 memory=448396 CPUtime=51.1 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 301690 0 0 0 5086 24 0 0 20 0 1 0 287567280 485052416 112099 33554432000 4194304 7499544 140733855533792 140733855528808 4246863 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 118421 112099 787 807 0 111412 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448396 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.02 1.47 3/190 13585
/proc/meminfo: memFree=24798924/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=473684 memory=448396 CPUtime=102.27 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 381887 0 0 0 10199 28 0 0 20 0 1 0 287567280 485052416 112099 33554432000 4194304 7499544 140733855533792 140733855528808 5585027 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 118421 112099 787 807 0 111412 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448396 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.51 3/190 13586
/proc/meminfo: memFree=24798932/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=473684 memory=448396 CPUtime=162.23 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 435985 0 0 0 16193 30 0 0 20 0 1 0 287567280 485052416 112099 33554432000 4194304 7499544 140733855533792 140733855528808 5163897 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 118421 112099 787 807 0 111412 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448396 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.53 3/190 13587
/proc/meminfo: memFree=24798212/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=473684 memory=448636 CPUtime=222.21 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 462396 0 0 0 22189 32 0 0 20 0 1 0 287567280 485052416 112159 33554432000 4194304 7499544 140733855533792 140733855528808 4246863 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 1.85 1.98 1.54 3/191 13649
/proc/meminfo: memFree=24798708/32770624 swapFree=67108840/67108860
[pid=13583] ppid=13580 vsize=473684 memory=448636 CPUtime=251.91 cores=1,3,5,7
/proc/13583/stat : 13583 (MistralXCSP) R 13580 13583 12871 0 -1 4202496 474456 0 0 0 25159 32 0 0 20 0 1 0 287567280 485052416 112159 33554432000 4194304 7499544 140733855533792 140733855528808 4258012 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 42586112 140733855536243 140733855536392 140733855536392 140733855539145 0
/proc/13583/statm: 118421 112159 787 807 0 111412 0
Current children cumulated CPU time: 251.91 s
Current children cumulated vsize: 473684 KiB
Current children cumulated memory: 448636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.019 s]
# the end of solver process 13583 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.595 s, system=0.337012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.019
CPU time (s): 251.932
CPU user time (s): 251.595
CPU system time (s): 0.337012
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 473684
Max. memory (cumulated for all children) (KiB): 448636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.595
system time used= 0.337012
maximum resident set size= 448656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474531
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= 124
involuntary context switches= 90
# summary of solver processes directly reported to runsolver:
# pid: 13583
# total CPU time (s): 251.932
# total CPU user time (s): 251.595
# total CPU system time (s): 0.337012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06729 second user time and 1.88975 second system time
The end
Begin job on node135 at 2018-08-19 19:34:01 IDJOB=4312689 IDBENCH=141490 IDSOLVER=2801 FILE ID=node135/4312689-1534700041 RUNJOBID= node135-1534699007-12903 PBS_JOBID= 21038718 Free space on /tmp= 59188 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-30_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312689-1534700041/watcher-4312689-1534700041 -o /tmp/evaluation-result-4312689-1534700041/solver-4312689-1534700041 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534699007-12903 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 374389764 HOME/instance-4312689-1534700041.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7f9b20d19eb9843ceb4981536ba88b3 RANDOM SEED=374389764 node135.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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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: 25247012 kB MemAvailable: 31880828 kB Buffers: 212792 kB Cached: 6691012 kB SwapCached: 20 kB Active: 3880644 kB Inactive: 3085384 kB Active(anon): 41832 kB Inactive(anon): 89384 kB Active(file): 3838812 kB Inactive(file): 2996000 kB Unevictable: 7240 kB Mlocked: 7240 kB SwapTotal: 67108860 kB SwapFree: 67108840 kB Dirty: 7480 kB Writeback: 56 kB AnonPages: 57256 kB Mapped: 25116 kB Shmem: 66188 kB Slab: 256944 kB SReclaimable: 227464 kB SUnreclaim: 29480 kB KernelStack: 3456 kB PageTables: 4716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 400328 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 59184 MiB End job on node135 at 2018-08-19 19:38:13