Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 345 | 2520.02 | 2520 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml |
MD5SUM | a21a0b86f7fa853bf556b3925b3cd061 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 345 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1597 |
Number of constraints | 944 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1569 |
Distribution of domain sizes | [{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}] |
Minimum variable degree | 1 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}] |
Number of extensional constraints | 780 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.09 c 280717 0.50/0.65 o 4 0.50/0.65 o 6 0.50/0.65 o 7 0.50/0.65 o 8 0.50/0.66 o 9 0.50/0.66 o 10 0.50/0.66 o 11 0.50/0.66 o 12 0.60/0.74 o 14 0.60/0.74 o 15 0.60/0.74 o 16 0.60/0.75 o 19 0.60/0.75 o 20 0.60/0.75 o 21 0.60/0.76 o 22 0.70/0.84 o 27 0.70/0.84 o 30 0.70/0.84 o 31 0.70/0.84 o 32 0.70/0.84 o 33 0.70/0.85 o 34 0.70/0.85 o 35 0.70/0.86 o 36 0.80/0.94 o 38 0.80/0.94 o 39 0.80/0.95 o 40 0.80/0.96 o 42 0.80/0.96 o 43 0.90/1.05 o 46 0.90/1.05 o 47 0.90/1.05 o 48 0.90/1.05 o 49 0.90/1.06 o 52 0.90/1.06 o 53 0.90/1.06 o 54 0.90/1.06 o 59 0.90/1.07 o 60 0.90/1.07 o 61 0.90/1.08 o 62 1.00/1.15 o 63 1.00/1.16 o 64 1.00/1.16 o 65 1.00/1.16 o 66 1.00/1.16 o 67 1.00/1.16 o 68 1.00/1.18 o 70 1.00/1.18 o 71 1.00/1.18 o 72 1.00/1.18 o 73 1.00/1.18 o 74 1.10/1.26 o 75 1.10/1.26 o 76 1.10/1.26 o 77 1.10/1.26 o 78 1.10/1.26 o 79 1.10/1.26 o 80 1.20/1.39 o 82 1.20/1.39 o 83 1.20/1.39 o 84 1.20/1.39 o 86 1.20/1.39 o 87 1.20/1.39 o 88 1.20/1.40 o 89 1.30/1.40 o 90 1.30/1.47 o 91 1.30/1.47 o 92 1.30/1.49 o 95 1.30/1.49 o 96 1.30/1.49 o 97 1.40/1.57 o 98 1.50/1.64 o 99 1.50/1.67 o 100 1.70/1.84 o 114 1.70/1.84 o 115 1.70/1.86 o 116 1.70/1.87 o 117 1.80/1.95 o 118 1.80/1.95 o 119 1.80/1.95 o 120 1.80/1.97 o 121 1.90/2.05 o 122 1.90/2.05 o 123 1.90/2.05 o 124 1.90/2.06 o 125 1.90/2.06 o 126 2.10/2.27 o 130 2.20/2.34 o 131 2.20/2.36 o 132 2.20/2.36 o 133 2.20/2.37 o 134 2.20/2.37 o 135 2.20/2.38 o 137 2.20/2.38 o 138 2.20/2.39 o 139 2.29/2.43 o 142 2.29/2.44 o 143 2.29/2.44 o 144 2.59/2.71 o 149 2.59/2.71 o 150 2.59/2.73 o 151 2.59/2.73 o 152 2.79/2.99 o 153 2.79/2.99 o 154 3.20/3.31 o 156 3.20/3.36 o 158 3.39/3.58 o 160 3.59/3.71 o 161 3.59/3.71 o 162 3.89/4.09 o 163 4.40/4.56 o 164 4.80/4.94 o 165 4.80/4.96 o 166 5.10/5.20 o 167 5.40/5.57 o 168 5.40/5.58 o 169 5.50/5.61 o 170 5.80/5.93 o 177 5.90/6.01 o 178 6.30/6.42 o 189 7.20/7.36 o 192 7.20/7.37 o 193 7.49/7.69 o 194 7.60/7.70 o 195 7.60/7.71 o 196 8.49/8.65 o 197 9.19/9.32 o 201 9.39/9.57 o 204 9.49/9.61 o 205 11.09/11.26 o 206 11.20/11.37 o 223 11.50/11.62 o 224 11.70/11.84 o 227 12.11/12.24 o 229 12.11/12.27 o 230 12.50/12.61 o 235 12.50/12.68 o 236 12.60/12.73 o 237 13.00/13.18 o 238 13.10/13.27 o 239 13.10/13.28 o 240 13.60/13.78 o 241 14.00/14.16 o 242 15.20/15.40 o 243 15.60/15.75 o 244 15.60/15.76 o 245 15.70/15.85 o 246 15.70/15.86 o 247 15.70/15.88 o 248 15.80/15.94 o 249 15.80/15.95 o 250 16.10/16.21 o 251 16.10/16.21 o 252 16.10/16.21 o 253 17.40/17.55 o 254 17.40/17.56 o 255 17.40/17.59 o 256 17.40/17.59 o 257 17.40/17.60 o 258 17.60/17.79 o 264 17.90/18.01 o 273 18.60/18.72 o 274 20.00/20.19 o 275 20.40/20.56 o 276 20.40/20.56 o 277 20.40/20.57 o 278 21.60/21.75 o 279 21.70/21.89 o 280 21.70/21.89 o 281 23.49/23.62 o 282 23.90/24.02 o 283 24.30/24.45 o 284 25.50/25.67 o 285 26.20/26.31 o 287 27.10/27.24 o 288 31.40/31.54 o 289 32.40/32.50 o 290 32.40/32.51 o 291 33.40/33.56 o 292 36.00/36.11 o 293 47.20/47.31 o 294 47.69/47.87 o 295 58.59/58.71 o 296 58.59/58.73 o 297 59.09/59.28 o 299 61.29/61.42 o 300 61.29/61.44 o 301 61.79/61.94 o 302 63.09/63.28 o 303 63.19/63.30 o 304 63.49/63.66 o 306 63.59/63.70 o 307 63.99/64.15 o 309 64.09/64.22 o 310 67.89/68.02 o 311 68.10/68.28 o 312 68.60/68.77 o 313 71.90/72.03 o 314 72.20/72.31 o 316 72.80/72.94 o 317 76.50/76.62 o 318 86.90/87.08 o 319 96.50/96.66 o 320 99.01/99.13 o 321 99.01/99.14 o 322 99.60/99.73 o 323 101.00/101.14 o 324 101.80/101.91 o 325 110.60/110.77 o 326 126.90/127.09 o 327 132.20/132.31 o 328 132.50/132.69 o 329 172.11/172.25 o 330 172.11/172.26 o 331 172.11/172.28 o 332 172.20/172.31 o 333 175.60/175.71 o 334 176.80/176.98 o 335 238.76/238.99 o 336 240.96/241.18 o 337 247.46/247.65 o 338 282.35/282.58 o 339 361.15/361.38 o 340 389.15/389.34 o 341 513.87/514.06 o 342 515.17/515.34 o 343 1203.61/1203.72 o 345 2520.01/2520.00 s SATISFIABLE 2520.01/2520.00 v <instantiation type="solution"> 2520.01/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[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] 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[0][26] w[0][27] 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[1][26] w[1][27] 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[2][26] w[2][27] 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[3][26] w[3][27] 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[4][26] w[4][27] 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[5][26] w[5][27] 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[6][26] w[6][27] 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[7][26] w[7][27] 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[8][26] w[8][27] 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[9][26] w[9][27] 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[10][26] w[10][27] 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[11][26] w[11][27] 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[12][26] w[12][27] 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[13][26] w[13][27] 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[14][26] w[14][27] 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[15][26] w[15][27] 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[16][26] w[16][27] 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[17][26] w[17][27] 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[18][26] w[18][27] 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[19][26] w[19][27] 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[20][26] w[20][27] 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[21][26] w[21][27] 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[22][26] w[22][27] 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[23][26] w[23][27] 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[24][26] w[24][27] 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] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] 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] ws[26] ws[27] z </list> 2520.01/2520.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 0 0 1 1 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 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 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 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 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 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 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 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 1 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 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 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 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 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 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 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 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 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 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 1 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 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 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 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 9 12 14 17 19 23 26 26 28 28 29 32 33 33 35 36 38 40 43 47 49 50 51 52 55 57 60 76 345 </values> 2520.01/2520.00 v </instantiation>
OK 345
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-4261190-1502341725/watcher-4261190-1502341725 -o /tmp/evaluation-result-4261190-1502341725/solver-4261190-1502341725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1506179047 HOME/instance-4261190-1502341725.xml pid=846 running on 4 cores: 1,3,5,7 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 2.02 2.05 2/185 849 /proc/meminfo: memFree=30938316/32770624 swapFree=0/423028 [pid=849] ppid=846 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/849/stat : 849 (runsolver) D 846 849 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 76083650 24240128 106 18446744073709551615 4194304 4338465 140724329580448 140724329578088 139935659430615 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15126528 140724329582730 140724329583177 140724329583177 140724329586634 0 /proc/849/statm: 5918 106 53 36 0 2156 0 [startup+0.100147 s] /proc/loadavg: 2.02 2.02 2.05 2/185 849 /proc/meminfo: memFree=30938316/32770624 swapFree=0/423028 [pid=849] ppid=846 vsize=28792 CPUtime=0 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 924 0 0 0 0 0 0 0 20 0 1 0 76083650 29483008 763 18446744073709551615 4194304 7396336 140723392450672 140723392447672 139973422205925 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 7198 763 591 782 0 214 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28792 [startup+0.200274 s] /proc/loadavg: 2.02 2.02 2.05 2/185 849 /proc/meminfo: memFree=30938316/32770624 swapFree=0/423028 [pid=849] ppid=846 vsize=90092 CPUtime=0.09 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 16297 0 0 0 8 1 0 0 20 0 1 0 76083650 92254208 16077 18446744073709551615 4194304 7396336 140723392450672 140723392447672 139973422201662 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 22523 16143 646 782 0 15539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 90092 [startup+0.300357 s] /proc/loadavg: 2.02 2.02 2.05 2/185 849 /proc/meminfo: memFree=30938316/32770624 swapFree=0/423028 [pid=849] ppid=846 vsize=168592 CPUtime=0.2 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 35954 0 0 0 16 4 0 0 20 0 1 0 76083650 172638208 35745 18446744073709551615 4194304 7396336 140723392450672 140723392442184 5791065 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 42200 35811 646 782 0 35216 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 168592 [startup+0.700312 s] /proc/loadavg: 2.02 2.02 2.05 2/185 849 /proc/meminfo: memFree=30938316/32770624 swapFree=0/423028 [pid=849] ppid=846 vsize=192172 CPUtime=0.6 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 42142 0 0 0 55 5 0 0 20 0 1 0 76083650 196784128 41806 18446744073709551615 4194304 7396336 140723392450672 140723392442184 4252939 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48043 41806 784 782 0 41059 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 192172 [startup+1.50028 s] /proc/loadavg: 1.94 2.01 2.04 3/186 850 /proc/meminfo: memFree=30773656/32770624 swapFree=0/423044 [pid=849] ppid=846 vsize=193096 CPUtime=1.4 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 42352 0 0 0 135 5 0 0 20 0 1 0 76083650 197730304 42004 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5839008 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48274 42004 789 782 0 41290 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 193096 [startup+3.10031 s] /proc/loadavg: 1.94 2.01 2.04 3/186 850 /proc/meminfo: memFree=30772840/32770624 swapFree=0/423280 [pid=849] ppid=846 vsize=193624 CPUtime=2.99 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 67364 0 0 0 293 6 0 0 20 0 1 0 76083650 198270976 42172 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48406 42172 791 782 0 41422 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 193624 [startup+6.30031 s] /proc/loadavg: 1.94 2.01 2.04 3/186 850 /proc/meminfo: memFree=30772156/32770624 swapFree=0/423288 [pid=849] ppid=846 vsize=193888 CPUtime=6.2 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 92671 0 0 0 613 7 0 0 20 0 1 0 76083650 198541312 42243 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5586201 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48472 42243 791 782 0 41488 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 193888 [startup+12.7003 s] /proc/loadavg: 1.95 2.01 2.04 3/186 851 /proc/meminfo: memFree=30771148/32770624 swapFree=0/423284 [pid=849] ppid=846 vsize=194152 CPUtime=12.6 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 118128 0 0 0 1252 8 0 0 20 0 1 0 76083650 198811648 42309 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4246647 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48538 42309 791 782 0 41554 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 194152 [startup+25.5004 s] /proc/loadavg: 1.95 2.01 2.04 3/186 851 /proc/meminfo: memFree=30770760/32770624 swapFree=0/423300 [pid=849] ppid=846 vsize=194284 CPUtime=25.4 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 167840 0 0 0 2530 10 0 0 20 0 1 0 76083650 198946816 42354 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792027 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48571 42354 791 782 0 41587 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 194284 [startup+51.1003 s] /proc/loadavg: 1.97 2.01 2.04 3/186 852 /proc/meminfo: memFree=30770192/32770624 swapFree=0/423292 [pid=849] ppid=846 vsize=194284 CPUtime=50.99 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 194305 0 0 0 5088 11 0 0 20 0 1 0 76083650 198946816 42362 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4257817 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48571 42362 791 782 0 41587 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 194284 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.04 3/185 855 /proc/meminfo: memFree=30768980/32770624 swapFree=0/423304 [pid=849] ppid=846 vsize=194416 CPUtime=102.2 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 219809 0 0 0 10207 13 0 0 20 0 1 0 76083650 199081984 42370 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4406506 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42370 791 782 0 41620 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 194416 [startup+162.3 s] /proc/loadavg: 2.04 2.02 2.05 3/185 857 /proc/meminfo: memFree=30768612/32770624 swapFree=0/423300 [pid=849] ppid=846 vsize=194416 CPUtime=162.21 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 245237 0 0 0 16206 15 0 0 20 0 1 0 76083650 199081984 42385 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5575220 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42385 791 782 0 41620 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 194416 [startup+222.306 s] /proc/loadavg: 2.01 2.01 2.05 3/185 860 /proc/meminfo: memFree=30767400/32770624 swapFree=0/423308 [pid=849] ppid=846 vsize=194416 CPUtime=222.18 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 269321 0 0 0 22202 16 0 0 20 0 1 0 76083650 199081984 42393 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792016 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42393 791 782 0 41620 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 194416 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 863 /proc/meminfo: memFree=30767576/32770624 swapFree=0/423296 [pid=849] ppid=846 vsize=194416 CPUtime=282.15 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 277326 0 0 0 28199 16 0 0 20 0 1 0 76083650 199081984 42397 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42397 791 782 0 41620 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 194416 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 880 /proc/meminfo: memFree=30763704/32770624 swapFree=0/423332 [pid=849] ppid=846 vsize=194416 CPUtime=342.15 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 278021 0 0 0 34199 16 0 0 20 0 1 0 76083650 199081984 42399 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4252922 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42399 791 782 0 41620 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 194416 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 906 /proc/meminfo: memFree=30763488/32770624 swapFree=0/423360 [pid=849] ppid=846 vsize=194416 CPUtime=402.15 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 278034 0 0 0 40199 16 0 0 20 0 1 0 76083650 199081984 42399 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4252931 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42399 791 782 0 41620 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 194416 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/190 910 /proc/meminfo: memFree=30763100/32770624 swapFree=0/423368 [pid=849] ppid=846 vsize=194416 CPUtime=462.16 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 278733 0 0 0 46200 16 0 0 20 0 1 0 76083650 199081984 42401 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5839152 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48604 42401 791 782 0 41620 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 194416 [startup+522.3 s] /proc/loadavg: 2.05 2.03 2.05 3/187 914 /proc/meminfo: memFree=30767128/32770624 swapFree=0/423376 [pid=849] ppid=846 vsize=194548 CPUtime=522.17 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 278751 0 0 0 52200 17 0 0 20 0 1 0 76083650 199217152 42401 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5791675 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42401 791 782 0 41653 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 194548 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.05 3/186 916 /proc/meminfo: memFree=30767680/32770624 swapFree=0/423380 [pid=849] ppid=846 vsize=194548 CPUtime=582.18 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 279456 0 0 0 58201 17 0 0 20 0 1 0 76083650 199217152 42406 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4257728 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42406 791 782 0 41653 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 194548 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 985 /proc/meminfo: memFree=30762512/32770624 swapFree=0/423592 [pid=849] ppid=846 vsize=194548 CPUtime=1602.24 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 285174 0 0 0 160207 17 0 0 20 0 1 0 76083650 199217152 42423 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4257655 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42423 791 782 0 41653 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 194548 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/185 988 /proc/meminfo: memFree=30767076/32770624 swapFree=0/423620 [pid=849] ppid=846 vsize=194548 CPUtime=1662.24 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 285883 0 0 0 166207 17 0 0 20 0 1 0 76083650 199217152 42423 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4547381 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42423 791 782 0 41653 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 194548 [startup+1722.3 s] /proc/loadavg: 2.08 2.04 2.05 3/185 989 /proc/meminfo: memFree=30766828/32770624 swapFree=0/423620 [pid=849] ppid=846 vsize=194548 CPUtime=1722.25 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 285887 0 0 0 172208 17 0 0 20 0 1 0 76083650 199217152 42423 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4252947 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42423 791 782 0 41653 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 194548 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.05 3/186 992 /proc/meminfo: memFree=30766732/32770624 swapFree=0/423632 [pid=849] ppid=846 vsize=194548 CPUtime=1782.25 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 286602 0 0 0 178208 17 0 0 20 0 1 0 76083650 199217152 42424 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42424 791 782 0 41653 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 194548 [startup+1842.3 s] /proc/loadavg: 2.01 2.03 2.05 3/186 995 /proc/meminfo: memFree=30767156/32770624 swapFree=0/423640 [pid=849] ppid=846 vsize=194548 CPUtime=1842.26 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 286603 0 0 0 184209 17 0 0 20 0 1 0 76083650 199217152 42424 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4406460 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42424 791 782 0 41653 0 Current children cumulated CPU time (s) 1842.26 Current children cumulated vsize (KiB) 194548 [startup+1902.3 s] /proc/loadavg: 2.15 2.06 2.06 3/186 997 /proc/meminfo: memFree=30766784/32770624 swapFree=0/423648 [pid=849] ppid=846 vsize=194548 CPUtime=1902.26 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 287300 0 0 0 190209 17 0 0 20 0 1 0 76083650 199217152 42424 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5839273 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42424 791 782 0 41653 0 Current children cumulated CPU time (s) 1902.26 Current children cumulated vsize (KiB) 194548 [startup+1962.3 s] /proc/loadavg: 2.10 2.06 2.06 3/186 999 /proc/meminfo: memFree=30767028/32770624 swapFree=0/423656 [pid=849] ppid=846 vsize=194548 CPUtime=1962.26 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 287319 0 0 0 196209 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4406471 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 1962.26 Current children cumulated vsize (KiB) 194548 [startup+2022.3 s] /proc/loadavg: 2.04 2.05 2.05 3/186 1002 /proc/meminfo: memFree=30766408/32770624 swapFree=0/423664 [pid=849] ppid=846 vsize=194548 CPUtime=2022.27 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 288038 0 0 0 202210 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5771107 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 2022.27 Current children cumulated vsize (KiB) 194548 [startup+2082.3 s] /proc/loadavg: 2.01 2.04 2.05 3/185 1005 /proc/meminfo: memFree=30766800/32770624 swapFree=0/423672 [pid=849] ppid=846 vsize=194548 CPUtime=2082.28 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 288039 0 0 0 208211 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4581409 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 2082.28 Current children cumulated vsize (KiB) 194548 [startup+2142.3 s] /proc/loadavg: 2.00 2.04 2.05 3/188 1021 /proc/meminfo: memFree=30762900/32770624 swapFree=0/423716 [pid=849] ppid=846 vsize=194548 CPUtime=2142.28 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 288742 0 0 0 214211 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792030 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 2142.28 Current children cumulated vsize (KiB) 194548 [startup+2202.31 s] /proc/loadavg: 2.00 2.03 2.05 3/188 1023 /proc/meminfo: memFree=30762768/32770624 swapFree=0/423728 [pid=849] ppid=846 vsize=194548 CPUtime=2202.29 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 288756 0 0 0 220212 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4406378 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 2202.29 Current children cumulated vsize (KiB) 194548 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 1026 /proc/meminfo: memFree=30766040/32770624 swapFree=0/423744 [pid=849] ppid=846 vsize=194548 CPUtime=2262.29 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 289472 0 0 0 226212 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792063 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 2262.29 Current children cumulated vsize (KiB) 194548 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 1028 /proc/meminfo: memFree=30766072/32770624 swapFree=0/423752 [pid=849] ppid=846 vsize=194548 CPUtime=2322.29 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 289472 0 0 0 232212 17 0 0 20 0 1 0 76083650 199217152 42425 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4252896 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42425 791 782 0 41653 0 Current children cumulated CPU time (s) 2322.29 Current children cumulated vsize (KiB) 194548 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 1030 /proc/meminfo: memFree=30765700/32770624 swapFree=0/423760 [pid=849] ppid=846 vsize=194548 CPUtime=2382.3 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 290186 0 0 0 238212 18 0 0 20 0 1 0 76083650 199217152 42426 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4582252 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42426 791 782 0 41653 0 Current children cumulated CPU time (s) 2382.3 Current children cumulated vsize (KiB) 194548 [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 1032 /proc/meminfo: memFree=30765700/32770624 swapFree=0/423772 [pid=849] ppid=846 vsize=194548 CPUtime=2442.31 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 290189 0 0 0 244213 18 0 0 20 0 1 0 76083650 199217152 42426 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792262 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42426 791 782 0 41653 0 Current children cumulated CPU time (s) 2442.31 Current children cumulated vsize (KiB) 194548 [startup+2502.3 s] /proc/loadavg: 2.06 2.03 2.05 3/186 1097 /proc/meminfo: memFree=31087624/32770624 swapFree=0/423800 [pid=849] ppid=846 vsize=194548 CPUtime=2502.31 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 290898 0 0 0 250213 18 0 0 20 0 1 0 76083650 199217152 42427 18446744073709551615 4194304 7396336 140723392450672 140723392445688 4252880 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42427 791 782 0 41653 0 Current children cumulated CPU time (s) 2502.31 Current children cumulated vsize (KiB) 194548 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.05 2.03 2.05 3/185 1099 /proc/meminfo: memFree=31087488/32770624 swapFree=0/423792 [pid=849] ppid=846 vsize=194548 CPUtime=2520.01 cores=1,3,5,7 /proc/849/stat : 849 (MistralXCSP) R 846 849 9153 0 -1 4202496 290899 0 0 0 251983 18 0 0 20 0 1 0 76083650 199217152 42427 18446744073709551615 4194304 7396336 140723392450672 140723392445688 5792074 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 15441920 140723392459186 140723392459336 140723392459336 140723392462793 0 /proc/849/statm: 48637 42427 791 782 0 41653 0 Current children cumulated CPU time (s) 2520.01 Current children cumulated vsize (KiB) 194548 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 849 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2520.02 CPU user time (s): 2519.84 CPU system time (s): 0.182012 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 194548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.84 system time used= 0.182012 maximum resident set size= 169728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290930 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= 82 involuntary context switches= 737 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.00355 second user time and 10.5736 second system time The end
Begin job on node135 at 2017-08-10 06:54:50 IDJOB=4261190 IDBENCH=115899 IDSOLVER=2649 FILE ID=node135/4261190-1502341725 RUNJOBID= node135-1502330739-31366 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.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-4261190-1502341725/watcher-4261190-1502341725 -o /tmp/evaluation-result-4261190-1502341725/solver-4261190-1502341725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1506179047 HOME/instance-4261190-1502341725.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061 RANDOM SEED=1506179047 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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.21 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.21 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.21 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: 30938656 kB MemAvailable: 31649700 kB Buffers: 271472 kB Cached: 732868 kB SwapCached: 0 kB Active: 940580 kB Inactive: 456168 kB Active(anon): 392984 kB Inactive(anon): 33140 kB Active(file): 547596 kB Inactive(file): 423028 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6024 kB Writeback: 0 kB AnonPages: 409012 kB Mapped: 48492 kB Shmem: 33464 kB Slab: 139376 kB SReclaimable: 112508 kB SUnreclaim: 26868 kB KernelStack: 3552 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 660540 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62020 MiB End job on node135 at 2017-08-10 07:36:50