| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | SAT | 10.6068 | 10.7108 |
| Name | QueenAttacking/QueenAttacking-xcsp2-s1/ QueenAttacking-07_X2.xml |
| MD5SUM | be036177e118ca84375e398cb8709600 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 9.9911203 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50 |
| Number of constraints | 1191 |
| Number of domains | 2 |
| Minimum domain size | 10 |
| Maximum domain size | 49 |
| Distribution of domain sizes | [{"size":10,"count":1},{"size":49,"count":49}] |
| Minimum variable degree | 15 |
| Maximum variable degree | 49 |
| Distribution of variable degrees | [{"degree":15,"count":1},{"degree":48,"count":34},{"degree":49,"count":15}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":1191}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1191 |
| Distribution of constraint types | [{"type":"intension","count":1191}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.12 c intension x[0] != x[2] using generic constraint 0.00/0.12 c intension x[0] != x[3] using generic constraint 0.00/0.12 c intension x[0] != x[4] using generic constraint 0.00/0.12 c intension x[0] != x[5] using generic constraint 0.00/0.12 c intension x[0] != x[6] using generic constraint 0.00/0.12 c intension x[0] != x[7] using generic constraint 0.00/0.12 c intension x[0] != x[8] using generic constraint 0.00/0.12 c intension x[0] != x[9] using generic constraint 0.00/0.12 c intension x[0] != x[10] using generic constraint 0.00/0.12 c intension x[0] != x[11] using generic constraint 0.00/0.12 c intension x[0] != x[12] using generic constraint 0.00/0.13 c intension x[0] != x[13] using generic constraint 0.00/0.13 c intension x[0] != x[14] using generic constraint 0.00/0.13 c intension x[0] != x[15] using generic constraint 0.00/0.13 c intension x[0] != x[16] using generic constraint 0.00/0.13 c intension x[0] != x[17] using generic constraint 0.00/0.13 c intension x[0] != x[18] using generic constraint 0.00/0.13 c intension x[0] != x[19] using generic constraint 0.00/0.13 c intension x[0] != x[20] using generic constraint 0.00/0.13 c intension x[0] != x[21] using generic constraint 0.00/0.13 c intension x[0] != x[22] using generic constraint 0.00/0.13 c intension x[0] != x[23] using generic constraint 0.00/0.14 c intension x[0] != x[24] using generic constraint 0.00/0.14 c intension x[0] != x[25] using generic constraint 0.00/0.14 c intension x[0] != x[26] using generic constraint 0.00/0.14 c intension x[0] != x[27] using generic constraint 0.00/0.14 c intension x[0] != x[28] using generic constraint 0.00/0.14 c intension x[0] != x[29] using generic constraint 0.00/0.14 c intension x[0] != x[30] using generic constraint 0.00/0.14 c intension x[0] != x[31] using generic constraint 0.00/0.14 c intension x[0] != x[32] using generic constraint 0.00/0.14 c intension x[0] != x[33] using generic constraint 0.00/0.14 c intension x[0] != x[34] using generic constraint 0.00/0.14 c intension x[0] != x[35] using generic constraint 0.00/0.15 c intension x[0] != x[36] using generic constraint 0.00/0.15 c intension x[0] != x[37] using generic constraint 0.00/0.15 c intension x[0] != x[38] using generic constraint 0.00/0.15 c intension x[0] != x[39] using generic constraint 0.00/0.15 c intension x[0] != x[40] using generic constraint 0.00/0.15 c intension x[0] != x[41] using generic constraint 0.00/0.15 c intension x[0] != x[42] using generic constraint 0.00/0.15 c intension x[0] != x[43] using generic constraint 0.00/0.15 c intension x[0] != x[44] using generic constraint 0.00/0.15 c intension x[0] != x[45] using generic constraint 0.00/0.15 c intension x[0] != x[46] using generic constraint 0.00/0.16 c intension x[0] != x[47] using generic constraint 0.00/0.16 c intension x[0] != x[48] using generic constraint 0.00/0.16 c intension x[1] != x[3] using generic constraint 0.00/0.16 c intension x[1] != x[4] using generic constraint 0.00/0.16 c intension x[1] != x[5] using generic constraint 0.00/0.16 c intension x[1] != x[6] using generic constraint 0.00/0.16 c intension x[1] != x[7] using generic constraint 0.00/0.16 c intension x[1] != x[8] using generic constraint 0.00/0.16 c intension x[1] != x[9] using generic constraint 0.00/0.16 c intension x[1] != x[10] using generic constraint 0.00/0.16 c intension x[1] != x[11] using generic constraint 0.00/0.16 c intension x[1] != x[12] using generic constraint 0.00/0.17 c intension x[1] != x[13] using generic constraint 0.00/0.17 c intension x[1] != x[14] using generic constraint 0.00/0.17 c intension x[1] != x[15] using generic constraint 0.00/0.17 c intension x[1] != x[16] using generic constraint 0.00/0.17 c intension x[1] != x[17] using generic constraint 0.00/0.17 c intension x[1] != x[18] using generic constraint 0.00/0.17 c intension x[1] != x[19] using generic constraint 0.00/0.17 c intension x[1] != x[20] using generic constraint 0.00/0.17 c intension x[1] != x[21] using generic constraint 0.00/0.17 c intension x[1] != x[22] using generic constraint 0.00/0.17 c intension x[1] != x[23] using generic constraint 0.00/0.17 c intension x[1] != x[24] using generic constraint 0.00/0.18 c intension x[1] != x[25] using generic constraint 0.00/0.18 c intension x[1] != x[26] using generic constraint 0.00/0.18 c intension x[1] != x[27] using generic constraint 0.00/0.18 c intension x[1] != x[28] using generic constraint 0.00/0.18 c intension x[1] != x[29] using generic constraint 0.00/0.18 c intension x[1] != x[30] using generic constraint 0.00/0.18 c intension x[1] != x[31] using generic constraint 0.00/0.18 c intension x[1] != x[32] using generic constraint 0.00/0.18 c intension x[1] != x[33] using generic constraint 0.00/0.18 c intension x[1] != x[34] using generic constraint 0.00/0.18 c intension x[1] != x[35] using generic constraint 0.00/0.19 c intension x[1] != x[36] using generic constraint 0.00/0.19 c intension x[1] != x[37] using generic constraint 0.00/0.19 c intension x[1] != x[38] using generic constraint 0.00/0.19 c intension x[1] != x[39] using generic constraint 0.00/0.19 c intension x[1] != x[40] using generic constraint 0.00/0.19 c intension x[1] != x[41] using generic constraint 0.00/0.19 c intension x[1] != x[42] using generic constraint 0.00/0.19 c intension x[1] != x[43] using generic constraint 0.00/0.19 c intension x[1] != x[44] using generic constraint 0.00/0.19 c intension x[1] != x[45] using generic constraint 0.00/0.19 c intension x[1] != x[46] using generic constraint 0.00/0.19 c intension x[1] != x[47] using generic constraint 0.00/0.20 c intension x[1] != x[48] using generic constraint 0.09/0.20 c intension x[2] != x[4] using generic constraint 0.09/0.20 c intension x[2] != x[5] using generic constraint 0.09/0.20 c intension x[2] != x[6] using generic constraint 0.09/0.20 c intension x[2] != x[7] using generic constraint 0.09/0.20 c intension x[2] != x[8] using generic constraint 0.09/0.20 c intension x[2] != x[9] using generic constraint 0.09/0.20 c intension x[2] != x[10] using generic constraint 0.09/0.20 c intension x[2] != x[11] using generic constraint 0.09/0.20 c intension x[2] != x[12] using generic constraint 0.09/0.20 c intension x[2] != x[13] using generic constraint 0.09/0.20 c intension x[2] != x[14] using generic constraint 0.09/0.21 c intension x[2] != x[15] using generic constraint 0.09/0.21 c intension x[2] != x[16] using generic constraint 0.09/0.21 c intension x[2] != x[17] using generic constraint 0.09/0.21 c intension x[2] != x[18] using generic constraint 0.09/0.21 c intension x[2] != x[19] using generic constraint 0.09/0.21 c intension x[2] != x[20] using generic constraint 0.09/0.21 c intension x[2] != x[21] using generic constraint 0.09/0.21 c intension x[2] != x[22] using generic constraint 0.09/0.21 c intension x[2] != x[23] using generic constraint 0.09/0.21 c intension x[2] != x[24] using generic constraint 0.09/0.21 c intension x[2] != x[25] using generic constraint 0.09/0.22 c intension x[2] != x[26] using generic constraint 0.09/0.22 c intension x[2] != x[27] using generic constraint 0.09/0.22 c intension x[2] != x[28] using generic constraint 0.09/0.22 c intension x[2] != x[29] using generic constraint 0.09/0.22 c intension x[2] != x[30] using generic constraint 0.09/0.22 c intension x[2] != x[31] using generic constraint 0.09/0.22 c intension x[2] != x[32] using generic constraint 0.09/0.22 c intension x[2] != x[33] using generic constraint 0.09/0.22 c intension x[2] != x[34] using generic constraint 0.09/0.22 c intension x[2] != x[35] using generic constraint 0.09/0.22 c intension x[2] != x[36] using generic constraint 0.09/0.22 c intension x[2] != x[37] using generic constraint 0.09/0.23 c intension x[2] != x[38] using generic constraint 0.09/0.23 c intension x[2] != x[39] using generic constraint 0.09/0.23 c intension x[2] != x[40] using generic constraint 0.09/0.23 c intension x[2] != x[41] using generic constraint 0.09/0.23 c intension x[2] != x[42] using generic constraint 0.09/0.23 c intension x[2] != x[43] using generic constraint 0.09/0.23 c intension x[2] != x[44] using generic constraint 0.09/0.23 c intension x[2] != x[45] using generic constraint 0.09/0.23 c intension x[2] != x[46] using generic constraint 0.09/0.23 c intension x[2] != x[47] using generic constraint 0.09/0.23 c intension x[2] != x[48] using generic constraint 0.09/0.24 c intension x[3] != x[5] using generic constraint 0.09/0.24 c intension x[3] != x[6] using generic constraint 0.09/0.24 c intension x[3] != x[7] using generic constraint 0.09/0.24 c intension x[3] != x[8] using generic constraint 0.09/0.24 c intension x[3] != x[9] using generic constraint 0.09/0.24 c intension x[3] != x[10] using generic constraint 0.09/0.24 c intension x[3] != x[11] using generic constraint 0.09/0.24 c intension x[3] != x[12] using generic constraint 0.09/0.24 c intension x[3] != x[13] using generic constraint 0.09/0.24 c intension x[3] != x[14] using generic constraint 0.09/0.24 c intension x[3] != x[15] using generic constraint 0.09/0.24 c intension x[3] != x[16] using generic constraint 0.09/0.25 c intension x[3] != x[17] using generic constraint 0.09/0.25 c intension x[3] != x[18] using generic constraint 0.09/0.25 c intension x[3] != x[19] using generic constraint 0.09/0.25 c intension x[3] != x[20] using generic constraint 0.09/0.25 c intension x[3] != x[21] using generic constraint 0.09/0.25 c intension x[3] != x[22] using generic constraint 0.09/0.25 c intension x[3] != x[23] using generic constraint 0.09/0.25 c intension x[3] != x[24] using generic constraint 0.09/0.25 c intension x[3] != x[25] using generic constraint 0.09/0.25 c intension x[3] != x[26] using generic constraint 0.09/0.25 c intension x[3] != x[27] using generic constraint 0.09/0.25 c intension x[3] != x[28] using generic constraint 0.09/0.26 c intension x[3] != x[29] using generic constraint 0.09/0.26 c intension x[3] != x[30] using generic constraint 0.09/0.26 c intension x[3] != x[31] using generic constraint 0.09/0.26 c intension x[3] != x[32] using generic constraint 0.09/0.26 c intension x[3] != x[33] using generic constraint 0.09/0.26 c intension x[3] != x[34] using generic constraint 0.09/0.26 c intension x[3] != x[35] using generic constraint 0.09/0.26 c intension x[3] != x[36] using generic constraint 0.09/0.26 c intension x[3] != x[37] using generic constraint 0.09/0.26 c intension x[3] != x[38] using generic constraint 0.09/0.26 c intension x[3] != x[39] using generic constraint 0.09/0.27 c intension x[3] != x[40] using generic constraint 0.09/0.27 c intension x[3] != x[41] using generic constraint 0.09/0.27 c intension x[3] != x[42] using generic constraint 0.09/0.27 c intension x[3] != x[43] using generic constraint 0.09/0.27 c intension x[3] != x[44] using generic constraint 0.09/0.27 c intension x[3] != x[45] using generic constraint 0.09/0.27 c intension x[3] != x[46] using generic constraint 0.09/0.27 c intension x[3] != x[47] using generic constraint 0.09/0.27 c intension x[3] != x[48] using generic constraint 0.09/0.27 c intension x[4] != x[6] using generic constraint 0.09/0.27 c intension x[4] != x[7] using generic constraint 0.09/0.27 c intension x[4] != x[8] using generic constraint 0.09/0.28 c intension x[4] != x[9] using generic constraint 0.09/0.28 c intension x[4] != x[10] using generic constraint 0.09/0.28 c intension x[4] != x[11] using generic constraint 0.09/0.28 c intension x[4] != x[12] using generic constraint 0.09/0.28 c intension x[4] != x[13] using generic constraint 0.09/0.28 c intension x[4] != x[14] using generic constraint 0.09/0.28 c intension x[4] != x[15] using generic constraint 0.09/0.28 c intension x[4] != x[16] using generic constraint 0.09/0.28 c intension x[4] != x[17] using generic constraint 0.09/0.28 c intension x[4] != x[18] using generic constraint 0.09/0.28 c intension x[4] != x[19] using generic constraint 0.09/0.29 c intension x[4] != x[20] using generic constraint 0.09/0.29 c intension x[4] != x[21] using generic constraint 0.09/0.29 c intension x[4] != x[22] using generic constraint 0.09/0.29 c intension x[4] != x[23] using generic constraint 0.09/0.29 c intension x[4] != x[24] using generic constraint 0.09/0.29 c intension x[4] != x[25] using generic constraint 0.09/0.29 c intension x[4] != x[26] using generic constraint 0.09/0.29 c intension x[4] != x[27] using generic constraint 0.09/0.29 c intension x[4] != x[28] using generic constraint 0.09/0.29 c intension x[4] != x[29] using generic constraint 0.09/0.29 c intension x[4] != x[30] using generic constraint 0.09/0.29 c intension x[4] != x[31] using generic constraint 0.09/0.30 c intension x[4] != x[32] using generic constraint 0.19/0.30 c intension x[4] != x[33] using generic constraint 0.19/0.30 c intension x[4] != x[34] using generic constraint 0.19/0.30 c intension x[4] != x[35] using generic constraint 0.19/0.30 c intension x[4] != x[36] using generic constraint 0.19/0.30 c intension x[4] != x[37] using generic constraint 0.19/0.30 c intension x[4] != x[38] using generic constraint 0.19/0.30 c intension x[4] != x[39] using generic constraint 0.19/0.30 c intension x[4] != x[40] using generic constraint 0.19/0.30 c intension x[4] != x[41] using generic constraint 0.19/0.30 c intension x[4] != x[42] using generic constraint 0.19/0.30 c intension x[4] != x[43] using generic constraint 0.19/0.31 c intension x[4] != x[44] using generic constraint 0.19/0.31 c intension x[4] != x[45] using generic constraint 0.19/0.31 c intension x[4] != x[46] using generic constraint 0.19/0.31 c intension x[4] != x[47] using generic constraint 0.19/0.31 c intension x[4] != x[48] using generic constraint 0.19/0.31 c intension x[5] != x[7] using generic constraint 0.19/0.31 c intension x[5] != x[8] using generic constraint 0.19/0.31 c intension x[5] != x[9] using generic constraint 0.19/0.31 c intension x[5] != x[10] using generic constraint 0.19/0.31 c intension x[5] != x[11] using generic constraint 0.19/0.31 c intension x[5] != x[12] using generic constraint 0.19/0.32 c intension x[5] != x[13] using generic constraint 0.19/0.32 c intension x[5] != x[14] using generic constraint 0.19/0.32 c intension x[5] != x[15] using generic constraint 0.19/0.32 c intension x[5] != x[16] using generic constraint 0.19/0.32 c intension x[5] != x[17] using generic constraint 0.19/0.32 c intension x[5] != x[18] using generic constraint 0.19/0.32 c intension x[5] != x[19] using generic constraint 0.19/0.32 c intension x[5] != x[20] using generic constraint 0.19/0.32 c intension x[5] != x[21] using generic constraint 0.19/0.32 c intension x[5] != x[22] using generic constraint 0.19/0.32 c intension x[5] != x[23] using generic constraint 0.19/0.32 c intension x[5] != x[24] using generic constraint 0.19/0.33 c intension x[5] != x[25] using generic constraint 0.19/0.33 c intension x[5] != x[26] using generic constraint 0.19/0.33 c intension x[5] != x[27] using generic constraint 0.19/0.33 c intension x[5] != x[28] using generic constraint 0.19/0.33 c intension x[5] != x[29] using generic constraint 0.19/0.33 c intension x[5] != x[30] using generic constraint 0.19/0.33 c intension x[5] != x[31] using generic constraint 0.19/0.33 c intension x[5] != x[32] using generic constraint 0.19/0.33 c intension x[5] != x[33] using generic constraint 0.19/0.33 c intension x[5] != x[34] using generic constraint 0.19/0.33 c intension x[5] != x[35] using generic constraint 0.19/0.34 c intension x[5] != x[36] using generic constraint 0.19/0.34 c intension x[5] != x[37] using generic constraint 0.19/0.34 c intension x[5] != x[38] using generic constraint 0.19/0.34 c intension x[5] != x[39] using generic constraint 0.19/0.34 c intension x[5] != x[40] using generic constraint 0.19/0.34 c intension x[5] != x[41] using generic constraint 0.19/0.34 c intension x[5] != x[42] using generic constraint 0.19/0.34 c intension x[5] != x[43] using generic constraint 0.19/0.34 c intension x[5] != x[44] using generic constraint 0.19/0.34 c intension x[5] != x[45] using generic constraint 0.19/0.34 c intension x[5] != x[46] using generic constraint 0.19/0.34 c intension x[5] != x[47] using generic constraint 0.19/0.35 c intension x[5] != x[48] using generic constraint 0.19/0.35 c intension x[6] != x[8] using generic constraint 0.19/0.35 c intension x[6] != x[9] using generic constraint 0.19/0.35 c intension x[6] != x[10] using generic constraint 0.19/0.35 c intension x[6] != x[11] using generic constraint 0.19/0.35 c intension x[6] != x[12] using generic constraint 0.19/0.35 c intension x[6] != x[13] using generic constraint 0.19/0.35 c intension x[6] != x[14] using generic constraint 0.19/0.35 c intension x[6] != x[15] using generic constraint 0.19/0.35 c intension x[6] != x[16] using generic constraint 0.19/0.35 c intension x[6] != x[17] using generic constraint 0.19/0.36 c intension x[6] != x[18] using generic constraint 0.19/0.36 c intension x[6] != x[19] using generic constraint 0.19/0.36 c intension x[6] != x[20] using generic constraint 0.19/0.36 c intension x[6] != x[21] using generic constraint 0.19/0.36 c intension x[6] != x[22] using generic constraint 0.19/0.36 c intension x[6] != x[23] using generic constraint 0.19/0.36 c intension x[6] != x[24] using generic constraint 0.19/0.36 c intension x[6] != x[25] using generic constraint 0.19/0.36 c intension x[6] != x[26] using generic constraint 0.19/0.36 c intension x[6] != x[27] using generic constraint 0.19/0.36 c intension x[6] != x[28] using generic constraint 0.19/0.36 c intension x[6] != x[29] using generic constraint 0.19/0.37 c intension x[6] != x[30] using generic constraint 0.19/0.37 c intension x[6] != x[31] using generic constraint 0.19/0.37 c intension x[6] != x[32] using generic constraint 0.19/0.37 c intension x[6] != x[33] using generic constraint 0.19/0.37 c intension x[6] != x[34] using generic constraint 0.19/0.37 c intension x[6] != x[35] using generic constraint 0.19/0.37 c intension x[6] != x[36] using generic constraint 0.19/0.37 c intension x[6] != x[37] using generic constraint 0.19/0.37 c intension x[6] != x[38] using generic constraint 0.19/0.37 c intension x[6] != x[39] using generic constraint 0.19/0.37 c intension x[6] != x[40] using generic constraint 0.19/0.37 c intension x[6] != x[41] using generic constraint 0.19/0.38 c intension x[6] != x[42] using generic constraint 0.19/0.38 c intension x[6] != x[43] using generic constraint 0.19/0.38 c intension x[6] != x[44] using generic constraint 0.19/0.38 c intension x[6] != x[45] using generic constraint 0.19/0.38 c intension x[6] != x[46] using generic constraint 0.19/0.38 c intension x[6] != x[47] using generic constraint 0.19/0.38 c intension x[6] != x[48] using generic constraint 0.19/0.38 c intension x[7] != x[9] using generic constraint 0.19/0.38 c intension x[7] != x[10] using generic constraint 0.19/0.38 c intension x[7] != x[11] using generic constraint 0.19/0.38 c intension x[7] != x[12] using generic constraint 0.19/0.39 c intension x[7] != x[13] using generic constraint 0.19/0.39 c intension x[7] != x[14] using generic constraint 0.19/0.39 c intension x[7] != x[15] using generic constraint 0.19/0.39 c intension x[7] != x[16] using generic constraint 0.19/0.39 c intension x[7] != x[17] using generic constraint 0.19/0.39 c intension x[7] != x[18] using generic constraint 0.19/0.39 c intension x[7] != x[19] using generic constraint 0.19/0.39 c intension x[7] != x[20] using generic constraint 0.19/0.39 c intension x[7] != x[21] using generic constraint 0.19/0.39 c intension x[7] != x[22] using generic constraint 0.19/0.39 c intension x[7] != x[23] using generic constraint 0.19/0.39 c intension x[7] != x[24] using generic constraint 0.29/0.40 c intension x[7] != x[25] using generic constraint 0.29/0.40 c intension x[7] != x[26] using generic constraint 0.29/0.40 c intension x[7] != x[27] using generic constraint 0.29/0.40 c intension x[7] != x[28] using generic constraint 0.29/0.40 c intension x[7] != x[29] using generic constraint 0.29/0.40 c intension x[7] != x[30] using generic constraint 0.29/0.40 c intension x[7] != x[31] using generic constraint 0.29/0.40 c intension x[7] != x[32] using generic constraint 0.29/0.40 c intension x[7] != x[33] using generic constraint 0.29/0.40 c intension x[7] != x[34] using generic constraint 0.29/0.40 c intension x[7] != x[35] using generic constraint 0.29/0.41 c intension x[7] != x[36] using generic constraint 0.29/0.41 c intension x[7] != x[37] using generic constraint 0.29/0.41 c intension x[7] != x[38] using generic constraint 0.29/0.41 c intension x[7] != x[39] using generic constraint 0.29/0.41 c intension x[7] != x[40] using generic constraint 0.29/0.41 c intension x[7] != x[41] using generic constraint 0.29/0.41 c intension x[7] != x[42] using generic constraint 0.29/0.41 c intension x[7] != x[43] using generic constraint 0.29/0.41 c intension x[7] != x[44] using generic constraint 0.29/0.41 c intension x[7] != x[45] using generic constraint 0.29/0.41 c intension x[7] != x[46] using generic constraint 0.29/0.41 c intension x[7] != x[47] using generic constraint 0.29/0.42 c intension x[7] != x[48] using generic constraint 0.29/0.42 c intension x[8] != x[10] using generic constraint 0.29/0.42 c intension x[8] != x[11] using generic constraint 0.29/0.42 c intension x[8] != x[12] using generic constraint 0.29/0.42 c intension x[8] != x[13] using generic constraint 0.29/0.42 c intension x[8] != x[14] using generic constraint 0.29/0.42 c intension x[8] != x[15] using generic constraint 0.29/0.42 c intension x[8] != x[16] using generic constraint 0.29/0.42 c intension x[8] != x[17] using generic constraint 0.29/0.42 c intension x[8] != x[18] using generic constraint 0.29/0.42 c intension x[8] != x[19] using generic constraint 0.29/0.43 c intension x[8] != x[20] using generic constraint 0.29/0.43 c intension x[8] != x[21] using generic constraint 0.29/0.43 c intension x[8] != x[22] using generic constraint 0.29/0.43 c intension x[8] != x[23] using generic constraint 0.29/0.43 c intension x[8] != x[24] using generic constraint 0.29/0.43 c intension x[8] != x[25] using generic constraint 0.29/0.43 c intension x[8] != x[26] using generic constraint 0.29/0.43 c intension x[8] != x[27] using generic constraint 0.29/0.43 c intension x[8] != x[28] using generic constraint 0.29/0.43 c intension x[8] != x[29] using generic constraint 0.29/0.43 c intension x[8] != x[30] using generic constraint 0.29/0.43 c intension x[8] != x[31] using generic constraint 0.29/0.44 c intension x[8] != x[32] using generic constraint 0.29/0.44 c intension x[8] != x[33] using generic constraint 0.29/0.44 c intension x[8] != x[34] using generic constraint 0.29/0.44 c intension x[8] != x[35] using generic constraint 0.29/0.44 c intension x[8] != x[36] using generic constraint 0.29/0.44 c intension x[8] != x[37] using generic constraint 0.29/0.44 c intension x[8] != x[38] using generic constraint 0.29/0.44 c intension x[8] != x[39] using generic constraint 0.29/0.44 c intension x[8] != x[40] using generic constraint 0.29/0.44 c intension x[8] != x[41] using generic constraint 0.29/0.44 c intension x[8] != x[42] using generic constraint 0.29/0.45 c intension x[8] != x[43] using generic constraint 0.29/0.45 c intension x[8] != x[44] using generic constraint 0.29/0.45 c intension x[8] != x[45] using generic constraint 0.29/0.45 c intension x[8] != x[46] using generic constraint 0.29/0.45 c intension x[8] != x[47] using generic constraint 0.29/0.45 c intension x[8] != x[48] using generic constraint 0.29/0.45 c intension x[9] != x[11] using generic constraint 0.29/0.45 c intension x[9] != x[12] using generic constraint 0.29/0.45 c intension x[9] != x[13] using generic constraint 0.29/0.45 c intension x[9] != x[14] using generic constraint 0.29/0.45 c intension x[9] != x[15] using generic constraint 0.29/0.45 c intension x[9] != x[16] using generic constraint 0.29/0.46 c intension x[9] != x[17] using generic constraint 0.29/0.46 c intension x[9] != x[18] using generic constraint 0.29/0.46 c intension x[9] != x[19] using generic constraint 0.29/0.46 c intension x[9] != x[20] using generic constraint 0.29/0.46 c intension x[9] != x[21] using generic constraint 0.29/0.46 c intension x[9] != x[22] using generic constraint 0.29/0.46 c intension x[9] != x[23] using generic constraint 0.29/0.46 c intension x[9] != x[24] using generic constraint 0.29/0.46 c intension x[9] != x[25] using generic constraint 0.29/0.46 c intension x[9] != x[26] using generic constraint 0.29/0.46 c intension x[9] != x[27] using generic constraint 0.29/0.47 c intension x[9] != x[28] using generic constraint 0.29/0.47 c intension x[9] != x[29] using generic constraint 0.29/0.47 c intension x[9] != x[30] using generic constraint 0.29/0.47 c intension x[9] != x[31] using generic constraint 0.29/0.47 c intension x[9] != x[32] using generic constraint 0.29/0.47 c intension x[9] != x[33] using generic constraint 0.29/0.47 c intension x[9] != x[34] using generic constraint 0.29/0.47 c intension x[9] != x[35] using generic constraint 0.29/0.47 c intension x[9] != x[36] using generic constraint 0.29/0.47 c intension x[9] != x[37] using generic constraint 0.29/0.47 c intension x[9] != x[38] using generic constraint 0.29/0.47 c intension x[9] != x[39] using generic constraint 0.29/0.48 c intension x[9] != x[40] using generic constraint 0.29/0.48 c intension x[9] != x[41] using generic constraint 0.29/0.48 c intension x[9] != x[42] using generic constraint 0.29/0.48 c intension x[9] != x[43] using generic constraint 0.29/0.48 c intension x[9] != x[44] using generic constraint 0.29/0.48 c intension x[9] != x[45] using generic constraint 0.29/0.48 c intension x[9] != x[46] using generic constraint 0.29/0.48 c intension x[9] != x[47] using generic constraint 0.29/0.48 c intension x[9] != x[48] using generic constraint 0.29/0.48 c intension x[10] != x[12] using generic constraint 0.29/0.48 c intension x[10] != x[13] using generic constraint 0.29/0.49 c intension x[10] != x[14] using generic constraint 0.29/0.49 c intension x[10] != x[15] using generic constraint 0.29/0.49 c intension x[10] != x[16] using generic constraint 0.29/0.49 c intension x[10] != x[17] using generic constraint 0.29/0.49 c intension x[10] != x[18] using generic constraint 0.29/0.49 c intension x[10] != x[19] using generic constraint 0.29/0.49 c intension x[10] != x[20] using generic constraint 0.29/0.49 c intension x[10] != x[21] using generic constraint 0.29/0.49 c intension x[10] != x[22] using generic constraint 0.29/0.49 c intension x[10] != x[23] using generic constraint 0.29/0.49 c intension x[10] != x[24] using generic constraint 0.29/0.49 c intension x[10] != x[25] using generic constraint 0.39/0.50 c intension x[10] != x[26] using generic constraint 0.39/0.50 c intension x[10] != x[27] using generic constraint 0.39/0.50 c intension x[10] != x[28] using generic constraint 0.39/0.50 c intension x[10] != x[29] using generic constraint 0.39/0.50 c intension x[10] != x[30] using generic constraint 0.39/0.50 c intension x[10] != x[31] using generic constraint 0.39/0.50 c intension x[10] != x[32] using generic constraint 0.39/0.50 c intension x[10] != x[33] using generic constraint 0.39/0.50 c intension x[10] != x[34] using generic constraint 0.39/0.50 c intension x[10] != x[35] using generic constraint 0.39/0.50 c intension x[10] != x[36] using generic constraint 0.39/0.51 c intension x[10] != x[37] using generic constraint 0.39/0.51 c intension x[10] != x[38] using generic constraint 0.39/0.51 c intension x[10] != x[39] using generic constraint 0.39/0.51 c intension x[10] != x[40] using generic constraint 0.39/0.51 c intension x[10] != x[41] using generic constraint 0.39/0.51 c intension x[10] != x[42] using generic constraint 0.39/0.51 c intension x[10] != x[43] using generic constraint 0.39/0.51 c intension x[10] != x[44] using generic constraint 0.39/0.51 c intension x[10] != x[45] using generic constraint 0.39/0.51 c intension x[10] != x[46] using generic constraint 0.39/0.51 c intension x[10] != x[47] using generic constraint 0.39/0.51 c intension x[10] != x[48] using generic constraint 0.39/0.52 c intension x[11] != x[13] using generic constraint 0.39/0.52 c intension x[11] != x[14] using generic constraint 0.39/0.52 c intension x[11] != x[15] using generic constraint 0.39/0.52 c intension x[11] != x[16] using generic constraint 0.39/0.52 c intension x[11] != x[17] using generic constraint 0.39/0.52 c intension x[11] != x[18] using generic constraint 0.39/0.52 c intension x[11] != x[19] using generic constraint 0.39/0.52 c intension x[11] != x[20] using generic constraint 0.39/0.52 c intension x[11] != x[21] using generic constraint 0.39/0.52 c intension x[11] != x[22] using generic constraint 0.39/0.52 c intension x[11] != x[23] using generic constraint 0.39/0.53 c intension x[11] != x[24] using generic constraint 0.39/0.53 c intension x[11] != x[25] using generic constraint 0.39/0.53 c intension x[11] != x[26] using generic constraint 0.39/0.53 c intension x[11] != x[27] using generic constraint 0.39/0.53 c intension x[11] != x[28] using generic constraint 0.39/0.53 c intension x[11] != x[29] using generic constraint 0.39/0.53 c intension x[11] != x[30] using generic constraint 0.39/0.53 c intension x[11] != x[31] using generic constraint 0.39/0.53 c intension x[11] != x[32] using generic constraint 0.39/0.53 c intension x[11] != x[33] using generic constraint 0.39/0.53 c intension x[11] != x[34] using generic constraint 0.39/0.53 c intension x[11] != x[35] using generic constraint 0.39/0.54 c intension x[11] != x[36] using generic constraint 0.39/0.54 c intension x[11] != x[37] using generic constraint 0.39/0.54 c intension x[11] != x[38] using generic constraint 0.39/0.54 c intension x[11] != x[39] using generic constraint 0.39/0.54 c intension x[11] != x[40] using generic constraint 0.39/0.54 c intension x[11] != x[41] using generic constraint 0.39/0.54 c intension x[11] != x[42] using generic constraint 0.39/0.54 c intension x[11] != x[43] using generic constraint 0.39/0.54 c intension x[11] != x[44] using generic constraint 0.39/0.54 c intension x[11] != x[45] using generic constraint 0.39/0.54 c intension x[11] != x[46] using generic constraint 0.39/0.55 c intension x[11] != x[47] using generic constraint 0.39/0.55 c intension x[11] != x[48] using generic constraint 0.39/0.55 c intension x[12] != x[14] using generic constraint 0.39/0.55 c intension x[12] != x[15] using generic constraint 0.39/0.55 c intension x[12] != x[16] using generic constraint 0.39/0.55 c intension x[12] != x[17] using generic constraint 0.39/0.55 c intension x[12] != x[18] using generic constraint 0.39/0.55 c intension x[12] != x[19] using generic constraint 0.39/0.55 c intension x[12] != x[20] using generic constraint 0.39/0.55 c intension x[12] != x[21] using generic constraint 0.39/0.55 c intension x[12] != x[22] using generic constraint 0.39/0.55 c intension x[12] != x[23] using generic constraint 0.39/0.56 c intension x[12] != x[24] using generic constraint 0.39/0.56 c intension x[12] != x[25] using generic constraint 0.39/0.56 c intension x[12] != x[26] using generic constraint 0.39/0.56 c intension x[12] != x[27] using generic constraint 0.39/0.56 c intension x[12] != x[28] using generic constraint 0.39/0.56 c intension x[12] != x[29] using generic constraint 0.39/0.56 c intension x[12] != x[30] using generic constraint 0.39/0.56 c intension x[12] != x[31] using generic constraint 0.39/0.56 c intension x[12] != x[32] using generic constraint 0.39/0.56 c intension x[12] != x[33] using generic constraint 0.39/0.56 c intension x[12] != x[34] using generic constraint 0.39/0.57 c intension x[12] != x[35] using generic constraint 0.39/0.57 c intension x[12] != x[36] using generic constraint 0.39/0.57 c intension x[12] != x[37] using generic constraint 0.39/0.57 c intension x[12] != x[38] using generic constraint 0.39/0.57 c intension x[12] != x[39] using generic constraint 0.39/0.57 c intension x[12] != x[40] using generic constraint 0.39/0.57 c intension x[12] != x[41] using generic constraint 0.39/0.57 c intension x[12] != x[42] using generic constraint 0.39/0.57 c intension x[12] != x[43] using generic constraint 0.39/0.57 c intension x[12] != x[44] using generic constraint 0.39/0.57 c intension x[12] != x[45] using generic constraint 0.39/0.57 c intension x[12] != x[46] using generic constraint 0.39/0.58 c intension x[12] != x[47] using generic constraint 0.39/0.58 c intension x[12] != x[48] using generic constraint 0.39/0.58 c intension x[13] != x[15] using generic constraint 0.39/0.58 c intension x[13] != x[16] using generic constraint 0.39/0.58 c intension x[13] != x[17] using generic constraint 0.39/0.58 c intension x[13] != x[18] using generic constraint 0.39/0.58 c intension x[13] != x[19] using generic constraint 0.39/0.58 c intension x[13] != x[20] using generic constraint 0.39/0.58 c intension x[13] != x[21] using generic constraint 0.39/0.58 c intension x[13] != x[22] using generic constraint 0.39/0.58 c intension x[13] != x[23] using generic constraint 0.39/0.59 c intension x[13] != x[24] using generic constraint 0.39/0.59 c intension x[13] != x[25] using generic constraint 0.39/0.59 c intension x[13] != x[26] using generic constraint 0.39/0.59 c intension x[13] != x[27] using generic constraint 0.39/0.59 c intension x[13] != x[28] using generic constraint 0.39/0.59 c intension x[13] != x[29] using generic constraint 0.39/0.59 c intension x[13] != x[30] using generic constraint 0.39/0.59 c intension x[13] != x[31] using generic constraint 0.39/0.59 c intension x[13] != x[32] using generic constraint 0.39/0.59 c intension x[13] != x[33] using generic constraint 0.39/0.59 c intension x[13] != x[34] using generic constraint 0.39/0.59 c intension x[13] != x[35] using generic constraint 0.49/0.60 c intension x[13] != x[36] using generic constraint 0.49/0.60 c intension x[13] != x[37] using generic constraint 0.49/0.60 c intension x[13] != x[38] using generic constraint 0.49/0.60 c intension x[13] != x[39] using generic constraint 0.49/0.60 c intension x[13] != x[40] using generic constraint 0.49/0.60 c intension x[13] != x[41] using generic constraint 0.49/0.60 c intension x[13] != x[42] using generic constraint 0.49/0.60 c intension x[13] != x[43] using generic constraint 0.49/0.60 c intension x[13] != x[44] using generic constraint 0.49/0.60 c intension x[13] != x[45] using generic constraint 0.49/0.60 c intension x[13] != x[46] using generic constraint 0.49/0.61 c intension x[13] != x[47] using generic constraint 0.49/0.61 c intension x[13] != x[48] using generic constraint 0.49/0.61 c intension x[14] != x[16] using generic constraint 0.49/0.61 c intension x[14] != x[17] using generic constraint 0.49/0.61 c intension x[14] != x[18] using generic constraint 0.49/0.61 c intension x[14] != x[19] using generic constraint 0.49/0.61 c intension x[14] != x[20] using generic constraint 0.49/0.61 c intension x[14] != x[21] using generic constraint 0.49/0.61 c intension x[14] != x[22] using generic constraint 0.49/0.61 c intension x[14] != x[23] using generic constraint 0.49/0.61 c intension x[14] != x[24] using generic constraint 0.49/0.62 c intension x[14] != x[25] using generic constraint 0.49/0.62 c intension x[14] != x[26] using generic constraint 0.49/0.62 c intension x[14] != x[27] using generic constraint 0.49/0.62 c intension x[14] != x[28] using generic constraint 0.49/0.62 c intension x[14] != x[29] using generic constraint 0.49/0.62 c intension x[14] != x[30] using generic constraint 0.49/0.62 c intension x[14] != x[31] using generic constraint 0.49/0.62 c intension x[14] != x[32] using generic constraint 0.49/0.62 c intension x[14] != x[33] using generic constraint 0.49/0.62 c intension x[14] != x[34] using generic constraint 0.49/0.62 c intension x[14] != x[35] using generic constraint 0.49/0.62 c intension x[14] != x[36] using generic constraint 0.49/0.63 c intension x[14] != x[37] using generic constraint 0.49/0.63 c intension x[14] != x[38] using generic constraint 0.49/0.63 c intension x[14] != x[39] using generic constraint 0.49/0.63 c intension x[14] != x[40] using generic constraint 0.49/0.63 c intension x[14] != x[41] using generic constraint 0.49/0.63 c intension x[14] != x[42] using generic constraint 0.49/0.63 c intension x[14] != x[43] using generic constraint 0.49/0.63 c intension x[14] != x[44] using generic constraint 0.49/0.63 c intension x[14] != x[45] using generic constraint 0.49/0.63 c intension x[14] != x[46] using generic constraint 0.49/0.63 c intension x[14] != x[47] using generic constraint 0.49/0.64 c intension x[14] != x[48] using generic constraint 0.49/0.64 c intension x[15] != x[17] using generic constraint 0.49/0.64 c intension x[15] != x[18] using generic constraint 0.49/0.64 c intension x[15] != x[19] using generic constraint 0.49/0.64 c intension x[15] != x[20] using generic constraint 0.49/0.64 c intension x[15] != x[21] using generic constraint 0.49/0.64 c intension x[15] != x[22] using generic constraint 0.49/0.64 c intension x[15] != x[23] using generic constraint 0.49/0.64 c intension x[15] != x[24] using generic constraint 0.49/0.64 c intension x[15] != x[25] using generic constraint 0.49/0.64 c intension x[15] != x[26] using generic constraint 0.49/0.64 c intension x[15] != x[27] using generic constraint 0.49/0.65 c intension x[15] != x[28] using generic constraint 0.49/0.65 c intension x[15] != x[29] using generic constraint 0.49/0.65 c intension x[15] != x[30] using generic constraint 0.49/0.65 c intension x[15] != x[31] using generic constraint 0.49/0.65 c intension x[15] != x[32] using generic constraint 0.49/0.65 c intension x[15] != x[33] using generic constraint 0.49/0.65 c intension x[15] != x[34] using generic constraint 0.49/0.65 c intension x[15] != x[35] using generic constraint 0.49/0.65 c intension x[15] != x[36] using generic constraint 0.49/0.65 c intension x[15] != x[37] using generic constraint 0.49/0.65 c intension x[15] != x[38] using generic constraint 0.49/0.66 c intension x[15] != x[39] using generic constraint 0.49/0.66 c intension x[15] != x[40] using generic constraint 0.49/0.66 c intension x[15] != x[41] using generic constraint 0.49/0.66 c intension x[15] != x[42] using generic constraint 0.49/0.66 c intension x[15] != x[43] using generic constraint 0.49/0.66 c intension x[15] != x[44] using generic constraint 0.49/0.66 c intension x[15] != x[45] using generic constraint 0.49/0.66 c intension x[15] != x[46] using generic constraint 0.49/0.66 c intension x[15] != x[47] using generic constraint 0.49/0.66 c intension x[15] != x[48] using generic constraint 0.49/0.66 c intension x[16] != x[18] using generic constraint 0.49/0.67 c intension x[16] != x[19] using generic constraint 0.49/0.67 c intension x[16] != x[20] using generic constraint 0.49/0.67 c intension x[16] != x[21] using generic constraint 0.49/0.67 c intension x[16] != x[22] using generic constraint 0.49/0.67 c intension x[16] != x[23] using generic constraint 0.49/0.67 c intension x[16] != x[24] using generic constraint 0.49/0.67 c intension x[16] != x[25] using generic constraint 0.49/0.67 c intension x[16] != x[26] using generic constraint 0.49/0.67 c intension x[16] != x[27] using generic constraint 0.49/0.67 c intension x[16] != x[28] using generic constraint 0.49/0.67 c intension x[16] != x[29] using generic constraint 0.49/0.67 c intension x[16] != x[30] using generic constraint 0.49/0.68 c intension x[16] != x[31] using generic constraint 0.49/0.68 c intension x[16] != x[32] using generic constraint 0.49/0.68 c intension x[16] != x[33] using generic constraint 0.49/0.68 c intension x[16] != x[34] using generic constraint 0.49/0.68 c intension x[16] != x[35] using generic constraint 0.49/0.68 c intension x[16] != x[36] using generic constraint 0.49/0.68 c intension x[16] != x[37] using generic constraint 0.49/0.68 c intension x[16] != x[38] using generic constraint 0.49/0.68 c intension x[16] != x[39] using generic constraint 0.49/0.68 c intension x[16] != x[40] using generic constraint 0.49/0.68 c intension x[16] != x[41] using generic constraint 0.49/0.69 c intension x[16] != x[42] using generic constraint 0.49/0.69 c intension x[16] != x[43] using generic constraint 0.49/0.69 c intension x[16] != x[44] using generic constraint 0.49/0.69 c intension x[16] != x[45] using generic constraint 0.49/0.69 c intension x[16] != x[46] using generic constraint 0.49/0.69 c intension x[16] != x[47] using generic constraint 0.49/0.69 c intension x[16] != x[48] using generic constraint 0.49/0.69 c intension x[17] != x[19] using generic constraint 0.49/0.69 c intension x[17] != x[20] using generic constraint 0.49/0.69 c intension x[17] != x[21] using generic constraint 0.49/0.69 c intension x[17] != x[22] using generic constraint 0.49/0.69 c intension x[17] != x[23] using generic constraint 0.59/0.70 c intension x[17] != x[24] using generic constraint 0.59/0.70 c intension x[17] != x[25] using generic constraint 0.59/0.70 c intension x[17] != x[26] using generic constraint 0.59/0.70 c intension x[17] != x[27] using generic constraint 0.59/0.70 c intension x[17] != x[28] using generic constraint 0.59/0.70 c intension x[17] != x[29] using generic constraint 0.59/0.70 c intension x[17] != x[30] using generic constraint 0.59/0.70 c intension x[17] != x[31] using generic constraint 0.59/0.70 c intension x[17] != x[32] using generic constraint 0.59/0.70 c intension x[17] != x[33] using generic constraint 0.59/0.70 c intension x[17] != x[34] using generic constraint 0.59/0.71 c intension x[17] != x[35] using generic constraint 0.59/0.71 c intension x[17] != x[36] using generic constraint 0.59/0.71 c intension x[17] != x[37] using generic constraint 0.59/0.71 c intension x[17] != x[38] using generic constraint 0.59/0.71 c intension x[17] != x[39] using generic constraint 0.59/0.71 c intension x[17] != x[40] using generic constraint 0.59/0.71 c intension x[17] != x[41] using generic constraint 0.59/0.71 c intension x[17] != x[42] using generic constraint 0.59/0.71 c intension x[17] != x[43] using generic constraint 0.59/0.71 c intension x[17] != x[44] using generic constraint 0.59/0.71 c intension x[17] != x[45] using generic constraint 0.59/0.72 c intension x[17] != x[46] using generic constraint 0.59/0.72 c intension x[17] != x[47] using generic constraint 0.59/0.72 c intension x[17] != x[48] using generic constraint 0.59/0.72 c intension x[18] != x[20] using generic constraint 0.59/0.72 c intension x[18] != x[21] using generic constraint 0.59/0.72 c intension x[18] != x[22] using generic constraint 0.59/0.72 c intension x[18] != x[23] using generic constraint 0.59/0.72 c intension x[18] != x[24] using generic constraint 0.59/0.72 c intension x[18] != x[25] using generic constraint 0.59/0.72 c intension x[18] != x[26] using generic constraint 0.59/0.72 c intension x[18] != x[27] using generic constraint 0.59/0.72 c intension x[18] != x[28] using generic constraint 0.59/0.73 c intension x[18] != x[29] using generic constraint 0.59/0.73 c intension x[18] != x[30] using generic constraint 0.59/0.73 c intension x[18] != x[31] using generic constraint 0.59/0.73 c intension x[18] != x[32] using generic constraint 0.59/0.73 c intension x[18] != x[33] using generic constraint 0.59/0.73 c intension x[18] != x[34] using generic constraint 0.59/0.73 c intension x[18] != x[35] using generic constraint 0.59/0.73 c intension x[18] != x[36] using generic constraint 0.59/0.73 c intension x[18] != x[37] using generic constraint 0.59/0.73 c intension x[18] != x[38] using generic constraint 0.59/0.73 c intension x[18] != x[39] using generic constraint 0.59/0.74 c intension x[18] != x[40] using generic constraint 0.59/0.74 c intension x[18] != x[41] using generic constraint 0.59/0.74 c intension x[18] != x[42] using generic constraint 0.59/0.74 c intension x[18] != x[43] using generic constraint 0.59/0.74 c intension x[18] != x[44] using generic constraint 0.59/0.74 c intension x[18] != x[45] using generic constraint 0.59/0.74 c intension x[18] != x[46] using generic constraint 0.59/0.74 c intension x[18] != x[47] using generic constraint 0.59/0.74 c intension x[18] != x[48] using generic constraint 0.59/0.74 c intension x[19] != x[21] using generic constraint 0.59/0.74 c intension x[19] != x[22] using generic constraint 0.59/0.74 c intension x[19] != x[23] using generic constraint 0.59/0.75 c intension x[19] != x[24] using generic constraint 0.59/0.75 c intension x[19] != x[25] using generic constraint 0.59/0.75 c intension x[19] != x[26] using generic constraint 0.59/0.75 c intension x[19] != x[27] using generic constraint 0.59/0.75 c intension x[19] != x[28] using generic constraint 0.59/0.75 c intension x[19] != x[29] using generic constraint 0.59/0.75 c intension x[19] != x[30] using generic constraint 0.59/0.75 c intension x[19] != x[31] using generic constraint 0.59/0.75 c intension x[19] != x[32] using generic constraint 0.59/0.75 c intension x[19] != x[33] using generic constraint 0.59/0.75 c intension x[19] != x[34] using generic constraint 0.59/0.76 c intension x[19] != x[35] using generic constraint 0.59/0.76 c intension x[19] != x[36] using generic constraint 0.59/0.76 c intension x[19] != x[37] using generic constraint 0.59/0.76 c intension x[19] != x[38] using generic constraint 0.59/0.76 c intension x[19] != x[39] using generic constraint 0.59/0.76 c intension x[19] != x[40] using generic constraint 0.59/0.76 c intension x[19] != x[41] using generic constraint 0.59/0.76 c intension x[19] != x[42] using generic constraint 0.59/0.76 c intension x[19] != x[43] using generic constraint 0.59/0.76 c intension x[19] != x[44] using generic constraint 0.59/0.76 c intension x[19] != x[45] using generic constraint 0.59/0.77 c intension x[19] != x[46] using generic constraint 0.59/0.77 c intension x[19] != x[47] using generic constraint 0.59/0.77 c intension x[19] != x[48] using generic constraint 0.59/0.77 c intension x[20] != x[22] using generic constraint 0.59/0.77 c intension x[20] != x[23] using generic constraint 0.59/0.77 c intension x[20] != x[24] using generic constraint 0.59/0.77 c intension x[20] != x[25] using generic constraint 0.59/0.77 c intension x[20] != x[26] using generic constraint 0.59/0.77 c intension x[20] != x[27] using generic constraint 0.59/0.77 c intension x[20] != x[28] using generic constraint 0.59/0.77 c intension x[20] != x[29] using generic constraint 0.59/0.77 c intension x[20] != x[30] using generic constraint 0.59/0.78 c intension x[20] != x[31] using generic constraint 0.59/0.78 c intension x[20] != x[32] using generic constraint 0.59/0.78 c intension x[20] != x[33] using generic constraint 0.59/0.78 c intension x[20] != x[34] using generic constraint 0.59/0.78 c intension x[20] != x[35] using generic constraint 0.59/0.78 c intension x[20] != x[36] using generic constraint 0.59/0.78 c intension x[20] != x[37] using generic constraint 0.59/0.78 c intension x[20] != x[38] using generic constraint 0.59/0.78 c intension x[20] != x[39] using generic constraint 0.59/0.78 c intension x[20] != x[40] using generic constraint 0.59/0.78 c intension x[20] != x[41] using generic constraint 0.59/0.79 c intension x[20] != x[42] using generic constraint 0.59/0.79 c intension x[20] != x[43] using generic constraint 0.59/0.79 c intension x[20] != x[44] using generic constraint 0.59/0.79 c intension x[20] != x[45] using generic constraint 0.59/0.79 c intension x[20] != x[46] using generic constraint 0.59/0.79 c intension x[20] != x[47] using generic constraint 0.59/0.79 c intension x[20] != x[48] using generic constraint 0.59/0.79 c intension x[21] != x[23] using generic constraint 0.59/0.79 c intension x[21] != x[24] using generic constraint 0.59/0.79 c intension x[21] != x[25] using generic constraint 0.59/0.79 c intension x[21] != x[26] using generic constraint 0.59/0.80 c intension x[21] != x[27] using generic constraint 0.69/0.80 c intension x[21] != x[28] using generic constraint 0.69/0.80 c intension x[21] != x[29] using generic constraint 0.69/0.80 c intension x[21] != x[30] using generic constraint 0.69/0.80 c intension x[21] != x[31] using generic constraint 0.69/0.80 c intension x[21] != x[32] using generic constraint 0.69/0.80 c intension x[21] != x[33] using generic constraint 0.69/0.80 c intension x[21] != x[34] using generic constraint 0.69/0.80 c intension x[21] != x[35] using generic constraint 0.69/0.80 c intension x[21] != x[36] using generic constraint 0.69/0.80 c intension x[21] != x[37] using generic constraint 0.69/0.80 c intension x[21] != x[38] using generic constraint 0.69/0.81 c intension x[21] != x[39] using generic constraint 0.69/0.81 c intension x[21] != x[40] using generic constraint 0.69/0.81 c intension x[21] != x[41] using generic constraint 0.69/0.81 c intension x[21] != x[42] using generic constraint 0.69/0.81 c intension x[21] != x[43] using generic constraint 0.69/0.81 c intension x[21] != x[44] using generic constraint 0.69/0.81 c intension x[21] != x[45] using generic constraint 0.69/0.81 c intension x[21] != x[46] using generic constraint 0.69/0.81 c intension x[21] != x[47] using generic constraint 0.69/0.81 c intension x[21] != x[48] using generic constraint 0.69/0.81 c intension x[22] != x[24] using generic constraint 0.69/0.82 c intension x[22] != x[25] using generic constraint 0.69/0.82 c intension x[22] != x[26] using generic constraint 0.69/0.82 c intension x[22] != x[27] using generic constraint 0.69/0.82 c intension x[22] != x[28] using generic constraint 0.69/0.82 c intension x[22] != x[29] using generic constraint 0.69/0.82 c intension x[22] != x[30] using generic constraint 0.69/0.82 c intension x[22] != x[31] using generic constraint 0.69/0.82 c intension x[22] != x[32] using generic constraint 0.69/0.82 c intension x[22] != x[33] using generic constraint 0.69/0.82 c intension x[22] != x[34] using generic constraint 0.69/0.82 c intension x[22] != x[35] using generic constraint 0.69/0.82 c intension x[22] != x[36] using generic constraint 0.69/0.83 c intension x[22] != x[37] using generic constraint 0.69/0.83 c intension x[22] != x[38] using generic constraint 0.69/0.83 c intension x[22] != x[39] using generic constraint 0.69/0.83 c intension x[22] != x[40] using generic constraint 0.69/0.83 c intension x[22] != x[41] using generic constraint 0.69/0.83 c intension x[22] != x[42] using generic constraint 0.69/0.83 c intension x[22] != x[43] using generic constraint 0.69/0.83 c intension x[22] != x[44] using generic constraint 0.69/0.83 c intension x[22] != x[45] using generic constraint 0.69/0.83 c intension x[22] != x[46] using generic constraint 0.69/0.83 c intension x[22] != x[47] using generic constraint 0.69/0.84 c intension x[22] != x[48] using generic constraint 0.69/0.84 c intension x[23] != x[25] using generic constraint 0.69/0.84 c intension x[23] != x[26] using generic constraint 0.69/0.84 c intension x[23] != x[27] using generic constraint 0.69/0.84 c intension x[23] != x[28] using generic constraint 0.69/0.84 c intension x[23] != x[29] using generic constraint 0.69/0.84 c intension x[23] != x[30] using generic constraint 0.69/0.84 c intension x[23] != x[31] using generic constraint 0.69/0.84 c intension x[23] != x[32] using generic constraint 0.69/0.84 c intension x[23] != x[33] using generic constraint 0.69/0.84 c intension x[23] != x[34] using generic constraint 0.69/0.85 c intension x[23] != x[35] using generic constraint 0.69/0.85 c intension x[23] != x[36] using generic constraint 0.69/0.85 c intension x[23] != x[37] using generic constraint 0.69/0.85 c intension x[23] != x[38] using generic constraint 0.69/0.85 c intension x[23] != x[39] using generic constraint 0.69/0.85 c intension x[23] != x[40] using generic constraint 0.69/0.85 c intension x[23] != x[41] using generic constraint 0.69/0.85 c intension x[23] != x[42] using generic constraint 0.69/0.85 c intension x[23] != x[43] using generic constraint 0.69/0.85 c intension x[23] != x[44] using generic constraint 0.69/0.85 c intension x[23] != x[45] using generic constraint 0.69/0.85 c intension x[23] != x[46] using generic constraint 0.69/0.86 c intension x[23] != x[47] using generic constraint 0.69/0.86 c intension x[23] != x[48] using generic constraint 0.69/0.86 c intension x[24] != x[26] using generic constraint 0.69/0.86 c intension x[24] != x[27] using generic constraint 0.69/0.86 c intension x[24] != x[28] using generic constraint 0.69/0.86 c intension x[24] != x[29] using generic constraint 0.69/0.86 c intension x[24] != x[30] using generic constraint 0.69/0.86 c intension x[24] != x[31] using generic constraint 0.69/0.86 c intension x[24] != x[32] using generic constraint 0.69/0.86 c intension x[24] != x[33] using generic constraint 0.69/0.86 c intension x[24] != x[34] using generic constraint 0.69/0.87 c intension x[24] != x[35] using generic constraint 0.69/0.87 c intension x[24] != x[36] using generic constraint 0.69/0.87 c intension x[24] != x[37] using generic constraint 0.69/0.87 c intension x[24] != x[38] using generic constraint 0.69/0.87 c intension x[24] != x[39] using generic constraint 0.69/0.87 c intension x[24] != x[40] using generic constraint 0.69/0.87 c intension x[24] != x[41] using generic constraint 0.69/0.87 c intension x[24] != x[42] using generic constraint 0.69/0.87 c intension x[24] != x[43] using generic constraint 0.69/0.87 c intension x[24] != x[44] using generic constraint 0.69/0.87 c intension x[24] != x[45] using generic constraint 0.69/0.88 c intension x[24] != x[46] using generic constraint 0.69/0.88 c intension x[24] != x[47] using generic constraint 0.69/0.88 c intension x[24] != x[48] using generic constraint 0.69/0.88 c intension x[25] != x[27] using generic constraint 0.69/0.88 c intension x[25] != x[28] using generic constraint 0.69/0.88 c intension x[25] != x[29] using generic constraint 0.69/0.88 c intension x[25] != x[30] using generic constraint 0.69/0.88 c intension x[25] != x[31] using generic constraint 0.69/0.88 c intension x[25] != x[32] using generic constraint 0.69/0.88 c intension x[25] != x[33] using generic constraint 0.69/0.88 c intension x[25] != x[34] using generic constraint 0.69/0.88 c intension x[25] != x[35] using generic constraint 0.69/0.89 c intension x[25] != x[36] using generic constraint 0.69/0.89 c intension x[25] != x[37] using generic constraint 0.69/0.89 c intension x[25] != x[38] using generic constraint 0.69/0.89 c intension x[25] != x[39] using generic constraint 0.69/0.89 c intension x[25] != x[40] using generic constraint 0.69/0.89 c intension x[25] != x[41] using generic constraint 0.69/0.89 c intension x[25] != x[42] using generic constraint 0.69/0.89 c intension x[25] != x[43] using generic constraint 0.69/0.89 c intension x[25] != x[44] using generic constraint 0.69/0.89 c intension x[25] != x[45] using generic constraint 0.69/0.89 c intension x[25] != x[46] using generic constraint 0.69/0.90 c intension x[25] != x[47] using generic constraint 0.79/0.90 c intension x[25] != x[48] using generic constraint 0.79/0.90 c intension x[26] != x[28] using generic constraint 0.79/0.90 c intension x[26] != x[29] using generic constraint 0.79/0.90 c intension x[26] != x[30] using generic constraint 0.79/0.90 c intension x[26] != x[31] using generic constraint 0.79/0.90 c intension x[26] != x[32] using generic constraint 0.79/0.90 c intension x[26] != x[33] using generic constraint 0.79/0.90 c intension x[26] != x[34] using generic constraint 0.79/0.90 c intension x[26] != x[35] using generic constraint 0.79/0.90 c intension x[26] != x[36] using generic constraint 0.79/0.91 c intension x[26] != x[37] using generic constraint 0.79/0.91 c intension x[26] != x[38] using generic constraint 0.79/0.91 c intension x[26] != x[39] using generic constraint 0.79/0.91 c intension x[26] != x[40] using generic constraint 0.79/0.91 c intension x[26] != x[41] using generic constraint 0.79/0.91 c intension x[26] != x[42] using generic constraint 0.79/0.91 c intension x[26] != x[43] using generic constraint 0.79/0.91 c intension x[26] != x[44] using generic constraint 0.79/0.91 c intension x[26] != x[45] using generic constraint 0.79/0.91 c intension x[26] != x[46] using generic constraint 0.79/0.91 c intension x[26] != x[47] using generic constraint 0.79/0.91 c intension x[26] != x[48] using generic constraint 0.79/0.92 c intension x[27] != x[29] using generic constraint 0.79/0.92 c intension x[27] != x[30] using generic constraint 0.79/0.92 c intension x[27] != x[31] using generic constraint 0.79/0.92 c intension x[27] != x[32] using generic constraint 0.79/0.92 c intension x[27] != x[33] using generic constraint 0.79/0.92 c intension x[27] != x[34] using generic constraint 0.79/0.92 c intension x[27] != x[35] using generic constraint 0.79/0.92 c intension x[27] != x[36] using generic constraint 0.79/0.92 c intension x[27] != x[37] using generic constraint 0.79/0.92 c intension x[27] != x[38] using generic constraint 0.79/0.92 c intension x[27] != x[39] using generic constraint 0.79/0.93 c intension x[27] != x[40] using generic constraint 0.79/0.93 c intension x[27] != x[41] using generic constraint 0.79/0.93 c intension x[27] != x[42] using generic constraint 0.79/0.93 c intension x[27] != x[43] using generic constraint 0.79/0.93 c intension x[27] != x[44] using generic constraint 0.79/0.93 c intension x[27] != x[45] using generic constraint 0.79/0.93 c intension x[27] != x[46] using generic constraint 0.79/0.93 c intension x[27] != x[47] using generic constraint 0.79/0.93 c intension x[27] != x[48] using generic constraint 0.79/0.93 c intension x[28] != x[30] using generic constraint 0.79/0.93 c intension x[28] != x[31] using generic constraint 0.79/0.94 c intension x[28] != x[32] using generic constraint 0.79/0.94 c intension x[28] != x[33] using generic constraint 0.79/0.94 c intension x[28] != x[34] using generic constraint 0.79/0.94 c intension x[28] != x[35] using generic constraint 0.79/0.94 c intension x[28] != x[36] using generic constraint 0.79/0.94 c intension x[28] != x[37] using generic constraint 0.79/0.94 c intension x[28] != x[38] using generic constraint 0.79/0.94 c intension x[28] != x[39] using generic constraint 0.79/0.94 c intension x[28] != x[40] using generic constraint 0.79/0.94 c intension x[28] != x[41] using generic constraint 0.79/0.94 c intension x[28] != x[42] using generic constraint 0.79/0.94 c intension x[28] != x[43] using generic constraint 0.79/0.95 c intension x[28] != x[44] using generic constraint 0.79/0.95 c intension x[28] != x[45] using generic constraint 0.79/0.95 c intension x[28] != x[46] using generic constraint 0.79/0.95 c intension x[28] != x[47] using generic constraint 0.79/0.95 c intension x[28] != x[48] using generic constraint 0.79/0.95 c intension x[29] != x[31] using generic constraint 0.79/0.95 c intension x[29] != x[32] using generic constraint 0.79/0.95 c intension x[29] != x[33] using generic constraint 0.79/0.95 c intension x[29] != x[34] using generic constraint 0.79/0.95 c intension x[29] != x[35] using generic constraint 0.79/0.95 c intension x[29] != x[36] using generic constraint 0.79/0.96 c intension x[29] != x[37] using generic constraint 0.79/0.96 c intension x[29] != x[38] using generic constraint 0.79/0.96 c intension x[29] != x[39] using generic constraint 0.79/0.96 c intension x[29] != x[40] using generic constraint 0.79/0.96 c intension x[29] != x[41] using generic constraint 0.79/0.96 c intension x[29] != x[42] using generic constraint 0.79/0.96 c intension x[29] != x[43] using generic constraint 0.79/0.96 c intension x[29] != x[44] using generic constraint 0.79/0.96 c intension x[29] != x[45] using generic constraint 0.79/0.96 c intension x[29] != x[46] using generic constraint 0.79/0.96 c intension x[29] != x[47] using generic constraint 0.79/0.96 c intension x[29] != x[48] using generic constraint 0.79/0.97 c intension x[30] != x[32] using generic constraint 0.79/0.97 c intension x[30] != x[33] using generic constraint 0.79/0.97 c intension x[30] != x[34] using generic constraint 0.79/0.97 c intension x[30] != x[35] using generic constraint 0.79/0.97 c intension x[30] != x[36] using generic constraint 0.79/0.97 c intension x[30] != x[37] using generic constraint 0.79/0.97 c intension x[30] != x[38] using generic constraint 0.79/0.97 c intension x[30] != x[39] using generic constraint 0.79/0.97 c intension x[30] != x[40] using generic constraint 0.79/0.97 c intension x[30] != x[41] using generic constraint 0.79/0.97 c intension x[30] != x[42] using generic constraint 0.79/0.98 c intension x[30] != x[43] using generic constraint 0.79/0.98 c intension x[30] != x[44] using generic constraint 0.79/0.98 c intension x[30] != x[45] using generic constraint 0.79/0.98 c intension x[30] != x[46] using generic constraint 0.79/0.98 c intension x[30] != x[47] using generic constraint 0.79/0.98 c intension x[30] != x[48] using generic constraint 0.79/0.98 c intension x[31] != x[33] using generic constraint 0.79/0.98 c intension x[31] != x[34] using generic constraint 0.79/0.98 c intension x[31] != x[35] using generic constraint 0.79/0.98 c intension x[31] != x[36] using generic constraint 0.79/0.98 c intension x[31] != x[37] using generic constraint 0.79/0.99 c intension x[31] != x[38] using generic constraint 0.79/0.99 c intension x[31] != x[39] using generic constraint 0.79/0.99 c intension x[31] != x[40] using generic constraint 0.79/0.99 c intension x[31] != x[41] using generic constraint 0.79/0.99 c intension x[31] != x[42] using generic constraint 0.79/0.99 c intension x[31] != x[43] using generic constraint 0.79/0.99 c intension x[31] != x[44] using generic constraint 0.79/0.99 c intension x[31] != x[45] using generic constraint 0.79/0.99 c intension x[31] != x[46] using generic constraint 0.79/0.99 c intension x[31] != x[47] using generic constraint 0.79/0.99 c intension x[31] != x[48] using generic constraint 0.79/0.99 c intension x[32] != x[34] using generic constraint 0.89/1.00 c intension x[32] != x[35] using generic constraint 0.89/1.00 c intension x[32] != x[36] using generic constraint 0.89/1.00 c intension x[32] != x[37] using generic constraint 0.89/1.00 c intension x[32] != x[38] using generic constraint 0.89/1.00 c intension x[32] != x[39] using generic constraint 0.89/1.00 c intension x[32] != x[40] using generic constraint 0.89/1.00 c intension x[32] != x[41] using generic constraint 0.89/1.00 c intension x[32] != x[42] using generic constraint 0.89/1.00 c intension x[32] != x[43] using generic constraint 0.89/1.00 c intension x[32] != x[44] using generic constraint 0.89/1.00 c intension x[32] != x[45] using generic constraint 0.89/1.01 c intension x[32] != x[46] using generic constraint 0.89/1.01 c intension x[32] != x[47] using generic constraint 0.89/1.01 c intension x[32] != x[48] using generic constraint 0.89/1.01 c intension x[33] != x[35] using generic constraint 0.89/1.01 c intension x[33] != x[36] using generic constraint 0.89/1.01 c intension x[33] != x[37] using generic constraint 0.89/1.01 c intension x[33] != x[38] using generic constraint 0.89/1.01 c intension x[33] != x[39] using generic constraint 0.89/1.01 c intension x[33] != x[40] using generic constraint 0.89/1.01 c intension x[33] != x[41] using generic constraint 0.89/1.01 c intension x[33] != x[42] using generic constraint 0.89/1.02 c intension x[33] != x[43] using generic constraint 0.89/1.02 c intension x[33] != x[44] using generic constraint 0.89/1.02 c intension x[33] != x[45] using generic constraint 0.89/1.02 c intension x[33] != x[46] using generic constraint 0.89/1.02 c intension x[33] != x[47] using generic constraint 0.89/1.02 c intension x[33] != x[48] using generic constraint 0.89/1.02 c intension x[34] != x[36] using generic constraint 0.89/1.02 c intension x[34] != x[37] using generic constraint 0.89/1.02 c intension x[34] != x[38] using generic constraint 0.89/1.02 c intension x[34] != x[39] using generic constraint 0.89/1.02 c intension x[34] != x[40] using generic constraint 0.89/1.03 c intension x[34] != x[41] using generic constraint 0.89/1.03 c intension x[34] != x[42] using generic constraint 0.89/1.03 c intension x[34] != x[43] using generic constraint 0.89/1.03 c intension x[34] != x[44] using generic constraint 0.89/1.03 c intension x[34] != x[45] using generic constraint 0.89/1.03 c intension x[34] != x[46] using generic constraint 0.89/1.03 c intension x[34] != x[47] using generic constraint 0.89/1.03 c intension x[34] != x[48] using generic constraint 0.89/1.03 c intension x[35] != x[37] using generic constraint 0.89/1.03 c intension x[35] != x[38] using generic constraint 0.89/1.03 c intension x[35] != x[39] using generic constraint 0.89/1.03 c intension x[35] != x[40] using generic constraint 0.89/1.04 c intension x[35] != x[41] using generic constraint 0.89/1.04 c intension x[35] != x[42] using generic constraint 0.89/1.04 c intension x[35] != x[43] using generic constraint 0.89/1.04 c intension x[35] != x[44] using generic constraint 0.89/1.04 c intension x[35] != x[45] using generic constraint 0.89/1.04 c intension x[35] != x[46] using generic constraint 0.89/1.04 c intension x[35] != x[47] using generic constraint 0.89/1.04 c intension x[35] != x[48] using generic constraint 0.89/1.04 c intension x[36] != x[38] using generic constraint 0.89/1.04 c intension x[36] != x[39] using generic constraint 0.89/1.04 c intension x[36] != x[40] using generic constraint 0.89/1.05 c intension x[36] != x[41] using generic constraint 0.89/1.05 c intension x[36] != x[42] using generic constraint 0.89/1.05 c intension x[36] != x[43] using generic constraint 0.89/1.05 c intension x[36] != x[44] using generic constraint 0.89/1.05 c intension x[36] != x[45] using generic constraint 0.89/1.05 c intension x[36] != x[46] using generic constraint 0.89/1.05 c intension x[36] != x[47] using generic constraint 0.89/1.05 c intension x[36] != x[48] using generic constraint 0.89/1.05 c intension x[37] != x[39] using generic constraint 0.89/1.05 c intension x[37] != x[40] using generic constraint 0.89/1.05 c intension x[37] != x[41] using generic constraint 0.89/1.06 c intension x[37] != x[42] using generic constraint 0.89/1.06 c intension x[37] != x[43] using generic constraint 0.89/1.06 c intension x[37] != x[44] using generic constraint 0.89/1.06 c intension x[37] != x[45] using generic constraint 0.89/1.06 c intension x[37] != x[46] using generic constraint 0.89/1.06 c intension x[37] != x[47] using generic constraint 0.89/1.06 c intension x[37] != x[48] using generic constraint 0.89/1.06 c intension x[38] != x[40] using generic constraint 0.89/1.06 c intension x[38] != x[41] using generic constraint 0.89/1.06 c intension x[38] != x[42] using generic constraint 0.89/1.06 c intension x[38] != x[43] using generic constraint 0.89/1.06 c intension x[38] != x[44] using generic constraint 0.89/1.07 c intension x[38] != x[45] using generic constraint 0.89/1.07 c intension x[38] != x[46] using generic constraint 0.89/1.07 c intension x[38] != x[47] using generic constraint 0.89/1.07 c intension x[38] != x[48] using generic constraint 0.89/1.07 c intension x[39] != x[41] using generic constraint 0.89/1.07 c intension x[39] != x[42] using generic constraint 0.89/1.07 c intension x[39] != x[43] using generic constraint 0.89/1.07 c intension x[39] != x[44] using generic constraint 0.89/1.07 c intension x[39] != x[45] using generic constraint 0.89/1.07 c intension x[39] != x[46] using generic constraint 0.89/1.07 c intension x[39] != x[47] using generic constraint 0.89/1.08 c intension x[39] != x[48] using generic constraint 0.89/1.08 c intension x[40] != x[42] using generic constraint 0.89/1.08 c intension x[40] != x[43] using generic constraint 0.89/1.08 c intension x[40] != x[44] using generic constraint 0.89/1.08 c intension x[40] != x[45] using generic constraint 0.89/1.08 c intension x[40] != x[46] using generic constraint 0.89/1.08 c intension x[40] != x[47] using generic constraint 0.89/1.08 c intension x[40] != x[48] using generic constraint 0.89/1.08 c intension x[41] != x[43] using generic constraint 0.89/1.08 c intension x[41] != x[44] using generic constraint 0.89/1.08 c intension x[41] != x[45] using generic constraint 0.89/1.09 c intension x[41] != x[46] using generic constraint 0.89/1.09 c intension x[41] != x[47] using generic constraint 0.89/1.09 c intension x[41] != x[48] using generic constraint 0.89/1.09 c intension x[42] != x[44] using generic constraint 0.89/1.09 c intension x[42] != x[45] using generic constraint 0.89/1.09 c intension x[42] != x[46] using generic constraint 0.89/1.09 c intension x[42] != x[47] using generic constraint 0.89/1.09 c intension x[42] != x[48] using generic constraint 0.89/1.09 c intension x[43] != x[45] using generic constraint 0.89/1.09 c intension x[43] != x[46] using generic constraint 0.89/1.09 c intension x[43] != x[47] using generic constraint 0.89/1.09 c intension x[43] != x[48] using generic constraint 0.89/1.10 c intension x[44] != x[46] using generic constraint 0.89/1.10 c intension x[44] != x[47] using generic constraint 0.89/1.10 c intension x[44] != x[48] using generic constraint 0.89/1.10 c intension x[45] != x[47] using generic constraint 0.89/1.10 c intension x[45] != x[48] using generic constraint 0.89/1.10 c intension x[46] != x[48] using generic constraint 0.99/1.18 c root propagations : 45 0.99/1.18 c restarts enabled, print stats at every restarts 0.99/1.18 c 0.99/1.18 c 0.99/1.18 c 0.99/1.18 c This is cosoco 1.12 -- 0.99/1.18 c 0.99/1.18 c command line: cosoco -lc -model -restarts HOME/instance-4268216-1502535324.xml 0.99/1.18 c ========================================[ Problem Statistics ]=========================================== 0.99/1.18 c | 0.99/1.18 c | Parse time : 1.07 s 0.99/1.18 c | 0.99/1.18 c | Variables: 50 0.99/1.18 c | Domain Sizes: 10..49 0.99/1.18 c | 0.99/1.18 c | Constraints: 1191 0.99/1.18 c | Arity: 2..2 -- Binary: 1191 0.99/1.18 c | 0.99/1.18 c | Types: 0.99/1.18 c | (X != Y): 1128 0.99/1.18 c | Intension: 63 0.99/1.18 c | 0.99/1.18 c ========================================================================================================= 0.99/1.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.99/1.20 c 101 242 149200 14059 15 0 18 22 20 1.09/1.22 c 211 555 311155 27604 15 0 8 32 25 1.09/1.24 c 332 871 514707 46985 15 0 10 24 16 1.09/1.26 c 465 1198 683116 61349 15 0 16 27 20 1.09/1.29 c 611 1649 902043 78602 15 0 8 35 24 1.19/1.33 c 771 1998 1172631 111544 15 0 8 12 10 1.19/1.36 c 947 2470 1402755 129647 15 0 6 29 23 1.19/1.38 c 1140 2982 1668747 150441 15 0 15 25 19 1.29/1.43 c 1352 3599 2069827 184165 15 0 10 15 12 1.29/1.47 c 1585 4226 2439265 210981 15 0 9 32 21 1.39/1.51 c 1841 4931 2820147 242262 15 0 9 31 22 1.39/1.55 c 2122 5626 3193452 277837 15 0 10 30 21 1.39/1.59 c 2431 6455 3625629 310918 15 0 22 33 27 1.49/1.64 c 2770 7310 4116046 353419 15 0 14 29 22 1.49/1.69 c 3142 8357 4625729 391076 15 0 19 32 26 1.58/1.75 c 3551 9429 5163436 433698 15 0 17 34 26 1.68/1.80 c 4000 10668 5778927 479509 15 0 9 37 28 1.68/1.88 c 4493 11955 6526384 539570 15 0 15 29 23 1.79/1.94 c 5035 13423 7217194 589060 15 0 17 34 27 1.89/2.06 c 5631 15140 8190178 664437 15 0 11 21 16 1.99/2.13 c 6286 16741 9004500 723924 15 0 22 35 28 2.09/2.22 c 7006 18535 9991250 798091 15 0 18 32 25 2.19/2.32 c 7798 20701 11061843 875105 15 0 7 36 28 2.29/2.47 c 8669 23169 12493231 998562 15 0 9 34 18 2.39/2.59 c 9627 25389 13724604 1101636 15 0 11 34 23 2.69/2.81 c 10680 28456 15567489 1272483 15 0 6 23 13 2.89/3.04 c 11838 31394 17386947 1457022 15 0 7 22 13 2.99/3.19 c 13111 34381 19027731 1590669 15 0 13 30 23 3.29/3.41 c 14511 38159 21055674 1764326 15 0 7 27 19 3.59/3.71 c 16051 42331 23622729 1970724 15 0 8 17 14 3.79/3.91 c 17745 46192 25780804 2141394 15 0 11 28 23 3.99/4.14 c 19608 50907 28291770 2338912 15 0 11 33 23 4.19/4.39 c 21657 55693 30977600 2555112 15 0 15 30 22 4.49/4.65 c 23910 61403 33961184 2789999 15 0 15 32 24 5.09/5.22 c 26388 68971 38583325 3172708 15 0 7 17 13 5.39/5.54 c 29113 75636 42083208 3459233 15 0 13 33 24 5.69/5.86 c 32110 82902 45757399 3743952 15 0 11 35 25 6.29/6.40 c 35406 91916 50836267 4147291 15 0 13 24 19 6.69/6.81 c 39031 101038 55445909 4493087 15 0 15 33 26 7.09/7.28 c 43018 111866 60644692 4890197 15 0 13 34 26 7.59/7.80 c 47403 123488 66620908 5324972 15 0 15 35 25 8.19/8.31 c 52226 136178 72346356 5764801 15 0 20 36 27 8.99/9.16 c 57531 152146 80135686 6392178 15 0 11 23 18 9.99/10.12 c 63366 167645 89046942 7106721 15 0 8 21 15 10.59/10.71 c solution 1 10.59/10.71 10.59/10.71 v <instantiation type='solution'> 10.59/10.71 v <list>w0 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] </list> 10.59/10.71 v <values>16 6 19 10 5 20 25 40 27 18 13 4 9 0 15 24 11 2 7 22 37 42 29 14 1 16 3 12 17 8 23 28 43 38 47 34 39 48 33 46 31 44 35 30 21 36 45 32 41 26 </values> 10.59/10.71 v </instantiation> 10.59/10.71 10.59/10.71 c restarts : 44 10.59/10.71 c conflicts : 67696 (6386 /sec) 10.59/10.71 c decisions : 180976 (17073 /sec) 10.59/10.71 c propagations : 7611874 (718074 /sec) 10.59/10.71 c root propagations : 45 10.59/10.71 c filter calls : 95645517 (9022822 /sec) 10.59/10.71 c useless filter calls : 90502076 (94 %) 10.59/10.71 c Memory used : 27.48 MB 10.59/10.71 c CPU time : 10.6003 s 10.59/10.71 10.59/10.71 s SATISFIABLE
OK
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268216-1502535324/watcher-4268216-1502535324 -o /tmp/evaluation-result-4268216-1502535324/solver-4268216-1502535324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268216-1502535324.xml pid=880 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.10 2.04 2.05 3/187 883 /proc/meminfo: memFree=30849468/32770624 swapFree=0/590220 [pid=883] ppid=880 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/883/stat : 883 (runsolver) D 880 883 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101038760 24240128 106 18446744073709551615 4194304 4338465 140730565147344 140730565144984 140031211635415 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 30404608 140730565148865 140730565149257 140730565149257 140730565152714 0 /proc/883/statm: 5918 106 53 36 0 2156 0 [startup+0.100159 s] /proc/loadavg: 2.10 2.04 2.05 3/187 883 /proc/meminfo: memFree=30849468/32770624 swapFree=0/590220 [pid=883] ppid=880 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/883/stat : 883 (runsolver) D 880 883 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101038760 24240128 106 18446744073709551615 4194304 4338465 140730565147344 140730565144984 140031211635415 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 30404608 140730565148865 140730565149257 140730565149257 140730565152714 0 /proc/883/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.20031 s] /proc/loadavg: 2.10 2.04 2.05 3/187 883 /proc/meminfo: memFree=30849468/32770624 swapFree=0/590220 [pid=883] ppid=880 vsize=27132 CPUtime=0.09 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 1039 0 0 0 9 0 0 0 20 0 1 0 101038760 27783168 832 18446744073709551615 4194304 5972588 140727143491568 140727143488216 140292426288224 0 0 1 0 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 6783 832 717 435 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27132 [startup+0.300299 s] /proc/loadavg: 2.10 2.04 2.05 3/187 883 /proc/meminfo: memFree=30849468/32770624 swapFree=0/590220 [pid=883] ppid=880 vsize=27256 CPUtime=0.19 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 1057 0 0 0 19 0 0 0 20 0 1 0 101038760 27910144 884 18446744073709551615 4194304 5972588 140727143491568 140727143488216 140292426288224 0 0 1 0 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 6814 884 750 435 0 177 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27256 [startup+0.700217 s] /proc/loadavg: 2.10 2.04 2.05 3/187 883 /proc/meminfo: memFree=30849468/32770624 swapFree=0/590220 [pid=883] ppid=880 vsize=27500 CPUtime=0.59 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 1124 0 0 0 59 0 0 0 20 0 1 0 101038760 28160000 945 18446744073709551615 4194304 5972588 140727143491568 140727143475288 140292435491296 0 0 1 0 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 6875 945 750 435 0 238 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 27500 [startup+1.50022 s] /proc/loadavg: 2.10 2.04 2.05 3/188 884 /proc/meminfo: memFree=30847792/32770624 swapFree=0/590128 [pid=883] ppid=880 vsize=28132 CPUtime=1.39 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 1377 0 0 0 139 0 0 0 20 0 1 0 101038760 28807168 1179 18446744073709551615 4194304 5972588 140727143491568 140727143475288 5328660 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1179 825 435 0 396 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 28132 [startup+3.10022 s] /proc/loadavg: 2.10 2.04 2.05 3/188 884 /proc/meminfo: memFree=30847176/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=2.99 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 1703 0 0 0 299 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 5328660 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 28132 [startup+6.30021 s] /proc/loadavg: 2.09 2.04 2.05 3/188 884 /proc/meminfo: memFree=30847160/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=6.19 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2029 0 0 0 619 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 5072004 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 28132 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 883 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40025 s] /proc/loadavg: 2.09 2.04 2.05 3/188 884 /proc/meminfo: memFree=30847160/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=6.29 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2029 0 0 0 629 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 5071799 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28132 [startup+8.00022 s] /proc/loadavg: 2.09 2.04 2.05 3/188 884 /proc/meminfo: memFree=30847160/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=7.89 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2355 0 0 0 789 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 4908840 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 28132 [startup+9.60022 s] /proc/loadavg: 2.09 2.04 2.05 3/188 885 /proc/meminfo: memFree=30847160/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=9.49 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2355 0 0 0 949 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 4965428 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 28132 [startup+10.4002 s] /proc/loadavg: 2.08 2.04 2.05 3/188 885 /proc/meminfo: memFree=30847284/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=10.29 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2355 0 0 0 1029 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 5328660 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 10.29 Current children cumulated vsize (KiB) 28132 [startup+10.6002 s] /proc/loadavg: 2.08 2.04 2.05 3/188 885 /proc/meminfo: memFree=30847284/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=10.49 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2355 0 0 0 1049 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 5071832 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 10.49 Current children cumulated vsize (KiB) 28132 [startup+10.7002 s] /proc/loadavg: 2.08 2.04 2.05 3/188 885 /proc/meminfo: memFree=30847284/32770624 swapFree=0/590240 [pid=883] ppid=880 vsize=28132 CPUtime=10.59 cores=1,3,5,7 /proc/883/stat : 883 (cosoco) R 880 883 24445 0 -1 4202496 2355 0 0 0 1059 0 0 0 20 0 1 0 101038760 28807168 1218 18446744073709551615 4194304 5972588 140727143491568 140727143488872 5071752 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 8070896 8075904 9695232 140727143498222 140727143498317 140727143498317 140727143501774 0 /proc/883/statm: 7033 1218 831 435 0 396 0 Current children cumulated CPU time (s) 10.59 Current children cumulated vsize (KiB) 28132 Child status: 0 Real time (s): 10.7108 CPU time (s): 10.6068 CPU user time (s): 10.6008 CPU system time (s): 0.006004 CPU usage (%): 99.0284 Max. virtual memory (cumulated for all children) (KiB): 28132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6008 system time used= 0.006004 maximum resident set size= 4948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2396 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= 10 involuntary context switches= 9 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.068211 second user time and 0.079316 second system time The end
Begin job on node134 at 2017-08-12 12:41:29 IDJOB=4268216 IDBENCH=130602 IDSOLVER=2658 FILE ID=node134/4268216-1502535324 RUNJOBID= node134-1502500343-24509 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-07_X2.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268216-1502535324/watcher-4268216-1502535324 -o /tmp/evaluation-result-4268216-1502535324/solver-4268216-1502535324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268216-1502535324.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= be036177e118ca84375e398cb8709600 RANDOM SEED=1321855511 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: 30849468 kB MemAvailable: 31836996 kB Buffers: 301084 kB Cached: 986324 kB SwapCached: 0 kB Active: 852236 kB Inactive: 629628 kB Active(anon): 196312 kB Inactive(anon): 39408 kB Active(file): 655924 kB Inactive(file): 590220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2388 kB Writeback: 4 kB AnonPages: 193904 kB Mapped: 56372 kB Shmem: 41660 kB Slab: 140504 kB SReclaimable: 114436 kB SUnreclaim: 26068 kB KernelStack: 3328 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 470024 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 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 12:41:40