Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Mistral-2.0 2017-06-28 | SAT (TO) | 515 | 2400.1 | 2401.1 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml |
| MD5SUM | 3de3ac871f1e1c584be6c245f66daf9e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 516 |
| Best CPU time to get the best result obtained on this benchmark | 2519.78 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2347 |
| Number of constraints | 1352 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 2313 |
| Distribution of domain sizes | [{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 35 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}] |
| Number of extensional constraints | 1152 |
| Number of intensional constraints | 161 |
| Distribution of constraint types | [{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral-2017-06-28 0.78/0.81 o 4 0.78/0.81 o 5 0.78/0.82 o 6 0.78/0.82 o 8 0.78/0.82 o 9 0.78/0.82 o 10 0.78/0.83 o 11 0.78/0.83 o 12 0.89/0.98 o 14 0.89/0.98 o 15 0.89/0.98 o 16 0.89/0.99 o 17 0.89/0.99 o 18 1.10/1.13 o 20 1.10/1.13 o 21 1.10/1.13 o 22 1.10/1.14 o 24 1.10/1.14 o 25 1.10/1.14 o 26 1.20/1.28 o 28 1.20/1.28 o 29 1.20/1.28 o 30 1.20/1.28 o 31 1.20/1.28 o 32 1.20/1.29 o 33 1.20/1.29 o 36 1.20/1.29 o 37 1.20/1.29 o 38 1.29/1.32 o 40 1.29/1.32 o 41 1.29/1.33 o 42 1.39/1.47 o 47 1.59/1.61 o 49 1.59/1.61 o 50 1.59/1.61 o 51 1.59/1.62 o 53 1.59/1.62 o 54 1.59/1.62 o 55 1.59/1.64 o 56 1.59/1.64 o 57 1.59/1.64 o 58 1.59/1.64 o 59 1.69/1.77 o 61 1.69/1.77 o 62 1.69/1.77 o 63 1.69/1.77 o 65 1.69/1.77 o 66 1.69/1.78 o 67 1.69/1.78 o 70 1.69/1.78 o 71 1.79/1.80 o 72 1.79/1.81 o 73 1.89/1.96 o 75 1.89/1.96 o 76 1.89/1.96 o 77 1.89/1.97 o 78 1.89/1.97 o 79 1.89/1.97 o 80 1.89/1.97 o 81 1.89/1.99 o 82 1.99/2.04 o 83 1.99/2.08 o 85 1.99/2.08 o 86 1.99/2.09 o 87 2.20/2.25 o 89 2.20/2.25 o 90 2.20/2.25 o 91 2.20/2.26 o 92 2.20/2.27 o 93 2.20/2.28 o 94 2.20/2.28 o 95 2.20/2.28 o 96 2.20/2.28 o 97 2.39/2.41 o 100 2.39/2.41 o 101 2.39/2.42 o 102 2.39/2.43 o 103 2.39/2.43 o 104 2.39/2.43 o 105 2.39/2.43 o 106 2.39/2.44 o 108 2.39/2.44 o 109 2.49/2.57 o 111 2.49/2.57 o 112 2.49/2.57 o 113 2.49/2.58 o 114 2.49/2.58 o 115 2.49/2.59 o 116 2.49/2.59 o 117 2.69/2.75 o 120 2.79/2.85 o 122 2.89/2.92 o 123 2.99/3.00 o 124 2.99/3.10 o 126 3.78/3.82 o 170 3.78/3.82 o 171 3.78/3.83 o 172 3.78/3.83 o 173 3.78/3.84 o 174 3.78/3.84 o 175 3.78/3.85 o 176 3.78/3.86 o 177 3.88/3.99 o 178 4.19/4.28 o 179 4.19/4.28 o 181 4.29/4.38 o 182 4.29/4.38 o 184 4.29/4.38 o 185 4.29/4.38 o 186 4.78/4.86 o 193 4.98/5.00 o 194 5.08/5.14 o 195 5.08/5.15 o 196 5.08/5.15 o 197 5.08/5.15 o 198 5.59/5.69 o 199 5.68/5.72 o 200 5.78/5.80 o 207 5.78/5.81 o 208 5.78/5.81 o 209 7.08/7.12 o 213 7.08/7.13 o 214 7.08/7.13 o 215 7.18/7.29 o 216 7.18/7.29 o 217 7.18/7.29 o 218 7.28/7.31 o 219 7.38/7.46 o 220 7.38/7.47 o 221 7.49/7.56 o 222 8.18/8.20 o 223 8.18/8.27 o 224 8.18/8.27 o 225 8.28/8.36 o 226 8.28/8.38 o 227 8.38/8.41 o 228 9.38/9.48 o 229 9.89/9.93 o 230 10.08/10.18 o 231 10.38/10.45 o 240 10.58/10.69 o 241 10.68/10.74 o 242 10.68/10.78 o 243 11.68/11.73 o 246 11.68/11.74 o 247 11.98/12.07 o 248 11.98/12.07 o 249 12.78/12.84 o 250 12.88/12.97 o 251 13.48/13.54 o 256 13.78/13.84 o 257 15.28/15.35 o 264 15.49/15.59 o 270 15.58/15.62 o 271 16.28/16.36 o 272 16.59/16.61 o 273 16.98/17.01 o 274 17.08/17.19 o 275 17.88/17.92 o 300 17.88/17.99 o 301 18.08/18.12 o 302 18.08/18.13 o 303 18.08/18.14 o 304 18.08/18.16 o 305 18.08/18.18 o 306 18.18/18.22 o 307 18.18/18.24 o 308 18.18/18.25 o 309 18.48/18.54 o 310 18.88/18.93 o 316 18.88/18.93 o 317 18.88/18.98 o 318 19.58/19.62 o 319 19.68/19.77 o 320 20.08/20.16 o 321 20.48/20.50 o 323 21.38/21.45 o 325 23.48/23.50 o 327 23.48/23.51 o 328 24.48/24.52 o 329 24.48/24.54 o 330 26.88/26.96 o 331 27.08/27.13 o 332 27.38/27.46 o 333 27.68/27.78 o 344 27.78/27.80 o 345 29.48/29.52 o 350 29.98/30.02 o 351 30.48/30.54 o 354 31.58/31.70 o 357 31.68/31.78 o 358 31.68/31.79 o 359 32.99/33.06 o 361 32.99/33.06 o 362 32.99/33.07 o 363 32.99/33.08 o 364 32.99/33.08 o 365 33.88/33.95 o 366 33.98/34.09 o 367 34.19/34.23 o 368 35.19/35.22 o 369 35.29/35.33 o 370 35.38/35.45 o 371 36.29/36.36 o 372 39.97/40.03 o 373 41.78/41.82 o 374 41.78/41.84 o 375 47.78/47.87 o 379 51.47/51.57 o 380 52.67/52.72 o 390 52.77/52.83 o 393 52.97/53.00 o 394 52.97/53.00 o 395 53.87/53.92 o 396 53.87/53.94 o 397 53.97/54.05 o 398 56.27/56.38 o 403 58.17/58.26 o 404 58.17/58.28 o 405 61.37/61.46 o 406 62.47/62.51 o 407 66.06/66.17 o 408 66.76/66.86 o 409 69.27/69.32 o 414 70.26/70.31 o 460 77.25/77.34 o 461 77.25/77.38 o 462 77.35/77.40 o 463 77.35/77.44 o 464 78.35/78.46 o 465 79.35/79.44 o 466 80.55/80.69 o 467 85.14/85.25 o 477 87.84/87.98 o 480 89.34/89.41 o 481 89.34/89.45 o 482 89.34/89.50 o 483 101.93/102.03 o 484 103.22/103.30 o 485 122.61/122.73 o 489 137.59/137.75 o 490 157.97/158.13 o 491 236.33/236.59 o 497 251.01/251.24 o 498 251.72/251.91 o 499 261.91/262.11 o 500 265.61/265.88 o 501 362.97/363.27 o 502 404.05/404.37 o 503 470.73/471.00 o 504 470.73/471.01 o 505 471.43/471.75 o 506 471.93/472.27 o 507 493.62/493.93 o 508 539.00/539.32 o 509 574.19/574.54 o 510 598.57/598.94 o 511 675.24/675.68 o 512 724.53/724.98 o 513 769.41/769.80 o 514 1782.22/1783.06 o 515 2400.09/2401.10 s SATISFIABLE 2400.09/2401.10 v <instantiation type="solution"> 2400.09/2401.10 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[0][31] x[0][32] x[0][33] 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[1][31] x[1][32] x[1][33] 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[2][31] x[2][32] x[2][33] 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[3][31] x[3][32] x[3][33] 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[4][31] x[4][32] x[4][33] 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[5][31] x[5][32] x[5][33] 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[6][31] x[6][32] x[6][33] 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[7][31] x[7][32] x[7][33] 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[8][31] x[8][32] x[8][33] 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[9][31] x[9][32] x[9][33] 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[10][31] x[10][32] x[10][33] 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[11][31] x[11][32] x[11][33] 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[12][31] x[12][32] x[12][33] 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[13][31] x[13][32] x[13][33] 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[14][31] x[14][32] x[14][33] 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[15][31] x[15][32] x[15][33] 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[16][31] x[16][32] x[16][33] 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[17][31] x[17][32] x[17][33] 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[18][31] x[18][32] x[18][33] 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[19][31] x[19][32] x[19][33] 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[20][31] x[20][32] x[20][33] 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[21][31] x[21][32] x[21][33] 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[22][31] x[22][32] x[22][33] 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[23][31] x[23][32] x[23][33] 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[24][31] x[24][32] x[24][33] 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[25][31] x[25][32] x[25][33] 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[26][31] x[26][32] x[26][33] 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[27][31] x[27][32] x[27][33] 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[28][31] x[28][32] x[28][33] 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[29][31] x[29][32] x[29][33] 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] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[0][31] w[0][32] w[0][33] 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[1][31] w[1][32] w[1][33] 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[2][31] w[2][32] w[2][33] 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[3][31] w[3][32] w[3][33] 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[4][31] w[4][32] w[4][33] 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[5][31] w[5][32] w[5][33] 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[6][31] w[6][32] w[6][33] 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[7][31] w[7][32] w[7][33] 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[8][31] w[8][32] w[8][33] 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[9][31] w[9][32] w[9][33] 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[10][31] w[10][32] w[10][33] 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[11][31] w[11][32] w[11][33] 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[12][31] w[12][32] w[12][33] 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[13][31] w[13][32] w[13][33] 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[14][31] w[14][32] w[14][33] 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[15][31] w[15][32] w[15][33] 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[16][31] w[16][32] w[16][33] 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[17][31] w[17][32] w[17][33] 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[18][31] w[18][32] w[18][33] 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[19][31] w[19][32] w[19][33] 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[20][31] w[20][32] w[20][33] 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[21][31] w[21][32] w[21][33] 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[22][31] w[22][32] w[22][33] 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[23][31] w[23][32] w[23][33] 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[24][31] w[24][32] w[24][33] 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[25][31] w[25][32] w[25][33] 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[26][31] w[26][32] w[26][33] 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[27][31] w[27][32] w[27][33] 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[28][31] w[28][32] w[28][33] 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[29][31] w[29][32] w[29][33] 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] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] 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] ws[31] ws[32] ws[33] z </list> 2400.09/2401.10 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 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 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 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 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 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 1 0 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 1 0 0 1 0 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 0 1 1 1 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 0 0 0 0 0 2 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 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 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 0 0 0 0 1 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 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 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 16 17 19 26 32 38 45 47 48 52 54 55 58 60 62 64 64 65 67 70 72 72 73 76 77 79 84 89 91 91 94 95 102 116 515 </values> 2400.09/2401.10 v </instantiation>
OK 515
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-4239988-1500638026/watcher-4239988-1500638026 -o /tmp/evaluation-result-4239988-1500638026/solver-4239988-1500638026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500623787-4640 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 363423679 HOME/instance-4239988-1500638026.xml pid=6354 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6357 /proc/meminfo: memFree=31446616/32770624 swapFree=6256/335640 [pid=6357] ppid=6354 vsize=28800 CPUtime=0 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 933 0 0 0 0 0 0 0 20 0 1 0 17081559 29491200 765 33554432000 4194304 7402444 140737183678672 140737183677864 140689283113964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 7200 765 593 784 0 214 0 [startup+0.100117 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6357 /proc/meminfo: memFree=31446616/32770624 swapFree=6256/335640 [pid=6357] ppid=6354 vsize=46876 CPUtime=0.08 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 5551 0 0 0 8 0 0 0 20 0 1 0 17081559 48001024 5278 33554432000 4194304 7402444 140737183678672 140737183671912 140689282653157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 11719 5278 663 784 0 4733 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 46876 [startup+0.200374 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6357 /proc/meminfo: memFree=31446616/32770624 swapFree=6256/335640 [pid=6357] ppid=6354 vsize=114296 CPUtime=0.19 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 22387 0 0 0 16 3 0 0 20 0 1 0 17081559 117039104 22174 33554432000 4194304 7402444 140737183678672 140737183669752 140689282701216 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 28574 22174 663 784 0 21588 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 114296 [startup+0.300305 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6357 /proc/meminfo: memFree=31446616/32770624 swapFree=6256/335640 [pid=6357] ppid=6354 vsize=193736 CPUtime=0.29 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 42294 0 0 0 24 5 0 0 20 0 1 0 17081559 198385664 42040 33554432000 4194304 7402444 140737183678672 140737183670184 140689282653157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 48467 42040 663 784 0 41481 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 193736 [startup+0.700185 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6357 /proc/meminfo: memFree=31446616/32770624 swapFree=6256/335640 [pid=6357] ppid=6354 vsize=274056 CPUtime=0.68 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 62457 0 0 0 61 7 0 0 20 0 1 0 17081559 280633344 62236 33554432000 4194304 7402444 140737183678672 140737183673208 4484665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 68514 62236 779 784 0 61528 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 274056 [startup+1.50027 s] /proc/loadavg: 2.04 2.04 2.05 3/188 6358 /proc/meminfo: memFree=31197688/32770624 swapFree=6256/335648 [pid=6357] ppid=6354 vsize=276932 CPUtime=1.49 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 63332 0 0 0 141 8 0 0 20 0 1 0 17081559 283578368 62963 33554432000 4194304 7402444 140737183678672 140737183673688 4484551 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69233 62963 792 784 0 62247 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 276932 [startup+3.10028 s] /proc/loadavg: 2.04 2.04 2.05 3/188 6358 /proc/meminfo: memFree=31196348/32770624 swapFree=6256/335660 [pid=6357] ppid=6354 vsize=277856 CPUtime=3.09 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 100683 0 0 0 299 10 0 0 20 0 1 0 17081559 284524544 63203 33554432000 4194304 7402444 140737183678672 140737183673688 140689283091552 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69464 63203 793 784 0 62478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 277856 [startup+6.30027 s] /proc/loadavg: 2.04 2.04 2.05 3/188 6358 /proc/meminfo: memFree=31195968/32770624 swapFree=6256/335664 [pid=6357] ppid=6354 vsize=278516 CPUtime=6.28 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 140853 0 0 0 616 12 0 0 20 0 1 0 17081559 285200384 63375 33554432000 4194304 7402444 140737183678672 140737183673208 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69629 63375 794 784 0 62643 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 278516 [startup+12.7002 s] /proc/loadavg: 2.03 2.04 2.05 3/188 6358 /proc/meminfo: memFree=31195348/32770624 swapFree=6256/335680 [pid=6357] ppid=6354 vsize=278928 CPUtime=12.68 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 180141 0 0 0 1254 14 0 0 20 0 1 0 17081559 285622272 63495 33554432000 4194304 7402444 140737183678672 140737183673688 5753930 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69732 63495 794 784 0 62746 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 278928 [startup+25.5004 s] /proc/loadavg: 2.03 2.04 2.05 3/188 6358 /proc/meminfo: memFree=31195464/32770624 swapFree=6256/335696 [pid=6357] ppid=6354 vsize=279192 CPUtime=25.48 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 258047 0 0 0 2530 18 0 0 20 0 1 0 17081559 285892608 63566 33554432000 4194304 7402444 140737183678672 140737183673688 4747091 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69798 63566 794 784 0 62812 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 279192 [startup+51.1003 s] /proc/loadavg: 2.02 2.04 2.05 3/188 6358 /proc/meminfo: memFree=31195396/32770624 swapFree=6256/335724 [pid=6357] ppid=6354 vsize=279456 CPUtime=51.07 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 298066 0 0 0 5087 20 0 0 20 0 1 0 17081559 286162944 63633 33554432000 4194304 7402444 140737183678672 140737183673688 4747059 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69864 63633 794 784 0 62878 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 279456 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6360 /proc/meminfo: memFree=31194052/32770624 swapFree=6256/335800 [pid=6357] ppid=6354 vsize=279596 CPUtime=102.23 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 334754 0 0 0 10201 22 0 0 20 0 1 0 17081559 286306304 63665 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69899 63665 794 784 0 62913 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 279596 [startup+162.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6361 /proc/meminfo: memFree=31194180/32770624 swapFree=6256/335840 [pid=6357] ppid=6354 vsize=279596 CPUtime=162.17 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 357879 0 0 0 16194 23 0 0 20 0 1 0 17081559 286306304 63670 33554432000 4194304 7402444 140737183678672 140737183673688 5818410 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69899 63670 794 784 0 62913 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 279596 [startup+222.306 s] /proc/loadavg: 1.96 2.01 2.04 3/187 6424 /proc/meminfo: memFree=31233100/32770624 swapFree=6256/335924 [pid=6357] ppid=6354 vsize=279728 CPUtime=222.13 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 361636 0 0 0 22190 23 0 0 20 0 1 0 17081559 286441472 63685 33554432000 4194304 7402444 140737183678672 140737183673208 4748081 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69932 63685 794 784 0 62946 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 279728 [startup+282.3 s] /proc/loadavg: 2.03 2.02 2.05 3/187 6426 /proc/meminfo: memFree=31233988/32770624 swapFree=6256/335984 [pid=6357] ppid=6354 vsize=279728 CPUtime=282.1 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 362537 0 0 0 28187 23 0 0 20 0 1 0 17081559 286441472 63698 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69932 63698 794 784 0 62946 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 279728 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 6427 /proc/meminfo: memFree=31233744/32770624 swapFree=6256/336016 [pid=6357] ppid=6354 vsize=279728 CPUtime=342.08 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 363409 0 0 0 34185 23 0 0 20 0 1 0 17081559 286441472 63700 33554432000 4194304 7402444 140737183678672 140737183673688 4465322 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69932 63700 794 784 0 62946 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 279728 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6435 /proc/meminfo: memFree=31232808/32770624 swapFree=6256/336052 [pid=6357] ppid=6354 vsize=279728 CPUtime=402.05 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 364305 0 0 0 40182 23 0 0 20 0 1 0 17081559 286441472 63702 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69932 63702 794 784 0 62946 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 279728 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6458 /proc/meminfo: memFree=31232664/32770624 swapFree=6256/336080 [pid=6357] ppid=6354 vsize=279728 CPUtime=462.03 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 365202 0 0 0 46180 23 0 0 20 0 1 0 17081559 286441472 63718 33554432000 4194304 7402444 140737183678672 140737183673688 5695888 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69932 63718 794 784 0 62946 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 279728 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6459 /proc/meminfo: memFree=31232912/32770624 swapFree=6256/336120 [pid=6357] ppid=6354 vsize=279860 CPUtime=522.01 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 366083 0 0 0 52178 23 0 0 20 0 1 0 17081559 286576640 63720 33554432000 4194304 7402444 140737183678672 140737183673688 5877651 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63720 794 784 0 62979 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 279860 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6460 /proc/meminfo: memFree=31232680/32770624 swapFree=6256/336156 [pid=6357] ppid=6354 vsize=279860 CPUtime=581.98 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 366986 0 0 0 58175 23 0 0 20 0 1 0 17081559 286576640 63722 33554432000 4194304 7402444 140737183678672 140737183673688 4484571 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63722 794 784 0 62979 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 279860 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.05 3/187 6483 /proc/meminfo: memFree=31233092/32770624 swapFree=6256/336580 [pid=6357] ppid=6354 vsize=279860 CPUtime=1541.62 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 381167 0 0 0 154138 24 0 0 20 0 1 0 17081559 286576640 63737 33554432000 4194304 7402444 140737183678672 140737183673688 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63737 794 784 0 62979 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 279860 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6491 /proc/meminfo: memFree=31232348/32770624 swapFree=6256/336604 [pid=6357] ppid=6354 vsize=279860 CPUtime=1601.59 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 382049 0 0 0 160135 24 0 0 20 0 1 0 17081559 286576640 63738 33554432000 4194304 7402444 140737183678672 140737183673688 5696137 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63738 794 784 0 62979 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 279860 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6492 /proc/meminfo: memFree=31232584/32770624 swapFree=6256/336632 [pid=6357] ppid=6354 vsize=279860 CPUtime=1661.57 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 382943 0 0 0 166133 24 0 0 20 0 1 0 17081559 286576640 63738 33554432000 4194304 7402444 140737183678672 140737183673688 4484520 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63738 794 784 0 62979 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 279860 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6493 /proc/meminfo: memFree=31232468/32770624 swapFree=6256/336648 [pid=6357] ppid=6354 vsize=279860 CPUtime=1721.55 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 383855 0 0 0 172131 24 0 0 20 0 1 0 17081559 286576640 63738 33554432000 4194304 7402444 140737183678672 140737183673688 4484798 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63738 794 784 0 62979 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 279860 [startup+1782.3 s] /proc/loadavg: 2.09 2.04 2.05 3/187 6494 /proc/meminfo: memFree=31232716/32770624 swapFree=6256/336676 [pid=6357] ppid=6354 vsize=279860 CPUtime=1781.52 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 384781 0 0 0 178128 24 0 0 20 0 1 0 17081559 286576640 63738 33554432000 4194304 7402444 140737183678672 140737183673688 4484480 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63738 794 784 0 62979 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 279860 [startup+1842.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 6495 /proc/meminfo: memFree=31233060/32770624 swapFree=6256/336700 [pid=6357] ppid=6354 vsize=279860 CPUtime=1841.5 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 385711 0 0 0 184126 24 0 0 20 0 1 0 17081559 286576640 63739 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63739 794 784 0 62979 0 Current children cumulated CPU time (s) 1841.5 Current children cumulated vsize (KiB) 279860 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6497 /proc/meminfo: memFree=31232820/32770624 swapFree=6256/336728 [pid=6357] ppid=6354 vsize=279860 CPUtime=1901.48 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 386624 0 0 0 190124 24 0 0 20 0 1 0 17081559 286576640 63739 33554432000 4194304 7402444 140737183678672 140737183673688 5747647 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63739 794 784 0 62979 0 Current children cumulated CPU time (s) 1901.48 Current children cumulated vsize (KiB) 279860 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6498 /proc/meminfo: memFree=31232836/32770624 swapFree=6256/336748 [pid=6357] ppid=6354 vsize=279860 CPUtime=1961.45 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 387535 0 0 0 196121 24 0 0 20 0 1 0 17081559 286576640 63739 33554432000 4194304 7402444 140737183678672 140737183673688 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63739 794 784 0 62979 0 Current children cumulated CPU time (s) 1961.45 Current children cumulated vsize (KiB) 279860 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6499 /proc/meminfo: memFree=31232612/32770624 swapFree=6256/336772 [pid=6357] ppid=6354 vsize=279860 CPUtime=2021.43 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 388467 0 0 0 202119 24 0 0 20 0 1 0 17081559 286576640 63739 33554432000 4194304 7402444 140737183678672 140737183673688 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63739 794 784 0 62979 0 Current children cumulated CPU time (s) 2021.43 Current children cumulated vsize (KiB) 279860 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6501 /proc/meminfo: memFree=31232272/32770624 swapFree=6256/336816 [pid=6357] ppid=6354 vsize=279860 CPUtime=2081.41 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 389350 0 0 0 208117 24 0 0 20 0 1 0 17081559 286576640 63739 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63739 794 784 0 62979 0 Current children cumulated CPU time (s) 2081.41 Current children cumulated vsize (KiB) 279860 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6502 /proc/meminfo: memFree=31232388/32770624 swapFree=6256/336840 [pid=6357] ppid=6354 vsize=279860 CPUtime=2141.39 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 390275 0 0 0 214114 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484279 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2141.39 Current children cumulated vsize (KiB) 279860 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6510 /proc/meminfo: memFree=31231800/32770624 swapFree=6256/336880 [pid=6357] ppid=6354 vsize=279860 CPUtime=2201.37 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 391185 0 0 0 220112 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2201.37 Current children cumulated vsize (KiB) 279860 [startup+2262.3 s] /proc/loadavg: 2.13 2.05 2.05 3/187 6511 /proc/meminfo: memFree=31232312/32770624 swapFree=6256/336900 [pid=6357] ppid=6354 vsize=279860 CPUtime=2261.34 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 392102 0 0 0 226109 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484790 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2261.34 Current children cumulated vsize (KiB) 279860 [startup+2322.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 6512 /proc/meminfo: memFree=31232048/32770624 swapFree=6256/336916 [pid=6357] ppid=6354 vsize=279860 CPUtime=2321.32 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 392903 0 0 0 232107 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2321.32 Current children cumulated vsize (KiB) 279860 [startup+2382.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 6513 /proc/meminfo: memFree=31232188/32770624 swapFree=6256/336952 [pid=6357] ppid=6354 vsize=279860 CPUtime=2381.29 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 393705 0 0 0 238104 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484555 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2381.29 Current children cumulated vsize (KiB) 279860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.1 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6513 /proc/meminfo: memFree=31232436/32770624 swapFree=6256/336964 [pid=6357] ppid=6354 vsize=279860 CPUtime=2400.09 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 394325 0 0 0 239984 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 279860 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 6357 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.1 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6513 /proc/meminfo: memFree=31232436/32770624 swapFree=6256/336964 [pid=6357] ppid=6354 vsize=279860 CPUtime=2400.09 cores=1,3,5,7 /proc/6357/stat : 6357 (MistralXCSP) R 6354 6357 4608 0 -1 4202496 394325 0 0 0 239984 25 0 0 20 0 1 0 17081559 286576640 63740 33554432000 4194304 7402444 140737183678672 140737183673688 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 27435008 140737183687849 140737183687998 140737183687998 140737183690697 0 /proc/6357/statm: 69965 63740 794 784 0 62979 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 279860 Child status: 0 Real time (s): 2401.1 CPU time (s): 2400.1 CPU user time (s): 2399.85 CPU system time (s): 0.255902 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 279860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.85 system time used= 0.255902 maximum resident set size= 254984 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 394408 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= 127 involuntary context switches= 120709 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.56001 second user time and 10.1122 second system time The end
Begin job on node119 at 2017-07-21 13:53:46 IDJOB=4239988 IDBENCH=115918 IDSOLVER=2622 FILE ID=node119/4239988-1500638026 RUNJOBID= node119-1500623787-4640 PBS_JOBID= 20623013 Free space on /tmp= 61884 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.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-4239988-1500638026/watcher-4239988-1500638026 -o /tmp/evaluation-result-4239988-1500638026/solver-4239988-1500638026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500623787-4640 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 363423679 HOME/instance-4239988-1500638026.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=363423679 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 1600.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: 31446880 kB MemAvailable: 31961568 kB Buffers: 160020 kB Cached: 633416 kB SwapCached: 0 kB Active: 553580 kB Inactive: 344424 kB Active(anon): 107588 kB Inactive(anon): 8784 kB Active(file): 445992 kB Inactive(file): 335640 kB Unevictable: 6256 kB Mlocked: 6256 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5836 kB Writeback: 0 kB AnonPages: 129440 kB Mapped: 34192 kB Shmem: 8852 kB Slab: 123180 kB SReclaimable: 97780 kB SUnreclaim: 25400 kB KernelStack: 3376 kB PageTables: 4948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 377664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61876 MiB End job on node119 at 2017-07-21 14:33:48