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) | 186 | 2519.91 | 2520.01 |
| Name | StillLife/ StillLife-wastage-19_c18.xml |
| MD5SUM | bc316652a8a0d5c7d33934cb88eaeb44 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 190 |
| Best CPU time to get the best result obtained on this benchmark | 154.096 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 904 |
| Number of constraints | 559 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 883 |
| Distribution of domain sizes | [{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 22 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":438},{"degree":3,"count":24},{"degree":4,"count":76},{"degree":8,"count":72},{"degree":9,"count":289},{"degree":22,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 23 |
| Distribution of constraint arities | [{"arity":2,"count":97},{"arity":3,"count":76},{"arity":10,"count":361},{"arity":21,"count":4},{"arity":22,"count":1},{"arity":23,"count":20}] |
| Number of extensional constraints | 437 |
| Number of intensional constraints | 96 |
| Distribution of constraint types | [{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral 01082018 0.10/0.21 o 4 0.10/0.21 o 6 0.10/0.21 o 7 0.10/0.21 o 8 0.21/0.22 o 9 0.21/0.22 o 10 0.21/0.22 o 11 0.21/0.22 o 12 0.21/0.23 o 13 0.21/0.23 o 14 0.21/0.24 o 15 0.21/0.24 o 16 0.21/0.29 o 18 0.21/0.29 o 19 0.21/0.29 o 20 0.21/0.30 o 23 0.21/0.30 o 24 0.21/0.30 o 25 0.31/0.35 o 29 0.31/0.36 o 30 0.31/0.36 o 33 0.31/0.36 o 34 0.31/0.36 o 35 0.31/0.36 o 36 0.31/0.36 o 37 0.31/0.38 o 38 0.31/0.41 o 39 0.31/0.41 o 40 0.31/0.41 o 41 0.41/0.45 o 43 0.41/0.45 o 44 0.41/0.45 o 45 0.41/0.45 o 46 0.41/0.45 o 47 0.41/0.46 o 48 0.41/0.46 o 49 0.41/0.46 o 50 0.41/0.46 o 51 0.41/0.47 o 52 0.41/0.48 o 53 0.51/0.53 o 54 0.51/0.56 o 55 0.51/0.59 o 59 0.60/0.61 o 60 0.60/0.62 o 61 0.60/0.65 o 62 0.60/0.66 o 64 0.60/0.67 o 65 0.79/0.82 o 66 0.79/0.83 o 67 0.79/0.83 o 68 0.79/0.84 o 69 0.79/0.85 o 101 0.79/0.85 o 102 0.89/0.94 o 103 0.89/0.94 o 104 0.89/0.94 o 105 0.89/0.94 o 106 0.89/0.94 o 107 1.00/1.09 o 108 1.00/1.10 o 109 1.00/1.10 o 110 1.00/1.10 o 111 1.10/1.11 o 112 1.10/1.13 o 113 1.10/1.13 o 114 1.10/1.13 o 115 1.10/1.14 o 116 1.19/1.22 o 117 1.19/1.23 o 118 1.19/1.26 o 119 1.29/1.37 o 120 1.49/1.57 o 123 1.89/1.98 o 124 2.49/2.56 o 125 2.49/2.57 o 131 2.49/2.57 o 132 2.59/2.65 o 133 2.78/2.84 o 134 2.99/3.10 o 135 3.28/3.38 o 136 3.38/3.44 o 137 3.88/3.97 o 138 4.69/4.74 o 139 4.79/4.89 o 140 5.00/5.05 o 141 6.69/6.77 o 142 6.89/6.97 o 143 7.00/7.05 o 144 7.59/7.61 o 145 8.10/8.12 o 146 8.10/8.14 o 147 8.59/8.61 o 148 11.10/11.11 o 149 11.10/11.15 o 150 11.10/11.17 o 151 11.10/11.18 o 153 11.10/11.18 o 154 11.10/11.19 o 155 11.19/11.23 o 156 11.39/11.49 o 157 11.59/11.61 o 158 16.00/16.07 o 159 16.00/16.07 o 160 16.49/16.56 o 161 19.58/19.65 o 162 20.09/20.15 o 163 20.18/20.28 o 164 21.48/21.57 o 165 21.58/21.69 o 166 21.68/21.70 o 167 40.29/40.34 o 168 56.58/56.63 o 169 59.88/59.97 o 170 105.09/105.15 o 171 105.18/105.26 o 172 105.18/105.27 o 173 105.18/105.27 o 175 105.18/105.27 o 176 105.48/105.53 o 177 115.58/115.67 o 178 334.16/334.23 o 179 348.85/348.90 o 180 416.96/417.02 o 181 463.45/463.56 o 182 648.84/648.93 o 183 675.34/675.45 o 184 793.84/793.92 o 185 1099.73/1099.84 o 186 2519.90/2520.00 s SATISFIABLE 2519.90/2520.00 v <instantiation type="solution"> 2519.90/2520.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] z </list> 2519.90/2520.01 v <values> 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 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 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 1 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 1 0 1 1 0 0 0 0 1 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 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 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 6 6 6 11 13 13 16 17 17 21 24 28 30 32 34 35 36 43 45 47 54 186 </values> 2519.90/2520.01 v </instantiation>
OK 186
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 (1133 MiB free)
memory of node 1: 16384 MiB (2550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303552-1533992423/watcher-4303552-1533992423 -o /tmp/evaluation-result-4303552-1533992423/solver-4303552-1533992423 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 655894388 HOME/instance-4303552-1533992423.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27054, runsolver pid=27051
[startup+0.100153 s]*
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3710692/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=96148 memory=70604 CPUtime=0.1 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 17853 0 0 0 8 2 0 0 20 0 1 0 216805515 98455552 17651 33554432000 4194304 7499544 140729932710576 140729932707576 140606143842208 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 24037 17651 696 807 0 17028 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 96148 KiB
Current children cumulated memory: 70604 KiB
[startup+0.20977 s]*
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3684156/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=116356 memory=91232 CPUtime=0.21 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 23041 0 0 0 18 3 0 0 20 0 1 0 216805515 119148544 22808 33554432000 4194304 7499544 140729932710576 140729932707576 5791035 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29089 22808 790 807 0 22080 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 116356 KiB
Current children cumulated memory: 91232 KiB
[startup+0.309599 s]*
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3683784/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=116488 memory=91496 CPUtime=0.31 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 23086 0 0 0 28 3 0 0 20 0 1 0 216805515 119283712 22874 33554432000 4194304 7499544 140729932710576 140729932707576 5791196 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29122 22874 794 807 0 22113 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116488 KiB
Current children cumulated memory: 91496 KiB
[startup+0.700367 s]
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3683412/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=116752 memory=91760 CPUtime=0.69 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 23161 0 0 0 66 3 0 0 20 0 1 0 216805515 119554048 22940 33554432000 4194304 7499544 140729932710576 140729932705592 5790987 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29188 22940 796 807 0 22179 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116752 KiB
Current children cumulated memory: 91760 KiB
[startup+1.50039 s]
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3683252/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=116884 memory=91760 CPUtime=1.49 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 23192 0 0 0 146 3 0 0 20 0 1 0 216805515 119689216 22940 33554432000 4194304 7499544 140729932710576 140729932705592 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29221 22940 796 807 0 22212 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 116884 KiB
Current children cumulated memory: 91760 KiB
[startup+3.10943 s]
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3683252/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117016 memory=92052 CPUtime=3.09 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 35593 0 0 0 306 3 0 0 20 0 1 0 216805515 119824384 23013 33554432000 4194304 7499544 140729932710576 140729932705592 4253115 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29254 23013 796 807 0 22245 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 117016 KiB
Current children cumulated memory: 92052 KiB
[startup+6.30034 s]
/proc/loadavg: 1.97 1.72 1.81 3/189 27055
/proc/meminfo: memFree=3682880/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117148 memory=92172 CPUtime=6.29 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 48095 0 0 0 625 4 0 0 20 0 1 0 216805515 119959552 23043 33554432000 4194304 7499544 140729932710576 140729932705592 4405407 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29287 23043 796 807 0 22278 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 117148 KiB
Current children cumulated memory: 92172 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 1.73 1.82 3/189 27055
/proc/meminfo: memFree=3682912/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117280 memory=92276 CPUtime=12.69 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 61494 0 0 0 1264 5 0 0 20 0 1 0 216805515 120094720 23069 33554432000 4194304 7499544 140729932710576 140729932705592 5769968 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29320 23069 796 807 0 22311 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92276 KiB
[startup+25.5004 s]
/proc/loadavg: 1.98 1.74 1.82 3/189 27055
/proc/meminfo: memFree=3682904/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117280 memory=92340 CPUtime=25.48 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 81932 0 0 0 2542 6 0 0 20 0 1 0 216805515 120094720 23085 33554432000 4194304 7499544 140729932710576 140729932705592 5790967 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29320 23085 796 807 0 22311 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92340 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 1.76 1.82 3/190 27078
/proc/meminfo: memFree=3680880/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117280 memory=92372 CPUtime=51.1 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 95504 0 0 0 5103 7 0 0 20 0 1 0 216805515 120094720 23093 33554432000 4194304 7499544 140729932710576 140729932705592 5790960 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29320 23093 797 807 0 22311 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92372 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.80 1.83 3/189 27079
/proc/meminfo: memFree=3681380/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117280 memory=92396 CPUtime=102.29 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 107520 0 0 0 10221 8 0 0 20 0 1 0 216805515 120094720 23099 33554432000 4194304 7499544 140729932710576 140729932705592 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29320 23099 797 807 0 22311 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 117280 KiB
Current children cumulated memory: 92396 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 1.85 1.85 3/189 27080
/proc/meminfo: memFree=3682040/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92428 CPUtime=162.26 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 120344 0 0 0 16217 9 0 0 20 0 1 0 216805515 120229888 23107 33554432000 4194304 7499544 140729932710576 140729932705592 5772134 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23107 797 807 0 22344 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92428 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 1.88 1.86 3/189 27081
/proc/meminfo: memFree=3682024/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92432 CPUtime=222.26 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 120786 0 0 0 22217 9 0 0 20 0 1 0 216805515 120229888 23108 33554432000 4194304 7499544 140729932710576 140729932705592 4246786 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23108 797 807 0 22344 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92432 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.90 1.87 3/188 27082
/proc/meminfo: memFree=3682528/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92440 CPUtime=282.26 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 121173 0 0 0 28217 9 0 0 20 0 1 0 216805515 120229888 23110 33554432000 4194304 7499544 140729932710576 140729932705592 5791196 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23110 797 807 0 22344 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92440 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.92 1.87 3/187 27083
/proc/meminfo: memFree=3682644/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92440 CPUtime=342.25 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 121626 0 0 0 34216 9 0 0 20 0 1 0 216805515 120229888 23110 33554432000 4194304 7499544 140729932710576 140729932705592 5602945 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23110 797 807 0 22344 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92440 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.93 1.88 3/187 27084
/proc/meminfo: memFree=3682224/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92444 CPUtime=402.25 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 121961 0 0 0 40216 9 0 0 20 0 1 0 216805515 120229888 23111 33554432000 4194304 7499544 140729932710576 140729932705592 4580593 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23111 797 807 0 22344 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92444 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.95 1.89 3/187 27085
/proc/meminfo: memFree=3683156/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92448 CPUtime=462.25 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 122477 0 0 0 46216 9 0 0 20 0 1 0 216805515 120229888 23112 33554432000 4194304 7499544 140729932710576 140729932705592 4317784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23112 797 807 0 22344 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92448 KiB
################
# More data... #
################
/proc/27054/statm: 29353 23125 797 807 0 22344 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92500 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/189 27135
/proc/meminfo: memFree=3681796/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92500 CPUtime=1782.21 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 131479 0 0 0 178211 10 0 0 20 0 1 0 216805515 120229888 23125 33554432000 4194304 7499544 140729932710576 140729932705592 4253155 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23125 797 807 0 22344 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92500 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 27136
/proc/meminfo: memFree=3682172/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=1842.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 131897 0 0 0 184210 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 5773133 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 27137
/proc/meminfo: memFree=3682196/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=1902.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 132315 0 0 0 190210 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 4253163 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 27138
/proc/meminfo: memFree=3682072/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=1962.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 132731 0 0 0 196210 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 5790896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 27139
/proc/meminfo: memFree=3682072/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=2022.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 133152 0 0 0 202210 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 5791014 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 27140
/proc/meminfo: memFree=3682328/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=2082.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 133566 0 0 0 208210 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 5838092 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 27141
/proc/meminfo: memFree=3682468/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=2142.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 133979 0 0 0 214210 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 4258027 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/187 27142
/proc/meminfo: memFree=3682464/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92504 CPUtime=2202.19 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 134390 0 0 0 220209 10 0 0 20 0 1 0 216805515 120229888 23126 33554432000 4194304 7499544 140729932710576 140729932705592 4253227 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23126 797 807 0 22344 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92504 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/187 27143
/proc/meminfo: memFree=3682356/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92508 CPUtime=2262.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 134780 0 0 0 226209 11 0 0 20 0 1 0 216805515 120229888 23127 33554432000 4194304 7499544 140729932710576 140729932705592 4253104 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23127 797 807 0 22344 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92508 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27208
/proc/meminfo: memFree=3573544/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92508 CPUtime=2322.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 135141 0 0 0 232209 11 0 0 20 0 1 0 216805515 120229888 23127 33554432000 4194304 7499544 140729932710576 140729932705592 5838092 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23127 797 807 0 22344 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92508 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27217
/proc/meminfo: memFree=3571892/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92512 CPUtime=2382.2 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 135501 0 0 0 238209 11 0 0 20 0 1 0 216805515 120229888 23128 33554432000 4194304 7499544 140729932710576 140729932705592 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23128 797 807 0 22344 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92512 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27218
/proc/meminfo: memFree=3571816/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92512 CPUtime=2442.19 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 135860 0 0 0 244208 11 0 0 20 0 1 0 216805515 120229888 23128 33554432000 4194304 7499544 140729932710576 140729932705592 5791014 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23128 797 807 0 22344 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92512 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27219
/proc/meminfo: memFree=3571644/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92512 CPUtime=2502.19 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 136225 0 0 0 250208 11 0 0 20 0 1 0 216805515 120229888 23128 33554432000 4194304 7499544 140729932710576 140729932705592 4253174 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23128 797 807 0 22344 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92512 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.98 3/188 27219
/proc/meminfo: memFree=3571872/32770624 swapFree=67108860/67108860
[pid=27054] ppid=27051 vsize=117412 memory=92512 CPUtime=2519.9 cores=0,2,4,6
/proc/27054/stat : 27054 (MistralXCSP) R 27051 27054 26919 0 -1 4202496 136576 0 0 0 251979 11 0 0 20 0 1 0 216805515 120229888 23128 33554432000 4194304 7499544 140729932710576 140729932705592 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 12931072 140729932715118 140729932715267 140729932715267 140729932718025 0
/proc/27054/statm: 29353 23128 797 807 0 22344 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 117412 KiB
Current children cumulated memory: 92512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27054 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.8 s, system=0.112996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2519.8
CPU system time (s): 0.112996
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 117412
Max. memory (cumulated for all children) (KiB): 92512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.112996
maximum resident set size= 92532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136619
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= 48
involuntary context switches= 702
# summary of solver processes directly reported to runsolver:
# pid: 27054
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.8
# total CPU system time (s): 0.112996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5332 second user time and 16.152 second system time
The end
Begin job on node151 at 2018-08-11 15:00:23 IDJOB=4303552 IDBENCH=141031 IDSOLVER=2779 FILE ID=node151/4303552-1533992423 RUNJOBID= node151-1533992207-26950 PBS_JOBID= 21036947 Free space on /tmp= 40856 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/StillLife/StillLife-wastage-19_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-4303552-1533992423/watcher-4303552-1533992423 -o /tmp/evaluation-result-4303552-1533992423/solver-4303552-1533992423 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 655894388 HOME/instance-4303552-1533992423.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bc316652a8a0d5c7d33934cb88eaeb44 RANDOM SEED=655894388 node151.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.87 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.87 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.87 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.87 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: 3771976 kB MemAvailable: 31681032 kB Buffers: 248348 kB Cached: 27540480 kB SwapCached: 0 kB Active: 10986740 kB Inactive: 17079956 kB Active(anon): 226908 kB Inactive(anon): 103256 kB Active(file): 10759832 kB Inactive(file): 16976700 kB Unevictable: 7836 kB Mlocked: 7836 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5952 kB Writeback: 0 kB AnonPages: 295488 kB Mapped: 60284 kB Shmem: 49800 kB Slab: 628760 kB SReclaimable: 600984 kB SUnreclaim: 27776 kB KernelStack: 3600 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 599748 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 40848 MiB End job on node151 at 2018-08-11 15:42:23