Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 297 | 2400.05 | 2401 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml |
MD5SUM | e0f1e7fd363778103a4292aa9d177ae8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 297 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1379 |
Number of constraints | 824 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1353 |
Distribution of domain sizes | [{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}] |
Minimum variable degree | 1 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 28 |
Distribution of constraint arities | [{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}] |
Number of extensional constraints | 672 |
Number of intensional constraints | 121 |
Distribution of constraint types | [{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c Mistral-2017-06-28 0.48/0.52 o 4 0.48/0.52 o 6 0.48/0.53 o 7 0.48/0.53 o 8 0.48/0.53 o 9 0.48/0.53 o 10 0.48/0.54 o 11 0.48/0.54 o 12 0.58/0.61 o 15 0.58/0.61 o 16 0.58/0.61 o 17 0.58/0.61 o 18 0.58/0.61 o 19 0.58/0.61 o 20 0.58/0.61 o 21 0.58/0.68 o 23 0.58/0.68 o 24 0.58/0.68 o 25 0.58/0.69 o 26 0.58/0.69 o 27 0.58/0.69 o 28 0.69/0.75 o 32 0.69/0.75 o 36 0.69/0.76 o 37 0.69/0.77 o 39 0.69/0.78 o 40 0.69/0.79 o 41 0.79/0.86 o 46 0.79/0.86 o 47 0.79/0.86 o 48 0.89/0.93 o 50 0.89/0.93 o 51 0.89/0.93 o 52 0.89/0.94 o 55 0.89/0.94 o 56 0.89/0.94 o 57 0.89/0.94 o 58 0.99/1.01 o 62 0.99/1.01 o 63 0.99/1.01 o 64 0.99/1.02 o 65 0.99/1.02 o 66 0.99/1.02 o 68 0.99/1.02 o 69 0.99/1.02 o 70 1.10/1.13 o 73 1.10/1.13 o 74 1.10/1.13 o 75 1.10/1.13 o 76 1.20/1.26 o 77 1.39/1.46 o 79 1.39/1.48 o 80 1.49/1.56 o 81 1.49/1.56 o 82 1.49/1.56 o 83 1.49/1.56 o 84 1.49/1.56 o 85 1.49/1.56 o 86 1.49/1.56 o 87 1.49/1.57 o 88 1.69/1.76 o 89 1.69/1.76 o 90 1.69/1.76 o 91 1.69/1.77 o 92 1.69/1.78 o 93 1.69/1.78 o 94 1.69/1.79 o 95 1.79/1.85 o 96 1.79/1.86 o 98 1.79/1.86 o 99 1.79/1.86 o 100 1.79/1.88 o 101 1.79/1.88 o 102 2.09/2.13 o 111 2.09/2.14 o 112 2.09/2.14 o 113 2.09/2.17 o 114 2.09/2.19 o 115 2.19/2.29 o 116 2.38/2.41 o 117 2.59/2.60 o 118 2.59/2.61 o 119 2.59/2.61 o 120 2.59/2.63 o 121 2.59/2.63 o 122 2.59/2.63 o 123 2.59/2.66 o 124 2.59/2.66 o 125 2.69/2.72 o 126 2.79/2.80 o 128 2.79/2.81 o 129 2.79/2.81 o 130 2.99/3.02 o 134 3.09/3.15 o 135 3.69/3.79 o 136 3.89/3.99 o 137 4.29/4.35 o 138 4.29/4.36 o 139 5.29/5.39 o 140 5.29/5.39 o 141 5.29/5.40 o 142 5.39/5.40 o 143 5.39/5.42 o 144 5.39/5.42 o 145 5.39/5.43 o 146 5.39/5.47 o 147 5.39/5.47 o 148 5.39/5.48 o 149 5.69/5.73 o 150 5.69/5.73 o 151 5.79/5.82 o 152 5.79/5.82 o 153 5.79/5.84 o 154 5.79/5.84 o 155 5.79/5.84 o 156 5.89/5.93 o 157 5.89/5.93 o 158 5.89/5.94 o 159 6.70/6.73 o 161 6.70/6.76 o 162 6.79/6.83 o 163 6.79/6.85 o 164 6.79/6.86 o 165 6.89/6.93 o 166 6.99/7.06 o 173 7.09/7.13 o 176 7.09/7.16 o 177 7.09/7.18 o 178 7.49/7.57 o 179 7.49/7.58 o 180 7.89/7.92 o 181 8.79/8.84 o 182 8.79/8.88 o 185 8.89/8.93 o 186 8.99/9.01 o 187 9.09/9.11 o 188 9.09/9.18 o 189 9.49/9.59 o 191 9.59/9.61 o 192 9.69/9.78 o 195 9.79/9.87 o 197 9.89/9.91 o 198 9.89/9.94 o 199 10.19/10.26 o 200 10.29/10.30 o 201 10.29/10.30 o 202 11.09/11.17 o 204 11.19/11.21 o 205 11.19/11.28 o 206 11.68/11.74 o 208 12.09/12.17 o 209 12.28/12.30 o 210 12.58/12.65 o 212 12.68/12.71 o 213 12.78/12.81 o 215 12.78/12.83 o 216 13.29/13.33 o 217 14.08/14.10 o 218 14.29/14.34 o 219 14.68/14.77 o 220 15.49/15.55 o 221 16.09/16.14 o 223 16.39/16.46 o 224 16.39/16.47 o 225 16.79/16.85 o 227 16.79/16.86 o 228 16.79/16.86 o 229 17.49/17.60 o 230 19.99/20.03 o 231 19.99/20.05 o 232 19.99/20.06 o 233 20.19/20.21 o 234 20.19/20.26 o 235 20.49/20.54 o 236 21.19/21.24 o 237 21.89/21.95 o 238 22.09/22.19 o 239 22.19/22.22 o 240 22.29/22.37 o 241 24.19/24.21 o 242 27.08/27.11 o 243 27.08/27.19 o 245 28.08/28.10 o 246 28.68/28.71 o 247 28.68/28.72 o 248 28.68/28.73 o 249 30.38/30.40 o 250 34.58/34.64 o 251 34.58/34.64 o 252 36.28/36.32 o 253 36.28/36.35 o 254 36.28/36.36 o 255 36.47/36.53 o 256 38.58/38.67 o 257 40.27/40.39 o 258 40.37/40.40 o 259 40.37/40.40 o 260 41.47/41.54 o 261 44.57/44.62 o 262 61.37/61.43 o 263 61.37/61.43 o 264 67.36/67.44 o 265 70.66/70.75 o 266 73.16/73.26 o 267 73.16/73.27 o 268 73.16/73.28 o 269 76.86/76.90 o 270 84.36/84.48 o 271 86.66/86.71 o 272 86.66/86.75 o 274 86.66/86.76 o 275 87.56/87.68 o 276 88.86/88.99 o 277 132.55/132.64 o 278 132.55/132.65 o 279 136.05/136.18 o 280 168.44/168.58 o 281 169.54/169.61 o 282 169.54/169.61 o 283 185.53/185.60 o 284 190.63/190.79 o 286 199.33/199.40 o 287 199.33/199.42 o 288 223.62/223.73 o 289 346.97/347.17 o 290 481.68/481.92 o 291 707.69/708.05 o 292 732.58/732.96 o 293 930.70/931.13 o 294 971.39/971.80 o 295 992.28/992.70 o 296 1569.06/1569.79 o 297 2400.04/2401.00 s SATISFIABLE 2400.04/2401.00 v <instantiation type="solution"> 2400.04/2401.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[0][21] x[0][22] x[0][23] x[0][24] x[0][25] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[0][21] w[0][22] w[0][23] w[0][24] w[0][25] 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[1][21] w[1][22] w[1][23] w[1][24] w[1][25] 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[2][21] w[2][22] w[2][23] w[2][24] w[2][25] 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[3][21] w[3][22] w[3][23] w[3][24] w[3][25] 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[4][21] w[4][22] w[4][23] w[4][24] w[4][25] 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[5][21] w[5][22] w[5][23] w[5][24] w[5][25] 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[6][21] w[6][22] w[6][23] w[6][24] w[6][25] 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[7][21] w[7][22] w[7][23] w[7][24] w[7][25] 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[8][21] w[8][22] w[8][23] w[8][24] w[8][25] 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[9][21] w[9][22] w[9][23] w[9][24] w[9][25] 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[10][21] w[10][22] w[10][23] w[10][24] w[10][25] 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[11][21] w[11][22] w[11][23] w[11][24] w[11][25] 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[12][21] w[12][22] w[12][23] w[12][24] w[12][25] 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[13][21] w[13][22] w[13][23] w[13][24] w[13][25] 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[14][21] w[14][22] w[14][23] w[14][24] w[14][25] 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[15][21] w[15][22] w[15][23] w[15][24] w[15][25] 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[16][21] w[16][22] w[16][23] w[16][24] w[16][25] 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[17][21] w[17][22] w[17][23] w[17][24] w[17][25] 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[18][21] w[18][22] w[18][23] w[18][24] w[18][25] 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[19][21] w[19][22] w[19][23] w[19][24] w[19][25] 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] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] 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] ws[21] ws[22] ws[23] ws[24] ws[25] z </list> 2400.04/2401.00 v <values> 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 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 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 0 0 1 0 0 1 0 1 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 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 1 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 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 2 1 1 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 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 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 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 1 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 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 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 1 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 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 1 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 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 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 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 9 11 12 15 16 19 22 22 22 24 25 26 28 30 31 32 34 34 35 38 38 39 45 47 51 60 297 </values> 2400.04/2401.00 v </instantiation>
OK 297
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-4239946-1500636080/watcher-4239946-1500636080 -o /tmp/evaluation-result-4239946-1500636080/solver-4239946-1500636080 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500623787-3607 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1714807093 HOME/instance-4239946-1500636080.xml pid=7060 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.12 2.08 2.06 3/186 7063 /proc/meminfo: memFree=30995508/32770624 swapFree=6452/372944 [pid=7063] ppid=7060 vsize=28936 CPUtime=0 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 993 0 0 0 0 0 0 0 20 0 1 0 16884939 29630464 802 33554432000 4194304 7402444 140726394904832 140726394901880 140264282305032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 7234 802 616 784 0 248 0 [startup+0.100164 s] /proc/loadavg: 2.12 2.08 2.06 3/186 7063 /proc/meminfo: memFree=30995508/32770624 swapFree=6452/372944 [pid=7063] ppid=7060 vsize=59976 CPUtime=0.09 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 8821 0 0 0 8 1 0 0 20 0 1 0 16884939 61415424 8590 33554432000 4194304 7402444 140726394904832 140726394896328 4483593 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 14994 8656 663 784 0 8008 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 59976 [startup+0.200382 s] /proc/loadavg: 2.12 2.08 2.06 3/186 7063 /proc/meminfo: memFree=30995508/32770624 swapFree=6452/372944 [pid=7063] ppid=7060 vsize=127280 CPUtime=0.19 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 25623 0 0 0 16 3 0 0 20 0 1 0 16884939 130334720 25420 33554432000 4194304 7402444 140726394904832 140726394896328 140264275512293 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 31820 25420 663 784 0 24834 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 127280 [startup+0.300334 s] /proc/loadavg: 2.12 2.08 2.06 3/186 7063 /proc/meminfo: memFree=30995508/32770624 swapFree=6452/372944 [pid=7063] ppid=7060 vsize=165228 CPUtime=0.29 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 35203 0 0 0 25 4 0 0 20 0 1 0 16884939 169193472 34990 33554432000 4194304 7402444 140726394904832 140726394894608 6066325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 41307 34990 704 784 0 34321 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 165228 [startup+0.700301 s] /proc/loadavg: 2.12 2.08 2.06 3/186 7063 /proc/meminfo: memFree=30995508/32770624 swapFree=6452/372944 [pid=7063] ppid=7060 vsize=167724 CPUtime=0.69 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 35904 0 0 0 64 5 0 0 20 0 1 0 16884939 171749376 35649 33554432000 4194304 7402444 140726394904832 140726394899848 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 41931 35649 792 784 0 34945 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 167724 [startup+1.5003 s] /proc/loadavg: 2.12 2.08 2.06 3/187 7064 /proc/meminfo: memFree=30854952/32770624 swapFree=6452/372888 [pid=7063] ppid=7060 vsize=168384 CPUtime=1.49 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 36066 0 0 0 144 5 0 0 20 0 1 0 16884939 172425216 35847 33554432000 4194304 7402444 140726394904832 140726394899848 4484602 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42096 35847 793 784 0 35110 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 168384 [startup+3.1003 s] /proc/loadavg: 2.12 2.08 2.06 3/187 7064 /proc/meminfo: memFree=30854208/32770624 swapFree=6452/372888 [pid=7063] ppid=7060 vsize=168780 CPUtime=3.09 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 57243 0 0 0 303 6 0 0 20 0 1 0 16884939 172830720 35959 33554432000 4194304 7402444 140726394904832 140726394899848 4484571 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42195 35959 793 784 0 35209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 168780 [startup+6.30029 s] /proc/loadavg: 2.11 2.08 2.06 3/187 7064 /proc/meminfo: memFree=30853716/32770624 swapFree=6452/372904 [pid=7063] ppid=7060 vsize=168912 CPUtime=6.29 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 78618 0 0 0 622 7 0 0 20 0 1 0 16884939 172965888 36002 33554432000 4194304 7402444 140726394904832 140726394899848 5753958 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42228 36002 793 784 0 35242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 168912 [startup+12.7003 s] /proc/loadavg: 2.10 2.07 2.06 3/187 7064 /proc/meminfo: memFree=30852768/32770624 swapFree=6452/372908 [pid=7063] ppid=7060 vsize=169044 CPUtime=12.68 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 100061 0 0 0 1260 8 0 0 20 0 1 0 16884939 173101056 36041 33554432000 4194304 7402444 140726394904832 140726394899848 4708073 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42261 36041 793 784 0 35275 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 169044 [startup+25.5004 s] /proc/loadavg: 2.08 2.07 2.06 3/187 7064 /proc/meminfo: memFree=30851452/32770624 swapFree=6452/372920 [pid=7063] ppid=7060 vsize=169176 CPUtime=25.48 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 142606 0 0 0 2538 10 0 0 20 0 1 0 16884939 173236224 36061 33554432000 4194304 7402444 140726394904832 140726394899848 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42294 36061 793 784 0 35308 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 169176 [startup+51.1003 s] /proc/loadavg: 2.05 2.07 2.05 3/187 7064 /proc/meminfo: memFree=30850676/32770624 swapFree=6452/372964 [pid=7063] ppid=7060 vsize=169176 CPUtime=51.07 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 164145 0 0 0 5096 11 0 0 20 0 1 0 16884939 173236224 36074 33554432000 4194304 7402444 140726394904832 140726394899848 4484685 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42294 36074 793 784 0 35308 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 169176 [startup+102.3 s] /proc/loadavg: 2.08 2.07 2.05 3/187 7065 /proc/meminfo: memFree=30850364/32770624 swapFree=6452/373040 [pid=7063] ppid=7060 vsize=169308 CPUtime=102.26 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 185675 0 0 0 10213 13 0 0 20 0 1 0 16884939 173371392 36087 33554432000 4194304 7402444 140726394904832 140726394899848 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36087 794 784 0 35341 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 169308 [startup+162.3 s] /proc/loadavg: 2.03 2.06 2.05 3/187 7066 /proc/meminfo: memFree=30849420/32770624 swapFree=6452/373100 [pid=7063] ppid=7060 vsize=169308 CPUtime=162.24 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 207113 0 0 0 16210 14 0 0 20 0 1 0 16884939 173371392 36094 33554432000 4194304 7402444 140726394904832 140726394899848 4484544 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36094 794 784 0 35341 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 169308 [startup+222.306 s] /proc/loadavg: 2.01 2.05 2.05 3/187 7068 /proc/meminfo: memFree=30849680/32770624 swapFree=6452/373172 [pid=7063] ppid=7060 vsize=169308 CPUtime=222.23 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 228547 0 0 0 22208 15 0 0 20 0 1 0 16884939 173371392 36100 33554432000 4194304 7402444 140726394904832 140726394899848 5878467 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36100 794 784 0 35341 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 169308 [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 7069 /proc/meminfo: memFree=30849612/32770624 swapFree=6452/373228 [pid=7063] ppid=7060 vsize=169308 CPUtime=282.2 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 249926 0 0 0 28205 15 0 0 20 0 1 0 16884939 173371392 36102 33554432000 4194304 7402444 140726394904832 140726394899848 5753950 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36102 794 784 0 35341 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 169308 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7070 /proc/meminfo: memFree=30847876/32770624 swapFree=6452/373284 [pid=7063] ppid=7060 vsize=169308 CPUtime=342.17 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 271392 0 0 0 34200 17 0 0 20 0 1 0 16884939 173371392 36103 33554432000 4194304 7402444 140726394904832 140726394899848 5747647 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36103 794 784 0 35341 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 169308 [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7071 /proc/meminfo: memFree=30847724/32770624 swapFree=6452/373360 [pid=7063] ppid=7060 vsize=169308 CPUtime=402.11 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 287644 0 0 0 40193 18 0 0 20 0 1 0 16884939 173371392 36104 33554432000 4194304 7402444 140726394904832 140726394899848 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36104 794 784 0 35341 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 169308 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7073 /proc/meminfo: memFree=30848276/32770624 swapFree=6452/373428 [pid=7063] ppid=7060 vsize=169308 CPUtime=462.09 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 288371 0 0 0 46191 18 0 0 20 0 1 0 16884939 173371392 36109 33554432000 4194304 7402444 140726394904832 140726394899848 4712981 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36109 794 784 0 35341 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 169308 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7074 /proc/meminfo: memFree=30848688/32770624 swapFree=6452/373476 [pid=7063] ppid=7060 vsize=169308 CPUtime=522.06 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 289113 0 0 0 52188 18 0 0 20 0 1 0 16884939 173371392 36118 33554432000 4194304 7402444 140726394904832 140726394899848 5877954 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36118 794 784 0 35341 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 169308 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7082 /proc/meminfo: memFree=30848640/32770624 swapFree=6452/373544 [pid=7063] ppid=7060 vsize=169308 CPUtime=582.04 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 289834 0 0 0 58186 18 0 0 20 0 1 0 16884939 173371392 36118 33554432000 4194304 7402444 140726394904832 140726394899848 5695885 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36118 794 784 0 35341 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 169308 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7104 /proc/meminfo: memFree=30848624/32770624 swapFree=6452/374204 [pid=7063] ppid=7060 vsize=169308 CPUtime=1481.68 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 300650 0 0 0 148150 18 0 0 20 0 1 0 16884939 173371392 36128 33554432000 4194304 7402444 140726394904832 140726394899848 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36128 794 784 0 35341 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 169308 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7105 /proc/meminfo: memFree=30848904/32770624 swapFree=6452/374232 [pid=7063] ppid=7060 vsize=169308 CPUtime=1541.67 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 301255 0 0 0 154149 18 0 0 20 0 1 0 16884939 173371392 36128 33554432000 4194304 7402444 140726394904832 140726394899848 4748097 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36128 794 784 0 35341 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 169308 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7106 /proc/meminfo: memFree=30848800/32770624 swapFree=6452/374280 [pid=7063] ppid=7060 vsize=169308 CPUtime=1601.64 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 302085 0 0 0 160146 18 0 0 20 0 1 0 16884939 173371392 36128 33554432000 4194304 7402444 140726394904832 140726394899848 4484571 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42327 36128 794 784 0 35341 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 169308 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7107 /proc/meminfo: memFree=30848312/32770624 swapFree=6452/374316 [pid=7063] ppid=7060 vsize=169440 CPUtime=1661.62 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 302793 0 0 0 166144 18 0 0 20 0 1 0 16884939 173506560 36129 33554432000 4194304 7402444 140726394904832 140726394899368 4747006 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36129 794 784 0 35374 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 169440 [startup+1722.3 s] /proc/loadavg: 2.12 2.04 2.05 3/187 7108 /proc/meminfo: memFree=30848400/32770624 swapFree=6452/374372 [pid=7063] ppid=7060 vsize=169440 CPUtime=1721.6 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 303510 0 0 0 172142 18 0 0 20 0 1 0 16884939 173506560 36129 33554432000 4194304 7402444 140726394904832 140726394899368 5758825 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36129 794 784 0 35374 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 169440 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7116 /proc/meminfo: memFree=30847272/32770624 swapFree=6452/374416 [pid=7063] ppid=7060 vsize=169440 CPUtime=1781.57 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 304220 0 0 0 178139 18 0 0 20 0 1 0 16884939 173506560 36129 33554432000 4194304 7402444 140726394904832 140726394899368 5695872 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36129 794 784 0 35374 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 169440 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 7117 /proc/meminfo: memFree=30847552/32770624 swapFree=6452/374460 [pid=7063] ppid=7060 vsize=169440 CPUtime=1841.55 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 304948 0 0 0 184137 18 0 0 20 0 1 0 16884939 173506560 36130 33554432000 4194304 7402444 140726394904832 140726394899368 4465697 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36130 794 784 0 35374 0 Current children cumulated CPU time (s) 1841.55 Current children cumulated vsize (KiB) 169440 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7118 /proc/meminfo: memFree=30847956/32770624 swapFree=6452/374508 [pid=7063] ppid=7060 vsize=169440 CPUtime=1901.52 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 305656 0 0 0 190134 18 0 0 20 0 1 0 16884939 173506560 36130 33554432000 4194304 7402444 140726394904832 140726394899368 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36130 794 784 0 35374 0 Current children cumulated CPU time (s) 1901.52 Current children cumulated vsize (KiB) 169440 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7119 /proc/meminfo: memFree=30848304/32770624 swapFree=6452/374544 [pid=7063] ppid=7060 vsize=169440 CPUtime=1961.5 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 306385 0 0 0 196132 18 0 0 20 0 1 0 16884939 173506560 36130 33554432000 4194304 7402444 140726394904832 140726394899368 5753913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36130 794 784 0 35374 0 Current children cumulated CPU time (s) 1961.5 Current children cumulated vsize (KiB) 169440 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7121 /proc/meminfo: memFree=30848032/32770624 swapFree=6452/374580 [pid=7063] ppid=7060 vsize=169440 CPUtime=2021.48 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 307104 0 0 0 202130 18 0 0 20 0 1 0 16884939 173506560 36131 33554432000 4194304 7402444 140726394904832 140726394899368 5753955 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36131 794 784 0 35374 0 Current children cumulated CPU time (s) 2021.48 Current children cumulated vsize (KiB) 169440 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7122 /proc/meminfo: memFree=30847976/32770624 swapFree=6452/374624 [pid=7063] ppid=7060 vsize=169440 CPUtime=2081.46 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 307814 0 0 0 208128 18 0 0 20 0 1 0 16884939 173506560 36131 33554432000 4194304 7402444 140726394904832 140726394899368 4237755 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36131 794 784 0 35374 0 Current children cumulated CPU time (s) 2081.46 Current children cumulated vsize (KiB) 169440 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7123 /proc/meminfo: memFree=30848000/32770624 swapFree=6452/374652 [pid=7063] ppid=7060 vsize=169440 CPUtime=2141.43 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 308528 0 0 0 214125 18 0 0 20 0 1 0 16884939 173506560 36131 33554432000 4194304 7402444 140726394904832 140726394899368 4483946 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36131 794 784 0 35374 0 Current children cumulated CPU time (s) 2141.43 Current children cumulated vsize (KiB) 169440 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7125 /proc/meminfo: memFree=30847900/32770624 swapFree=6452/374700 [pid=7063] ppid=7060 vsize=169440 CPUtime=2201.41 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 309240 0 0 0 220123 18 0 0 20 0 1 0 16884939 173506560 36131 33554432000 4194304 7402444 140726394904832 140726394899368 4484480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36131 794 784 0 35374 0 Current children cumulated CPU time (s) 2201.41 Current children cumulated vsize (KiB) 169440 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7126 /proc/meminfo: memFree=30848100/32770624 swapFree=6452/374736 [pid=7063] ppid=7060 vsize=169440 CPUtime=2261.38 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 309977 0 0 0 226120 18 0 0 20 0 1 0 16884939 173506560 36131 33554432000 4194304 7402444 140726394904832 140726394899368 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36131 794 784 0 35374 0 Current children cumulated CPU time (s) 2261.38 Current children cumulated vsize (KiB) 169440 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/187 7134 /proc/meminfo: memFree=30846620/32770624 swapFree=6452/374764 [pid=7063] ppid=7060 vsize=169440 CPUtime=2321.37 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 310694 0 0 0 232119 18 0 0 20 0 1 0 16884939 173506560 36132 33554432000 4194304 7402444 140726394904832 140726394899368 4712981 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36132 794 784 0 35374 0 Current children cumulated CPU time (s) 2321.37 Current children cumulated vsize (KiB) 169440 [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7199 /proc/meminfo: memFree=31393068/32770624 swapFree=6452/374892 [pid=7063] ppid=7060 vsize=169440 CPUtime=2381.35 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 311412 0 0 0 238117 18 0 0 20 0 1 0 16884939 173506560 36132 33554432000 4194304 7402444 140726394904832 140726394899368 4484644 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36132 794 784 0 35374 0 Current children cumulated CPU time (s) 2381.35 Current children cumulated vsize (KiB) 169440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401 s] /proc/loadavg: 2.01 2.02 2.05 3/187 7221 /proc/meminfo: memFree=31390392/32770624 swapFree=6452/374908 [pid=7063] ppid=7060 vsize=169440 CPUtime=2400.04 cores=1,3,5,7 /proc/7063/stat : 7063 (MistralXCSP) R 7060 7063 3575 0 -1 4202496 312074 0 0 0 239986 18 0 0 20 0 1 0 16884939 173506560 36132 33554432000 4194304 7402444 140726394904832 140726394899368 5327242 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 19886080 140726394909864 140726394910014 140726394910014 140726394912713 0 /proc/7063/statm: 42360 36132 794 784 0 35374 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 169440 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 7063 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2401 CPU time (s): 2400.05 CPU user time (s): 2399.86 CPU system time (s): 0.189929 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 169440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.86 system time used= 0.189929 maximum resident set size= 144552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 312111 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= 71 involuntary context switches= 120173 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.36609 second user time and 9.99801 second system time The end
Begin job on node120 at 2017-07-21 13:21:20 IDJOB=4239946 IDBENCH=115885 IDSOLVER=2622 FILE ID=node120/4239946-1500636080 RUNJOBID= node120-1500623787-3607 PBS_JOBID= 20623012 Free space on /tmp= 62004 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.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-4239946-1500636080/watcher-4239946-1500636080 -o /tmp/evaluation-result-4239946-1500636080/solver-4239946-1500636080 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500623787-3607 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1714807093 HOME/instance-4239946-1500636080.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=1714807093 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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.43 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 : 2267.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 : 1600.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.43 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 : 1600.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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 : 1600.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.43 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 : 2133.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: 30995368 kB MemAvailable: 31400188 kB Buffers: 161316 kB Cached: 523620 kB SwapCached: 0 kB Active: 970264 kB Inactive: 381776 kB Active(anon): 669852 kB Inactive(anon): 8832 kB Active(file): 300412 kB Inactive(file): 372944 kB Unevictable: 6452 kB Mlocked: 6460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5860 kB Writeback: 0 kB AnonPages: 663236 kB Mapped: 33940 kB Shmem: 8848 kB Slab: 119372 kB SReclaimable: 94596 kB SUnreclaim: 24776 kB KernelStack: 3328 kB PageTables: 6504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 940992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61996 MiB End job on node120 at 2017-07-21 14:01:21