Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 232 | 2520.5801 | 2520.48 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml |
| MD5SUM | f0ae775e0a261424aab5dff09c8fa0c4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 857 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3917 |
| Number of constraints | 2192 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 3873 |
| Distribution of domain sizes | [{"size":2,"count":1936},{"size":3,"count":1936},{"size":1765,"count":1},{"size":3873,"count":44}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 45 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1933},{"degree":3,"count":47},{"degree":4,"count":168},{"degree":8,"count":164},{"degree":9,"count":1600},{"degree":45,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 46 |
| Distribution of constraint arities | [{"arity":2,"count":212},{"arity":3,"count":168},{"arity":10,"count":1764},{"arity":44,"count":4},{"arity":45,"count":1},{"arity":46,"count":43}] |
| Number of extensional constraints | 1932 |
| Number of intensional constraints | 211 |
| Distribution of constraint types | [{"type":"extension","count":1932},{"type":"intension","count":211},{"type":"sum","count":45},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
27.14/27.26 c SAT : Variables: 181857 -- Clauses: 331486023 27.14/27.26 c best=?? lower=0 upper=1764 81.84/81.91 c 81.84/81.91 c This is cosoco 1.12 -- 81.84/81.91 c 81.84/81.91 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265936-1502566246.xml 81.84/81.91 c enable optimization 81.84/81.91 c ========================================[ Problem Statistics ]=========================================== 81.84/81.91 c | 81.84/81.91 c | Parse time : 24.10 s 81.84/81.91 c | 81.84/81.91 c | Variables: 3917 81.84/81.91 c | Domain Sizes: 2..3873 81.84/81.91 c | 81.84/81.91 c | Constraints: 2365 81.84/81.91 c | Arity: 1..46 -- Unary: 177 -- Binary: 212 -- Ternary: 168 81.84/81.91 c | 81.84/81.91 c | Types: 81.84/81.91 c | Extension: 1932 (nb tuples: 1..724) -- (shared: 1927) 81.84/81.91 c | Intension: 212 81.84/81.91 c | Sum: 45 81.84/81.91 c | Unary: 176 81.84/81.91 c | 81.84/81.91 c ========================================================================================================= 81.84/81.91 o 0 81.84/81.91 c 1 calls to solver: best=0 lower=1 upper=1764 82.95/83.07 o 3 87.64/87.74 o 4 87.64/87.74 c 3 calls to solver: best=4 lower=5 upper=1764 89.84/89.96 o 18 99.25/99.33 o 21 99.25/99.33 c 5 calls to solver: best=21 lower=22 upper=1764 106.54/106.62 o 27 108.14/108.23 o 28 108.14/108.23 c 7 calls to solver: best=28 lower=29 upper=1764 247.86/247.90 o 39 334.26/334.32 o 42 334.26/334.32 c 9 calls to solver: best=42 lower=43 upper=1764 392.36/392.47 o 47 461.87/461.99 o 52 461.87/461.99 c 11 calls to solver: best=52 lower=53 upper=1764 463.67/463.70 o 53 464.87/464.96 o 54 464.87/464.96 c 13 calls to solver: best=54 lower=55 upper=1764 486.87/486.99 o 55 488.37/488.40 o 58 488.37/488.40 c 15 calls to solver: best=58 lower=59 upper=1764 489.77/489.85 o 65 499.17/499.29 o 123 499.17/499.29 c 17 calls to solver: best=123 lower=124 upper=1764 517.37/517.49 o 128 545.77/545.80 o 205 545.77/545.80 c 19 calls to solver: best=205 lower=206 upper=1764 600.58/600.62 o 230 640.18/640.26 o 231 640.18/640.26 c 21 calls to solver: best=231 lower=232 upper=1764 1568.23/1568.29 o 232 2520.10/2520.01 2520.10/2520.01 c *** INTERRUPTED *** 2520.10/2520.01 c restarts : 573 2520.10/2520.01 c conflicts : 1137893 (452 /sec) 2520.10/2520.01 c decisions : 13858329 (5509 /sec) 2520.10/2520.01 c propagations : 479323122 (190525 /sec) 2520.10/2520.01 c root propagations : 88216 2520.10/2520.01 c filter calls : 377161697 (149917 /sec) 2520.10/2520.01 c useless filter calls : 277071836 (73 %) 2520.10/2520.01 c 2520.10/2520.01 c clauses : 331490165 2520.10/2520.01 c SAT propagations : 85 2520.10/2520.01 c SAT conflicts : 0 (0 learnts) 2520.10/2520.01 c Memory used : 14242.69 MB 2520.10/2520.01 c CPU time : 2515.8 s 2520.10/2520.01 2520.10/2520.01 c nb Solutions = 22 2520.10/2520.01 s SATISFIABLE 2520.10/2520.01 c Best value found: 232 2520.10/2520.01 2520.10/2520.01 2520.10/2520.01 v <instantiation type='solution' cost='232'> 2520.10/2520.01 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][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][3] w[0][40] w[0][41] w[0][42] w[0][43] 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][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][3] w[10][40] w[10][41] w[10][42] w[10][43] 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][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][3] w[11][40] w[11][41] w[11][42] w[11][43] 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][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][3] w[12][40] w[12][41] w[12][42] w[12][43] 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][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][3] w[13][40] w[13][41] w[13][42] w[13][43] 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][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][3] w[14][40] w[14][41] w[14][42] w[14][43] 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][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][3] w[15][40] w[15][41] w[15][42] w[15][43] 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][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][3] w[16][40] w[16][41] w[16][42] w[16][43] 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][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][3] w[17][40] w[17][41] w[17][42] w[17][43] 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][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][3] w[18][40] w[18][41] w[18][42] w[18][43] 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][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][3] w[19][40] w[19][41] w[19][42] w[19][43] 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][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][3] w[1][40] w[1][41] w[1][42] w[1][43] 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][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][3] w[20][40] w[20][41] w[20][42] w[20][43] 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][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][3] w[21][40] w[21][41] w[21][42] w[21][43] 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][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][3] w[22][40] w[22][41] w[22][42] w[22][43] 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][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][3] w[23][40] w[23][41] w[23][42] w[23][43] 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][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][3] w[24][40] w[24][41] w[24][42] w[24][43] 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][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][3] w[25][40] w[25][41] w[25][42] w[25][43] 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][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][3] w[26][40] w[26][41] w[26][42] w[26][43] 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][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][3] w[27][40] w[27][41] w[27][42] w[27][43] 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][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][3] w[28][40] w[28][41] w[28][42] w[28][43] 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][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][3] w[29][40] w[29][41] w[29][42] w[29][43] 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][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][3] w[2][40] w[2][41] w[2][42] w[2][43] 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][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][3] w[30][40] w[30][41] w[30][42] w[30][43] 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][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][3] w[31][40] w[31][41] w[31][42] w[31][43] 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][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][3] w[32][40] w[32][41] w[32][42] w[32][43] 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][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][3] w[33][40] w[33][41] w[33][42] w[33][43] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[34][0] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][1] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][2] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][3] w[34][40] w[34][41] w[34][42] w[34][43] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[35][0] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][1] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][2] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][3] w[35][40] w[35][41] w[35][42] w[35][43] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[36][0] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][1] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][2] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][3] w[36][40] w[36][41] w[36][42] w[36][43] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[37][0] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][1] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][2] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][3] w[37][40] w[37][41] w[37][42] w[37][43] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[38][0] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][1] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][2] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][3] w[38][40] w[38][41] w[38][42] w[38][43] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[39][0] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][1] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][2] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][3] w[39][40] w[39][41] w[39][42] w[39][43] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][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][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][3] w[3][40] w[3][41] w[3][42] w[3][43] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[40][0] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][1] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][2] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][3] w[40][40] w[40][41] w[40][42] w[40][43] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[41][0] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][1] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][2] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][3] w[41][40] w[41][41] w[41][42] w[41][43] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[42][0] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][1] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][2] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][3] w[42][40] w[42][41] w[42][42] w[42][43] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[43][0] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][1] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][2] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][3] w[43][40] w[43][41] w[43][42] w[43][43] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][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][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][3] w[4][40] w[4][41] w[4][42] w[4][43] 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][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][3] w[5][40] w[5][41] w[5][42] w[5][43] 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][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][3] w[6][40] w[6][41] w[6][42] w[6][43] 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][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][3] w[7][40] w[7][41] w[7][42] w[7][43] 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][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][3] w[8][40] w[8][41] w[8][42] w[8][43] 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][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][3] w[9][40] w[9][41] w[9][42] w[9][43] 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[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[3] ws[40] ws[41] ws[42] ws[43] 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][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] 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][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] 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][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] 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][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] 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][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] 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][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] 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][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] 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][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] 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][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] 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][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] 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][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] 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][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] 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][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] 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][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] 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][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] 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][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] 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][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] 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][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] 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][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] 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][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] 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][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] 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][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] 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][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] 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][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] 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][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] 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][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] 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][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][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][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][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][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] 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][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] 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][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] 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][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] 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][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] 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][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2520.10/2520.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 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 2 2 2 2 2 1 0 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 1 1 0 1 2 0 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 1 0 1 1 1 1 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 2 2 2 1 2 1 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 0 0 1 0 0 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 1 0 2 1 1 2 1 2 2 2 2 2 2 1 2 2 2 2 0 1 0 0 0 0 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 0 1 2 1 2 2 2 2 2 2 1 2 2 2 1 0 0 1 0 0 0 2 0 1 1 2 2 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 2 0 1 1 1 2 2 2 2 2 2 1 1 1 2 1 0 1 0 1 0 0 2 0 0 1 1 1 1 0 1 2 2 2 2 2 1 0 1 1 2 2 2 1 2 1 0 1 1 2 2 2 2 2 2 1 0 0 1 2 1 1 2 0 1 0 2 0 0 0 1 1 0 0 1 0 2 2 1 1 1 0 0 2 2 2 2 2 2 1 1 2 1 2 1 1 2 2 1 1 0 0 1 2 2 2 2 2 0 0 2 1 0 0 2 2 1 1 0 1 0 2 1 0 0 0 0 2 2 2 2 2 2 2 2 2 1 0 1 1 0 2 1 1 1 1 2 2 2 2 2 2 1 1 2 0 0 0 1 2 2 1 1 0 1 2 0 0 0 0 1 1 2 2 2 2 1 2 2 2 1 1 0 0 1 1 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 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 0 2 1 0 1 1 2 2 2 0 1 0 2 0 0 1 1 1 2 2 2 2 1 2 1 2 2 1 0 0 0 1 0 1 1 1 2 2 1 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 0 0 2 0 0 1 1 1 2 2 2 1 0 1 1 1 2 1 1 0 0 0 0 1 1 2 2 1 1 0 1 2 1 2 2 2 2 2 2 2 2 2 2 1 1 0 2 0 0 0 0 1 1 1 2 1 0 2 0 1 1 1 1 0 1 0 0 0 1 1 2 1 0 0 1 0 1 1 2 2 2 2 2 2 2 2 2 0 0 0 2 0 0 0 1 0 0 1 1 2 0 2 1 0 0 0 1 0 0 0 0 0 1 1 1 2 0 0 0 0 0 1 2 1 2 2 2 2 2 2 1 1 0 0 1 1 0 1 0 0 1 0 1 2 2 1 1 0 1 0 1 0 0 0 0 0 0 0 2 0 0 0 1 0 0 2 2 0 2 2 2 2 2 2 2 1 1 2 1 1 0 0 0 0 0 0 2 2 2 1 2 2 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 2 0 1 1 2 2 1 2 1 2 1 1 0 1 1 0 0 0 0 1 1 1 2 2 1 0 1 0 1 1 0 0 0 1 1 2 0 0 1 0 1 0 0 2 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 2 0 0 2 0 0 0 1 1 0 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 2 2 0 1 0 2 1 2 0 0 1 0 0 0 2 1 1 1 0 0 0 1 1 2 1 1 2 1 1 1 0 0 1 1 2 2 1 1 0 2 0 0 0 0 2 2 2 1 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 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 0 1 1 1 1 2 2 1 0 2 0 0 0 1 2 2 2 2 1 2 2 0 0 0 1 2 2 2 2 1 1 2 0 0 1 0 2 2 2 2 2 2 1 1 0 0 2 2 2 2 2 2 1 2 1 0 0 1 2 2 2 1 1 0 2 2 0 1 1 2 2 2 2 2 0 2 0 1 0 1 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 1 0 0 2 0 2 1 2 2 2 2 2 2 1 2 1 0 1 0 2 2 2 2 1 1 1 0 0 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 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 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 0 0 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 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 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 2 2 2 2 2 2 2 2 1 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 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 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 1 1 1 1 1 1 1 1 1 1 1 0 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 1 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 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 1 1 1 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 0 2 2 2 2 2 1 1 0 1 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 2 2 2 1 2 2 2 2 2 2 42 836 906 974 1038 1104 1166 1218 1265 1314 1366 128 1421 1476 1524 1561 1597 1636 1672 1691 1712 1753 214 1806 1864 1925 1990 2070 2156 2240 2320 2398 2476 298 2556 2640 2726 2768 379 458 533 607 684 761 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 1 1 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 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 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 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 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 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 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 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 232 </values> 2520.10/2520.01 v </instantiation> 2520.10/2520.01
OK 232
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 (13218 MiB free)
memory of node 1: 16384 MiB (15289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265936-1502566246/watcher-4265936-1502566246 -o /tmp/evaluation-result-4265936-1502566246/solver-4265936-1502566246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265936-1502566246.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12557, runsolver pid=12554
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 1.99 1.02 0.43 3/185 12558
/proc/meminfo: memFree=29182216/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=36420 memory=12632 CPUtime=0.04 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3344 0 0 0 4 0 0 0 20 0 1 0 98535879 37294080 3158 18446744073709551615 4194304 5972588 140735481800400 140735481797048 5672010 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 9105 3158 731 435 0 2468 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 36420 KiB
Current children cumulated memory: 12632 KiB
[startup+0.20964 s]*
/proc/loadavg: 1.99 1.02 0.43 3/185 12558
/proc/meminfo: memFree=29151712/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=66988 memory=43468 CPUtime=0.16 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 11034 0 0 0 14 2 0 0 20 0 1 0 98535879 68595712 10867 18446744073709551615 4194304 5972588 140735481800400 140735481797048 139994928733157 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 16747 10867 797 435 0 10110 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66988 KiB
Current children cumulated memory: 43468 KiB
[startup+0.30956 s]*
/proc/loadavg: 1.99 1.02 0.43 3/185 12558
/proc/meminfo: memFree=29148736/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=69840 memory=46188 CPUtime=0.26 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 11763 0 0 0 24 2 0 0 20 0 1 0 98535879 71516160 11547 18446744073709551615 4194304 5972588 140735481800400 140735481797048 5187088 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 17460 11547 797 435 0 10823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 69840 KiB
Current children cumulated memory: 46188 KiB
[startup+0.700391 s]
/proc/loadavg: 1.99 1.02 0.43 3/185 12558
/proc/meminfo: memFree=29070724/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=266884 memory=218552 CPUtime=0.64 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 41515 0 0 0 58 6 0 0 20 0 1 0 98535879 273289216 54638 18446744073709551615 4194304 5972588 140735481800400 140735481797048 5252461 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 66721 54638 843 435 0 60084 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 266884 KiB
Current children cumulated memory: 218552 KiB
[startup+1.50038 s]
/proc/loadavg: 1.99 1.02 0.43 3/185 12558
/proc/meminfo: memFree=28832416/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=774276 memory=604696 CPUtime=1.44 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 92100 0 0 0 130 14 0 0 20 0 1 0 98535879 792858624 151174 18446744073709551615 4194304 5972588 140735481800400 140735481797192 5252505 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 193569 151174 843 435 0 186932 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 774276 KiB
Current children cumulated memory: 604696 KiB
[startup+3.10977 s]
/proc/loadavg: 1.99 1.02 0.43 3/185 12558
/proc/meminfo: memFree=27863316/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=1470496 memory=1387848 CPUtime=3.05 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 190126 0 0 0 274 31 0 0 20 0 1 0 98535879 1505787904 346896 18446744073709551615 4194304 5972588 140735481800400 140735481797192 139994928802347 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 367657 346896 843 435 0 361020 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1470496 KiB
Current children cumulated memory: 1387848 KiB
[startup+6.30037 s]
/proc/loadavg: 1.99 1.03 0.44 3/185 12558
/proc/meminfo: memFree=26421920/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=3337664 memory=2907624 CPUtime=6.24 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 381942 0 0 0 554 70 0 0 20 0 1 0 98535879 3417767936 726906 18446744073709551615 4194304 5972588 140735481800400 140735481797192 5252461 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 834416 726906 843 435 0 827779 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 3337664 KiB
Current children cumulated memory: 2907624 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 1.05 0.45 3/185 12558
/proc/meminfo: memFree=23595656/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=7692668 memory=5908212 CPUtime=12.64 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 751096 0 0 0 1120 144 0 0 20 0 1 0 98535879 7877292032 1477053 18446744073709551615 4194304 5972588 140735481800400 140735481797192 5252461 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 1923167 1477053 843 435 0 1916530 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 7692668 KiB
Current children cumulated memory: 5908212 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 1.09 0.48 3/185 12558
/proc/meminfo: memFree=17589472/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14052440 memory=11815020 CPUtime=25.44 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 1471192 0 0 0 2251 293 0 0 20 0 1 0 98535879 14389698560 2953755 18446744073709551615 4194304 5972588 140735481800400 140735481797192 5252461 0 0 1 0 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3513110 2953755 843 435 0 3506473 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 14052440 KiB
Current children cumulated memory: 11815020 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 1.17 0.52 3/185 12559
/proc/meminfo: memFree=16499760/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14513276 memory=12671052 CPUtime=51.05 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 1594788 0 0 0 4792 313 0 0 20 0 1 0 98535879 14861594624 3167763 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5040180 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3628319 3167763 861 435 0 3621682 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 14513276 KiB
Current children cumulated memory: 12671052 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.29 0.59 3/185 12561
/proc/meminfo: memFree=16457280/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14555060 memory=12713852 CPUtime=102.25 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 1733306 0 0 0 9906 319 0 0 20 0 1 0 98535879 14904381440 3178463 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3638765 3178463 862 435 0 3632128 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 14555060 KiB
Current children cumulated memory: 12713852 KiB
[startup+162.3 s]
/proc/loadavg: 2.40 1.52 0.71 3/186 12564
/proc/meminfo: memFree=16449168/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14558880 memory=12721708 CPUtime=162.25 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 1775765 0 0 0 15903 322 0 0 20 0 1 0 98535879 14908293120 3180427 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5099648 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3639720 3180427 862 435 0 3633083 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 14558880 KiB
Current children cumulated memory: 12721708 KiB
[startup+222.3 s]
/proc/loadavg: 2.42 1.71 0.83 3/189 12580
/proc/meminfo: memFree=16441520/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14562500 memory=12727376 CPUtime=222.25 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 1861621 0 0 0 21900 325 0 0 20 0 1 0 98535879 14912000000 3181844 18446744073709551615 4194304 5972588 140735481800400 140735481797112 5322696 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3640625 3181844 862 435 0 3633988 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 14562500 KiB
Current children cumulated memory: 12727376 KiB
[startup+282.3 s]
/proc/loadavg: 2.15 1.76 0.90 3/189 12582
/proc/meminfo: memFree=16433396/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14568524 memory=12735348 CPUtime=282.25 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 1928919 0 0 0 27896 329 0 0 20 0 1 0 98535879 14918168576 3183837 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5041360 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3642131 3183837 862 435 0 3635494 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 14568524 KiB
Current children cumulated memory: 12735348 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 1.80 0.97 3/186 12584
/proc/meminfo: memFree=16430764/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14571632 memory=12740440 CPUtime=342.26 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 2021768 0 0 0 33892 334 0 0 20 0 1 0 98535879 14921351168 3185110 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5040138 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3642908 3185110 862 435 0 3636271 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 14571632 KiB
Current children cumulated memory: 12740440 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.85 1.04 3/186 12586
/proc/meminfo: memFree=16423828/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14574456 memory=12747336 CPUtime=402.26 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 2123096 0 0 0 39887 339 0 0 20 0 1 0 98535879 14924242944 3186834 18446744073709551615 4194304 5972588 140735481800400 140735481797000 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3643614 3186834 862 435 0 3636977 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 14574456 KiB
Current children cumulated memory: 12747336 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 1.88 1.10 3/185 12589
/proc/meminfo: memFree=16419736/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14576616 memory=12751384 CPUtime=462.27 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 2205279 0 0 0 45883 344 0 0 20 0 1 0 98535879 14926454784 3187846 18446744073709551615 4194304 5972588 140735481800400 140735481797112 5041377 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3644154 3187846 862 435 0 3637517 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 14576616 KiB
Current children cumulated memory: 12751384 KiB
################
# More data... #
################
/proc/meminfo: memFree=16348680/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584140 memory=12822452 CPUtime=1782.35 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3328035 0 0 0 177826 409 0 0 20 0 1 0 98535879 14934159360 3205613 18446744073709551615 4194304 5972588 140735481800400 140735481797624 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646035 3205613 862 435 0 3639398 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 14584140 KiB
Current children cumulated memory: 12822452 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/186 12672
/proc/meminfo: memFree=16343124/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584140 memory=12827216 CPUtime=1842.35 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3370581 0 0 0 183824 411 0 0 20 0 1 0 98535879 14934159360 3206804 18446744073709551615 4194304 5972588 140735481800400 140735481797624 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646035 3206804 862 435 0 3639398 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 14584140 KiB
Current children cumulated memory: 12827216 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/185 12675
/proc/meminfo: memFree=16337556/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584140 memory=12832596 CPUtime=1902.36 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3394046 0 0 0 189823 413 0 0 20 0 1 0 98535879 14934159360 3208149 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5070711 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646035 3208149 862 435 0 3639398 0
Current children cumulated CPU time: 1902.36 s
Current children cumulated vsize: 14584140 KiB
Current children cumulated memory: 12832596 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/185 12677
/proc/meminfo: memFree=16331268/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584140 memory=12838272 CPUtime=1962.35 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3438378 0 0 0 195821 414 0 0 20 0 1 0 98535879 14934159360 3209568 18446744073709551615 4194304 5972588 140735481800400 140735481797624 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646035 3209568 862 435 0 3639398 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 14584140 KiB
Current children cumulated memory: 12838272 KiB
[startup+2022.3 s]
/proc/loadavg: 2.10 2.04 1.85 3/188 12693
/proc/meminfo: memFree=16322008/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584140 memory=12843300 CPUtime=2022.36 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3504184 0 0 0 201818 418 0 0 20 0 1 0 98535879 14934159360 3210825 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5338173 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646035 3210825 862 435 0 3639398 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 14584140 KiB
Current children cumulated memory: 12843300 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 1.86 3/189 12696
/proc/meminfo: memFree=16317136/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584276 memory=12848436 CPUtime=2082.35 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3552264 0 0 0 207816 419 0 0 20 0 1 0 98535879 14934298624 3212109 18446744073709551615 4194304 5972588 140735481800400 140735481797000 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646069 3212109 862 435 0 3639432 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 14584276 KiB
Current children cumulated memory: 12848436 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 1.87 3/186 12698
/proc/meminfo: memFree=16314624/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584276 memory=12854148 CPUtime=2142.37 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3560471 0 0 0 213817 420 0 0 20 0 1 0 98535879 14934298624 3213537 18446744073709551615 4194304 5972588 140735481800400 140735481797000 4934350 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646069 3213537 862 435 0 3639432 0
Current children cumulated CPU time: 2142.37 s
Current children cumulated vsize: 14584276 KiB
Current children cumulated memory: 12854148 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/186 12700
/proc/meminfo: memFree=16309756/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584276 memory=12859556 CPUtime=2202.37 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3580999 0 0 0 219816 421 0 0 20 0 1 0 98535879 14934298624 3214889 18446744073709551615 4194304 5972588 140735481800400 140735481797000 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646069 3214889 862 435 0 3639432 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 14584276 KiB
Current children cumulated memory: 12859556 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/186 12702
/proc/meminfo: memFree=16304712/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584420 memory=12864736 CPUtime=2262.37 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3640821 0 0 0 225814 423 0 0 20 0 1 0 98535879 14934446080 3216184 18446744073709551615 4194304 5972588 140735481800400 140735481797000 4931747 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646105 3216184 862 435 0 3639468 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 14584420 KiB
Current children cumulated memory: 12864736 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.89 2/182 12746
/proc/meminfo: memFree=18232532/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584420 memory=12872788 CPUtime=2322.37 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3679971 0 0 0 231812 425 0 0 20 0 1 0 98535879 14934446080 3218197 18446744073709551615 4194304 5972588 140735481800400 140735481797000 5041398 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646105 3218197 862 435 0 3639468 0
Current children cumulated CPU time: 2322.37 s
Current children cumulated vsize: 14584420 KiB
Current children cumulated memory: 12872788 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/185 12771
/proc/meminfo: memFree=18223320/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584420 memory=12878288 CPUtime=2382.37 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3695997 0 0 0 237811 426 0 0 20 0 1 0 98535879 14934446080 3219572 18446744073709551615 4194304 5972588 140735481800400 140735481797000 5322698 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646105 3219572 862 435 0 3639468 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 14584420 KiB
Current children cumulated memory: 12878288 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/185 12773
/proc/meminfo: memFree=18218136/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584420 memory=12883484 CPUtime=2442.38 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3704551 0 0 0 243811 427 0 0 20 0 1 0 98535879 14934446080 3220871 18446744073709551615 4194304 5972588 140735481800400 140735481797000 4931776 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646105 3220871 862 435 0 3639468 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 14584420 KiB
Current children cumulated memory: 12883484 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 1.91 3/185 12776
/proc/meminfo: memFree=18211764/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584508 memory=12889556 CPUtime=2502.38 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3737403 0 0 0 249809 429 0 0 20 0 1 0 98535879 14934536192 3222389 18446744073709551615 4194304 5972588 140735481800400 140735481797624 5039435 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646127 3222389 862 435 0 3639490 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 14584508 KiB
Current children cumulated memory: 12889556 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.03 1.91 3/185 12777
/proc/meminfo: memFree=18210584/32770624 swapFree=67108860/67108860
[pid=12557] ppid=12554 vsize=14584508 memory=12891112 CPUtime=2520.1 cores=1,3,5,7
/proc/12557/stat : 12557 (cosoco) R 12554 12557 12395 0 -1 4202496 3739190 0 0 0 251580 430 0 0 20 0 1 0 98535879 14934536192 3222778 18446744073709551615 4194304 5972588 140735481800400 140735481797624 4935478 0 0 1 8405026 0 0 0 17 5 0 0 5 0 0 8070896 8075904 15261696 140735481807300 140735481807400 140735481807400 140735481810894 0
/proc/12557/statm: 3646127 3222778 862 435 0 3639490 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 14584508 KiB
Current children cumulated memory: 12891112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.48 s]
# the end of solver process 12557 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.81 s, system=4.76833 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.4 s]
/proc/loadavg: 2.04 2.03 1.91 3/185 12777
/proc/meminfo: memFree=22168296/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.48
CPU time (s): 2520.58
CPU user time (s): 2515.81
CPU system time (s): 4.76833
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 14584508
Max. memory (cumulated for all children) (KiB): 12891112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.81
system time used= 4.76834
maximum resident set size= 12891176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3739331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 938
# summary of solver processes directly reported to runsolver:
# pid: 12557
# total CPU time (s): 2520.58
# total CPU user time (s): 2515.81
# total CPU system time (s): 4.76833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.80104 second user time and 17.6874 second system time
The end
Begin job on node135 at 2017-08-12 21:16:52 IDJOB=4265936 IDBENCH=115914 IDSOLVER=2655 FILE ID=node135/4265936-1502566246 RUNJOBID= node135-1502565212-12459 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-42.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265936-1502566246/watcher-4265936-1502566246 -o /tmp/evaluation-result-4265936-1502566246/solver-4265936-1502566246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265936-1502566246.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0ae775e0a261424aab5dff09c8fa0c4 RANDOM SEED=327166371 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29191800 kB MemAvailable: 30037168 kB Buffers: 306132 kB Cached: 837904 kB SwapCached: 0 kB Active: 2598212 kB Inactive: 532216 kB Active(anon): 1986708 kB Inactive(anon): 41332 kB Active(file): 611504 kB Inactive(file): 490884 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2336 kB Writeback: 0 kB AnonPages: 1986396 kB Mapped: 54740 kB Shmem: 41656 kB Slab: 144632 kB SReclaimable: 117628 kB SUnreclaim: 27004 kB KernelStack: 3328 kB PageTables: 8296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2420780 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 632832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node135 at 2017-08-12 21:58:53