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) | 268 | 2520.5801 | 2520.6201 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml |
| MD5SUM | 2bbdfe474604d495dd31c09972612e7d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 911 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4096 |
| Number of constraints | 2287 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 4051 |
| Distribution of domain sizes | [{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 47 |
| Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}] |
| Number of extensional constraints | 2021 |
| Number of intensional constraints | 216 |
| Distribution of constraint types | [{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
30.30/30.49 c SAT : Variables: 194270 -- Clauses: 370869896 30.30/30.49 c best=?? lower=0 upper=1849 94.30/94.45 c 94.30/94.45 c This is cosoco 1.12 -- 94.30/94.45 c 94.30/94.45 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265937-1502566717.xml 94.30/94.45 c enable optimization 94.30/94.45 c ========================================[ Problem Statistics ]=========================================== 94.30/94.45 c | 94.30/94.45 c | Parse time : 26.97 s 94.30/94.45 c | 94.30/94.45 c | Variables: 4096 94.30/94.45 c | Domain Sizes: 2..4051 94.30/94.45 c | 94.30/94.45 c | Constraints: 2464 94.30/94.45 c | Arity: 1..47 -- Unary: 181 -- Binary: 217 -- Ternary: 172 94.30/94.45 c | 94.30/94.45 c | Types: 94.30/94.45 c | Extension: 2021 (nb tuples: 1..724) -- (shared: 2016) 94.30/94.45 c | Intension: 217 94.30/94.45 c | Sum: 46 94.30/94.45 c | Unary: 180 94.30/94.45 c | 94.30/94.45 c ========================================================================================================= 94.30/94.45 o 26 94.30/94.45 c 1 calls to solver: best=26 lower=27 upper=1849 139.02/139.11 o 30 158.61/158.71 o 31 158.61/158.71 c 3 calls to solver: best=31 lower=32 upper=1849 164.40/164.57 o 32 190.61/190.79 o 33 190.61/190.79 c 5 calls to solver: best=33 lower=34 upper=1849 197.91/198.02 o 35 511.72/511.80 o 136 511.72/511.80 c 7 calls to solver: best=136 lower=137 upper=1849 519.72/519.81 o 147 525.42/525.57 o 155 525.42/525.57 c 9 calls to solver: best=155 lower=156 upper=1849 719.82/720.00 o 157 1075.64/1075.78 o 160 1075.64/1075.78 c 11 calls to solver: best=160 lower=161 upper=1849 1593.46/1593.55 o 267 2191.35/2191.44 o 268 2191.35/2191.44 c 13 calls to solver: best=268 lower=269 upper=1849 2519.96/2520.01 2519.96/2520.01 c *** INTERRUPTED *** 2519.96/2520.01 c restarts : 572 2519.96/2520.01 c conflicts : 1036597 (412 /sec) 2519.96/2520.01 c decisions : 11890806 (4728 /sec) 2519.96/2520.01 c propagations : 440548542 (175153 /sec) 2519.96/2520.01 c root propagations : 94296 2519.96/2520.01 c filter calls : 327086504 (130043 /sec) 2519.96/2520.01 c useless filter calls : 235404266 (71 %) 2519.96/2520.01 c 2519.96/2520.01 c clauses : 370874054 2519.96/2520.01 c SAT propagations : 290 2519.96/2520.01 c SAT conflicts : 0 (0 learnts) 2519.96/2520.01 c Memory used : 14697.35 MB 2519.96/2520.01 c CPU time : 2515.23 s 2519.96/2520.01 2519.96/2520.01 c nb Solutions = 13 2519.96/2520.01 s SATISFIABLE 2519.96/2520.01 c Best value found: 268 2519.96/2520.01 2519.96/2520.01 2519.96/2520.01 v <instantiation type='solution' cost='268'> 2519.96/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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[44][0] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][1] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][2] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][3] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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[44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] 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][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][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][44] 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][44] 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][44] 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][44] 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][44] 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][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2519.96/2520.01 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 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 1 0 1 1 1 1 0 0 0 2 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 0 0 1 2 0 0 0 1 1 2 2 2 2 2 1 2 2 2 2 1 1 0 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 0 1 1 0 2 2 2 2 2 2 2 2 2 2 2 1 1 1 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 2 2 2 1 1 2 1 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 0 1 0 2 1 1 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 1 1 0 1 0 0 1 1 2 1 2 1 1 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 0 0 0 0 0 1 0 0 2 1 0 0 0 0 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 0 1 0 0 0 1 1 1 1 2 0 0 0 0 0 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 0 0 0 0 0 1 2 2 1 2 1 2 1 1 1 2 2 1 1 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 1 0 1 1 1 1 2 2 2 1 2 1 2 2 2 1 2 1 1 0 1 2 1 2 2 2 2 2 2 2 2 1 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 2 0 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 0 0 1 2 2 2 0 0 1 1 2 2 2 0 0 2 0 1 2 2 1 1 1 0 0 1 2 1 2 2 1 1 2 2 1 0 1 1 2 2 2 2 2 1 1 0 1 1 2 2 1 0 0 0 0 1 2 1 1 2 1 0 1 2 2 1 0 0 1 0 2 2 1 2 0 1 1 0 2 1 0 0 1 2 1 2 2 2 0 0 1 1 2 2 2 1 0 0 0 1 1 2 2 0 1 1 0 2 2 2 1 1 0 1 2 2 2 1 1 1 0 0 1 1 2 0 1 0 2 0 1 2 1 1 0 1 2 2 1 2 1 0 1 1 1 2 2 2 2 1 2 2 2 2 2 1 1 2 2 2 2 2 1 2 0 1 1 0 2 2 2 1 0 2 1 1 2 2 1 1 2 2 1 0 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 2 1 1 1 1 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 0 0 0 1 1 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 2 2 2 2 2 2 2 2 2 1 2 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 1 0 1 1 1 1 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 0 0 1 2 2 1 0 0 0 0 0 1 2 2 1 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 1 0 1 1 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 2 0 0 2 2 1 2 2 2 2 2 2 1 2 1 2 2 1 1 2 2 2 2 1 2 2 2 2 2 1 0 0 2 2 1 2 0 1 1 0 1 1 2 0 1 2 0 2 2 2 1 2 2 2 2 2 2 0 0 1 1 1 0 0 1 2 2 1 0 1 2 2 2 2 1 0 1 1 2 1 2 2 1 1 2 1 2 0 0 2 1 1 1 2 2 1 2 2 2 1 2 1 0 0 0 1 1 0 0 1 2 0 0 0 0 1 2 2 2 2 1 1 2 2 0 2 2 2 2 1 2 1 1 0 1 2 0 2 2 2 1 2 2 1 1 0 1 1 0 0 2 2 1 1 2 1 1 2 0 0 1 2 2 2 2 2 2 2 2 0 2 1 2 0 1 0 1 0 0 1 1 2 1 2 2 1 2 2 1 0 0 0 0 1 0 1 2 2 2 2 2 0 1 1 0 2 2 2 2 2 2 1 1 2 0 1 1 0 2 0 1 0 0 1 1 1 0 1 0 2 1 2 2 2 1 1 1 1 0 0 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 2 1 2 1 1 1 2 2 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 2 2 2 0 0 1 0 1 1 2 2 2 2 0 1 0 2 1 2 2 2 2 2 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 1 1 0 0 1 0 2 2 2 2 2 2 1 2 2 1 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 1 0 0 0 1 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 0 0 2 2 1 2 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 1 2 2 2 0 1 0 0 0 1 0 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 2 1 1 2 1 2 2 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 1 2 0 1 1 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 1 0 1 1 2 2 2 1 1 2 1 1 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 1 1 0 1 2 2 2 2 2 2 1 0 0 1 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 1 0 1 1 2 2 2 2 2 2 1 0 0 1 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 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 2 1 0 0 0 0 1 1 0 0 0 1 0 2 2 1 1 2 0 2 2 2 2 2 2 2 2 2 0 1 1 0 2 2 1 0 2 0 0 0 0 0 0 0 1 2 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 2 2 2 2 2 2 1 1 2 1 0 1 2 2 2 1 1 0 0 2 0 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 2 2 2 2 1 0 0 0 1 0 1 2 2 2 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 1 0 2 2 2 1 1 0 0 0 0 1 2 2 2 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 2 1 2 1 1 0 2 2 2 2 1 0 1 1 0 0 0 1 2 1 1 2 1 1 2 1 2 2 1 2 1 0 0 1 0 0 0 0 0 2 0 0 1 0 1 1 2 2 2 2 1 2 2 2 2 1 0 0 2 2 1 1 39 525 592 667 750 831 905 970 1036 1106 1178 114 1237 1289 1339 1397 1461 1532 1610 1691 1767 1837 185 1902 1957 2007 2059 2110 2168 2231 2298 2369 2448 246 2526 2605 2682 2759 2798 288 327 358 383 415 465 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 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 1 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 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 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 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 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 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 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 1 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 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 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 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 268 </values> 2519.96/2520.01 v </instantiation> 2519.96/2520.01
OK 268
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 (15207 MiB free)
memory of node 1: 16384 MiB (9298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265937-1502566717/watcher-4265937-1502566717 -o /tmp/evaluation-result-4265937-1502566717/solver-4265937-1502566717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4737 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265937-1502566717.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=4872, runsolver pid=4869
[startup+0.100068 s]*
/proc/loadavg: 7.08 6.04 3.34 4/191 4873
/proc/meminfo: memFree=25088464/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=28712 memory=4716 CPUtime=0.01 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 1378 0 1 0 1 0 0 0 20 0 1 0 104178099 29401088 1179 18446744073709551615 4194304 5972588 140735781754256 140735781750904 139765597559781 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 7178 1179 711 435 0 541 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 28712 KiB
Current children cumulated memory: 4716 KiB
[startup+0.209729 s]*
/proc/loadavg: 7.08 6.04 3.34 3/191 4873
/proc/meminfo: memFree=25047156/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=68888 memory=45368 CPUtime=0.12 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 11508 0 1 0 10 2 0 0 20 0 1 0 104178099 70541312 11342 18446744073709551615 4194304 5972588 140735781754256 140735781750904 139765597607840 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 17222 11342 797 435 0 10585 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 68888 KiB
Current children cumulated memory: 45368 KiB
[startup+0.309993 s]*
/proc/loadavg: 7.08 6.04 3.34 3/191 4873
/proc/meminfo: memFree=25044180/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=71856 memory=48168 CPUtime=0.22 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 12260 0 1 0 20 2 0 0 20 0 1 0 104178099 73580544 12042 18446744073709551615 4194304 5972588 140735781754256 140735781750904 139765597559781 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 17964 12042 797 435 0 11327 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 71856 KiB
Current children cumulated memory: 48168 KiB
[startup+0.700404 s]
/proc/loadavg: 7.08 6.04 3.34 3/191 4873
/proc/meminfo: memFree=24992220/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=253656 memory=191800 CPUtime=0.6 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 38431 0 1 0 53 7 0 0 20 0 1 0 104178099 259743744 47950 18446744073709551615 4194304 5972588 140735781754256 140735781751048 5280404 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 63414 47950 843 435 0 56777 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 253656 KiB
Current children cumulated memory: 191800 KiB
[startup+1.50044 s]
/proc/loadavg: 7.08 6.04 3.34 3/191 4873
/proc/meminfo: memFree=24753936/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=626236 memory=580864 CPUtime=1.39 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 89711 0 1 0 122 17 0 0 20 0 1 0 104178099 641265664 145216 18446744073709551615 4194304 5972588 140735781754256 140735781751048 5252505 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 156559 145216 843 435 0 149922 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 626236 KiB
Current children cumulated memory: 580864 KiB
[startup+3.10983 s]
/proc/loadavg: 6.67 5.97 3.34 3/191 4873
/proc/meminfo: memFree=23804288/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=1424476 memory=1344384 CPUtime=3.01 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 183906 0 1 0 266 35 0 0 20 0 1 0 104178099 1458663424 336096 18446744073709551615 4194304 5972588 140735781754256 140735781751352 5252461 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 356119 336096 843 435 0 349482 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1424476 KiB
Current children cumulated memory: 1344384 KiB
[startup+6.30042 s]
/proc/loadavg: 6.67 5.97 3.34 3/191 4873
/proc/meminfo: memFree=22382968/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=3268232 memory=2848984 CPUtime=6.19 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 378560 0 1 0 546 73 0 0 20 0 1 0 104178099 3346669568 712246 18446744073709551615 4194304 5972588 140735781754256 140735781751352 5252505 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 817058 712246 843 435 0 810421 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 3268232 KiB
Current children cumulated memory: 2848984 KiB
[startup+12.7004 s]
/proc/loadavg: 6.30 5.90 3.33 3/191 4873
/proc/meminfo: memFree=19559616/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=7563004 memory=5848944 CPUtime=12.6 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 743667 0 1 0 1117 143 0 0 20 0 1 0 104178099 7744516096 1462236 18446744073709551615 4194304 5972588 140735781754256 140735781751048 139765597629401 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 1890751 1462236 843 435 0 1884114 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 7563004 KiB
Current children cumulated memory: 5848944 KiB
[startup+25.5004 s]
/proc/loadavg: 5.35 5.71 3.31 3/191 4875
/proc/meminfo: memFree=13573276/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=13806648 memory=11726768 CPUtime=25.4 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 1455602 0 1 0 2254 286 0 0 20 0 1 0 104178099 14138007552 2931692 18446744073709551615 4194304 5972588 140735781754256 140735781751048 5252505 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3451662 2931692 843 435 0 3445025 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 13806648 KiB
Current children cumulated memory: 11726768 KiB
[startup+51.1098 s]
/proc/loadavg: 4.20 5.42 3.27 3/190 4875
/proc/meminfo: memFree=11039456/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=14954772 memory=14027640 CPUtime=51.01 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 1746385 0 1 0 4757 344 0 0 20 0 1 0 104178099 15313686528 3506910 18446744073709551615 4194304 5972588 140735781754256 140735781751480 5040147 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3738693 3506910 861 435 0 3732056 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 14954772 KiB
Current children cumulated memory: 14027640 KiB
[startup+102.3 s]
/proc/loadavg: 2.96 4.89 3.21 3/187 4877
/proc/meminfo: memFree=10985716/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15011368 memory=14085360 CPUtime=102.2 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 1832796 0 1 0 9870 350 0 0 20 0 1 0 104178099 15371640832 3521340 18446744073709551615 4194304 5972588 140735781754256 140735781751016 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3752842 3521340 862 435 0 3746205 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 15011368 KiB
Current children cumulated memory: 14085360 KiB
[startup+162.3 s]
/proc/loadavg: 2.35 4.36 3.13 3/186 4879
/proc/meminfo: memFree=10972808/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15023560 memory=14099260 CPUtime=162.21 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 1928587 0 1 0 15865 356 0 0 20 0 1 0 104178099 15384125440 3524815 18446744073709551615 4194304 5972588 140735781754256 140735781741448 4909017 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3755890 3524815 862 435 0 3749253 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 15023560 KiB
Current children cumulated memory: 14099260 KiB
[startup+222.3 s]
/proc/loadavg: 2.13 3.93 3.06 3/185 4883
/proc/meminfo: memFree=10969064/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15025744 memory=14103400 CPUtime=222.21 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 1983388 0 1 0 21861 360 0 0 20 0 1 0 104178099 15386361856 3525850 18446744073709551615 4194304 5972588 140735781754256 140735781751480 5041374 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3756436 3525850 862 435 0 3749799 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 15025744 KiB
Current children cumulated memory: 14103400 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 3.58 2.99 3/185 4885
/proc/meminfo: memFree=10965556/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15027532 memory=14107216 CPUtime=282.21 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 2033399 0 1 0 27858 363 0 0 20 0 1 0 104178099 15388192768 3526804 18446744073709551615 4194304 5972588 140735781754256 140735781750856 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3756883 3526804 862 435 0 3750246 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 15027532 KiB
Current children cumulated memory: 14107216 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 3.29 2.93 3/189 4902
/proc/meminfo: memFree=10956764/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15029724 memory=14111444 CPUtime=342.21 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 2079543 0 1 0 33855 366 0 0 20 0 1 0 104178099 15390437376 3527861 18446744073709551615 4194304 5972588 140735781754256 140735781751480 5040180 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3757431 3527861 862 435 0 3750794 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 15029724 KiB
Current children cumulated memory: 14111444 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 3.06 2.87 3/189 4904
/proc/meminfo: memFree=10950200/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15032292 memory=14118056 CPUtime=402.21 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 2115807 0 1 0 39852 369 0 0 20 0 1 0 104178099 15393067008 3529514 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4935525 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3758073 3529514 862 435 0 3751436 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 15032292 KiB
Current children cumulated memory: 14118056 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.87 2.82 3/186 4906
/proc/meminfo: memFree=10948728/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15035488 memory=14123224 CPUtime=462.22 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 2196888 0 1 0 45848 374 0 0 20 0 1 0 104178099 15396339712 3530806 18446744073709551615 4194304 5972588 140735781754256 140735781751480 5338144 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3758872 3530806 862 435 0 3752235 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 15035488 KiB
Current children cumulated memory: 14123224 KiB
################
# More data... #
################
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.20 3/184 4986
/proc/meminfo: memFree=10918480/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049732 memory=14151044 CPUtime=1842.27 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3486043 0 1 0 183774 453 0 0 20 0 1 0 104178099 15410925568 3537761 18446744073709551615 4194304 5972588 140735781754256 140735781751704 4931747 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762433 3537761 862 435 0 3755796 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 15049732 KiB
Current children cumulated memory: 14151044 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.18 3/186 5117
/proc/meminfo: memFree=17588308/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049732 memory=14151800 CPUtime=1902.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3534726 0 1 0 189768 457 0 0 20 0 1 0 104178099 15410925568 3537950 18446744073709551615 4194304 5972588 140735781754256 140735781751704 5094232 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762433 3537950 862 435 0 3755796 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 15049732 KiB
Current children cumulated memory: 14151800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/186 5119
/proc/meminfo: memFree=17586352/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049852 memory=14154056 CPUtime=1962.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3568585 0 1 0 195765 460 0 0 20 0 1 0 104178099 15411048448 3538514 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4931747 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762463 3538514 862 435 0 3755826 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 15049852 KiB
Current children cumulated memory: 14154056 KiB
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.17 3/186 5122
/proc/meminfo: memFree=17582908/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049852 memory=14157036 CPUtime=2022.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3574467 0 1 0 201765 460 0 0 20 0 1 0 104178099 15411048448 3539259 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4935596 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762463 3539259 862 435 0 3755826 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 15049852 KiB
Current children cumulated memory: 14157036 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.15 3/186 5124
/proc/meminfo: memFree=17580084/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049852 memory=14159912 CPUtime=2082.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3593153 0 1 0 207763 462 0 0 20 0 1 0 104178099 15411048448 3539978 18446744073709551615 4194304 5972588 140735781754256 140735781751480 5041404 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762463 3539978 862 435 0 3755826 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 15049852 KiB
Current children cumulated memory: 14159912 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.15 3/189 5140
/proc/meminfo: memFree=17574292/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049852 memory=14162440 CPUtime=2142.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3612663 0 1 0 213762 463 0 0 20 0 1 0 104178099 15411048448 3540610 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4931747 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762463 3540610 862 435 0 3755826 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 15049852 KiB
Current children cumulated memory: 14162440 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.04 2.14 3/188 5167
/proc/meminfo: memFree=17568792/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049996 memory=14165464 CPUtime=2202.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3696919 0 1 0 219758 467 0 0 20 0 1 0 104178099 15411195904 3541366 18446744073709551615 4194304 5972588 140735781754256 140735781741448 5322693 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762499 3541366 862 435 0 3755862 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 15049996 KiB
Current children cumulated memory: 14165464 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.13 3/189 5170
/proc/meminfo: memFree=17565656/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049996 memory=14168520 CPUtime=2262.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3716884 0 1 0 225757 468 0 0 20 0 1 0 104178099 15411195904 3542130 18446744073709551615 4194304 5972588 140735781754256 140735781741448 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762499 3542130 862 435 0 3755862 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 15049996 KiB
Current children cumulated memory: 14168520 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.13 3/186 5172
/proc/meminfo: memFree=17566708/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15049996 memory=14171104 CPUtime=2322.26 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3722895 0 1 0 231757 469 0 0 20 0 1 0 104178099 15411195904 3542776 18446744073709551615 4194304 5972588 140735781754256 140735781741448 5040169 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762499 3542776 862 435 0 3755862 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 15049996 KiB
Current children cumulated memory: 14171104 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.12 3/186 5174
/proc/meminfo: memFree=17560968/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15050084 memory=14176136 CPUtime=2382.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3769718 0 1 0 237754 471 0 0 20 0 1 0 104178099 15411286016 3544034 18446744073709551615 4194304 5972588 140735781754256 140735781751480 5053069 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762521 3544034 862 435 0 3755884 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 15050084 KiB
Current children cumulated memory: 14176136 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/186 5176
/proc/meminfo: memFree=17558748/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15050084 memory=14179004 CPUtime=2442.25 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3777436 0 1 0 243753 472 0 0 20 0 1 0 104178099 15411286016 3544751 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4931786 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762521 3544751 862 435 0 3755884 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 15050084 KiB
Current children cumulated memory: 14179004 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/185 5178
/proc/meminfo: memFree=17557024/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15050084 memory=14181560 CPUtime=2502.26 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3797203 0 1 0 249752 474 0 0 20 0 1 0 104178099 15411286016 3545390 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4931747 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762521 3545390 862 435 0 3755884 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 15050084 KiB
Current children cumulated memory: 14181560 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.11 3/185 5179
/proc/meminfo: memFree=17556884/32770624 swapFree=67108764/67108860
[pid=4872] ppid=4869 vsize=15050084 memory=14182192 CPUtime=2519.96 cores=0,2,4,6
/proc/4872/stat : 4872 (cosoco) R 4869 4872 4674 0 -1 4202496 3805349 0 1 0 251522 474 0 0 20 0 1 0 104178099 15411286016 3545548 18446744073709551615 4194304 5972588 140735781754256 140735781751480 4935248 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 10960896 140735781761476 140735781761576 140735781761576 140735781765070 0
/proc/4872/statm: 3762521 3545548 862 435 0 3755884 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 15050084 KiB
Current children cumulated memory: 14182192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.62 s]
# the end of solver process 4872 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.23 s, system=5.35521 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.4 s]
/proc/loadavg: 2.00 2.01 2.11 3/185 5179
/proc/meminfo: memFree=20283840/32770624 swapFree=67108764/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2520.6 s]
/proc/loadavg: 2.00 2.01 2.11 3/185 5179
/proc/meminfo: memFree=20283840/32770624 swapFree=67108764/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.62
CPU time (s): 2520.58
CPU user time (s): 2515.23
CPU system time (s): 5.35521
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 15050084
Max. memory (cumulated for all children) (KiB): 14182192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.23
system time used= 5.3552
maximum resident set size= 14182256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3805519
page faults= 1
swaps= 0
block input operations= 9984
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 691
# summary of solver processes directly reported to runsolver:
# pid: 4872
# total CPU time (s): 2520.58
# total CPU user time (s): 2515.23
# total CPU system time (s): 5.35521
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48489 second user time and 18.1173 second system time
The end
Begin job on node134 at 2017-08-12 21:24:42 IDJOB=4265937 IDBENCH=115917 IDSOLVER=2655 FILE ID=node134/4265937-1502566717 RUNJOBID= node134-1502565207-4737 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-43.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265937-1502566717/watcher-4265937-1502566717 -o /tmp/evaluation-result-4265937-1502566717/solver-4265937-1502566717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4737 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265937-1502566717.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2bbdfe474604d495dd31c09972612e7d RANDOM SEED=1074354144 node134.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.43 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.43 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.43 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.43 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: 25093272 kB MemAvailable: 25282456 kB Buffers: 187656 kB Cached: 312720 kB SwapCached: 4 kB Active: 6276972 kB Inactive: 968048 kB Active(anon): 5911028 kB Inactive(anon): 874908 kB Active(file): 365944 kB Inactive(file): 93140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 5336 kB Writeback: 0 kB AnonPages: 6744376 kB Mapped: 57192 kB Shmem: 41564 kB Slab: 118884 kB SReclaimable: 91868 kB SUnreclaim: 27016 kB KernelStack: 3344 kB PageTables: 18532 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8073704 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1382400 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-12 22:06:43