Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.1 | SAT (TO) | 151 | 252.021 | 252.011 |
| 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 | 491 |
| Best CPU time to get the best result obtained on this benchmark | 251.978 |
| 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.20/0.24 c best=?? lower=0 upper=1024 4.68/4.74 c 4.68/4.74 c This is cosoco 1.1 -- 4.68/4.74 c 4.68/4.74 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258821-1502637652.xml 4.68/4.74 c enable optimization 4.68/4.74 c ========================================[ Problem Statistics ]=========================================== 4.68/4.74 c | 4.68/4.74 c | Parse time : 0.24 s 4.68/4.74 c | 4.68/4.74 c | Variables: 2347 4.68/4.74 c | Domain Sizes: 2..2313 4.68/4.74 c | 4.68/4.74 c | Constraints: 1485 4.68/4.74 c | Arity: 1..36 -- Unary: 137 -- Binary: 162 -- Ternary: 128 4.68/4.74 c | 4.68/4.74 c | Types: 4.68/4.74 c | Extension: 1152 (nb tuples: 1..724) -- (shared: 1147) 4.68/4.74 c | Intension: 162 4.68/4.74 c | Sum: 35 4.68/4.74 c | Unary: 136 4.68/4.74 c | 4.68/4.74 c ========================================================================================================= 4.68/4.74 o 10 4.68/4.74 c 1 calls to solver: best=10 lower=11 upper=1024 5.09/5.13 o 11 6.89/6.90 o 21 6.89/6.90 c 3 calls to solver: best=21 lower=22 upper=1024 7.79/7.80 o 26 8.19/8.27 o 28 8.19/8.27 c 5 calls to solver: best=28 lower=29 upper=1024 8.59/8.65 o 40 9.49/9.51 o 45 9.49/9.51 c 7 calls to solver: best=45 lower=46 upper=1024 11.89/12.00 o 49 12.39/12.40 o 50 12.39/12.40 c 9 calls to solver: best=50 lower=51 upper=1024 13.10/13.14 o 54 14.89/14.96 o 56 14.89/14.96 c 11 calls to solver: best=56 lower=57 upper=1024 16.49/16.58 o 57 27.01/27.06 o 65 27.01/27.06 c 13 calls to solver: best=65 lower=66 upper=1024 28.90/28.97 o 66 30.10/30.14 o 104 30.10/30.14 c 15 calls to solver: best=104 lower=105 upper=1024 31.79/31.80 o 125 153.00/153.07 o 151 153.00/153.07 c 17 calls to solver: best=151 lower=152 upper=1024 252.01/252.00 252.01/252.00 c *** INTERRUPTED *** 252.01/252.00 c restarts : 58 252.01/252.00 c conflicts : 250991 (996 /sec) 252.01/252.00 c decisions : 2577492 (10230 /sec) 252.01/252.00 c propagations : 76307506 (302860 /sec) 252.01/252.00 c root propagations : 41136 252.01/252.00 c filter calls : 58285847 (231333 /sec) 252.01/252.00 c useless filter calls : 42908878 (73 %) 252.01/252.00 c Memory used : 93.01 MB 252.01/252.00 c CPU time : 251.956 s 252.01/252.00 252.01/252.00 c nb Solutions = 17 252.01/252.00 s SATISFIABLE 252.01/252.00 c Best value found: 151 252.01/252.00 252.01/252.00 252.01/252.00 v <instantiation type='solution' cost='151'> 252.01/252.00 v <list>w[0][0] 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][1] 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][2] w[0][30] w[0][31] w[0][32] w[0][33] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] 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][1] 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][2] w[10][30] w[10][31] w[10][32] w[10][33] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] 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][1] 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][2] w[11][30] w[11][31] w[11][32] w[11][33] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] 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][1] 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][2] w[12][30] w[12][31] w[12][32] w[12][33] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] 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][1] 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][2] w[13][30] w[13][31] w[13][32] w[13][33] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] 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][1] 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][2] w[14][30] w[14][31] w[14][32] w[14][33] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] 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][1] 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][2] w[15][30] w[15][31] w[15][32] w[15][33] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] 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][1] 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][2] w[16][30] w[16][31] w[16][32] w[16][33] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] 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][1] 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][2] w[17][30] w[17][31] w[17][32] w[17][33] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] 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][1] 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][2] w[18][30] w[18][31] w[18][32] w[18][33] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] 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][1] 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][2] w[19][30] w[19][31] w[19][32] w[19][33] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] 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][1] 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][2] w[1][30] w[1][31] w[1][32] w[1][33] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] 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][1] 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][2] w[20][30] w[20][31] w[20][32] w[20][33] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] 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][1] 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][2] w[21][30] w[21][31] w[21][32] w[21][33] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] 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][1] 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][2] w[22][30] w[22][31] w[22][32] w[22][33] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] 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][1] 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][2] w[23][30] w[23][31] w[23][32] w[23][33] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] 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][1] 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][2] w[24][30] w[24][31] w[24][32] w[24][33] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] 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][1] 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][2] w[25][30] w[25][31] w[25][32] w[25][33] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] 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][1] 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][2] w[26][30] w[26][31] w[26][32] w[26][33] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] 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][1] 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][2] w[27][30] w[27][31] w[27][32] w[27][33] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] 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][1] 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][2] w[28][30] w[28][31] w[28][32] w[28][33] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] 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][1] 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][2] w[29][30] w[29][31] w[29][32] w[29][33] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] 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][1] 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][2] w[2][30] w[2][31] w[2][32] w[2][33] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[30][0] 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][1] 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][2] w[30][30] w[30][31] w[30][32] w[30][33] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[31][0] 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][1] 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][2] w[31][30] w[31][31] w[31][32] w[31][33] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[32][0] 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][1] 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][2] w[32][30] w[32][31] w[32][32] w[32][33] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[33][0] 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][1] 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][2] w[33][30] w[33][31] w[33][32] w[33][33] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[3][0] 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][1] 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][2] w[3][30] w[3][31] w[3][32] w[3][33] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] 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][1] 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][2] w[4][30] w[4][31] w[4][32] w[4][33] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] 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][1] 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][2] w[5][30] w[5][31] w[5][32] w[5][33] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] 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][1] 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][2] w[6][30] w[6][31] w[6][32] w[6][33] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] 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][1] 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][2] w[7][30] w[7][31] w[7][32] w[7][33] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] 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][1] 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][2] w[8][30] w[8][31] w[8][32] w[8][33] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] 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][1] 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][2] w[9][30] w[9][31] w[9][32] w[9][33] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[30] ws[31] ws[32] ws[33] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] 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][1] 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][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] 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][1] 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][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] 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][1] 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][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] 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][1] 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][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] 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][1] 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][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] 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][1] 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][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] 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][1] 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][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] 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][1] 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][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] 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][1] 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][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] 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][1] 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][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] 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][1] 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][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] 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][1] 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][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] 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][1] 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][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] 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][1] 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][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] 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][1] 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][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] 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][1] 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][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] 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][1] 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][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] 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][1] 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][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] 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][1] 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][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] 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][1] 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][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] 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][1] 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][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] 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][1] 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][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] 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][1] 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][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] 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][1] 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][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[3][0] 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][1] 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][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] 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][1] 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][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 252.01/252.01 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 1 2 2 0 1 0 2 2 2 1 1 2 2 1 2 2 2 2 2 2 2 2 2 0 1 0 1 2 2 2 2 2 2 2 1 2 1 1 2 1 1 2 1 0 0 2 0 1 1 2 2 2 2 2 2 1 2 1 2 1 0 2 2 2 2 2 2 2 1 2 2 0 1 0 2 2 1 1 0 2 0 0 1 2 2 2 2 2 2 2 2 0 1 0 1 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 2 1 2 2 1 1 2 2 1 1 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 0 0 0 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 0 2 0 2 2 0 2 2 2 1 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 1 1 2 2 1 2 0 2 0 2 0 2 2 2 1 1 0 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 1 1 0 0 0 0 2 2 2 1 0 2 0 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 1 1 1 0 0 0 2 2 1 0 0 1 0 1 0 1 2 2 1 0 0 0 1 2 2 2 0 2 2 2 2 2 2 1 0 0 0 1 1 1 2 2 1 1 0 1 1 0 0 0 2 2 1 1 0 0 1 2 2 2 1 2 2 2 2 2 1 0 1 0 1 1 0 2 2 2 1 1 2 2 1 0 2 1 1 2 1 1 1 0 1 1 2 2 1 2 2 2 2 0 1 1 0 2 1 2 2 2 1 0 1 1 2 2 2 1 2 1 2 1 1 2 0 0 0 1 1 1 1 1 2 2 1 1 0 0 2 2 2 2 2 0 1 0 0 1 2 2 2 2 2 1 0 1 0 1 1 0 0 0 0 1 1 1 2 2 2 0 1 1 0 2 2 1 1 0 0 1 1 2 1 1 2 0 1 1 0 0 0 1 0 1 1 1 1 0 0 2 2 2 2 2 0 0 0 0 2 0 1 0 1 1 2 1 0 1 0 1 0 0 0 0 1 0 0 1 1 2 1 1 0 1 2 1 1 1 1 0 0 1 1 0 2 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 2 0 0 0 1 1 1 1 0 0 0 0 2 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 2 2 0 0 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 0 0 0 0 2 2 2 2 2 2 2 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 2 1 1 0 0 1 1 1 1 1 2 1 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 0 2 1 1 0 1 1 2 2 0 1 1 0 2 0 2 2 2 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 2 2 2 1 1 1 2 2 2 2 1 1 2 2 1 2 2 2 1 1 0 1 2 1 2 2 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 0 0 1 0 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 32 668 732 785 834 881 940 998 1053 1104 1149 95 1186 1223 1266 1308 1343 1374 1401 1422 1435 1453 152 1474 1500 1545 1572 209 272 338 404 470 536 602 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 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 0 0 0 0 0 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 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 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 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 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 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 151 </values> 252.01/252.01 v </instantiation> 252.01/252.01
OK 151
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 (13536 MiB free)
memory of node 1: 16384 MiB (14661 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258821-1502637652/watcher-4258821-1502637652 -o /tmp/evaluation-result-4258821-1502637652/solver-4258821-1502637652 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502635273-10383 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258821-1502637652.xml
running on 4 cores: 1,3,5,7
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
solver pid=11228, runsolver pid=11224
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 2.53 2.16 2.38 2/181 11229
/proc/meminfo: memFree=28859700/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=42920 memory=19400 CPUtime=0.1 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 5030 0 0 0 10 0 0 0 20 0 1 0 96846118 43950080 4850 33554432000 4194304 5972556 140728740666544 140728740663192 140441724581792 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 10730 4850 797 435 0 4093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 19400 KiB
[startup+0.209446 s]*
/proc/loadavg: 2.53 2.16 2.38 2/181 11229
/proc/meminfo: memFree=28856724/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=46248 memory=22804 CPUtime=0.2 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 5857 0 0 0 20 0 0 0 20 0 1 0 96846118 47357952 5701 33554432000 4194304 5972556 140728740666544 140728740663192 140441724994540 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 11562 5701 814 435 0 4925 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46248 KiB
Current children cumulated memory: 22804 KiB
[startup+0.308962 s]*
/proc/loadavg: 2.53 2.16 2.38 3/187 11244
/proc/meminfo: memFree=28842480/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=55584 memory=32380 CPUtime=0.3 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 8258 0 0 0 30 0 0 0 20 0 1 0 96846118 56918016 8095 33554432000 4194304 5972556 140728740666544 140728740663192 5320591 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 13896 8095 854 435 0 7259 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55584 KiB
Current children cumulated memory: 32380 KiB
[startup+0.700367 s]
/proc/loadavg: 2.53 2.16 2.38 3/187 11244
/proc/meminfo: memFree=28836976/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=66612 memory=43204 CPUtime=0.69 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 10985 0 0 0 68 1 0 0 20 0 1 0 96846118 68210688 10801 33554432000 4194304 5972556 140728740666544 140728740663304 5039294 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 16653 10801 854 435 0 10016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 66612 KiB
Current children cumulated memory: 43204 KiB
[startup+1.50033 s]
/proc/loadavg: 2.53 2.16 2.38 3/187 11244
/proc/meminfo: memFree=28830904/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=67012 memory=43732 CPUtime=1.49 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 11110 0 0 0 148 1 0 0 20 0 1 0 96846118 68620288 10933 33554432000 4194304 5972556 140728740666544 140728740663304 4935178 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 16753 10933 854 435 0 10116 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67012 KiB
Current children cumulated memory: 43732 KiB
[startup+3.10942 s]
/proc/loadavg: 2.48 2.16 2.38 3/187 11244
/proc/meminfo: memFree=28820476/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=77832 memory=54512 CPUtime=3.1 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 23542 0 0 0 308 2 0 0 20 0 1 0 96846118 79699968 13628 33554432000 4194304 5972556 140728740666544 140728740663144 5322648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 19458 13628 854 435 0 12821 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 77832 KiB
Current children cumulated memory: 54512 KiB
[startup+6.30032 s]
/proc/loadavg: 2.48 2.16 2.38 3/187 11244
/proc/meminfo: memFree=28811276/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=86724 memory=63496 CPUtime=6.29 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 38174 0 0 0 626 3 0 0 20 0 1 0 96846118 88805376 15874 33554432000 4194304 5972556 140728740666544 140728740663992 4935296 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 21681 15874 855 435 0 15044 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 86724 KiB
Current children cumulated memory: 63496 KiB
[startup+12.7003 s]
/proc/loadavg: 2.45 2.16 2.37 3/187 11244
/proc/meminfo: memFree=28808904/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=89968 memory=66704 CPUtime=12.69 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 51956 0 0 0 1266 3 0 0 20 0 1 0 96846118 92127232 16676 33554432000 4194304 5972556 140728740666544 140728740653736 4934256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 22492 16676 855 435 0 15855 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 89968 KiB
Current children cumulated memory: 66704 KiB
[startup+25.5003 s]
/proc/loadavg: 2.35 2.15 2.37 3/187 11244
/proc/meminfo: memFree=28807664/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=90912 memory=67664 CPUtime=25.49 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 74499 0 0 0 2545 4 0 0 20 0 1 0 96846118 93093888 16916 33554432000 4194304 5972556 140728740666544 140728740663992 5099632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 22728 16916 855 435 0 16091 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 90912 KiB
Current children cumulated memory: 67664 KiB
[startup+51.1093 s]
/proc/loadavg: 2.23 2.14 2.36 3/187 11244
/proc/meminfo: memFree=28805780/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=92532 memory=69228 CPUtime=51.09 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 90169 0 0 0 5104 5 0 0 20 0 1 0 96846118 94752768 17307 33554432000 4194304 5972556 140728740666544 140728740663256 4965349 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 23133 17307 855 435 0 16496 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 92532 KiB
Current children cumulated memory: 69228 KiB
[startup+102.3 s]
/proc/loadavg: 2.10 2.12 2.34 3/187 11245
/proc/meminfo: memFree=28804708/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=93476 memory=70044 CPUtime=102.29 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 94492 0 0 0 10223 6 0 0 20 0 1 0 96846118 95719424 17511 33554432000 4194304 5972556 140728740666544 140728740663256 4965326 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 23369 17511 855 435 0 16732 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 70044 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.10 2.32 3/187 11246
/proc/meminfo: memFree=28803608/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=94708 memory=71252 CPUtime=162.29 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 95490 0 0 0 16223 6 0 0 20 0 1 0 96846118 96980992 17813 33554432000 4194304 5972556 140728740666544 140728740663144 5040122 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 23677 17813 855 435 0 17040 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 94708 KiB
Current children cumulated memory: 71252 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.30 3/187 11254
/proc/meminfo: memFree=28801264/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=95240 memory=71764 CPUtime=222.3 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 96141 0 0 0 22224 6 0 0 20 0 1 0 96846118 97525760 17941 33554432000 4194304 5972556 140728740666544 140728740663144 5325570 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 23810 17941 855 435 0 17173 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 95240 KiB
Current children cumulated memory: 71764 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.06 2.09 2.30 3/187 11255
/proc/meminfo: memFree=28801768/32770624 swapFree=67108860/67108860
[pid=11228] ppid=11224 vsize=95240 memory=71764 CPUtime=252.01 cores=1,3,5,7
/proc/11228/stat : 11228 (cosoco) R 11224 11228 4973 0 -1 4202496 96151 0 0 0 25195 6 0 0 20 0 1 0 96846118 97525760 17941 33554432000 4194304 5972556 140728740666544 140728740663144 5322632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 23298048 140728740672673 140728740672803 140728740672803 140728740675534 0
/proc/11228/statm: 23810 17941 855 435 0 17173 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 95240 KiB
Current children cumulated memory: 71764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.011 s]
# the end of solver process 11228 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.956 s, system=0.065006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.011
CPU time (s): 252.021
CPU user time (s): 251.956
CPU system time (s): 0.065006
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 95240
Max. memory (cumulated for all children) (KiB): 71764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.956
system time used= 0.065006
maximum resident set size= 71984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96194
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= 41
involuntary context switches= 150
# summary of solver processes directly reported to runsolver:
# pid: 11228
# total CPU time (s): 252.021
# total CPU user time (s): 251.956
# total CPU system time (s): 0.065006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.911266 second user time and 1.7463 second system time
The end
Begin job on node151 at 2017-08-13 17:06:34 IDJOB=4258821 IDBENCH=115918 IDSOLVER=2644 FILE ID=node151/4258821-1502637652 RUNJOBID= node151-1502635273-10383 PBS_JOBID= 20628306 Free space on /tmp= 61752 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258821-1502637652/watcher-4258821-1502637652 -o /tmp/evaluation-result-4258821-1502637652/solver-4258821-1502637652 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502635273-10383 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258821-1502637652.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=1329590559 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 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 : 5332.95 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 : 5332.95 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 : 5332.95 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: 28872908 kB MemAvailable: 31993516 kB Buffers: 242164 kB Cached: 3169944 kB SwapCached: 0 kB Active: 850388 kB Inactive: 2614480 kB Active(anon): 55500 kB Inactive(anon): 25044 kB Active(file): 794888 kB Inactive(file): 2589436 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2568 kB Writeback: 0 kB AnonPages: 61688 kB Mapped: 44048 kB Shmem: 25224 kB Slab: 130820 kB SReclaimable: 104240 kB SUnreclaim: 26580 kB KernelStack: 3824 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327072 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61752 MiB End job on node151 at 2017-08-13 17:10:46