Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 413 | 251.87601 | 252.011 |
Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 413 |
Best CPU time to get the best result obtained on this benchmark | 251.87601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1954 |
Number of constraints | 1139 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1923 |
Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
Minimum variable degree | 1 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
Number of extensional constraints | 957 |
Number of intensional constraints | 146 |
Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.10 c 280717 0.60/0.76 o 4 0.60/0.76 o 6 0.60/0.76 o 8 0.60/0.77 o 9 0.60/0.77 o 10 0.60/0.78 o 11 0.60/0.78 o 12 0.70/0.88 o 14 0.70/0.88 o 15 0.70/0.88 o 16 0.70/0.89 o 20 0.70/0.89 o 21 0.70/0.89 o 22 0.80/1.00 o 25 0.80/1.00 o 26 0.80/1.00 o 27 0.90/1.01 o 28 0.90/1.01 o 30 0.90/1.01 o 31 0.90/1.02 o 32 1.01/1.12 o 35 1.01/1.12 o 36 1.01/1.12 o 37 1.01/1.12 o 42 1.01/1.13 o 45 1.01/1.14 o 46 1.01/1.14 o 47 1.01/1.16 o 48 1.01/1.17 o 49 1.70/1.85 o 50 1.79/1.92 o 51 1.79/1.92 o 52 1.79/1.92 o 53 1.79/1.92 o 54 1.79/1.92 o 55 1.79/1.92 o 56 1.79/1.92 o 57 1.90/2.01 o 58 1.90/2.02 o 61 1.90/2.02 o 62 1.90/2.02 o 63 1.90/2.02 o 64 2.00/2.12 o 65 2.00/2.13 o 67 2.69/2.87 o 68 2.90/3.03 o 69 2.90/3.08 o 70 3.00/3.13 o 71 3.29/3.49 o 72 3.29/3.49 o 74 3.29/3.49 o 75 3.39/3.50 o 76 3.39/3.52 o 78 3.39/3.52 o 79 3.39/3.54 o 80 3.39/3.58 o 81 3.39/3.60 o 82 4.30/4.46 o 85 4.30/4.48 o 86 4.40/4.50 o 87 4.60/4.72 o 88 4.60/4.75 o 89 4.60/4.80 o 90 4.70/4.90 o 94 4.90/5.08 o 105 5.01/5.19 o 107 5.01/5.19 o 108 5.01/5.19 o 109 5.50/5.69 o 115 5.60/5.73 o 116 5.70/5.82 o 117 5.70/5.85 o 119 5.70/5.87 o 120 5.80/5.90 o 121 6.40/6.55 o 133 6.40/6.56 o 134 6.40/6.56 o 135 6.40/6.56 o 136 6.50/6.61 o 137 6.50/6.61 o 138 6.50/6.65 o 139 6.50/6.65 o 140 6.59/6.76 o 141 6.79/6.91 o 142 7.49/7.62 o 147 7.49/7.65 o 148 7.49/7.65 o 149 7.59/7.76 o 150 7.59/7.76 o 151 7.59/7.78 o 152 7.59/7.78 o 153 8.09/8.27 o 154 8.29/8.49 o 155 8.39/8.51 o 156 8.59/8.71 o 157 8.69/8.86 o 158 9.00/9.17 o 174 9.00/9.17 o 175 9.19/9.30 o 176 9.19/9.31 o 178 9.19/9.31 o 179 9.19/9.31 o 180 9.19/9.32 o 181 9.19/9.32 o 182 9.90/10.05 o 187 10.49/10.69 o 188 10.49/10.69 o 190 10.49/10.70 o 191 10.59/10.70 o 192 10.69/10.88 o 193 11.19/11.32 o 194 11.19/11.36 o 195 11.39/11.55 o 196 11.39/11.57 o 197 11.79/11.98 o 203 11.90/12.01 o 205 11.90/12.04 o 206 12.79/12.91 o 207 13.39/13.54 o 232 15.09/15.28 o 236 15.19/15.39 o 237 15.39/15.53 o 239 15.49/15.63 o 240 15.49/15.66 o 241 15.59/15.70 o 242 16.00/16.12 o 243 16.09/16.29 o 244 16.29/16.42 o 245 16.29/16.45 o 246 17.69/17.82 o 247 17.69/17.83 o 248 17.69/17.83 o 249 17.69/17.84 o 250 17.69/17.85 o 251 18.00/18.15 o 252 18.00/18.17 o 253 18.09/18.29 o 254 18.09/18.29 o 255 18.19/18.30 o 256 18.19/18.30 o 257 18.19/18.31 o 258 18.19/18.31 o 259 18.19/18.33 o 260 18.19/18.37 o 261 18.79/18.92 o 263 19.99/20.17 o 265 19.99/20.18 o 266 20.19/20.38 o 267 20.39/20.51 o 268 20.39/20.52 o 269 20.39/20.52 o 270 20.39/20.52 o 271 20.59/20.77 o 272 20.59/20.79 o 273 22.09/22.28 o 274 22.19/22.33 o 275 22.29/22.44 o 276 22.79/22.99 o 278 23.68/23.82 o 289 23.68/23.84 o 290 23.68/23.85 o 291 24.59/24.77 o 295 24.59/24.78 o 296 24.59/24.80 o 302 25.48/25.62 o 305 27.08/27.25 o 306 27.08/27.25 o 308 27.08/27.26 o 309 27.08/27.27 o 310 28.48/28.61 o 311 28.58/28.78 o 312 28.58/28.78 o 313 28.58/28.78 o 314 28.58/28.78 o 315 28.89/29.09 o 316 29.08/29.21 o 317 30.68/30.89 o 318 30.99/31.12 o 319 31.08/31.21 o 320 31.08/31.22 o 321 33.48/33.66 o 322 34.18/34.36 o 323 34.48/34.61 o 324 35.08/35.27 o 325 35.18/35.32 o 326 35.89/36.08 o 329 35.99/36.12 o 330 37.18/37.33 o 333 37.68/37.80 o 334 38.18/38.30 o 346 38.18/38.30 o 347 38.58/38.75 o 348 39.58/39.72 o 351 40.18/40.32 o 352 41.08/41.26 o 354 41.18/41.38 o 355 41.28/41.42 o 356 44.78/44.97 o 357 45.27/45.42 o 358 47.17/47.31 o 359 47.47/47.61 o 361 47.98/48.17 o 362 48.68/48.81 o 365 48.68/48.83 o 366 49.48/49.63 o 367 51.58/51.70 o 368 51.68/51.88 o 369 51.68/51.88 o 370 53.18/53.30 o 371 55.08/55.20 o 372 55.89/56.03 o 374 57.37/57.53 o 376 57.47/57.68 o 377 57.67/57.85 o 378 58.57/58.75 o 380 67.88/68.10 o 381 70.57/70.72 o 382 73.37/73.56 o 383 73.37/73.56 o 384 73.47/73.60 o 385 73.47/73.60 o 386 73.47/73.61 o 387 73.47/73.61 o 388 76.37/76.57 o 389 77.16/77.33 o 390 79.66/79.83 o 391 89.16/89.32 o 392 90.26/90.45 o 394 91.26/91.44 o 395 91.76/91.97 o 396 92.56/92.72 o 397 96.16/96.35 o 398 120.05/120.24 o 399 120.75/120.94 o 400 129.44/129.61 o 401 131.74/131.91 o 402 149.85/150.10 o 403 166.96/167.11 o 404 178.05/178.26 o 406 196.15/196.33 o 407 196.45/196.69 o 408 202.25/202.43 o 409 204.75/204.98 o 410 214.86/215.05 o 411 214.86/215.10 o 412 216.86/217.01 o 413 251.86/252.00 s SATISFIABLE 251.86/252.00 v <instantiation type="solution"> 251.86/252.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[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][28] w[0][29] w[0][30] 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[1][28] w[1][29] w[1][30] 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[2][28] w[2][29] w[2][30] 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[3][28] w[3][29] w[3][30] 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[4][28] w[4][29] w[4][30] 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[5][28] w[5][29] w[5][30] 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[6][28] w[6][29] w[6][30] 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[7][28] w[7][29] w[7][30] 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[8][28] w[8][29] w[8][30] 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[9][28] w[9][29] w[9][30] 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[10][28] w[10][29] w[10][30] 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[11][28] w[11][29] w[11][30] 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[12][28] w[12][29] w[12][30] 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[13][28] w[13][29] w[13][30] 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[14][28] w[14][29] w[14][30] 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[15][28] w[15][29] w[15][30] 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[16][28] w[16][29] w[16][30] 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[17][28] w[17][29] w[17][30] 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[18][28] w[18][29] w[18][30] 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[19][28] w[19][29] w[19][30] 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[20][28] w[20][29] w[20][30] 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[21][28] w[21][29] w[21][30] 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[22][28] w[22][29] w[22][30] 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[23][28] w[23][29] w[23][30] 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[24][28] w[24][29] w[24][30] 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[25][28] w[25][29] w[25][30] 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[26][28] w[26][29] w[26][30] 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] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[28] ws[29] ws[30] z </list> 251.86/252.01 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 2 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 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 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 2 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 2 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 1 1 1 2 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 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 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 1 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 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 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 1 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 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 12 19 24 31 36 41 46 56 62 64 67 71 78 85 90 95 98 101 106 111 114 118 120 120 124 126 127 131 131 133 146 413 </values> 251.86/252.01 v </instantiation>
OK 413
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14980 MiB free) memory of node 1: 16384 MiB (15378 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259317-1502645410/watcher-4259317-1502645410 -o /tmp/evaluation-result-4259317-1502645410/solver-4259317-1502645410 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1284387830 HOME/instance-4259317-1502645410.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1686, runsolver pid=1679 [startup+0.111546 s]* /proc/loadavg: 2.34 2.16 2.11 3/181 1687 /proc/meminfo: memFree=31083888/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=40024 memory=14392 CPUtime=0.01 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 3802 0 0 0 1 0 0 0 20 0 1 0 66761697 40984576 3598 18446744073709551615 4194304 7396336 140720694676240 140720694667624 5880282 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 10006 3598 641 782 0 3022 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 40024 KiB Current children cumulated memory: 14392 KiB [startup+0.209176 s]* /proc/loadavg: 2.34 2.16 2.11 4/181 1687 /proc/meminfo: memFree=30985548/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=95432 memory=69832 CPUtime=0.1 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 17648 0 0 0 8 2 0 0 20 0 1 0 66761697 97722368 17458 18446744073709551615 4194304 7396336 140720694676240 140720694667624 140182112533477 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 23858 17458 646 782 0 16874 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 95432 KiB Current children cumulated memory: 69832 KiB [startup+0.309103 s]* /proc/loadavg: 2.34 2.16 2.11 4/181 1687 /proc/meminfo: memFree=30829556/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=172772 memory=147184 CPUtime=0.2 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 36997 0 0 0 15 5 0 0 20 0 1 0 66761697 176918528 36796 18446744073709551615 4194304 7396336 140720694676240 140720694667624 140182112533477 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 43193 36796 646 782 0 36209 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 172772 KiB Current children cumulated memory: 147184 KiB [startup+0.700243 s] /proc/loadavg: 2.34 2.16 2.11 4/181 1687 /proc/meminfo: memFree=30611564/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=229928 memory=204764 CPUtime=0.6 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 51465 0 0 0 52 8 0 0 20 0 1 0 66761697 235446272 51191 18446744073709551615 4194304 7396336 140720694676240 140720694667624 5165842 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 57482 51191 782 782 0 50498 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 229928 KiB Current children cumulated memory: 204764 KiB [startup+1.50051 s] /proc/loadavg: 2.34 2.16 2.11 4/181 1687 /proc/meminfo: memFree=30463368/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=232708 memory=207748 CPUtime=1.4 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 52284 0 0 0 132 8 0 0 20 0 1 0 66761697 238292992 51937 18446744073709551615 4194304 7396336 140720694676240 140720694670776 4252905 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58177 51937 791 782 0 51193 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 232708 KiB Current children cumulated memory: 207748 KiB [startup+3.10905 s] /proc/loadavg: 2.31 2.16 2.11 5/181 1687 /proc/meminfo: memFree=30451820/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=233508 memory=208572 CPUtime=3 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 83845 0 0 0 291 9 0 0 20 0 1 0 66761697 239112192 52143 18446744073709551615 4194304 7396336 140720694676240 140720694670776 4320593 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58377 52143 791 782 0 51393 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 233508 KiB Current children cumulated memory: 208572 KiB [startup+6.30049 s] /proc/loadavg: 2.31 2.16 2.11 4/181 1687 /proc/meminfo: memFree=30450012/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=233944 memory=209076 CPUtime=6.2 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 115964 0 0 0 609 11 0 0 20 0 1 0 66761697 239558656 52269 18446744073709551615 4194304 7396336 140720694676240 140720694671256 4406471 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58486 52269 791 782 0 51502 0 Current children cumulated CPU time: 6.2 s Current children cumulated vsize: 233944 KiB Current children cumulated memory: 209076 KiB [startup+12.7005 s] /proc/loadavg: 2.27 2.15 2.11 4/181 1688 /proc/meminfo: memFree=30447272/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234340 memory=209360 CPUtime=12.59 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 147176 0 0 0 1247 12 0 0 20 0 1 0 66761697 239964160 52340 18446744073709551615 4194304 7396336 140720694676240 140720694671256 4249751 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58585 52340 791 782 0 51601 0 Current children cumulated CPU time: 12.59 s Current children cumulated vsize: 234340 KiB Current children cumulated memory: 209360 KiB [startup+25.5005 s] /proc/loadavg: 2.22 2.15 2.11 4/181 1688 /proc/meminfo: memFree=30446024/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234472 memory=209568 CPUtime=25.39 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 206244 0 0 0 2524 15 0 0 20 0 1 0 66761697 240099328 52392 18446744073709551615 4194304 7396336 140720694676240 140720694671256 5165796 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58618 52392 791 782 0 51634 0 Current children cumulated CPU time: 25.39 s Current children cumulated vsize: 234472 KiB Current children cumulated memory: 209568 KiB [startup+51.1091 s] /proc/loadavg: 2.15 2.13 2.11 4/181 1688 /proc/meminfo: memFree=30444488/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234472 memory=209628 CPUtime=50.99 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 229704 0 0 0 5082 17 0 0 20 0 1 0 66761697 240099328 52407 18446744073709551615 4194304 7396336 140720694676240 140720694671256 5165848 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58618 52407 791 782 0 51634 0 Current children cumulated CPU time: 50.99 s Current children cumulated vsize: 234472 KiB Current children cumulated memory: 209628 KiB [startup+102.301 s] /proc/loadavg: 2.06 2.11 2.10 4/181 1690 /proc/meminfo: memFree=30444056/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234604 memory=209684 CPUtime=102.15 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 244818 0 0 0 10198 17 0 0 20 0 1 0 66761697 240234496 52421 18446744073709551615 4194304 7396336 140720694676240 140720694671256 4407456 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58651 52421 791 782 0 51667 0 Current children cumulated CPU time: 102.15 s Current children cumulated vsize: 234604 KiB Current children cumulated memory: 209684 KiB [startup+162.301 s] /proc/loadavg: 2.02 2.09 2.10 4/181 1692 /proc/meminfo: memFree=30442732/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234736 memory=209804 CPUtime=162.15 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 246483 0 0 0 16198 17 0 0 20 0 1 0 66761697 240369664 52451 18446744073709551615 4194304 7396336 140720694676240 140720694671256 4257799 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58684 52451 791 782 0 51700 0 Current children cumulated CPU time: 162.15 s Current children cumulated vsize: 234736 KiB Current children cumulated memory: 209804 KiB [startup+222.301 s] /proc/loadavg: 2.01 2.07 2.09 4/181 1694 /proc/meminfo: memFree=30442728/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234736 memory=209812 CPUtime=222.15 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 247056 0 0 0 22198 17 0 0 20 0 1 0 66761697 240369664 52453 18446744073709551615 4194304 7396336 140720694676240 140720694671256 5792030 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58684 52453 791 782 0 51700 0 Current children cumulated CPU time: 222.15 s Current children cumulated vsize: 234736 KiB Current children cumulated memory: 209812 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.13 2.10 2.10 4/184 1710 /proc/meminfo: memFree=30438868/32770624 swapFree=67108860/67108860 [pid=1686] ppid=1679 vsize=234736 memory=209812 CPUtime=251.86 cores=0,2,4,6 /proc/1686/stat : 1686 (MistralXCSP) R 1679 1686 897 0 -1 4202496 247056 0 0 0 25169 17 0 0 20 0 1 0 66761697 240369664 52453 18446744073709551615 4194304 7396336 140720694676240 140720694671256 5792016 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 26419200 140720694682002 140720694682152 140720694682152 140720694685641 0 /proc/1686/statm: 58684 52453 791 782 0 51700 0 Current children cumulated CPU time: 251.86 s Current children cumulated vsize: 234736 KiB Current children cumulated memory: 209812 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.011 s] # the end of solver process 1686 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.701 s, system=0.175012 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.011 CPU time (s): 251.876 CPU user time (s): 251.701 CPU system time (s): 0.175012 CPU usage (%): 99.9462 Max. virtual memory (cumulated for all children) (KiB): 234736 Max. memory (cumulated for all children) (KiB): 209812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.701 system time used= 0.175012 maximum resident set size= 209840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247082 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= 102 involuntary context switches= 135 # summary of solver processes directly reported to runsolver: # pid: 1686 # total CPU time (s): 251.876 # total CPU user time (s): 251.701 # total CPU system time (s): 0.175012 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.08753 second user time and 1.76531 second system time The end
Begin job on node125 at 2017-08-13 19:16:04 IDJOB=4259317 IDBENCH=115913 IDSOLVER=2645 FILE ID=node125/4259317-1502645410 RUNJOBID= node125-1502644564-1656 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.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-4259317-1502645410/watcher-4259317-1502645410 -o /tmp/evaluation-result-4259317-1502645410/solver-4259317-1502645410 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502644564-1656 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1284387830 HOME/instance-4259317-1502645410.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=1284387830 node125.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.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31089528 kB MemAvailable: 31995628 kB Buffers: 286616 kB Cached: 914628 kB SwapCached: 0 kB Active: 670212 kB Inactive: 583532 kB Active(anon): 53040 kB Inactive(anon): 33100 kB Active(file): 617172 kB Inactive(file): 550432 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11672 kB Writeback: 0 kB AnonPages: 52860 kB Mapped: 47128 kB Shmem: 33444 kB Slab: 134736 kB SReclaimable: 108660 kB SUnreclaim: 26076 kB KernelStack: 3072 kB PageTables: 4832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 306724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node125 at 2017-08-13 19:20:16