| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco 1.1 | SAT | 10.6374 | 10.6412 |
| 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.02 c intension x[0] != x[2] using generic constraint 0.00/0.02 c intension x[0] != x[3] using generic constraint 0.00/0.02 c intension x[0] != x[4] using generic constraint 0.00/0.02 c intension x[0] != x[5] using generic constraint 0.00/0.02 c intension x[0] != x[6] using generic constraint 0.00/0.02 c intension x[0] != x[7] using generic constraint 0.00/0.02 c intension x[0] != x[8] using generic constraint 0.00/0.03 c intension x[0] != x[9] using generic constraint 0.00/0.03 c intension x[0] != x[10] using generic constraint 0.00/0.03 c intension x[0] != x[11] using generic constraint 0.00/0.03 c intension x[0] != x[12] using generic constraint 0.00/0.03 c intension x[0] != x[13] using generic constraint 0.00/0.03 c intension x[0] != x[14] using generic constraint 0.00/0.03 c intension x[0] != x[15] using generic constraint 0.00/0.03 c intension x[0] != x[16] using generic constraint 0.00/0.03 c intension x[0] != x[17] using generic constraint 0.00/0.04 c intension x[0] != x[18] using generic constraint 0.00/0.04 c intension x[0] != x[19] using generic constraint 0.00/0.04 c intension x[0] != x[20] using generic constraint 0.00/0.04 c intension x[0] != x[21] using generic constraint 0.00/0.04 c intension x[0] != x[22] using generic constraint 0.00/0.04 c intension x[0] != x[23] using generic constraint 0.00/0.04 c intension x[0] != x[24] using generic constraint 0.00/0.04 c intension x[0] != x[25] using generic constraint 0.00/0.04 c intension x[0] != x[26] using generic constraint 0.00/0.05 c intension x[0] != x[27] using generic constraint 0.00/0.05 c intension x[0] != x[28] using generic constraint 0.00/0.05 c intension x[0] != x[29] using generic constraint 0.00/0.05 c intension x[0] != x[30] using generic constraint 0.00/0.05 c intension x[0] != x[31] using generic constraint 0.00/0.05 c intension x[0] != x[32] using generic constraint 0.00/0.05 c intension x[0] != x[33] using generic constraint 0.00/0.05 c intension x[0] != x[34] using generic constraint 0.00/0.05 c intension x[0] != x[35] using generic constraint 0.00/0.05 c intension x[0] != x[36] using generic constraint 0.00/0.05 c intension x[0] != x[37] using generic constraint 0.00/0.06 c intension x[0] != x[38] using generic constraint 0.00/0.06 c intension x[0] != x[39] using generic constraint 0.00/0.06 c intension x[0] != x[40] using generic constraint 0.00/0.06 c intension x[0] != x[41] using generic constraint 0.00/0.06 c intension x[0] != x[42] using generic constraint 0.00/0.06 c intension x[0] != x[43] using generic constraint 0.00/0.06 c intension x[0] != x[44] using generic constraint 0.00/0.06 c intension x[0] != x[45] using generic constraint 0.00/0.06 c intension x[0] != x[46] using generic constraint 0.00/0.06 c intension x[0] != x[47] using generic constraint 0.00/0.06 c intension x[0] != x[48] using generic constraint 0.00/0.07 c intension x[1] != x[3] using generic constraint 0.00/0.07 c intension x[1] != x[4] using generic constraint 0.00/0.07 c intension x[1] != x[5] using generic constraint 0.00/0.07 c intension x[1] != x[6] using generic constraint 0.00/0.07 c intension x[1] != x[7] using generic constraint 0.00/0.07 c intension x[1] != x[8] using generic constraint 0.00/0.07 c intension x[1] != x[9] using generic constraint 0.00/0.07 c intension x[1] != x[10] using generic constraint 0.00/0.07 c intension x[1] != x[11] using generic constraint 0.00/0.07 c intension x[1] != x[12] using generic constraint 0.00/0.07 c intension x[1] != x[13] using generic constraint 0.00/0.07 c intension x[1] != x[14] using generic constraint 0.00/0.08 c intension x[1] != x[15] using generic constraint 0.00/0.08 c intension x[1] != x[16] using generic constraint 0.00/0.08 c intension x[1] != x[17] using generic constraint 0.00/0.08 c intension x[1] != x[18] using generic constraint 0.00/0.08 c intension x[1] != x[19] using generic constraint 0.00/0.08 c intension x[1] != x[20] using generic constraint 0.00/0.08 c intension x[1] != x[21] using generic constraint 0.00/0.08 c intension x[1] != x[22] using generic constraint 0.00/0.08 c intension x[1] != x[23] using generic constraint 0.00/0.08 c intension x[1] != x[24] using generic constraint 0.00/0.08 c intension x[1] != x[25] using generic constraint 0.00/0.09 c intension x[1] != x[26] using generic constraint 0.00/0.09 c intension x[1] != x[27] using generic constraint 0.00/0.09 c intension x[1] != x[28] using generic constraint 0.00/0.09 c intension x[1] != x[29] using generic constraint 0.00/0.09 c intension x[1] != x[30] using generic constraint 0.00/0.09 c intension x[1] != x[31] using generic constraint 0.00/0.09 c intension x[1] != x[32] using generic constraint 0.00/0.09 c intension x[1] != x[33] using generic constraint 0.00/0.09 c intension x[1] != x[34] using generic constraint 0.00/0.09 c intension x[1] != x[35] using generic constraint 0.00/0.09 c intension x[1] != x[36] using generic constraint 0.00/0.10 c intension x[1] != x[37] using generic constraint 0.09/0.10 c intension x[1] != x[38] using generic constraint 0.09/0.10 c intension x[1] != x[39] using generic constraint 0.09/0.10 c intension x[1] != x[40] using generic constraint 0.09/0.10 c intension x[1] != x[41] using generic constraint 0.09/0.10 c intension x[1] != x[42] using generic constraint 0.09/0.10 c intension x[1] != x[43] using generic constraint 0.09/0.10 c intension x[1] != x[44] using generic constraint 0.09/0.10 c intension x[1] != x[45] using generic constraint 0.09/0.10 c intension x[1] != x[46] using generic constraint 0.09/0.10 c intension x[1] != x[47] using generic constraint 0.09/0.10 c intension x[1] != x[48] using generic constraint 0.09/0.11 c intension x[2] != x[4] using generic constraint 0.09/0.11 c intension x[2] != x[5] using generic constraint 0.09/0.11 c intension x[2] != x[6] using generic constraint 0.09/0.11 c intension x[2] != x[7] using generic constraint 0.09/0.11 c intension x[2] != x[8] using generic constraint 0.09/0.11 c intension x[2] != x[9] using generic constraint 0.09/0.11 c intension x[2] != x[10] using generic constraint 0.09/0.11 c intension x[2] != x[11] using generic constraint 0.09/0.11 c intension x[2] != x[12] using generic constraint 0.09/0.11 c intension x[2] != x[13] using generic constraint 0.09/0.11 c intension x[2] != x[14] using generic constraint 0.09/0.12 c intension x[2] != x[15] using generic constraint 0.09/0.12 c intension x[2] != x[16] using generic constraint 0.09/0.12 c intension x[2] != x[17] using generic constraint 0.09/0.12 c intension x[2] != x[18] using generic constraint 0.09/0.12 c intension x[2] != x[19] using generic constraint 0.09/0.12 c intension x[2] != x[20] using generic constraint 0.09/0.12 c intension x[2] != x[21] using generic constraint 0.09/0.12 c intension x[2] != x[22] using generic constraint 0.09/0.12 c intension x[2] != x[23] using generic constraint 0.09/0.12 c intension x[2] != x[24] using generic constraint 0.09/0.12 c intension x[2] != x[25] using generic constraint 0.09/0.13 c intension x[2] != x[26] using generic constraint 0.09/0.13 c intension x[2] != x[27] using generic constraint 0.09/0.13 c intension x[2] != x[28] using generic constraint 0.09/0.13 c intension x[2] != x[29] using generic constraint 0.09/0.13 c intension x[2] != x[30] using generic constraint 0.09/0.13 c intension x[2] != x[31] using generic constraint 0.09/0.13 c intension x[2] != x[32] using generic constraint 0.09/0.13 c intension x[2] != x[33] using generic constraint 0.09/0.13 c intension x[2] != x[34] using generic constraint 0.09/0.13 c intension x[2] != x[35] using generic constraint 0.09/0.13 c intension x[2] != x[36] using generic constraint 0.09/0.13 c intension x[2] != x[37] using generic constraint 0.09/0.14 c intension x[2] != x[38] using generic constraint 0.09/0.14 c intension x[2] != x[39] using generic constraint 0.09/0.14 c intension x[2] != x[40] using generic constraint 0.09/0.14 c intension x[2] != x[41] using generic constraint 0.09/0.14 c intension x[2] != x[42] using generic constraint 0.09/0.14 c intension x[2] != x[43] using generic constraint 0.09/0.14 c intension x[2] != x[44] using generic constraint 0.09/0.14 c intension x[2] != x[45] using generic constraint 0.09/0.14 c intension x[2] != x[46] using generic constraint 0.09/0.14 c intension x[2] != x[47] using generic constraint 0.09/0.14 c intension x[2] != x[48] using generic constraint 0.09/0.15 c intension x[3] != x[5] using generic constraint 0.09/0.15 c intension x[3] != x[6] using generic constraint 0.09/0.15 c intension x[3] != x[7] using generic constraint 0.09/0.15 c intension x[3] != x[8] using generic constraint 0.09/0.15 c intension x[3] != x[9] using generic constraint 0.09/0.15 c intension x[3] != x[10] using generic constraint 0.09/0.15 c intension x[3] != x[11] using generic constraint 0.09/0.15 c intension x[3] != x[12] using generic constraint 0.09/0.15 c intension x[3] != x[13] using generic constraint 0.09/0.15 c intension x[3] != x[14] using generic constraint 0.09/0.15 c intension x[3] != x[15] using generic constraint 0.09/0.16 c intension x[3] != x[16] using generic constraint 0.09/0.16 c intension x[3] != x[17] using generic constraint 0.09/0.16 c intension x[3] != x[18] using generic constraint 0.09/0.16 c intension x[3] != x[19] using generic constraint 0.09/0.16 c intension x[3] != x[20] using generic constraint 0.09/0.16 c intension x[3] != x[21] using generic constraint 0.09/0.16 c intension x[3] != x[22] using generic constraint 0.09/0.16 c intension x[3] != x[23] using generic constraint 0.09/0.16 c intension x[3] != x[24] using generic constraint 0.09/0.16 c intension x[3] != x[25] using generic constraint 0.09/0.16 c intension x[3] != x[26] using generic constraint 0.09/0.16 c intension x[3] != x[27] using generic constraint 0.09/0.17 c intension x[3] != x[28] using generic constraint 0.09/0.17 c intension x[3] != x[29] using generic constraint 0.09/0.17 c intension x[3] != x[30] using generic constraint 0.09/0.17 c intension x[3] != x[31] using generic constraint 0.09/0.17 c intension x[3] != x[32] using generic constraint 0.09/0.17 c intension x[3] != x[33] using generic constraint 0.09/0.17 c intension x[3] != x[34] using generic constraint 0.09/0.17 c intension x[3] != x[35] using generic constraint 0.09/0.17 c intension x[3] != x[36] using generic constraint 0.09/0.17 c intension x[3] != x[37] using generic constraint 0.09/0.17 c intension x[3] != x[38] using generic constraint 0.09/0.18 c intension x[3] != x[39] using generic constraint 0.09/0.18 c intension x[3] != x[40] using generic constraint 0.09/0.18 c intension x[3] != x[41] using generic constraint 0.09/0.18 c intension x[3] != x[42] using generic constraint 0.09/0.18 c intension x[3] != x[43] using generic constraint 0.09/0.18 c intension x[3] != x[44] using generic constraint 0.09/0.18 c intension x[3] != x[45] using generic constraint 0.09/0.18 c intension x[3] != x[46] using generic constraint 0.09/0.18 c intension x[3] != x[47] using generic constraint 0.09/0.18 c intension x[3] != x[48] using generic constraint 0.09/0.18 c intension x[4] != x[6] using generic constraint 0.09/0.19 c intension x[4] != x[7] using generic constraint 0.09/0.19 c intension x[4] != x[8] using generic constraint 0.09/0.19 c intension x[4] != x[9] using generic constraint 0.09/0.19 c intension x[4] != x[10] using generic constraint 0.09/0.19 c intension x[4] != x[11] using generic constraint 0.09/0.19 c intension x[4] != x[12] using generic constraint 0.09/0.19 c intension x[4] != x[13] using generic constraint 0.09/0.19 c intension x[4] != x[14] using generic constraint 0.09/0.19 c intension x[4] != x[15] using generic constraint 0.09/0.19 c intension x[4] != x[16] using generic constraint 0.09/0.19 c intension x[4] != x[17] using generic constraint 0.09/0.19 c intension x[4] != x[18] using generic constraint 0.19/0.20 c intension x[4] != x[19] using generic constraint 0.19/0.20 c intension x[4] != x[20] using generic constraint 0.19/0.20 c intension x[4] != x[21] using generic constraint 0.19/0.20 c intension x[4] != x[22] using generic constraint 0.19/0.20 c intension x[4] != x[23] using generic constraint 0.19/0.20 c intension x[4] != x[24] using generic constraint 0.19/0.20 c intension x[4] != x[25] using generic constraint 0.19/0.20 c intension x[4] != x[26] using generic constraint 0.19/0.20 c intension x[4] != x[27] using generic constraint 0.19/0.20 c intension x[4] != x[28] using generic constraint 0.19/0.20 c intension x[4] != x[29] using generic constraint 0.19/0.21 c intension x[4] != x[30] using generic constraint 0.19/0.21 c intension x[4] != x[31] using generic constraint 0.19/0.21 c intension x[4] != x[32] using generic constraint 0.19/0.21 c intension x[4] != x[33] using generic constraint 0.19/0.21 c intension x[4] != x[34] using generic constraint 0.19/0.21 c intension x[4] != x[35] using generic constraint 0.19/0.21 c intension x[4] != x[36] using generic constraint 0.19/0.21 c intension x[4] != x[37] using generic constraint 0.19/0.21 c intension x[4] != x[38] using generic constraint 0.19/0.21 c intension x[4] != x[39] using generic constraint 0.19/0.21 c intension x[4] != x[40] using generic constraint 0.19/0.22 c intension x[4] != x[41] using generic constraint 0.19/0.22 c intension x[4] != x[42] using generic constraint 0.19/0.22 c intension x[4] != x[43] using generic constraint 0.19/0.22 c intension x[4] != x[44] using generic constraint 0.19/0.22 c intension x[4] != x[45] using generic constraint 0.19/0.22 c intension x[4] != x[46] using generic constraint 0.19/0.22 c intension x[4] != x[47] using generic constraint 0.19/0.22 c intension x[4] != x[48] using generic constraint 0.19/0.22 c intension x[5] != x[7] using generic constraint 0.19/0.22 c intension x[5] != x[8] using generic constraint 0.19/0.22 c intension x[5] != x[9] using generic constraint 0.19/0.22 c intension x[5] != x[10] using generic constraint 0.19/0.23 c intension x[5] != x[11] using generic constraint 0.19/0.23 c intension x[5] != x[12] using generic constraint 0.19/0.23 c intension x[5] != x[13] using generic constraint 0.19/0.23 c intension x[5] != x[14] using generic constraint 0.19/0.23 c intension x[5] != x[15] using generic constraint 0.19/0.23 c intension x[5] != x[16] using generic constraint 0.19/0.23 c intension x[5] != x[17] using generic constraint 0.19/0.23 c intension x[5] != x[18] using generic constraint 0.19/0.23 c intension x[5] != x[19] using generic constraint 0.19/0.23 c intension x[5] != x[20] using generic constraint 0.19/0.23 c intension x[5] != x[21] using generic constraint 0.19/0.24 c intension x[5] != x[22] using generic constraint 0.19/0.24 c intension x[5] != x[23] using generic constraint 0.19/0.24 c intension x[5] != x[24] using generic constraint 0.19/0.24 c intension x[5] != x[25] using generic constraint 0.19/0.24 c intension x[5] != x[26] using generic constraint 0.19/0.24 c intension x[5] != x[27] using generic constraint 0.19/0.24 c intension x[5] != x[28] using generic constraint 0.19/0.24 c intension x[5] != x[29] using generic constraint 0.19/0.24 c intension x[5] != x[30] using generic constraint 0.19/0.24 c intension x[5] != x[31] using generic constraint 0.19/0.24 c intension x[5] != x[32] using generic constraint 0.19/0.25 c intension x[5] != x[33] using generic constraint 0.19/0.25 c intension x[5] != x[34] using generic constraint 0.19/0.25 c intension x[5] != x[35] using generic constraint 0.19/0.25 c intension x[5] != x[36] using generic constraint 0.19/0.25 c intension x[5] != x[37] using generic constraint 0.19/0.25 c intension x[5] != x[38] using generic constraint 0.19/0.25 c intension x[5] != x[39] using generic constraint 0.19/0.25 c intension x[5] != x[40] using generic constraint 0.19/0.25 c intension x[5] != x[41] using generic constraint 0.19/0.25 c intension x[5] != x[42] using generic constraint 0.19/0.25 c intension x[5] != x[43] using generic constraint 0.19/0.25 c intension x[5] != x[44] using generic constraint 0.19/0.26 c intension x[5] != x[45] using generic constraint 0.19/0.26 c intension x[5] != x[46] using generic constraint 0.19/0.26 c intension x[5] != x[47] using generic constraint 0.19/0.26 c intension x[5] != x[48] using generic constraint 0.19/0.26 c intension x[6] != x[8] using generic constraint 0.19/0.26 c intension x[6] != x[9] using generic constraint 0.19/0.26 c intension x[6] != x[10] using generic constraint 0.19/0.26 c intension x[6] != x[11] using generic constraint 0.19/0.26 c intension x[6] != x[12] using generic constraint 0.19/0.26 c intension x[6] != x[13] using generic constraint 0.19/0.26 c intension x[6] != x[14] using generic constraint 0.19/0.27 c intension x[6] != x[15] using generic constraint 0.19/0.27 c intension x[6] != x[16] using generic constraint 0.19/0.27 c intension x[6] != x[17] using generic constraint 0.19/0.27 c intension x[6] != x[18] using generic constraint 0.19/0.27 c intension x[6] != x[19] using generic constraint 0.19/0.27 c intension x[6] != x[20] using generic constraint 0.19/0.27 c intension x[6] != x[21] using generic constraint 0.19/0.27 c intension x[6] != x[22] using generic constraint 0.19/0.27 c intension x[6] != x[23] using generic constraint 0.19/0.27 c intension x[6] != x[24] using generic constraint 0.19/0.27 c intension x[6] != x[25] using generic constraint 0.19/0.28 c intension x[6] != x[26] using generic constraint 0.19/0.28 c intension x[6] != x[27] using generic constraint 0.19/0.28 c intension x[6] != x[28] using generic constraint 0.19/0.28 c intension x[6] != x[29] using generic constraint 0.19/0.28 c intension x[6] != x[30] using generic constraint 0.19/0.28 c intension x[6] != x[31] using generic constraint 0.19/0.28 c intension x[6] != x[32] using generic constraint 0.19/0.28 c intension x[6] != x[33] using generic constraint 0.19/0.28 c intension x[6] != x[34] using generic constraint 0.19/0.28 c intension x[6] != x[35] using generic constraint 0.19/0.28 c intension x[6] != x[36] using generic constraint 0.19/0.28 c intension x[6] != x[37] using generic constraint 0.19/0.29 c intension x[6] != x[38] using generic constraint 0.19/0.29 c intension x[6] != x[39] using generic constraint 0.19/0.29 c intension x[6] != x[40] using generic constraint 0.19/0.29 c intension x[6] != x[41] using generic constraint 0.19/0.29 c intension x[6] != x[42] using generic constraint 0.19/0.29 c intension x[6] != x[43] using generic constraint 0.19/0.29 c intension x[6] != x[44] using generic constraint 0.19/0.29 c intension x[6] != x[45] using generic constraint 0.19/0.29 c intension x[6] != x[46] using generic constraint 0.19/0.29 c intension x[6] != x[47] using generic constraint 0.19/0.29 c intension x[6] != x[48] using generic constraint 0.29/0.30 c intension x[7] != x[9] using generic constraint 0.29/0.30 c intension x[7] != x[10] using generic constraint 0.29/0.30 c intension x[7] != x[11] using generic constraint 0.29/0.30 c intension x[7] != x[12] using generic constraint 0.29/0.30 c intension x[7] != x[13] using generic constraint 0.29/0.30 c intension x[7] != x[14] using generic constraint 0.29/0.30 c intension x[7] != x[15] using generic constraint 0.29/0.30 c intension x[7] != x[16] using generic constraint 0.29/0.30 c intension x[7] != x[17] using generic constraint 0.29/0.30 c intension x[7] != x[18] using generic constraint 0.29/0.30 c intension x[7] != x[19] using generic constraint 0.29/0.31 c intension x[7] != x[20] using generic constraint 0.29/0.31 c intension x[7] != x[21] using generic constraint 0.29/0.31 c intension x[7] != x[22] using generic constraint 0.29/0.31 c intension x[7] != x[23] using generic constraint 0.29/0.31 c intension x[7] != x[24] using generic constraint 0.29/0.31 c intension x[7] != x[25] using generic constraint 0.29/0.31 c intension x[7] != x[26] using generic constraint 0.29/0.31 c intension x[7] != x[27] using generic constraint 0.29/0.31 c intension x[7] != x[28] using generic constraint 0.29/0.31 c intension x[7] != x[29] using generic constraint 0.29/0.31 c intension x[7] != x[30] using generic constraint 0.29/0.32 c intension x[7] != x[31] using generic constraint 0.29/0.32 c intension x[7] != x[32] using generic constraint 0.29/0.32 c intension x[7] != x[33] using generic constraint 0.29/0.32 c intension x[7] != x[34] using generic constraint 0.29/0.32 c intension x[7] != x[35] using generic constraint 0.29/0.32 c intension x[7] != x[36] using generic constraint 0.29/0.32 c intension x[7] != x[37] using generic constraint 0.29/0.32 c intension x[7] != x[38] using generic constraint 0.29/0.32 c intension x[7] != x[39] using generic constraint 0.29/0.32 c intension x[7] != x[40] using generic constraint 0.29/0.32 c intension x[7] != x[41] using generic constraint 0.29/0.32 c intension x[7] != x[42] using generic constraint 0.29/0.33 c intension x[7] != x[43] using generic constraint 0.29/0.33 c intension x[7] != x[44] using generic constraint 0.29/0.33 c intension x[7] != x[45] using generic constraint 0.29/0.33 c intension x[7] != x[46] using generic constraint 0.29/0.33 c intension x[7] != x[47] using generic constraint 0.29/0.33 c intension x[7] != x[48] using generic constraint 0.29/0.33 c intension x[8] != x[10] using generic constraint 0.29/0.33 c intension x[8] != x[11] using generic constraint 0.29/0.33 c intension x[8] != x[12] using generic constraint 0.29/0.33 c intension x[8] != x[13] using generic constraint 0.29/0.33 c intension x[8] != x[14] using generic constraint 0.29/0.34 c intension x[8] != x[15] using generic constraint 0.29/0.34 c intension x[8] != x[16] using generic constraint 0.29/0.34 c intension x[8] != x[17] using generic constraint 0.29/0.34 c intension x[8] != x[18] using generic constraint 0.29/0.34 c intension x[8] != x[19] using generic constraint 0.29/0.34 c intension x[8] != x[20] using generic constraint 0.29/0.34 c intension x[8] != x[21] using generic constraint 0.29/0.34 c intension x[8] != x[22] using generic constraint 0.29/0.34 c intension x[8] != x[23] using generic constraint 0.29/0.34 c intension x[8] != x[24] using generic constraint 0.29/0.34 c intension x[8] != x[25] using generic constraint 0.29/0.35 c intension x[8] != x[26] using generic constraint 0.29/0.35 c intension x[8] != x[27] using generic constraint 0.29/0.35 c intension x[8] != x[28] using generic constraint 0.29/0.35 c intension x[8] != x[29] using generic constraint 0.29/0.35 c intension x[8] != x[30] using generic constraint 0.29/0.35 c intension x[8] != x[31] using generic constraint 0.29/0.35 c intension x[8] != x[32] using generic constraint 0.29/0.35 c intension x[8] != x[33] using generic constraint 0.29/0.35 c intension x[8] != x[34] using generic constraint 0.29/0.35 c intension x[8] != x[35] using generic constraint 0.29/0.35 c intension x[8] != x[36] using generic constraint 0.29/0.36 c intension x[8] != x[37] using generic constraint 0.29/0.36 c intension x[8] != x[38] using generic constraint 0.29/0.36 c intension x[8] != x[39] using generic constraint 0.29/0.36 c intension x[8] != x[40] using generic constraint 0.29/0.36 c intension x[8] != x[41] using generic constraint 0.29/0.36 c intension x[8] != x[42] using generic constraint 0.29/0.36 c intension x[8] != x[43] using generic constraint 0.29/0.36 c intension x[8] != x[44] using generic constraint 0.29/0.36 c intension x[8] != x[45] using generic constraint 0.29/0.36 c intension x[8] != x[46] using generic constraint 0.29/0.36 c intension x[8] != x[47] using generic constraint 0.29/0.36 c intension x[8] != x[48] using generic constraint 0.29/0.37 c intension x[9] != x[11] using generic constraint 0.29/0.37 c intension x[9] != x[12] using generic constraint 0.29/0.37 c intension x[9] != x[13] using generic constraint 0.29/0.37 c intension x[9] != x[14] using generic constraint 0.29/0.37 c intension x[9] != x[15] using generic constraint 0.29/0.37 c intension x[9] != x[16] using generic constraint 0.29/0.37 c intension x[9] != x[17] using generic constraint 0.29/0.37 c intension x[9] != x[18] using generic constraint 0.29/0.37 c intension x[9] != x[19] using generic constraint 0.29/0.37 c intension x[9] != x[20] using generic constraint 0.29/0.37 c intension x[9] != x[21] using generic constraint 0.29/0.38 c intension x[9] != x[22] using generic constraint 0.29/0.38 c intension x[9] != x[23] using generic constraint 0.29/0.38 c intension x[9] != x[24] using generic constraint 0.29/0.38 c intension x[9] != x[25] using generic constraint 0.29/0.38 c intension x[9] != x[26] using generic constraint 0.29/0.38 c intension x[9] != x[27] using generic constraint 0.29/0.38 c intension x[9] != x[28] using generic constraint 0.29/0.38 c intension x[9] != x[29] using generic constraint 0.29/0.38 c intension x[9] != x[30] using generic constraint 0.29/0.38 c intension x[9] != x[31] using generic constraint 0.29/0.38 c intension x[9] != x[32] using generic constraint 0.29/0.39 c intension x[9] != x[33] using generic constraint 0.29/0.39 c intension x[9] != x[34] using generic constraint 0.29/0.39 c intension x[9] != x[35] using generic constraint 0.29/0.39 c intension x[9] != x[36] using generic constraint 0.29/0.39 c intension x[9] != x[37] using generic constraint 0.29/0.39 c intension x[9] != x[38] using generic constraint 0.29/0.39 c intension x[9] != x[39] using generic constraint 0.29/0.39 c intension x[9] != x[40] using generic constraint 0.29/0.39 c intension x[9] != x[41] using generic constraint 0.29/0.39 c intension x[9] != x[42] using generic constraint 0.29/0.39 c intension x[9] != x[43] using generic constraint 0.29/0.40 c intension x[9] != x[44] using generic constraint 0.39/0.40 c intension x[9] != x[45] using generic constraint 0.39/0.40 c intension x[9] != x[46] using generic constraint 0.39/0.40 c intension x[9] != x[47] using generic constraint 0.39/0.40 c intension x[9] != x[48] using generic constraint 0.39/0.40 c intension x[10] != x[12] using generic constraint 0.39/0.40 c intension x[10] != x[13] using generic constraint 0.39/0.40 c intension x[10] != x[14] using generic constraint 0.39/0.40 c intension x[10] != x[15] using generic constraint 0.39/0.40 c intension x[10] != x[16] using generic constraint 0.39/0.40 c intension x[10] != x[17] using generic constraint 0.39/0.40 c intension x[10] != x[18] using generic constraint 0.39/0.41 c intension x[10] != x[19] using generic constraint 0.39/0.41 c intension x[10] != x[20] using generic constraint 0.39/0.41 c intension x[10] != x[21] using generic constraint 0.39/0.41 c intension x[10] != x[22] using generic constraint 0.39/0.41 c intension x[10] != x[23] using generic constraint 0.39/0.41 c intension x[10] != x[24] using generic constraint 0.39/0.41 c intension x[10] != x[25] using generic constraint 0.39/0.41 c intension x[10] != x[26] using generic constraint 0.39/0.41 c intension x[10] != x[27] using generic constraint 0.39/0.41 c intension x[10] != x[28] using generic constraint 0.39/0.41 c intension x[10] != x[29] using generic constraint 0.39/0.42 c intension x[10] != x[30] using generic constraint 0.39/0.42 c intension x[10] != x[31] using generic constraint 0.39/0.42 c intension x[10] != x[32] using generic constraint 0.39/0.42 c intension x[10] != x[33] using generic constraint 0.39/0.42 c intension x[10] != x[34] using generic constraint 0.39/0.42 c intension x[10] != x[35] using generic constraint 0.39/0.42 c intension x[10] != x[36] using generic constraint 0.39/0.42 c intension x[10] != x[37] using generic constraint 0.39/0.42 c intension x[10] != x[38] using generic constraint 0.39/0.42 c intension x[10] != x[39] using generic constraint 0.39/0.42 c intension x[10] != x[40] using generic constraint 0.39/0.43 c intension x[10] != x[41] using generic constraint 0.39/0.43 c intension x[10] != x[42] using generic constraint 0.39/0.43 c intension x[10] != x[43] using generic constraint 0.39/0.43 c intension x[10] != x[44] using generic constraint 0.39/0.43 c intension x[10] != x[45] using generic constraint 0.39/0.43 c intension x[10] != x[46] using generic constraint 0.39/0.43 c intension x[10] != x[47] using generic constraint 0.39/0.43 c intension x[10] != x[48] using generic constraint 0.39/0.43 c intension x[11] != x[13] using generic constraint 0.39/0.43 c intension x[11] != x[14] using generic constraint 0.39/0.43 c intension x[11] != x[15] using generic constraint 0.39/0.44 c intension x[11] != x[16] using generic constraint 0.39/0.44 c intension x[11] != x[17] using generic constraint 0.39/0.44 c intension x[11] != x[18] using generic constraint 0.39/0.44 c intension x[11] != x[19] using generic constraint 0.39/0.44 c intension x[11] != x[20] using generic constraint 0.39/0.44 c intension x[11] != x[21] using generic constraint 0.39/0.44 c intension x[11] != x[22] using generic constraint 0.39/0.44 c intension x[11] != x[23] using generic constraint 0.39/0.44 c intension x[11] != x[24] using generic constraint 0.39/0.44 c intension x[11] != x[25] using generic constraint 0.39/0.44 c intension x[11] != x[26] using generic constraint 0.39/0.44 c intension x[11] != x[27] using generic constraint 0.39/0.45 c intension x[11] != x[28] using generic constraint 0.39/0.45 c intension x[11] != x[29] using generic constraint 0.39/0.45 c intension x[11] != x[30] using generic constraint 0.39/0.45 c intension x[11] != x[31] using generic constraint 0.39/0.45 c intension x[11] != x[32] using generic constraint 0.39/0.45 c intension x[11] != x[33] using generic constraint 0.39/0.45 c intension x[11] != x[34] using generic constraint 0.39/0.45 c intension x[11] != x[35] using generic constraint 0.39/0.45 c intension x[11] != x[36] using generic constraint 0.39/0.45 c intension x[11] != x[37] using generic constraint 0.39/0.45 c intension x[11] != x[38] using generic constraint 0.39/0.46 c intension x[11] != x[39] using generic constraint 0.39/0.46 c intension x[11] != x[40] using generic constraint 0.39/0.46 c intension x[11] != x[41] using generic constraint 0.39/0.46 c intension x[11] != x[42] using generic constraint 0.39/0.46 c intension x[11] != x[43] using generic constraint 0.39/0.46 c intension x[11] != x[44] using generic constraint 0.39/0.46 c intension x[11] != x[45] using generic constraint 0.39/0.46 c intension x[11] != x[46] using generic constraint 0.39/0.46 c intension x[11] != x[47] using generic constraint 0.39/0.46 c intension x[11] != x[48] using generic constraint 0.39/0.46 c intension x[12] != x[14] using generic constraint 0.39/0.47 c intension x[12] != x[15] using generic constraint 0.39/0.47 c intension x[12] != x[16] using generic constraint 0.39/0.47 c intension x[12] != x[17] using generic constraint 0.39/0.47 c intension x[12] != x[18] using generic constraint 0.39/0.47 c intension x[12] != x[19] using generic constraint 0.39/0.47 c intension x[12] != x[20] using generic constraint 0.39/0.47 c intension x[12] != x[21] using generic constraint 0.39/0.47 c intension x[12] != x[22] using generic constraint 0.39/0.47 c intension x[12] != x[23] using generic constraint 0.39/0.47 c intension x[12] != x[24] using generic constraint 0.39/0.47 c intension x[12] != x[25] using generic constraint 0.39/0.48 c intension x[12] != x[26] using generic constraint 0.39/0.48 c intension x[12] != x[27] using generic constraint 0.39/0.48 c intension x[12] != x[28] using generic constraint 0.39/0.48 c intension x[12] != x[29] using generic constraint 0.39/0.48 c intension x[12] != x[30] using generic constraint 0.39/0.48 c intension x[12] != x[31] using generic constraint 0.39/0.48 c intension x[12] != x[32] using generic constraint 0.39/0.48 c intension x[12] != x[33] using generic constraint 0.39/0.48 c intension x[12] != x[34] using generic constraint 0.39/0.48 c intension x[12] != x[35] using generic constraint 0.39/0.48 c intension x[12] != x[36] using generic constraint 0.39/0.49 c intension x[12] != x[37] using generic constraint 0.39/0.49 c intension x[12] != x[38] using generic constraint 0.39/0.49 c intension x[12] != x[39] using generic constraint 0.39/0.49 c intension x[12] != x[40] using generic constraint 0.39/0.49 c intension x[12] != x[41] using generic constraint 0.39/0.49 c intension x[12] != x[42] using generic constraint 0.39/0.49 c intension x[12] != x[43] using generic constraint 0.39/0.49 c intension x[12] != x[44] using generic constraint 0.39/0.49 c intension x[12] != x[45] using generic constraint 0.39/0.49 c intension x[12] != x[46] using generic constraint 0.39/0.49 c intension x[12] != x[47] using generic constraint 0.39/0.49 c intension x[12] != x[48] using generic constraint 0.49/0.50 c intension x[13] != x[15] using generic constraint 0.49/0.50 c intension x[13] != x[16] using generic constraint 0.49/0.50 c intension x[13] != x[17] using generic constraint 0.49/0.50 c intension x[13] != x[18] using generic constraint 0.49/0.50 c intension x[13] != x[19] using generic constraint 0.49/0.50 c intension x[13] != x[20] using generic constraint 0.49/0.50 c intension x[13] != x[21] using generic constraint 0.49/0.50 c intension x[13] != x[22] using generic constraint 0.49/0.50 c intension x[13] != x[23] using generic constraint 0.49/0.50 c intension x[13] != x[24] using generic constraint 0.49/0.50 c intension x[13] != x[25] using generic constraint 0.49/0.51 c intension x[13] != x[26] using generic constraint 0.49/0.51 c intension x[13] != x[27] using generic constraint 0.49/0.51 c intension x[13] != x[28] using generic constraint 0.49/0.51 c intension x[13] != x[29] using generic constraint 0.49/0.51 c intension x[13] != x[30] using generic constraint 0.49/0.51 c intension x[13] != x[31] using generic constraint 0.49/0.51 c intension x[13] != x[32] using generic constraint 0.49/0.51 c intension x[13] != x[33] using generic constraint 0.49/0.51 c intension x[13] != x[34] using generic constraint 0.49/0.51 c intension x[13] != x[35] using generic constraint 0.49/0.51 c intension x[13] != x[36] using generic constraint 0.49/0.52 c intension x[13] != x[37] using generic constraint 0.49/0.52 c intension x[13] != x[38] using generic constraint 0.49/0.52 c intension x[13] != x[39] using generic constraint 0.49/0.52 c intension x[13] != x[40] using generic constraint 0.49/0.52 c intension x[13] != x[41] using generic constraint 0.49/0.52 c intension x[13] != x[42] using generic constraint 0.49/0.52 c intension x[13] != x[43] using generic constraint 0.49/0.52 c intension x[13] != x[44] using generic constraint 0.49/0.52 c intension x[13] != x[45] using generic constraint 0.49/0.52 c intension x[13] != x[46] using generic constraint 0.49/0.52 c intension x[13] != x[47] using generic constraint 0.49/0.53 c intension x[13] != x[48] using generic constraint 0.49/0.53 c intension x[14] != x[16] using generic constraint 0.49/0.53 c intension x[14] != x[17] using generic constraint 0.49/0.53 c intension x[14] != x[18] using generic constraint 0.49/0.53 c intension x[14] != x[19] using generic constraint 0.49/0.53 c intension x[14] != x[20] using generic constraint 0.49/0.53 c intension x[14] != x[21] using generic constraint 0.49/0.53 c intension x[14] != x[22] using generic constraint 0.49/0.53 c intension x[14] != x[23] using generic constraint 0.49/0.53 c intension x[14] != x[24] using generic constraint 0.49/0.53 c intension x[14] != x[25] using generic constraint 0.49/0.54 c intension x[14] != x[26] using generic constraint 0.49/0.54 c intension x[14] != x[27] using generic constraint 0.49/0.54 c intension x[14] != x[28] using generic constraint 0.49/0.54 c intension x[14] != x[29] using generic constraint 0.49/0.54 c intension x[14] != x[30] using generic constraint 0.49/0.54 c intension x[14] != x[31] using generic constraint 0.49/0.54 c intension x[14] != x[32] using generic constraint 0.49/0.54 c intension x[14] != x[33] using generic constraint 0.49/0.54 c intension x[14] != x[34] using generic constraint 0.49/0.54 c intension x[14] != x[35] using generic constraint 0.49/0.54 c intension x[14] != x[36] using generic constraint 0.49/0.55 c intension x[14] != x[37] using generic constraint 0.49/0.55 c intension x[14] != x[38] using generic constraint 0.49/0.55 c intension x[14] != x[39] using generic constraint 0.49/0.55 c intension x[14] != x[40] using generic constraint 0.49/0.55 c intension x[14] != x[41] using generic constraint 0.49/0.55 c intension x[14] != x[42] using generic constraint 0.49/0.55 c intension x[14] != x[43] using generic constraint 0.49/0.55 c intension x[14] != x[44] using generic constraint 0.49/0.55 c intension x[14] != x[45] using generic constraint 0.49/0.55 c intension x[14] != x[46] using generic constraint 0.49/0.55 c intension x[14] != x[47] using generic constraint 0.49/0.55 c intension x[14] != x[48] using generic constraint 0.49/0.56 c intension x[15] != x[17] using generic constraint 0.49/0.56 c intension x[15] != x[18] using generic constraint 0.49/0.56 c intension x[15] != x[19] using generic constraint 0.49/0.56 c intension x[15] != x[20] using generic constraint 0.49/0.56 c intension x[15] != x[21] using generic constraint 0.49/0.56 c intension x[15] != x[22] using generic constraint 0.49/0.56 c intension x[15] != x[23] using generic constraint 0.49/0.56 c intension x[15] != x[24] using generic constraint 0.49/0.56 c intension x[15] != x[25] using generic constraint 0.49/0.56 c intension x[15] != x[26] using generic constraint 0.49/0.56 c intension x[15] != x[27] using generic constraint 0.49/0.57 c intension x[15] != x[28] using generic constraint 0.49/0.57 c intension x[15] != x[29] using generic constraint 0.49/0.57 c intension x[15] != x[30] using generic constraint 0.49/0.57 c intension x[15] != x[31] using generic constraint 0.49/0.57 c intension x[15] != x[32] using generic constraint 0.49/0.57 c intension x[15] != x[33] using generic constraint 0.49/0.57 c intension x[15] != x[34] using generic constraint 0.49/0.57 c intension x[15] != x[35] using generic constraint 0.49/0.57 c intension x[15] != x[36] using generic constraint 0.49/0.57 c intension x[15] != x[37] using generic constraint 0.49/0.57 c intension x[15] != x[38] using generic constraint 0.49/0.58 c intension x[15] != x[39] using generic constraint 0.49/0.58 c intension x[15] != x[40] using generic constraint 0.49/0.58 c intension x[15] != x[41] using generic constraint 0.49/0.58 c intension x[15] != x[42] using generic constraint 0.49/0.58 c intension x[15] != x[43] using generic constraint 0.49/0.58 c intension x[15] != x[44] using generic constraint 0.49/0.58 c intension x[15] != x[45] using generic constraint 0.49/0.58 c intension x[15] != x[46] using generic constraint 0.49/0.58 c intension x[15] != x[47] using generic constraint 0.49/0.58 c intension x[15] != x[48] using generic constraint 0.49/0.58 c intension x[16] != x[18] using generic constraint 0.49/0.59 c intension x[16] != x[19] using generic constraint 0.49/0.59 c intension x[16] != x[20] using generic constraint 0.49/0.59 c intension x[16] != x[21] using generic constraint 0.49/0.59 c intension x[16] != x[22] using generic constraint 0.49/0.59 c intension x[16] != x[23] using generic constraint 0.49/0.59 c intension x[16] != x[24] using generic constraint 0.49/0.59 c intension x[16] != x[25] using generic constraint 0.49/0.59 c intension x[16] != x[26] using generic constraint 0.49/0.59 c intension x[16] != x[27] using generic constraint 0.49/0.59 c intension x[16] != x[28] using generic constraint 0.49/0.59 c intension x[16] != x[29] using generic constraint 0.49/0.60 c intension x[16] != x[30] using generic constraint 0.59/0.60 c intension x[16] != x[31] using generic constraint 0.59/0.60 c intension x[16] != x[32] using generic constraint 0.59/0.60 c intension x[16] != x[33] using generic constraint 0.59/0.60 c intension x[16] != x[34] using generic constraint 0.59/0.60 c intension x[16] != x[35] using generic constraint 0.59/0.60 c intension x[16] != x[36] using generic constraint 0.59/0.60 c intension x[16] != x[37] using generic constraint 0.59/0.60 c intension x[16] != x[38] using generic constraint 0.59/0.60 c intension x[16] != x[39] using generic constraint 0.59/0.60 c intension x[16] != x[40] using generic constraint 0.59/0.61 c intension x[16] != x[41] using generic constraint 0.59/0.61 c intension x[16] != x[42] using generic constraint 0.59/0.61 c intension x[16] != x[43] using generic constraint 0.59/0.61 c intension x[16] != x[44] using generic constraint 0.59/0.61 c intension x[16] != x[45] using generic constraint 0.59/0.61 c intension x[16] != x[46] using generic constraint 0.59/0.61 c intension x[16] != x[47] using generic constraint 0.59/0.61 c intension x[16] != x[48] using generic constraint 0.59/0.61 c intension x[17] != x[19] using generic constraint 0.59/0.61 c intension x[17] != x[20] using generic constraint 0.59/0.61 c intension x[17] != x[21] using generic constraint 0.59/0.62 c intension x[17] != x[22] using generic constraint 0.59/0.62 c intension x[17] != x[23] using generic constraint 0.59/0.62 c intension x[17] != x[24] using generic constraint 0.59/0.62 c intension x[17] != x[25] using generic constraint 0.59/0.62 c intension x[17] != x[26] using generic constraint 0.59/0.62 c intension x[17] != x[27] using generic constraint 0.59/0.62 c intension x[17] != x[28] using generic constraint 0.59/0.62 c intension x[17] != x[29] using generic constraint 0.59/0.62 c intension x[17] != x[30] using generic constraint 0.59/0.62 c intension x[17] != x[31] using generic constraint 0.59/0.62 c intension x[17] != x[32] using generic constraint 0.59/0.62 c intension x[17] != x[33] using generic constraint 0.59/0.63 c intension x[17] != x[34] using generic constraint 0.59/0.63 c intension x[17] != x[35] using generic constraint 0.59/0.63 c intension x[17] != x[36] using generic constraint 0.59/0.63 c intension x[17] != x[37] using generic constraint 0.59/0.63 c intension x[17] != x[38] using generic constraint 0.59/0.63 c intension x[17] != x[39] using generic constraint 0.59/0.63 c intension x[17] != x[40] using generic constraint 0.59/0.63 c intension x[17] != x[41] using generic constraint 0.59/0.63 c intension x[17] != x[42] using generic constraint 0.59/0.63 c intension x[17] != x[43] using generic constraint 0.59/0.63 c intension x[17] != x[44] using generic constraint 0.59/0.64 c intension x[17] != x[45] using generic constraint 0.59/0.64 c intension x[17] != x[46] using generic constraint 0.59/0.64 c intension x[17] != x[47] using generic constraint 0.59/0.64 c intension x[17] != x[48] using generic constraint 0.59/0.64 c intension x[18] != x[20] using generic constraint 0.59/0.64 c intension x[18] != x[21] using generic constraint 0.59/0.64 c intension x[18] != x[22] using generic constraint 0.59/0.64 c intension x[18] != x[23] using generic constraint 0.59/0.64 c intension x[18] != x[24] using generic constraint 0.59/0.64 c intension x[18] != x[25] using generic constraint 0.59/0.64 c intension x[18] != x[26] using generic constraint 0.59/0.65 c intension x[18] != x[27] using generic constraint 0.59/0.65 c intension x[18] != x[28] using generic constraint 0.59/0.65 c intension x[18] != x[29] using generic constraint 0.59/0.65 c intension x[18] != x[30] using generic constraint 0.59/0.65 c intension x[18] != x[31] using generic constraint 0.59/0.65 c intension x[18] != x[32] using generic constraint 0.59/0.65 c intension x[18] != x[33] using generic constraint 0.59/0.65 c intension x[18] != x[34] using generic constraint 0.59/0.65 c intension x[18] != x[35] using generic constraint 0.59/0.65 c intension x[18] != x[36] using generic constraint 0.59/0.65 c intension x[18] != x[37] using generic constraint 0.59/0.66 c intension x[18] != x[38] using generic constraint 0.59/0.66 c intension x[18] != x[39] using generic constraint 0.59/0.66 c intension x[18] != x[40] using generic constraint 0.59/0.66 c intension x[18] != x[41] using generic constraint 0.59/0.66 c intension x[18] != x[42] using generic constraint 0.59/0.66 c intension x[18] != x[43] using generic constraint 0.59/0.66 c intension x[18] != x[44] using generic constraint 0.59/0.66 c intension x[18] != x[45] using generic constraint 0.59/0.66 c intension x[18] != x[46] using generic constraint 0.59/0.66 c intension x[18] != x[47] using generic constraint 0.59/0.66 c intension x[18] != x[48] using generic constraint 0.59/0.67 c intension x[19] != x[21] using generic constraint 0.59/0.67 c intension x[19] != x[22] using generic constraint 0.59/0.67 c intension x[19] != x[23] using generic constraint 0.59/0.67 c intension x[19] != x[24] using generic constraint 0.59/0.67 c intension x[19] != x[25] using generic constraint 0.59/0.67 c intension x[19] != x[26] using generic constraint 0.59/0.67 c intension x[19] != x[27] using generic constraint 0.59/0.67 c intension x[19] != x[28] using generic constraint 0.59/0.67 c intension x[19] != x[29] using generic constraint 0.59/0.67 c intension x[19] != x[30] using generic constraint 0.59/0.67 c intension x[19] != x[31] using generic constraint 0.59/0.68 c intension x[19] != x[32] using generic constraint 0.59/0.68 c intension x[19] != x[33] using generic constraint 0.59/0.68 c intension x[19] != x[34] using generic constraint 0.59/0.68 c intension x[19] != x[35] using generic constraint 0.59/0.68 c intension x[19] != x[36] using generic constraint 0.59/0.68 c intension x[19] != x[37] using generic constraint 0.59/0.68 c intension x[19] != x[38] using generic constraint 0.59/0.68 c intension x[19] != x[39] using generic constraint 0.59/0.68 c intension x[19] != x[40] using generic constraint 0.59/0.68 c intension x[19] != x[41] using generic constraint 0.59/0.68 c intension x[19] != x[42] using generic constraint 0.59/0.69 c intension x[19] != x[43] using generic constraint 0.59/0.69 c intension x[19] != x[44] using generic constraint 0.59/0.69 c intension x[19] != x[45] using generic constraint 0.59/0.69 c intension x[19] != x[46] using generic constraint 0.59/0.69 c intension x[19] != x[47] using generic constraint 0.59/0.69 c intension x[19] != x[48] using generic constraint 0.59/0.69 c intension x[20] != x[22] using generic constraint 0.59/0.69 c intension x[20] != x[23] using generic constraint 0.59/0.69 c intension x[20] != x[24] using generic constraint 0.59/0.69 c intension x[20] != x[25] using generic constraint 0.59/0.69 c intension x[20] != x[26] using generic constraint 0.59/0.70 c intension x[20] != x[27] using generic constraint 0.69/0.70 c intension x[20] != x[28] using generic constraint 0.69/0.70 c intension x[20] != x[29] using generic constraint 0.69/0.70 c intension x[20] != x[30] using generic constraint 0.69/0.70 c intension x[20] != x[31] using generic constraint 0.69/0.70 c intension x[20] != x[32] using generic constraint 0.69/0.70 c intension x[20] != x[33] using generic constraint 0.69/0.70 c intension x[20] != x[34] using generic constraint 0.69/0.70 c intension x[20] != x[35] using generic constraint 0.69/0.70 c intension x[20] != x[36] using generic constraint 0.69/0.70 c intension x[20] != x[37] using generic constraint 0.69/0.71 c intension x[20] != x[38] using generic constraint 0.69/0.71 c intension x[20] != x[39] using generic constraint 0.69/0.71 c intension x[20] != x[40] using generic constraint 0.69/0.71 c intension x[20] != x[41] using generic constraint 0.69/0.71 c intension x[20] != x[42] using generic constraint 0.69/0.71 c intension x[20] != x[43] using generic constraint 0.69/0.71 c intension x[20] != x[44] using generic constraint 0.69/0.71 c intension x[20] != x[45] using generic constraint 0.69/0.71 c intension x[20] != x[46] using generic constraint 0.69/0.71 c intension x[20] != x[47] using generic constraint 0.69/0.71 c intension x[20] != x[48] using generic constraint 0.69/0.71 c intension x[21] != x[23] using generic constraint 0.69/0.72 c intension x[21] != x[24] using generic constraint 0.69/0.72 c intension x[21] != x[25] using generic constraint 0.69/0.72 c intension x[21] != x[26] using generic constraint 0.69/0.72 c intension x[21] != x[27] using generic constraint 0.69/0.72 c intension x[21] != x[28] using generic constraint 0.69/0.72 c intension x[21] != x[29] using generic constraint 0.69/0.72 c intension x[21] != x[30] using generic constraint 0.69/0.72 c intension x[21] != x[31] using generic constraint 0.69/0.72 c intension x[21] != x[32] using generic constraint 0.69/0.72 c intension x[21] != x[33] using generic constraint 0.69/0.72 c intension x[21] != x[34] using generic constraint 0.69/0.73 c intension x[21] != x[35] using generic constraint 0.69/0.73 c intension x[21] != x[36] using generic constraint 0.69/0.73 c intension x[21] != x[37] using generic constraint 0.69/0.73 c intension x[21] != x[38] using generic constraint 0.69/0.73 c intension x[21] != x[39] using generic constraint 0.69/0.73 c intension x[21] != x[40] using generic constraint 0.69/0.73 c intension x[21] != x[41] using generic constraint 0.69/0.73 c intension x[21] != x[42] using generic constraint 0.69/0.73 c intension x[21] != x[43] using generic constraint 0.69/0.73 c intension x[21] != x[44] using generic constraint 0.69/0.73 c intension x[21] != x[45] using generic constraint 0.69/0.74 c intension x[21] != x[46] using generic constraint 0.69/0.74 c intension x[21] != x[47] using generic constraint 0.69/0.74 c intension x[21] != x[48] using generic constraint 0.69/0.74 c intension x[22] != x[24] using generic constraint 0.69/0.74 c intension x[22] != x[25] using generic constraint 0.69/0.74 c intension x[22] != x[26] using generic constraint 0.69/0.74 c intension x[22] != x[27] using generic constraint 0.69/0.74 c intension x[22] != x[28] using generic constraint 0.69/0.74 c intension x[22] != x[29] using generic constraint 0.69/0.74 c intension x[22] != x[30] using generic constraint 0.69/0.74 c intension x[22] != x[31] using generic constraint 0.69/0.75 c intension x[22] != x[32] using generic constraint 0.69/0.75 c intension x[22] != x[33] using generic constraint 0.69/0.75 c intension x[22] != x[34] using generic constraint 0.69/0.75 c intension x[22] != x[35] using generic constraint 0.69/0.75 c intension x[22] != x[36] using generic constraint 0.69/0.75 c intension x[22] != x[37] using generic constraint 0.69/0.75 c intension x[22] != x[38] using generic constraint 0.69/0.75 c intension x[22] != x[39] using generic constraint 0.69/0.75 c intension x[22] != x[40] using generic constraint 0.69/0.75 c intension x[22] != x[41] using generic constraint 0.69/0.75 c intension x[22] != x[42] using generic constraint 0.69/0.76 c intension x[22] != x[43] using generic constraint 0.69/0.76 c intension x[22] != x[44] using generic constraint 0.69/0.76 c intension x[22] != x[45] using generic constraint 0.69/0.76 c intension x[22] != x[46] using generic constraint 0.69/0.76 c intension x[22] != x[47] using generic constraint 0.69/0.76 c intension x[22] != x[48] using generic constraint 0.69/0.76 c intension x[23] != x[25] using generic constraint 0.69/0.76 c intension x[23] != x[26] using generic constraint 0.69/0.76 c intension x[23] != x[27] using generic constraint 0.69/0.76 c intension x[23] != x[28] using generic constraint 0.69/0.76 c intension x[23] != x[29] using generic constraint 0.69/0.77 c intension x[23] != x[30] using generic constraint 0.69/0.77 c intension x[23] != x[31] using generic constraint 0.69/0.77 c intension x[23] != x[32] using generic constraint 0.69/0.77 c intension x[23] != x[33] using generic constraint 0.69/0.77 c intension x[23] != x[34] using generic constraint 0.69/0.77 c intension x[23] != x[35] using generic constraint 0.69/0.77 c intension x[23] != x[36] using generic constraint 0.69/0.77 c intension x[23] != x[37] using generic constraint 0.69/0.77 c intension x[23] != x[38] using generic constraint 0.69/0.77 c intension x[23] != x[39] using generic constraint 0.69/0.77 c intension x[23] != x[40] using generic constraint 0.69/0.78 c intension x[23] != x[41] using generic constraint 0.69/0.78 c intension x[23] != x[42] using generic constraint 0.69/0.78 c intension x[23] != x[43] using generic constraint 0.69/0.78 c intension x[23] != x[44] using generic constraint 0.69/0.78 c intension x[23] != x[45] using generic constraint 0.69/0.78 c intension x[23] != x[46] using generic constraint 0.69/0.78 c intension x[23] != x[47] using generic constraint 0.69/0.78 c intension x[23] != x[48] using generic constraint 0.69/0.78 c intension x[24] != x[26] using generic constraint 0.69/0.78 c intension x[24] != x[27] using generic constraint 0.69/0.78 c intension x[24] != x[28] using generic constraint 0.69/0.79 c intension x[24] != x[29] using generic constraint 0.69/0.79 c intension x[24] != x[30] using generic constraint 0.69/0.79 c intension x[24] != x[31] using generic constraint 0.69/0.79 c intension x[24] != x[32] using generic constraint 0.69/0.79 c intension x[24] != x[33] using generic constraint 0.69/0.79 c intension x[24] != x[34] using generic constraint 0.69/0.79 c intension x[24] != x[35] using generic constraint 0.69/0.79 c intension x[24] != x[36] using generic constraint 0.69/0.79 c intension x[24] != x[37] using generic constraint 0.69/0.79 c intension x[24] != x[38] using generic constraint 0.69/0.79 c intension x[24] != x[39] using generic constraint 0.69/0.80 c intension x[24] != x[40] using generic constraint 0.79/0.80 c intension x[24] != x[41] using generic constraint 0.79/0.80 c intension x[24] != x[42] using generic constraint 0.79/0.80 c intension x[24] != x[43] using generic constraint 0.79/0.80 c intension x[24] != x[44] using generic constraint 0.79/0.80 c intension x[24] != x[45] using generic constraint 0.79/0.80 c intension x[24] != x[46] using generic constraint 0.79/0.80 c intension x[24] != x[47] using generic constraint 0.79/0.80 c intension x[24] != x[48] using generic constraint 0.79/0.80 c intension x[25] != x[27] using generic constraint 0.79/0.80 c intension x[25] != x[28] using generic constraint 0.79/0.81 c intension x[25] != x[29] using generic constraint 0.79/0.81 c intension x[25] != x[30] using generic constraint 0.79/0.81 c intension x[25] != x[31] using generic constraint 0.79/0.81 c intension x[25] != x[32] using generic constraint 0.79/0.81 c intension x[25] != x[33] using generic constraint 0.79/0.81 c intension x[25] != x[34] using generic constraint 0.79/0.81 c intension x[25] != x[35] using generic constraint 0.79/0.81 c intension x[25] != x[36] using generic constraint 0.79/0.81 c intension x[25] != x[37] using generic constraint 0.79/0.81 c intension x[25] != x[38] using generic constraint 0.79/0.81 c intension x[25] != x[39] using generic constraint 0.79/0.82 c intension x[25] != x[40] using generic constraint 0.79/0.82 c intension x[25] != x[41] using generic constraint 0.79/0.82 c intension x[25] != x[42] using generic constraint 0.79/0.82 c intension x[25] != x[43] using generic constraint 0.79/0.82 c intension x[25] != x[44] using generic constraint 0.79/0.82 c intension x[25] != x[45] using generic constraint 0.79/0.82 c intension x[25] != x[46] using generic constraint 0.79/0.82 c intension x[25] != x[47] using generic constraint 0.79/0.82 c intension x[25] != x[48] using generic constraint 0.79/0.82 c intension x[26] != x[28] using generic constraint 0.79/0.82 c intension x[26] != x[29] using generic constraint 0.79/0.83 c intension x[26] != x[30] using generic constraint 0.79/0.83 c intension x[26] != x[31] using generic constraint 0.79/0.83 c intension x[26] != x[32] using generic constraint 0.79/0.83 c intension x[26] != x[33] using generic constraint 0.79/0.83 c intension x[26] != x[34] using generic constraint 0.79/0.83 c intension x[26] != x[35] using generic constraint 0.79/0.83 c intension x[26] != x[36] using generic constraint 0.79/0.83 c intension x[26] != x[37] using generic constraint 0.79/0.83 c intension x[26] != x[38] using generic constraint 0.79/0.83 c intension x[26] != x[39] using generic constraint 0.79/0.83 c intension x[26] != x[40] using generic constraint 0.79/0.84 c intension x[26] != x[41] using generic constraint 0.79/0.84 c intension x[26] != x[42] using generic constraint 0.79/0.84 c intension x[26] != x[43] using generic constraint 0.79/0.84 c intension x[26] != x[44] using generic constraint 0.79/0.84 c intension x[26] != x[45] using generic constraint 0.79/0.84 c intension x[26] != x[46] using generic constraint 0.79/0.84 c intension x[26] != x[47] using generic constraint 0.79/0.84 c intension x[26] != x[48] using generic constraint 0.79/0.84 c intension x[27] != x[29] using generic constraint 0.79/0.84 c intension x[27] != x[30] using generic constraint 0.79/0.84 c intension x[27] != x[31] using generic constraint 0.79/0.84 c intension x[27] != x[32] using generic constraint 0.79/0.85 c intension x[27] != x[33] using generic constraint 0.79/0.85 c intension x[27] != x[34] using generic constraint 0.79/0.85 c intension x[27] != x[35] using generic constraint 0.79/0.85 c intension x[27] != x[36] using generic constraint 0.79/0.85 c intension x[27] != x[37] using generic constraint 0.79/0.85 c intension x[27] != x[38] using generic constraint 0.79/0.85 c intension x[27] != x[39] using generic constraint 0.79/0.85 c intension x[27] != x[40] using generic constraint 0.79/0.85 c intension x[27] != x[41] using generic constraint 0.79/0.85 c intension x[27] != x[42] using generic constraint 0.79/0.85 c intension x[27] != x[43] using generic constraint 0.79/0.86 c intension x[27] != x[44] using generic constraint 0.79/0.86 c intension x[27] != x[45] using generic constraint 0.79/0.86 c intension x[27] != x[46] using generic constraint 0.79/0.86 c intension x[27] != x[47] using generic constraint 0.79/0.86 c intension x[27] != x[48] using generic constraint 0.79/0.86 c intension x[28] != x[30] using generic constraint 0.79/0.86 c intension x[28] != x[31] using generic constraint 0.79/0.86 c intension x[28] != x[32] using generic constraint 0.79/0.86 c intension x[28] != x[33] using generic constraint 0.79/0.86 c intension x[28] != x[34] using generic constraint 0.79/0.86 c intension x[28] != x[35] using generic constraint 0.79/0.87 c intension x[28] != x[36] using generic constraint 0.79/0.87 c intension x[28] != x[37] using generic constraint 0.79/0.87 c intension x[28] != x[38] using generic constraint 0.79/0.87 c intension x[28] != x[39] using generic constraint 0.79/0.87 c intension x[28] != x[40] using generic constraint 0.79/0.87 c intension x[28] != x[41] using generic constraint 0.79/0.87 c intension x[28] != x[42] using generic constraint 0.79/0.87 c intension x[28] != x[43] using generic constraint 0.79/0.87 c intension x[28] != x[44] using generic constraint 0.79/0.87 c intension x[28] != x[45] using generic constraint 0.79/0.87 c intension x[28] != x[46] using generic constraint 0.79/0.88 c intension x[28] != x[47] using generic constraint 0.79/0.88 c intension x[28] != x[48] using generic constraint 0.79/0.88 c intension x[29] != x[31] using generic constraint 0.79/0.88 c intension x[29] != x[32] using generic constraint 0.79/0.88 c intension x[29] != x[33] using generic constraint 0.79/0.88 c intension x[29] != x[34] using generic constraint 0.79/0.88 c intension x[29] != x[35] using generic constraint 0.79/0.88 c intension x[29] != x[36] using generic constraint 0.79/0.88 c intension x[29] != x[37] using generic constraint 0.79/0.88 c intension x[29] != x[38] using generic constraint 0.79/0.88 c intension x[29] != x[39] using generic constraint 0.79/0.89 c intension x[29] != x[40] using generic constraint 0.79/0.89 c intension x[29] != x[41] using generic constraint 0.79/0.89 c intension x[29] != x[42] using generic constraint 0.79/0.89 c intension x[29] != x[43] using generic constraint 0.79/0.89 c intension x[29] != x[44] using generic constraint 0.79/0.89 c intension x[29] != x[45] using generic constraint 0.79/0.89 c intension x[29] != x[46] using generic constraint 0.79/0.89 c intension x[29] != x[47] using generic constraint 0.79/0.89 c intension x[29] != x[48] using generic constraint 0.79/0.89 c intension x[30] != x[32] using generic constraint 0.79/0.89 c intension x[30] != x[33] using generic constraint 0.79/0.90 c intension x[30] != x[34] using generic constraint 0.89/0.90 c intension x[30] != x[35] using generic constraint 0.89/0.90 c intension x[30] != x[36] using generic constraint 0.89/0.90 c intension x[30] != x[37] using generic constraint 0.89/0.90 c intension x[30] != x[38] using generic constraint 0.89/0.90 c intension x[30] != x[39] using generic constraint 0.89/0.90 c intension x[30] != x[40] using generic constraint 0.89/0.90 c intension x[30] != x[41] using generic constraint 0.89/0.90 c intension x[30] != x[42] using generic constraint 0.89/0.90 c intension x[30] != x[43] using generic constraint 0.89/0.90 c intension x[30] != x[44] using generic constraint 0.89/0.91 c intension x[30] != x[45] using generic constraint 0.89/0.91 c intension x[30] != x[46] using generic constraint 0.89/0.91 c intension x[30] != x[47] using generic constraint 0.89/0.91 c intension x[30] != x[48] using generic constraint 0.89/0.91 c intension x[31] != x[33] using generic constraint 0.89/0.91 c intension x[31] != x[34] using generic constraint 0.89/0.91 c intension x[31] != x[35] using generic constraint 0.89/0.91 c intension x[31] != x[36] using generic constraint 0.89/0.91 c intension x[31] != x[37] using generic constraint 0.89/0.91 c intension x[31] != x[38] using generic constraint 0.89/0.91 c intension x[31] != x[39] using generic constraint 0.89/0.92 c intension x[31] != x[40] using generic constraint 0.89/0.92 c intension x[31] != x[41] using generic constraint 0.89/0.92 c intension x[31] != x[42] using generic constraint 0.89/0.92 c intension x[31] != x[43] using generic constraint 0.89/0.92 c intension x[31] != x[44] using generic constraint 0.89/0.92 c intension x[31] != x[45] using generic constraint 0.89/0.92 c intension x[31] != x[46] using generic constraint 0.89/0.92 c intension x[31] != x[47] using generic constraint 0.89/0.92 c intension x[31] != x[48] using generic constraint 0.89/0.92 c intension x[32] != x[34] using generic constraint 0.89/0.92 c intension x[32] != x[35] using generic constraint 0.89/0.93 c intension x[32] != x[36] using generic constraint 0.89/0.93 c intension x[32] != x[37] using generic constraint 0.89/0.93 c intension x[32] != x[38] using generic constraint 0.89/0.93 c intension x[32] != x[39] using generic constraint 0.89/0.93 c intension x[32] != x[40] using generic constraint 0.89/0.93 c intension x[32] != x[41] using generic constraint 0.89/0.93 c intension x[32] != x[42] using generic constraint 0.89/0.93 c intension x[32] != x[43] using generic constraint 0.89/0.93 c intension x[32] != x[44] using generic constraint 0.89/0.93 c intension x[32] != x[45] using generic constraint 0.89/0.93 c intension x[32] != x[46] using generic constraint 0.89/0.94 c intension x[32] != x[47] using generic constraint 0.89/0.94 c intension x[32] != x[48] using generic constraint 0.89/0.94 c intension x[33] != x[35] using generic constraint 0.89/0.94 c intension x[33] != x[36] using generic constraint 0.89/0.94 c intension x[33] != x[37] using generic constraint 0.89/0.94 c intension x[33] != x[38] using generic constraint 0.89/0.94 c intension x[33] != x[39] using generic constraint 0.89/0.94 c intension x[33] != x[40] using generic constraint 0.89/0.94 c intension x[33] != x[41] using generic constraint 0.89/0.94 c intension x[33] != x[42] using generic constraint 0.89/0.94 c intension x[33] != x[43] using generic constraint 0.89/0.95 c intension x[33] != x[44] using generic constraint 0.89/0.95 c intension x[33] != x[45] using generic constraint 0.89/0.95 c intension x[33] != x[46] using generic constraint 0.89/0.95 c intension x[33] != x[47] using generic constraint 0.89/0.95 c intension x[33] != x[48] using generic constraint 0.89/0.95 c intension x[34] != x[36] using generic constraint 0.89/0.95 c intension x[34] != x[37] using generic constraint 0.89/0.95 c intension x[34] != x[38] using generic constraint 0.89/0.95 c intension x[34] != x[39] using generic constraint 0.89/0.95 c intension x[34] != x[40] using generic constraint 0.89/0.95 c intension x[34] != x[41] using generic constraint 0.89/0.95 c intension x[34] != x[42] using generic constraint 0.89/0.96 c intension x[34] != x[43] using generic constraint 0.89/0.96 c intension x[34] != x[44] using generic constraint 0.89/0.96 c intension x[34] != x[45] using generic constraint 0.89/0.96 c intension x[34] != x[46] using generic constraint 0.89/0.96 c intension x[34] != x[47] using generic constraint 0.89/0.96 c intension x[34] != x[48] using generic constraint 0.89/0.96 c intension x[35] != x[37] using generic constraint 0.89/0.96 c intension x[35] != x[38] using generic constraint 0.89/0.96 c intension x[35] != x[39] using generic constraint 0.89/0.96 c intension x[35] != x[40] using generic constraint 0.89/0.96 c intension x[35] != x[41] using generic constraint 0.89/0.97 c intension x[35] != x[42] using generic constraint 0.89/0.97 c intension x[35] != x[43] using generic constraint 0.89/0.97 c intension x[35] != x[44] using generic constraint 0.89/0.97 c intension x[35] != x[45] using generic constraint 0.89/0.97 c intension x[35] != x[46] using generic constraint 0.89/0.97 c intension x[35] != x[47] using generic constraint 0.89/0.97 c intension x[35] != x[48] using generic constraint 0.89/0.97 c intension x[36] != x[38] using generic constraint 0.89/0.97 c intension x[36] != x[39] using generic constraint 0.89/0.97 c intension x[36] != x[40] using generic constraint 0.89/0.97 c intension x[36] != x[41] using generic constraint 0.89/0.98 c intension x[36] != x[42] using generic constraint 0.89/0.98 c intension x[36] != x[43] using generic constraint 0.89/0.98 c intension x[36] != x[44] using generic constraint 0.89/0.98 c intension x[36] != x[45] using generic constraint 0.89/0.98 c intension x[36] != x[46] using generic constraint 0.89/0.98 c intension x[36] != x[47] using generic constraint 0.89/0.98 c intension x[36] != x[48] using generic constraint 0.89/0.98 c intension x[37] != x[39] using generic constraint 0.89/0.98 c intension x[37] != x[40] using generic constraint 0.89/0.98 c intension x[37] != x[41] using generic constraint 0.89/0.98 c intension x[37] != x[42] using generic constraint 0.89/0.99 c intension x[37] != x[43] using generic constraint 0.89/0.99 c intension x[37] != x[44] using generic constraint 0.89/0.99 c intension x[37] != x[45] using generic constraint 0.89/0.99 c intension x[37] != x[46] using generic constraint 0.89/0.99 c intension x[37] != x[47] using generic constraint 0.89/0.99 c intension x[37] != x[48] using generic constraint 0.89/0.99 c intension x[38] != x[40] using generic constraint 0.89/0.99 c intension x[38] != x[41] using generic constraint 0.89/0.99 c intension x[38] != x[42] using generic constraint 0.89/0.99 c intension x[38] != x[43] using generic constraint 0.89/0.99 c intension x[38] != x[44] using generic constraint 0.99/1.00 c intension x[38] != x[45] using generic constraint 0.99/1.00 c intension x[38] != x[46] using generic constraint 0.99/1.00 c intension x[38] != x[47] using generic constraint 0.99/1.00 c intension x[38] != x[48] using generic constraint 0.99/1.00 c intension x[39] != x[41] using generic constraint 0.99/1.00 c intension x[39] != x[42] using generic constraint 0.99/1.00 c intension x[39] != x[43] using generic constraint 0.99/1.00 c intension x[39] != x[44] using generic constraint 0.99/1.00 c intension x[39] != x[45] using generic constraint 0.99/1.00 c intension x[39] != x[46] using generic constraint 0.99/1.00 c intension x[39] != x[47] using generic constraint 0.99/1.01 c intension x[39] != x[48] using generic constraint 0.99/1.01 c intension x[40] != x[42] using generic constraint 0.99/1.01 c intension x[40] != x[43] using generic constraint 0.99/1.01 c intension x[40] != x[44] using generic constraint 0.99/1.01 c intension x[40] != x[45] using generic constraint 0.99/1.01 c intension x[40] != x[46] using generic constraint 0.99/1.01 c intension x[40] != x[47] using generic constraint 0.99/1.01 c intension x[40] != x[48] using generic constraint 0.99/1.01 c intension x[41] != x[43] using generic constraint 0.99/1.01 c intension x[41] != x[44] using generic constraint 0.99/1.01 c intension x[41] != x[45] using generic constraint 0.99/1.02 c intension x[41] != x[46] using generic constraint 0.99/1.02 c intension x[41] != x[47] using generic constraint 0.99/1.02 c intension x[41] != x[48] using generic constraint 0.99/1.02 c intension x[42] != x[44] using generic constraint 0.99/1.02 c intension x[42] != x[45] using generic constraint 0.99/1.02 c intension x[42] != x[46] using generic constraint 0.99/1.02 c intension x[42] != x[47] using generic constraint 0.99/1.02 c intension x[42] != x[48] using generic constraint 0.99/1.02 c intension x[43] != x[45] using generic constraint 0.99/1.02 c intension x[43] != x[46] using generic constraint 0.99/1.02 c intension x[43] != x[47] using generic constraint 0.99/1.03 c intension x[43] != x[48] using generic constraint 0.99/1.03 c intension x[44] != x[46] using generic constraint 0.99/1.03 c intension x[44] != x[47] using generic constraint 0.99/1.03 c intension x[44] != x[48] using generic constraint 0.99/1.03 c intension x[45] != x[47] using generic constraint 0.99/1.03 c intension x[45] != x[48] using generic constraint 0.99/1.03 c intension x[46] != x[48] using generic constraint 1.10/1.11 c root propagations : 45 1.10/1.11 c restarts enabled, print stats at every restarts 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c This is cosoco 1.0 -- 1.10/1.11 c 1.10/1.11 c ========================================[ Problem Statistics ]=========================================== 1.10/1.11 c | 1.10/1.11 c | Parse time : 1.10 s 1.10/1.11 c | 1.10/1.11 c | Variables: 50 1.10/1.11 c | Domain Sizes: 10..49 1.10/1.11 c | 1.10/1.11 c | Constraints: 1191 1.10/1.11 c | Arity: 2..2 -- Binary: 1191 1.10/1.11 c | 1.10/1.11 c | Types: 1.10/1.11 c | (X != Y): 1128 1.10/1.11 c | Intension: 63 1.10/1.11 c | 1.10/1.11 c ========================================================================================================= 1.10/1.11 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.10/1.13 c 101 242 149200 14059 15 0 18 22 20 1.10/1.15 c 211 555 311155 27604 15 0 8 32 25 1.10/1.18 c 332 871 514707 46985 15 0 10 24 16 1.10/1.20 c 465 1198 683116 61349 15 0 16 27 20 1.20/1.22 c 611 1649 902043 78602 15 0 8 35 24 1.20/1.26 c 771 1998 1172631 111544 15 0 8 12 10 1.20/1.29 c 947 2470 1402755 129647 15 0 6 29 23 1.29/1.32 c 1140 2982 1668747 150441 15 0 15 25 19 1.29/1.37 c 1352 3599 2069827 184165 15 0 10 15 12 1.39/1.40 c 1585 4226 2439265 210981 15 0 9 32 21 1.39/1.44 c 1841 4931 2820147 242262 15 0 9 31 22 1.39/1.48 c 2122 5626 3193452 277837 15 0 10 30 21 1.49/1.52 c 2431 6455 3625629 310918 15 0 22 33 27 1.49/1.58 c 2770 7310 4116046 353419 15 0 14 29 22 1.59/1.62 c 3142 8357 4625729 391076 15 0 19 32 26 1.59/1.68 c 3551 9429 5163436 433698 15 0 17 34 26 1.69/1.73 c 4000 10668 5778927 479509 15 0 9 37 28 1.79/1.81 c 4493 11955 6526384 539570 15 0 15 29 23 1.79/1.87 c 5035 13423 7217194 589060 15 0 17 34 27 1.89/1.99 c 5631 15140 8190178 664437 15 0 11 21 16 1.99/2.06 c 6286 16741 9004500 723924 15 0 22 35 28 2.09/2.15 c 7006 18535 9991250 798091 15 0 18 32 25 2.20/2.25 c 7798 20701 11061843 875105 15 0 7 36 28 2.39/2.40 c 8669 23169 12493231 998562 15 0 9 34 18 2.49/2.52 c 9627 25389 13724604 1101636 15 0 11 34 23 2.69/2.74 c 10680 28456 15567489 1272483 15 0 6 23 13 2.89/2.97 c 11838 31394 17386947 1457022 15 0 7 22 13 3.09/3.12 c 13111 34381 19027731 1590669 15 0 13 30 23 3.30/3.34 c 14511 38159 21055674 1764326 15 0 7 27 19 3.59/3.64 c 16051 42331 23622729 1970724 15 0 8 17 14 3.79/3.84 c 17745 46192 25780804 2141394 15 0 11 28 23 3.99/4.07 c 19608 50907 28291770 2338912 15 0 11 33 23 4.29/4.32 c 21657 55693 30977600 2555112 15 0 15 30 22 4.50/4.58 c 23910 61403 33961184 2789999 15 0 15 32 24 5.09/5.15 c 26388 68971 38583325 3172708 15 0 7 17 13 5.39/5.47 c 29113 75636 42083208 3459233 15 0 13 33 24 5.69/5.79 c 32110 82902 45757399 3743952 15 0 11 35 25 6.29/6.33 c 35406 91916 50836267 4147291 15 0 13 24 19 6.69/6.74 c 39031 101038 55445909 4493087 15 0 15 33 26 7.19/7.21 c 43018 111866 60644692 4890197 15 0 13 34 26 7.69/7.73 c 47403 123488 66620908 5324972 15 0 15 35 25 8.19/8.24 c 52226 136178 72346356 5764801 15 0 20 36 27 8.99/9.09 c 57531 152146 80135686 6392178 15 0 11 23 18 10.00/10.05 c 63366 167645 89046942 7106721 15 0 8 21 15 10.59/10.64 c solution 1 10.59/10.64 10.59/10.64 v <instantiation type='solution'> 10.59/10.64 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.64 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.64 v </instantiation> 10.59/10.64 10.59/10.64 c restarts : 44 10.59/10.64 c conflicts : 67696 (6367 /sec) 10.59/10.64 c decisions : 180976 (17020 /sec) 10.59/10.64 c propagations : 7611874 (715867 /sec) 10.59/10.64 c root propagations : 45 10.59/10.64 c filter calls : 95645517 (8995091 /sec) 10.59/10.64 c useless filter calls : 90502076 (94 %) 10.59/10.64 c Memory used : 27.48 MB 10.59/10.64 c CPU time : 10.633 s 10.59/10.64 10.59/10.64 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-4241817-1500653883/watcher-4241817-1500653883 -o /tmp/evaluation-result-4241817-1500653883/solver-4241817-1500653883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241817-1500653883.xml pid=12327 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.00 2.01 1.99 2/242 12330 /proc/meminfo: memFree=32033540/32770624 swapFree=6092/188336 [pid=12330] ppid=12327 vsize=26992 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 658296 27639808 767 33554432000 4194304 5970956 140725573861024 140725573857672 5397730 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 6748 767 684 434 0 112 0 [startup+0.100138 s] /proc/loadavg: 2.00 2.01 1.99 2/242 12330 /proc/meminfo: memFree=32033540/32770624 swapFree=6092/188336 [pid=12330] ppid=12327 vsize=27128 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 1037 0 0 0 9 0 0 0 20 0 1 0 658296 27779072 833 33554432000 4194304 5970956 140725573861024 140725573844776 139910165882098 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 6782 833 715 434 0 146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27128 [startup+0.200246 s] /proc/loadavg: 2.00 2.01 1.99 2/242 12330 /proc/meminfo: memFree=32033540/32770624 swapFree=6092/188336 [pid=12330] ppid=12327 vsize=27252 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 1055 0 0 0 19 0 0 0 20 0 1 0 658296 27906048 883 33554432000 4194304 5970956 140725573861024 140725573844776 5094467 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 6813 883 747 434 0 177 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27252 [startup+0.300239 s] /proc/loadavg: 2.00 2.01 1.99 2/242 12330 /proc/meminfo: memFree=32033540/32770624 swapFree=6092/188336 [pid=12330] ppid=12327 vsize=27252 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 1071 0 0 0 29 0 0 0 20 0 1 0 658296 27906048 883 33554432000 4194304 5970956 140725573861024 140725573844776 139910156529184 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 6813 883 747 434 0 177 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27252 [startup+0.700205 s] /proc/loadavg: 2.00 2.01 1.99 2/242 12330 /proc/meminfo: memFree=32033540/32770624 swapFree=6092/188336 [pid=12330] ppid=12327 vsize=27616 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 1136 0 0 0 69 0 0 0 20 0 1 0 658296 28278784 974 33554432000 4194304 5970956 140725573861024 140725573844776 5094439 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 6904 974 747 434 0 268 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27616 [startup+1.50022 s] /proc/loadavg: 2.00 2.01 1.99 3/243 12331 /proc/meminfo: memFree=32031588/32770624 swapFree=6092/188268 [pid=12330] ppid=12327 vsize=28132 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 1375 0 0 0 149 0 0 0 20 0 1 0 658296 28807168 1178 33554432000 4194304 5970956 140725573861024 140725573858360 5070008 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1178 822 434 0 397 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28132 [startup+3.1002 s] /proc/loadavg: 2.00 2.01 1.99 3/243 12331 /proc/meminfo: memFree=32031216/32770624 swapFree=6092/188352 [pid=12330] ppid=12327 vsize=28132 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 1702 0 0 0 309 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5320472 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28132 [startup+6.30022 s] /proc/loadavg: 1.92 1.99 1.98 3/243 12331 /proc/meminfo: memFree=32031216/32770624 swapFree=6092/188352 [pid=12330] ppid=12327 vsize=28132 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 2028 0 0 0 629 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5337497 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28132 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12330 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40026 s] /proc/loadavg: 1.92 1.99 1.98 3/243 12331 /proc/meminfo: memFree=32031216/32770624 swapFree=6092/188352 [pid=12330] ppid=12327 vsize=28132 CPUtime=6.39 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 2028 0 0 0 639 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 28132 [startup+8.00021 s] /proc/loadavg: 1.92 1.99 1.98 3/243 12331 /proc/meminfo: memFree=32031092/32770624 swapFree=6092/188364 [pid=12330] ppid=12327 vsize=28132 CPUtime=7.99 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 2354 0 0 0 799 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5076424 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 7.99 Current children cumulated vsize (KiB) 28132 [startup+9.6002 s] /proc/loadavg: 1.93 1.99 1.98 3/243 12331 /proc/meminfo: memFree=32031084/32770624 swapFree=6092/188364 [pid=12330] ppid=12327 vsize=28132 CPUtime=9.59 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 2354 0 0 0 959 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5320184 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 9.59 Current children cumulated vsize (KiB) 28132 [startup+10.4002 s] /proc/loadavg: 1.93 1.99 1.98 3/243 12331 /proc/meminfo: memFree=32031084/32770624 swapFree=6092/188364 [pid=12330] ppid=12327 vsize=28132 CPUtime=10.39 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 2354 0 0 0 1039 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5069835 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 10.39 Current children cumulated vsize (KiB) 28132 [startup+10.6002 s] /proc/loadavg: 1.93 1.99 1.98 3/243 12331 /proc/meminfo: memFree=32031084/32770624 swapFree=6092/188364 [pid=12330] ppid=12327 vsize=28132 CPUtime=10.59 cores=1,3,5,7,9,11,13,15 /proc/12330/stat : 12330 (cosoco) R 12327 12330 9819 0 -1 4202496 2354 0 0 0 1059 0 0 0 20 0 1 0 658296 28807168 1216 33554432000 4194304 5970956 140725573861024 140725573858360 5069968 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 9822208 140725573866689 140725573866819 140725573866819 140725573869518 0 /proc/12330/statm: 7033 1216 828 434 0 397 0 Current children cumulated CPU time (s) 10.59 Current children cumulated vsize (KiB) 28132 Child status: 0 Real time (s): 10.6412 CPU time (s): 10.6374 CPU user time (s): 10.6334 CPU system time (s): 0.004001 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 28132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6334 system time used= 0.004001 maximum resident set size= 4940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2395 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= 12 involuntary context switches= 537 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.053756 second user time and 0.105883 second system time The end
Begin job on node103 at 2017-07-21 18:18:03 IDJOB=4241817 IDBENCH=130602 IDSOLVER=2620 FILE ID=node103/4241817-1500653883 RUNJOBID= node103-1500648178-9851 PBS_JOBID= 20623311 Free space on /tmp= 62012 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-07_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241817-1500653883/watcher-4241817-1500653883 -o /tmp/evaluation-result-4241817-1500653883/solver-4241817-1500653883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241817-1500653883.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= be036177e118ca84375e398cb8709600 RANDOM SEED=226632430 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32032924 kB MemAvailable: 32020888 kB Buffers: 32116 kB Cached: 265812 kB SwapCached: 0 kB Active: 169764 kB Inactive: 196884 kB Active(anon): 71512 kB Inactive(anon): 8548 kB Active(file): 98252 kB Inactive(file): 188336 kB Unevictable: 6092 kB Mlocked: 6096 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2512 kB Writeback: 0 kB AnonPages: 131940 kB Mapped: 31948 kB Shmem: 8852 kB Slab: 66388 kB SReclaimable: 34420 kB SUnreclaim: 31968 kB KernelStack: 4544 kB PageTables: 5636 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 342236 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62008 MiB End job on node103 at 2017-07-21 18:18:14