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) | 71 | 2520.1001 | 2519.9099 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml |
| MD5SUM | 3de3ac871f1e1c584be6c245f66daf9e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 516 |
| Best CPU time to get the best result obtained on this benchmark | 2519.78 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2347 |
| Number of constraints | 1352 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 2313 |
| Distribution of domain sizes | [{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 35 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}] |
| Number of extensional constraints | 1152 |
| Number of intensional constraints | 161 |
| Distribution of constraint types | [{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
7.19/7.28 c SAT : Variables: 85447 -- Clauses: 91441923 7.19/7.28 c best=?? lower=0 upper=1024 18.10/18.19 c 18.10/18.19 c This is cosoco 1.12 -- 18.10/18.19 c 18.10/18.19 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265934-1502568473.xml 18.10/18.19 c enable optimization 18.10/18.19 c ========================================[ Problem Statistics ]=========================================== 18.10/18.19 c | 18.10/18.19 c | Parse time : 6.32 s 18.10/18.19 c | 18.10/18.19 c | Variables: 2347 18.10/18.19 c | Domain Sizes: 2..2313 18.10/18.19 c | 18.10/18.19 c | Constraints: 1485 18.10/18.19 c | Arity: 1..36 -- Unary: 137 -- Binary: 162 -- Ternary: 128 18.10/18.19 c | 18.10/18.19 c | Types: 18.10/18.19 c | Extension: 1152 (nb tuples: 1..724) -- (shared: 1147) 18.10/18.19 c | Intension: 162 18.10/18.19 c | Sum: 35 18.10/18.19 c | Unary: 136 18.10/18.19 c | 18.10/18.19 c ========================================================================================================= 18.10/18.19 o 17 18.10/18.19 c 1 calls to solver: best=17 lower=18 upper=1024 19.69/19.79 o 18 86.28/86.39 o 19 86.28/86.39 c 3 calls to solver: best=19 lower=20 upper=1024 94.58/94.63 o 20 135.68/135.70 o 21 135.68/135.70 c 5 calls to solver: best=21 lower=22 upper=1024 135.99/136.03 o 28 136.78/136.80 o 37 136.78/136.80 c 7 calls to solver: best=37 lower=38 upper=1024 137.38/137.42 o 39 140.18/140.28 o 40 140.18/140.28 c 9 calls to solver: best=40 lower=41 upper=1024 141.29/141.33 o 42 141.79/141.82 o 46 141.79/141.82 c 11 calls to solver: best=46 lower=47 upper=1024 142.19/142.29 o 47 145.58/145.69 o 59 145.58/145.69 c 13 calls to solver: best=59 lower=60 upper=1024 146.09/146.14 o 61 149.09/149.10 o 69 149.09/149.10 c 15 calls to solver: best=69 lower=70 upper=1024 150.09/150.16 o 70 245.89/245.98 o 71 245.89/245.98 c 17 calls to solver: best=71 lower=72 upper=1024 2520.07/2519.90 2520.07/2519.90 c *** INTERRUPTED *** 2520.07/2519.90 c restarts : 581 2520.07/2519.90 c conflicts : 2465994 (979 /sec) 2520.07/2519.90 c decisions : 30358820 (12052 /sec) 2520.07/2519.90 c propagations : 1103133171 (437945 /sec) 2520.07/2519.90 c root propagations : 41136 2520.07/2519.90 c filter calls : 691329228 (274458 /sec) 2520.07/2519.90 c useless filter calls : 481060678 (69 %) 2520.07/2519.90 c 2520.07/2519.90 c clauses : 91444948 2520.07/2519.90 c SAT propagations : 746 2520.07/2519.90 c SAT conflicts : 0 (0 learnts) 2520.07/2519.90 c Memory used : 3945.32 MB 2520.07/2519.90 c CPU time : 2518.89 s 2520.07/2519.90 2520.07/2519.90 c nb Solutions = 17 2520.07/2519.90 s SATISFIABLE 2520.07/2519.90 c Best value found: 71 2520.07/2519.90 2520.07/2519.90 2520.07/2519.90 v <instantiation type='solution' cost='71'> 2520.07/2519.90 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][2] w[0][30] w[0][31] w[0][32] w[0][33] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][2] w[10][30] w[10][31] w[10][32] w[10][33] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][2] w[11][30] w[11][31] w[11][32] w[11][33] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][2] w[12][30] w[12][31] w[12][32] w[12][33] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][2] w[13][30] w[13][31] w[13][32] w[13][33] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][2] w[14][30] w[14][31] w[14][32] w[14][33] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][2] w[15][30] w[15][31] w[15][32] w[15][33] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][2] w[16][30] w[16][31] w[16][32] w[16][33] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][2] w[17][30] w[17][31] w[17][32] w[17][33] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][2] w[18][30] w[18][31] w[18][32] w[18][33] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][2] w[19][30] w[19][31] w[19][32] w[19][33] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][2] w[1][30] w[1][31] w[1][32] w[1][33] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][2] w[20][30] w[20][31] w[20][32] w[20][33] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][2] w[21][30] w[21][31] w[21][32] w[21][33] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][2] w[22][30] w[22][31] w[22][32] w[22][33] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][2] w[23][30] w[23][31] w[23][32] w[23][33] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][2] w[24][30] w[24][31] w[24][32] w[24][33] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][2] w[25][30] w[25][31] w[25][32] w[25][33] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][2] w[26][30] w[26][31] w[26][32] w[26][33] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][2] w[27][30] w[27][31] w[27][32] w[27][33] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][1] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][2] w[28][30] w[28][31] w[28][32] w[28][33] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][1] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][2] w[29][30] w[29][31] w[29][32] w[29][33] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][2] w[2][30] w[2][31] w[2][32] w[2][33] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[30][0] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][1] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][2] w[30][30] w[30][31] w[30][32] w[30][33] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[31][0] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][1] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][2] w[31][30] w[31][31] w[31][32] w[31][33] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[32][0] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][1] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][2] w[32][30] w[32][31] w[32][32] w[32][33] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[33][0] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][1] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][2] w[33][30] w[33][31] w[33][32] w[33][33] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][2] w[3][30] w[3][31] w[3][32] w[3][33] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][2] w[4][30] w[4][31] w[4][32] w[4][33] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][2] w[5][30] w[5][31] w[5][32] w[5][33] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][2] w[6][30] w[6][31] w[6][32] w[6][33] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][2] w[7][30] w[7][31] w[7][32] w[7][33] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][2] w[8][30] w[8][31] w[8][32] w[8][33] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][2] w[9][30] w[9][31] w[9][32] w[9][33] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[30] ws[31] ws[32] ws[33] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2520.07/2519.90 v <values>0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 2 1 1 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 1 2 1 2 1 1 2 1 1 2 2 2 2 1 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 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 0 1 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 2 0 1 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 0 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 1 0 0 1 2 0 2 2 2 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 1 2 2 2 2 2 0 2 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 1 0 1 1 2 2 2 2 1 2 2 1 0 1 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 0 1 2 2 2 2 1 2 2 1 0 0 1 1 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 2 2 2 0 1 0 0 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 2 1 2 2 2 2 1 0 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 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 2 2 1 2 2 2 2 2 2 2 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 1 2 2 2 2 2 2 2 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 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 1 0 0 0 1 1 2 1 0 0 1 2 0 2 2 2 1 1 2 2 2 2 2 2 1 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 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 1 0 1 0 0 1 2 1 1 2 2 1 2 2 2 1 2 1 1 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 1 1 0 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 0 0 1 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 0 1 0 0 1 0 1 2 1 1 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 1 2 1 0 0 0 1 2 1 1 1 0 0 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 1 1 2 0 0 0 0 1 1 0 1 2 2 2 1 1 0 1 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 1 0 2 0 0 1 0 1 0 1 1 2 2 2 26 506 570 636 700 761 820 878 939 1004 1070 75 1134 1194 1250 1305 1362 1420 1481 1544 1604 1664 122 1728 1794 1860 1892 172 223 276 328 372 411 452 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 71 </values> 2520.07/2519.90 v </instantiation> 2520.07/2519.90
OK 71
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 (12375 MiB free)
memory of node 1: 16384 MiB (13677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265934-1502568473/watcher-4265934-1502568473 -o /tmp/evaluation-result-4265934-1502568473/solver-4265934-1502568473 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265934-1502568473.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=24567, runsolver pid=24564
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 2.07 1.52 0.72 3/188 24568
/proc/meminfo: memFree=26661848/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=42920 memory=19396 CPUtime=0.1 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 5041 0 0 0 10 0 0 0 20 0 1 0 89919015 43950080 4849 33554432000 4194304 5972588 140723904008048 140723904001448 139773320058784 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 10730 4849 797 435 0 4093 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42920 KiB
Current children cumulated memory: 19396 KiB
[startup+0.209652 s]*
/proc/loadavg: 2.07 1.52 0.72 3/188 24568
/proc/meminfo: memFree=26659364/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=46532 memory=23076 CPUtime=0.21 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 5953 0 0 0 21 0 0 0 20 0 1 0 89919015 47648768 5769 33554432000 4194304 5972588 140723904008048 140723904001448 4967517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 11633 5769 814 435 0 4996 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46532 KiB
Current children cumulated memory: 23076 KiB
[startup+0.309089 s]*
/proc/loadavg: 2.07 1.52 0.72 3/188 24568
/proc/meminfo: memFree=26611680/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=102992 memory=74944 CPUtime=0.3 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 16872 0 0 0 29 1 0 0 20 0 1 0 89919015 105463808 18736 33554432000 4194304 5972588 140723904008048 140723904001448 5280489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 25748 18736 844 435 0 19111 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102992 KiB
Current children cumulated memory: 74944 KiB
[startup+0.700422 s]
/proc/loadavg: 2.07 1.52 0.72 3/188 24568
/proc/meminfo: memFree=26502832/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=348288 memory=281404 CPUtime=0.69 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 47007 0 0 0 62 7 0 0 20 0 1 0 89919015 356646912 70286 33554432000 4194304 5972588 140723904008048 140723904001448 5252461 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 87072 70286 844 435 0 80435 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 348288 KiB
Current children cumulated memory: 281404 KiB
[startup+1.50039 s]
/proc/loadavg: 2.07 1.52 0.72 3/188 24568
/proc/meminfo: memFree=26242996/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=859940 memory=703860 CPUtime=1.49 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 103096 0 0 0 130 19 0 0 20 0 1 0 89919015 880578560 175965 33554432000 4194304 5972588 140723904008048 140723904001448 139773320079915 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 214985 175965 844 435 0 208348 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 859940 KiB
Current children cumulated memory: 703860 KiB
[startup+3.10966 s]
/proc/loadavg: 2.07 1.52 0.72 3/188 24568
/proc/meminfo: memFree=25200588/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=1999720 memory=1535836 CPUtime=3.09 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 213242 0 0 0 267 42 0 0 20 0 1 0 89919015 2047713280 383959 33554432000 4194304 5972588 140723904008048 140723904004840 139773320079915 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 499930 383959 844 435 0 493293 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1999720 KiB
Current children cumulated memory: 1535836 KiB
[startup+6.30036 s]
/proc/loadavg: 2.06 1.52 0.73 3/188 24568
/proc/meminfo: memFree=23668900/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=3566700 memory=3152252 CPUtime=6.28 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 418985 0 0 0 546 82 0 0 20 0 1 0 89919015 3652300800 788063 33554432000 4194304 5972588 140723904008048 140723904004840 5252461 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 891675 788063 844 435 0 885038 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3566700 KiB
Current children cumulated memory: 3152252 KiB
[startup+12.7004 s]
/proc/loadavg: 2.06 1.53 0.74 3/188 24568
/proc/meminfo: memFree=23012788/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4014292 memory=3663896 CPUtime=12.69 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 498495 0 0 0 1173 96 0 0 20 0 1 0 89919015 4110635008 915974 33554432000 4194304 5972588 140723904008048 140723904005272 139773320010725 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1003573 915974 859 435 0 996936 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4014292 KiB
Current children cumulated memory: 3663896 KiB
[startup+25.5004 s]
/proc/loadavg: 2.05 1.55 0.76 3/188 24568
/proc/meminfo: memFree=22997660/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4028012 memory=3677648 CPUtime=25.49 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 521312 0 0 0 2452 97 0 0 20 0 1 0 89919015 4124684288 919412 33554432000 4194304 5972588 140723904008048 140723904005272 4923689 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1007003 919412 860 435 0 1000366 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 4028012 KiB
Current children cumulated memory: 3677648 KiB
[startup+51.1093 s]
/proc/loadavg: 2.03 1.59 0.79 3/188 24568
/proc/meminfo: memFree=22991880/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4029816 memory=3682512 CPUtime=51.09 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 534001 0 0 0 5011 98 0 0 20 0 1 0 89919015 4126531584 920628 33554432000 4194304 5972588 140723904008048 140723904005272 4931747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1007454 920628 860 435 0 1000817 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 4029816 KiB
Current children cumulated memory: 3682512 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 1.65 0.85 3/188 24570
/proc/meminfo: memFree=22976348/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4035840 memory=3698208 CPUtime=102.28 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 555143 0 0 0 10128 100 0 0 20 0 1 0 89919015 4132700160 924552 33554432000 4194304 5972588 140723904008048 140723904005272 4931747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1008960 924552 860 435 0 1002323 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 4035840 KiB
Current children cumulated memory: 3698208 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.72 0.92 3/188 24571
/proc/meminfo: memFree=22960592/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4039884 memory=3713768 CPUtime=162.28 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 581647 0 0 0 16126 102 0 0 20 0 1 0 89919015 4136841216 928442 33554432000 4194304 5972588 140723904008048 140723904005272 5327653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1009971 928442 860 435 0 1003334 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 4039884 KiB
Current children cumulated memory: 3713768 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.77 0.99 3/187 24572
/proc/meminfo: memFree=22952612/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4039884 memory=3721380 CPUtime=222.29 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 596726 0 0 0 22125 104 0 0 20 0 1 0 89919015 4136841216 930345 33554432000 4194304 5972588 140723904008048 140723904005272 4931747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1009971 930345 860 435 0 1003334 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 4039884 KiB
Current children cumulated memory: 3721380 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.81 1.06 3/187 24574
/proc/meminfo: memFree=22943024/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3730920 CPUtime=282.29 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 620215 0 0 0 28124 105 0 0 20 0 1 0 89919015 4136968192 932730 33554432000 4194304 5972588 140723904008048 140723904005272 5071222 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 932730 860 435 0 1003365 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3730920 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.84 1.11 3/187 24575
/proc/meminfo: memFree=22935376/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3738560 CPUtime=342.3 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 630802 0 0 0 34124 106 0 0 20 0 1 0 89919015 4136968192 934640 33554432000 4194304 5972588 140723904008048 140723904005272 5039490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 934640 860 435 0 1003365 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3738560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.87 1.17 3/188 24584
/proc/meminfo: memFree=22925324/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3746884 CPUtime=402.29 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 640331 0 0 0 40123 106 0 0 20 0 1 0 89919015 4136968192 936721 33554432000 4194304 5972588 140723904008048 140723904005272 4965365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 936721 860 435 0 1003365 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3746884 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.90 1.22 3/189 24608
/proc/meminfo: memFree=22917436/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3754440 CPUtime=462.31 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 649494 0 0 0 46123 108 0 0 20 0 1 0 89919015 4136968192 938610 33554432000 4194304 5972588 140723904008048 140723904005272 5338181 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 938610 860 435 0 1003365 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3754440 KiB
################
# More data... #
################
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+1842.3 s]
/proc/loadavg: 2.38 2.19 1.91 3/187 24647
/proc/meminfo: memFree=22803416/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=1842.41 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 790619 0 0 0 184123 118 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+1902.3 s]
/proc/loadavg: 2.14 2.15 1.91 3/187 24649
/proc/meminfo: memFree=22803564/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=1902.41 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 792298 0 0 0 190123 118 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4965817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.12 1.92 3/187 24650
/proc/meminfo: memFree=22803412/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=1962.42 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 795148 0 0 0 196124 118 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5039167 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.10 1.92 3/187 24651
/proc/meminfo: memFree=22803420/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2022.42 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 797198 0 0 0 202124 118 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4931747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.08 1.93 3/187 24653
/proc/meminfo: memFree=22803264/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2082.44 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 800479 0 0 0 208125 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5053069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.07 1.94 3/187 24654
/proc/meminfo: memFree=22803452/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2142.44 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 801929 0 0 0 214125 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4909679 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 1.94 3/188 24663
/proc/meminfo: memFree=22802872/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2202.45 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 803559 0 0 0 220126 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4935596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/188 24664
/proc/meminfo: memFree=22802872/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2262.45 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 806823 0 0 0 226126 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/188 24665
/proc/meminfo: memFree=22803192/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2322.46 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 808168 0 0 0 232127 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4931696 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/188 24666
/proc/meminfo: memFree=22803172/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2382.46 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 809842 0 0 0 238127 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4931747 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/188 24728
/proc/meminfo: memFree=22787444/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2442.47 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 811817 0 0 0 244128 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5338169 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2442.47 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24729
/proc/meminfo: memFree=22785572/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2502.47 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 814445 0 0 0 250128 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 4935330 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2502.47 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24729
/proc/meminfo: memFree=22785704/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2520.07 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 814526 0 0 0 251888 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5039159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 24567 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.89 s, system=1.20911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24729
/proc/meminfo: memFree=22785704/32770624 swapFree=67108860/67108860
[pid=24567] ppid=24564 vsize=4040008 memory=3869180 CPUtime=2520.07 cores=1,3,5,7
/proc/24567/stat : 24567 (cosoco) R 24564 24567 24318 0 -1 4202496 814526 0 0 0 251888 119 0 0 20 0 1 0 89919015 4136968192 967295 33554432000 4194304 5972588 140723904008048 140723904005272 5039159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 35663872 140723904009402 140723904009502 140723904009502 140723904012238 0
/proc/24567/statm: 1010002 967295 860 435 0 1003365 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 4040008 KiB
Current children cumulated memory: 3869180 KiB
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.1
CPU user time (s): 2518.89
CPU system time (s): 1.20911
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 4040008
Max. memory (cumulated for all children) (KiB): 3869180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.89
system time used= 1.20911
maximum resident set size= 3869252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 814576
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= 107
involuntary context switches= 775
# summary of solver processes directly reported to runsolver:
# pid: 24567
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.89
# total CPU system time (s): 1.20911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07577 second user time and 16.8315 second system time
The end
Begin job on node105 at 2017-08-12 21:53:35 IDJOB=4265934 IDBENCH=115918 IDSOLVER=2655 FILE ID=node105/4265934-1502568473 RUNJOBID= node105-1502567255-24403 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265934-1502568473/watcher-4265934-1502568473 -o /tmp/evaluation-result-4265934-1502568473/solver-4265934-1502568473 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265934-1502568473.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=1031994061 node105.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.17 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.17 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.17 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.17 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: 26678840 kB MemAvailable: 31973656 kB Buffers: 135096 kB Cached: 5437320 kB SwapCached: 0 kB Active: 646500 kB Inactive: 4987012 kB Active(anon): 63972 kB Inactive(anon): 25056 kB Active(file): 582528 kB Inactive(file): 4961956 kB Unevictable: 6252 kB Mlocked: 6252 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2352 kB Writeback: 8 kB AnonPages: 83364 kB Mapped: 44300 kB Shmem: 25228 kB Slab: 157460 kB SReclaimable: 132332 kB SUnreclaim: 25128 kB KernelStack: 3552 kB PageTables: 5292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 361720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-12 22:35:36