| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | SAT | 104.467 | 104.582 |
| 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.11 c intension x[0] != x[2] using generic constraint 0.00/0.11 c intension x[0] != x[3] using generic constraint 0.00/0.11 c intension x[0] != x[4] using generic constraint 0.00/0.12 c intension x[0] != x[5] using generic constraint 0.00/0.12 c intension x[0] != x[6] using generic constraint 0.00/0.12 c intension x[0] != x[7] using generic constraint 0.00/0.12 c intension x[0] != x[8] using generic constraint 0.00/0.12 c intension x[0] != x[9] using generic constraint 0.00/0.12 c intension x[0] != x[10] using generic constraint 0.00/0.12 c intension x[0] != x[11] using generic constraint 0.00/0.12 c intension x[0] != x[12] using generic constraint 0.00/0.12 c intension x[0] != x[13] using generic constraint 0.00/0.12 c intension x[0] != x[14] using generic constraint 0.00/0.12 c intension x[0] != x[15] using generic constraint 0.00/0.13 c intension x[0] != x[16] using generic constraint 0.00/0.13 c intension x[0] != x[17] using generic constraint 0.00/0.13 c intension x[0] != x[18] using generic constraint 0.00/0.13 c intension x[0] != x[19] using generic constraint 0.00/0.13 c intension x[0] != x[20] using generic constraint 0.00/0.13 c intension x[0] != x[21] using generic constraint 0.00/0.13 c intension x[0] != x[22] using generic constraint 0.00/0.13 c intension x[0] != x[23] using generic constraint 0.00/0.13 c intension x[0] != x[24] using generic constraint 0.00/0.13 c intension x[0] != x[25] using generic constraint 0.00/0.13 c intension x[0] != x[26] using generic constraint 0.00/0.13 c intension x[0] != x[27] using generic constraint 0.00/0.14 c intension x[0] != x[28] using generic constraint 0.00/0.14 c intension x[0] != x[29] using generic constraint 0.00/0.14 c intension x[0] != x[30] using generic constraint 0.00/0.14 c intension x[0] != x[31] using generic constraint 0.00/0.14 c intension x[0] != x[32] using generic constraint 0.00/0.14 c intension x[0] != x[33] using generic constraint 0.00/0.14 c intension x[0] != x[34] using generic constraint 0.00/0.14 c intension x[0] != x[35] using generic constraint 0.00/0.14 c intension x[0] != x[36] using generic constraint 0.00/0.14 c intension x[0] != x[37] using generic constraint 0.00/0.14 c intension x[0] != x[38] using generic constraint 0.00/0.15 c intension x[0] != x[39] using generic constraint 0.00/0.15 c intension x[0] != x[40] using generic constraint 0.00/0.15 c intension x[0] != x[41] using generic constraint 0.00/0.15 c intension x[0] != x[42] using generic constraint 0.00/0.15 c intension x[0] != x[43] using generic constraint 0.00/0.15 c intension x[0] != x[44] using generic constraint 0.00/0.15 c intension x[0] != x[45] using generic constraint 0.00/0.15 c intension x[0] != x[46] using generic constraint 0.00/0.15 c intension x[0] != x[47] using generic constraint 0.00/0.15 c intension x[0] != x[48] using generic constraint 0.00/0.15 c intension x[1] != x[3] using generic constraint 0.00/0.16 c intension x[1] != x[4] using generic constraint 0.00/0.16 c intension x[1] != x[5] using generic constraint 0.00/0.16 c intension x[1] != x[6] using generic constraint 0.00/0.16 c intension x[1] != x[7] using generic constraint 0.00/0.16 c intension x[1] != x[8] using generic constraint 0.00/0.16 c intension x[1] != x[9] using generic constraint 0.00/0.16 c intension x[1] != x[10] using generic constraint 0.00/0.16 c intension x[1] != x[11] using generic constraint 0.00/0.16 c intension x[1] != x[12] using generic constraint 0.00/0.16 c intension x[1] != x[13] using generic constraint 0.00/0.16 c intension x[1] != x[14] using generic constraint 0.00/0.16 c intension x[1] != x[15] using generic constraint 0.00/0.17 c intension x[1] != x[16] using generic constraint 0.00/0.17 c intension x[1] != x[17] using generic constraint 0.00/0.17 c intension x[1] != x[18] using generic constraint 0.00/0.17 c intension x[1] != x[19] using generic constraint 0.00/0.17 c intension x[1] != x[20] using generic constraint 0.00/0.17 c intension x[1] != x[21] using generic constraint 0.00/0.17 c intension x[1] != x[22] using generic constraint 0.00/0.17 c intension x[1] != x[23] using generic constraint 0.00/0.17 c intension x[1] != x[24] using generic constraint 0.00/0.17 c intension x[1] != x[25] using generic constraint 0.00/0.17 c intension x[1] != x[26] using generic constraint 0.00/0.18 c intension x[1] != x[27] using generic constraint 0.00/0.18 c intension x[1] != x[28] using generic constraint 0.00/0.18 c intension x[1] != x[29] using generic constraint 0.00/0.18 c intension x[1] != x[30] using generic constraint 0.00/0.18 c intension x[1] != x[31] using generic constraint 0.00/0.18 c intension x[1] != x[32] using generic constraint 0.00/0.18 c intension x[1] != x[33] using generic constraint 0.00/0.18 c intension x[1] != x[34] using generic constraint 0.00/0.18 c intension x[1] != x[35] using generic constraint 0.00/0.18 c intension x[1] != x[36] using generic constraint 0.00/0.18 c intension x[1] != x[37] using generic constraint 0.00/0.18 c intension x[1] != x[38] using generic constraint 0.00/0.19 c intension x[1] != x[39] using generic constraint 0.00/0.19 c intension x[1] != x[40] using generic constraint 0.00/0.19 c intension x[1] != x[41] using generic constraint 0.00/0.19 c intension x[1] != x[42] using generic constraint 0.00/0.19 c intension x[1] != x[43] using generic constraint 0.00/0.19 c intension x[1] != x[44] using generic constraint 0.00/0.19 c intension x[1] != x[45] using generic constraint 0.00/0.19 c intension x[1] != x[46] using generic constraint 0.00/0.19 c intension x[1] != x[47] using generic constraint 0.00/0.19 c intension x[1] != x[48] using generic constraint 0.00/0.19 c intension x[2] != x[4] using generic constraint 0.00/0.20 c intension x[2] != x[5] using generic constraint 0.00/0.20 c intension x[2] != x[6] using generic constraint 0.00/0.20 c intension x[2] != x[7] using generic constraint 0.00/0.20 c intension x[2] != x[8] using generic constraint 0.00/0.20 c intension x[2] != x[9] using generic constraint 0.00/0.20 c intension x[2] != x[10] using generic constraint 0.00/0.20 c intension x[2] != x[11] using generic constraint 0.00/0.20 c intension x[2] != x[12] using generic constraint 0.00/0.20 c intension x[2] != x[13] using generic constraint 0.00/0.20 c intension x[2] != x[14] using generic constraint 0.00/0.20 c intension x[2] != x[15] using generic constraint 0.00/0.21 c intension x[2] != x[16] using generic constraint 0.00/0.21 c intension x[2] != x[17] using generic constraint 0.00/0.21 c intension x[2] != x[18] using generic constraint 0.00/0.21 c intension x[2] != x[19] using generic constraint 0.00/0.21 c intension x[2] != x[20] using generic constraint 0.00/0.21 c intension x[2] != x[21] using generic constraint 0.00/0.21 c intension x[2] != x[22] using generic constraint 0.00/0.21 c intension x[2] != x[23] using generic constraint 0.00/0.21 c intension x[2] != x[24] using generic constraint 0.11/0.21 c intension x[2] != x[25] using generic constraint 0.11/0.21 c intension x[2] != x[26] using generic constraint 0.11/0.22 c intension x[2] != x[27] using generic constraint 0.11/0.22 c intension x[2] != x[28] using generic constraint 0.11/0.22 c intension x[2] != x[29] using generic constraint 0.11/0.22 c intension x[2] != x[30] using generic constraint 0.11/0.22 c intension x[2] != x[31] using generic constraint 0.11/0.22 c intension x[2] != x[32] using generic constraint 0.11/0.22 c intension x[2] != x[33] using generic constraint 0.11/0.22 c intension x[2] != x[34] using generic constraint 0.11/0.22 c intension x[2] != x[35] using generic constraint 0.11/0.22 c intension x[2] != x[36] using generic constraint 0.11/0.22 c intension x[2] != x[37] using generic constraint 0.11/0.23 c intension x[2] != x[38] using generic constraint 0.11/0.23 c intension x[2] != x[39] using generic constraint 0.11/0.23 c intension x[2] != x[40] using generic constraint 0.11/0.23 c intension x[2] != x[41] using generic constraint 0.11/0.23 c intension x[2] != x[42] using generic constraint 0.11/0.23 c intension x[2] != x[43] using generic constraint 0.11/0.23 c intension x[2] != x[44] using generic constraint 0.11/0.23 c intension x[2] != x[45] using generic constraint 0.11/0.23 c intension x[2] != x[46] using generic constraint 0.11/0.23 c intension x[2] != x[47] using generic constraint 0.11/0.23 c intension x[2] != x[48] using generic constraint 0.11/0.23 c intension x[3] != x[5] using generic constraint 0.11/0.24 c intension x[3] != x[6] using generic constraint 0.11/0.24 c intension x[3] != x[7] using generic constraint 0.11/0.24 c intension x[3] != x[8] using generic constraint 0.11/0.24 c intension x[3] != x[9] using generic constraint 0.11/0.24 c intension x[3] != x[10] using generic constraint 0.11/0.24 c intension x[3] != x[11] using generic constraint 0.11/0.24 c intension x[3] != x[12] using generic constraint 0.11/0.24 c intension x[3] != x[13] using generic constraint 0.11/0.24 c intension x[3] != x[14] using generic constraint 0.11/0.24 c intension x[3] != x[15] using generic constraint 0.11/0.24 c intension x[3] != x[16] using generic constraint 0.11/0.25 c intension x[3] != x[17] using generic constraint 0.11/0.25 c intension x[3] != x[18] using generic constraint 0.11/0.25 c intension x[3] != x[19] using generic constraint 0.11/0.25 c intension x[3] != x[20] using generic constraint 0.11/0.25 c intension x[3] != x[21] using generic constraint 0.11/0.25 c intension x[3] != x[22] using generic constraint 0.11/0.25 c intension x[3] != x[23] using generic constraint 0.11/0.25 c intension x[3] != x[24] using generic constraint 0.11/0.25 c intension x[3] != x[25] using generic constraint 0.11/0.25 c intension x[3] != x[26] using generic constraint 0.11/0.25 c intension x[3] != x[27] using generic constraint 0.11/0.26 c intension x[3] != x[28] using generic constraint 0.11/0.26 c intension x[3] != x[29] using generic constraint 0.11/0.26 c intension x[3] != x[30] using generic constraint 0.11/0.26 c intension x[3] != x[31] using generic constraint 0.11/0.26 c intension x[3] != x[32] using generic constraint 0.11/0.26 c intension x[3] != x[33] using generic constraint 0.11/0.26 c intension x[3] != x[34] using generic constraint 0.11/0.26 c intension x[3] != x[35] using generic constraint 0.11/0.26 c intension x[3] != x[36] using generic constraint 0.11/0.26 c intension x[3] != x[37] using generic constraint 0.11/0.26 c intension x[3] != x[38] using generic constraint 0.11/0.26 c intension x[3] != x[39] using generic constraint 0.11/0.27 c intension x[3] != x[40] using generic constraint 0.11/0.27 c intension x[3] != x[41] using generic constraint 0.11/0.27 c intension x[3] != x[42] using generic constraint 0.11/0.27 c intension x[3] != x[43] using generic constraint 0.11/0.27 c intension x[3] != x[44] using generic constraint 0.11/0.27 c intension x[3] != x[45] using generic constraint 0.11/0.27 c intension x[3] != x[46] using generic constraint 0.11/0.27 c intension x[3] != x[47] using generic constraint 0.11/0.27 c intension x[3] != x[48] using generic constraint 0.11/0.27 c intension x[4] != x[6] using generic constraint 0.11/0.27 c intension x[4] != x[7] using generic constraint 0.11/0.28 c intension x[4] != x[8] using generic constraint 0.11/0.28 c intension x[4] != x[9] using generic constraint 0.11/0.28 c intension x[4] != x[10] using generic constraint 0.11/0.28 c intension x[4] != x[11] using generic constraint 0.11/0.28 c intension x[4] != x[12] using generic constraint 0.11/0.28 c intension x[4] != x[13] using generic constraint 0.11/0.28 c intension x[4] != x[14] using generic constraint 0.11/0.28 c intension x[4] != x[15] using generic constraint 0.11/0.28 c intension x[4] != x[16] using generic constraint 0.11/0.28 c intension x[4] != x[17] using generic constraint 0.11/0.28 c intension x[4] != x[18] using generic constraint 0.11/0.28 c intension x[4] != x[19] using generic constraint 0.11/0.29 c intension x[4] != x[20] using generic constraint 0.11/0.29 c intension x[4] != x[21] using generic constraint 0.11/0.29 c intension x[4] != x[22] using generic constraint 0.11/0.29 c intension x[4] != x[23] using generic constraint 0.11/0.29 c intension x[4] != x[24] using generic constraint 0.11/0.29 c intension x[4] != x[25] using generic constraint 0.11/0.29 c intension x[4] != x[26] using generic constraint 0.11/0.29 c intension x[4] != x[27] using generic constraint 0.11/0.29 c intension x[4] != x[28] using generic constraint 0.11/0.29 c intension x[4] != x[29] using generic constraint 0.11/0.29 c intension x[4] != x[30] using generic constraint 0.11/0.30 c intension x[4] != x[31] using generic constraint 0.11/0.30 c intension x[4] != x[32] using generic constraint 0.11/0.30 c intension x[4] != x[33] using generic constraint 0.11/0.30 c intension x[4] != x[34] using generic constraint 0.11/0.30 c intension x[4] != x[35] using generic constraint 0.11/0.30 c intension x[4] != x[36] using generic constraint 0.11/0.30 c intension x[4] != x[37] using generic constraint 0.11/0.30 c intension x[4] != x[38] using generic constraint 0.11/0.30 c intension x[4] != x[39] using generic constraint 0.11/0.30 c intension x[4] != x[40] using generic constraint 0.11/0.30 c intension x[4] != x[41] using generic constraint 0.11/0.31 c intension x[4] != x[42] using generic constraint 0.11/0.31 c intension x[4] != x[43] using generic constraint 0.11/0.31 c intension x[4] != x[44] using generic constraint 0.11/0.31 c intension x[4] != x[45] using generic constraint 0.11/0.31 c intension x[4] != x[46] using generic constraint 0.11/0.31 c intension x[4] != x[47] using generic constraint 0.11/0.31 c intension x[4] != x[48] using generic constraint 0.11/0.31 c intension x[5] != x[7] using generic constraint 0.21/0.31 c intension x[5] != x[8] using generic constraint 0.21/0.31 c intension x[5] != x[9] using generic constraint 0.21/0.31 c intension x[5] != x[10] using generic constraint 0.21/0.32 c intension x[5] != x[11] using generic constraint 0.21/0.32 c intension x[5] != x[12] using generic constraint 0.21/0.32 c intension x[5] != x[13] using generic constraint 0.21/0.32 c intension x[5] != x[14] using generic constraint 0.21/0.32 c intension x[5] != x[15] using generic constraint 0.21/0.32 c intension x[5] != x[16] using generic constraint 0.21/0.32 c intension x[5] != x[17] using generic constraint 0.21/0.32 c intension x[5] != x[18] using generic constraint 0.21/0.32 c intension x[5] != x[19] using generic constraint 0.21/0.32 c intension x[5] != x[20] using generic constraint 0.21/0.32 c intension x[5] != x[21] using generic constraint 0.21/0.33 c intension x[5] != x[22] using generic constraint 0.21/0.33 c intension x[5] != x[23] using generic constraint 0.21/0.33 c intension x[5] != x[24] using generic constraint 0.21/0.33 c intension x[5] != x[25] using generic constraint 0.21/0.33 c intension x[5] != x[26] using generic constraint 0.21/0.33 c intension x[5] != x[27] using generic constraint 0.21/0.33 c intension x[5] != x[28] using generic constraint 0.21/0.33 c intension x[5] != x[29] using generic constraint 0.21/0.33 c intension x[5] != x[30] using generic constraint 0.21/0.33 c intension x[5] != x[31] using generic constraint 0.21/0.33 c intension x[5] != x[32] using generic constraint 0.21/0.34 c intension x[5] != x[33] using generic constraint 0.21/0.34 c intension x[5] != x[34] using generic constraint 0.21/0.34 c intension x[5] != x[35] using generic constraint 0.21/0.34 c intension x[5] != x[36] using generic constraint 0.21/0.34 c intension x[5] != x[37] using generic constraint 0.21/0.34 c intension x[5] != x[38] using generic constraint 0.21/0.34 c intension x[5] != x[39] using generic constraint 0.21/0.34 c intension x[5] != x[40] using generic constraint 0.21/0.34 c intension x[5] != x[41] using generic constraint 0.21/0.34 c intension x[5] != x[42] using generic constraint 0.21/0.34 c intension x[5] != x[43] using generic constraint 0.21/0.34 c intension x[5] != x[44] using generic constraint 0.21/0.35 c intension x[5] != x[45] using generic constraint 0.21/0.35 c intension x[5] != x[46] using generic constraint 0.21/0.35 c intension x[5] != x[47] using generic constraint 0.21/0.35 c intension x[5] != x[48] using generic constraint 0.21/0.35 c intension x[6] != x[8] using generic constraint 0.21/0.35 c intension x[6] != x[9] using generic constraint 0.21/0.35 c intension x[6] != x[10] using generic constraint 0.21/0.35 c intension x[6] != x[11] using generic constraint 0.21/0.35 c intension x[6] != x[12] using generic constraint 0.21/0.35 c intension x[6] != x[13] using generic constraint 0.21/0.35 c intension x[6] != x[14] using generic constraint 0.21/0.36 c intension x[6] != x[15] using generic constraint 0.21/0.36 c intension x[6] != x[16] using generic constraint 0.21/0.36 c intension x[6] != x[17] using generic constraint 0.21/0.36 c intension x[6] != x[18] using generic constraint 0.21/0.36 c intension x[6] != x[19] using generic constraint 0.21/0.36 c intension x[6] != x[20] using generic constraint 0.21/0.36 c intension x[6] != x[21] using generic constraint 0.21/0.36 c intension x[6] != x[22] using generic constraint 0.21/0.36 c intension x[6] != x[23] using generic constraint 0.21/0.36 c intension x[6] != x[24] using generic constraint 0.21/0.36 c intension x[6] != x[25] using generic constraint 0.21/0.37 c intension x[6] != x[26] using generic constraint 0.21/0.37 c intension x[6] != x[27] using generic constraint 0.21/0.37 c intension x[6] != x[28] using generic constraint 0.21/0.37 c intension x[6] != x[29] using generic constraint 0.21/0.37 c intension x[6] != x[30] using generic constraint 0.21/0.37 c intension x[6] != x[31] using generic constraint 0.21/0.37 c intension x[6] != x[32] using generic constraint 0.21/0.37 c intension x[6] != x[33] using generic constraint 0.21/0.37 c intension x[6] != x[34] using generic constraint 0.21/0.37 c intension x[6] != x[35] using generic constraint 0.21/0.37 c intension x[6] != x[36] using generic constraint 0.21/0.37 c intension x[6] != x[37] using generic constraint 0.21/0.38 c intension x[6] != x[38] using generic constraint 0.21/0.38 c intension x[6] != x[39] using generic constraint 0.21/0.38 c intension x[6] != x[40] using generic constraint 0.21/0.38 c intension x[6] != x[41] using generic constraint 0.21/0.38 c intension x[6] != x[42] using generic constraint 0.21/0.38 c intension x[6] != x[43] using generic constraint 0.21/0.38 c intension x[6] != x[44] using generic constraint 0.21/0.38 c intension x[6] != x[45] using generic constraint 0.21/0.38 c intension x[6] != x[46] using generic constraint 0.21/0.38 c intension x[6] != x[47] using generic constraint 0.21/0.38 c intension x[6] != x[48] using generic constraint 0.21/0.39 c intension x[7] != x[9] using generic constraint 0.21/0.39 c intension x[7] != x[10] using generic constraint 0.21/0.39 c intension x[7] != x[11] using generic constraint 0.21/0.39 c intension x[7] != x[12] using generic constraint 0.21/0.39 c intension x[7] != x[13] using generic constraint 0.21/0.39 c intension x[7] != x[14] using generic constraint 0.21/0.39 c intension x[7] != x[15] using generic constraint 0.21/0.39 c intension x[7] != x[16] using generic constraint 0.21/0.39 c intension x[7] != x[17] using generic constraint 0.21/0.39 c intension x[7] != x[18] using generic constraint 0.21/0.39 c intension x[7] != x[19] using generic constraint 0.21/0.40 c intension x[7] != x[20] using generic constraint 0.21/0.40 c intension x[7] != x[21] using generic constraint 0.21/0.40 c intension x[7] != x[22] using generic constraint 0.21/0.40 c intension x[7] != x[23] using generic constraint 0.21/0.40 c intension x[7] != x[24] using generic constraint 0.21/0.40 c intension x[7] != x[25] using generic constraint 0.21/0.40 c intension x[7] != x[26] using generic constraint 0.21/0.40 c intension x[7] != x[27] using generic constraint 0.21/0.40 c intension x[7] != x[28] using generic constraint 0.21/0.40 c intension x[7] != x[29] using generic constraint 0.21/0.40 c intension x[7] != x[30] using generic constraint 0.21/0.40 c intension x[7] != x[31] using generic constraint 0.21/0.41 c intension x[7] != x[32] using generic constraint 0.21/0.41 c intension x[7] != x[33] using generic constraint 0.21/0.41 c intension x[7] != x[34] using generic constraint 0.21/0.41 c intension x[7] != x[35] using generic constraint 0.21/0.41 c intension x[7] != x[36] using generic constraint 0.21/0.41 c intension x[7] != x[37] using generic constraint 0.21/0.41 c intension x[7] != x[38] using generic constraint 0.21/0.41 c intension x[7] != x[39] using generic constraint 0.31/0.41 c intension x[7] != x[40] using generic constraint 0.31/0.41 c intension x[7] != x[41] using generic constraint 0.31/0.42 c intension x[7] != x[42] using generic constraint 0.31/0.42 c intension x[7] != x[43] using generic constraint 0.31/0.42 c intension x[7] != x[44] using generic constraint 0.31/0.42 c intension x[7] != x[45] using generic constraint 0.31/0.42 c intension x[7] != x[46] using generic constraint 0.31/0.42 c intension x[7] != x[47] using generic constraint 0.31/0.42 c intension x[7] != x[48] using generic constraint 0.31/0.42 c intension x[8] != x[10] using generic constraint 0.31/0.42 c intension x[8] != x[11] using generic constraint 0.31/0.42 c intension x[8] != x[12] using generic constraint 0.31/0.42 c intension x[8] != x[13] using generic constraint 0.31/0.43 c intension x[8] != x[14] using generic constraint 0.31/0.43 c intension x[8] != x[15] using generic constraint 0.31/0.43 c intension x[8] != x[16] using generic constraint 0.31/0.43 c intension x[8] != x[17] using generic constraint 0.31/0.43 c intension x[8] != x[18] using generic constraint 0.31/0.43 c intension x[8] != x[19] using generic constraint 0.31/0.43 c intension x[8] != x[20] using generic constraint 0.31/0.43 c intension x[8] != x[21] using generic constraint 0.31/0.43 c intension x[8] != x[22] using generic constraint 0.31/0.43 c intension x[8] != x[23] using generic constraint 0.31/0.43 c intension x[8] != x[24] using generic constraint 0.31/0.44 c intension x[8] != x[25] using generic constraint 0.31/0.44 c intension x[8] != x[26] using generic constraint 0.31/0.44 c intension x[8] != x[27] using generic constraint 0.31/0.44 c intension x[8] != x[28] using generic constraint 0.31/0.44 c intension x[8] != x[29] using generic constraint 0.31/0.44 c intension x[8] != x[30] using generic constraint 0.31/0.44 c intension x[8] != x[31] using generic constraint 0.31/0.44 c intension x[8] != x[32] using generic constraint 0.31/0.44 c intension x[8] != x[33] using generic constraint 0.31/0.44 c intension x[8] != x[34] using generic constraint 0.31/0.44 c intension x[8] != x[35] using generic constraint 0.31/0.45 c intension x[8] != x[36] using generic constraint 0.31/0.45 c intension x[8] != x[37] using generic constraint 0.31/0.45 c intension x[8] != x[38] using generic constraint 0.31/0.45 c intension x[8] != x[39] using generic constraint 0.31/0.45 c intension x[8] != x[40] using generic constraint 0.31/0.45 c intension x[8] != x[41] using generic constraint 0.31/0.45 c intension x[8] != x[42] using generic constraint 0.31/0.45 c intension x[8] != x[43] using generic constraint 0.31/0.45 c intension x[8] != x[44] using generic constraint 0.31/0.45 c intension x[8] != x[45] using generic constraint 0.31/0.45 c intension x[8] != x[46] using generic constraint 0.31/0.45 c intension x[8] != x[47] using generic constraint 0.31/0.46 c intension x[8] != x[48] using generic constraint 0.31/0.46 c intension x[9] != x[11] using generic constraint 0.31/0.46 c intension x[9] != x[12] using generic constraint 0.31/0.46 c intension x[9] != x[13] using generic constraint 0.31/0.46 c intension x[9] != x[14] using generic constraint 0.31/0.46 c intension x[9] != x[15] using generic constraint 0.31/0.46 c intension x[9] != x[16] using generic constraint 0.31/0.46 c intension x[9] != x[17] using generic constraint 0.31/0.46 c intension x[9] != x[18] using generic constraint 0.31/0.46 c intension x[9] != x[19] using generic constraint 0.31/0.46 c intension x[9] != x[20] using generic constraint 0.31/0.47 c intension x[9] != x[21] using generic constraint 0.31/0.47 c intension x[9] != x[22] using generic constraint 0.31/0.47 c intension x[9] != x[23] using generic constraint 0.31/0.47 c intension x[9] != x[24] using generic constraint 0.31/0.47 c intension x[9] != x[25] using generic constraint 0.31/0.47 c intension x[9] != x[26] using generic constraint 0.31/0.47 c intension x[9] != x[27] using generic constraint 0.31/0.47 c intension x[9] != x[28] using generic constraint 0.31/0.47 c intension x[9] != x[29] using generic constraint 0.31/0.47 c intension x[9] != x[30] using generic constraint 0.31/0.47 c intension x[9] != x[31] using generic constraint 0.31/0.48 c intension x[9] != x[32] using generic constraint 0.31/0.48 c intension x[9] != x[33] using generic constraint 0.31/0.48 c intension x[9] != x[34] using generic constraint 0.31/0.48 c intension x[9] != x[35] using generic constraint 0.31/0.48 c intension x[9] != x[36] using generic constraint 0.31/0.48 c intension x[9] != x[37] using generic constraint 0.31/0.48 c intension x[9] != x[38] using generic constraint 0.31/0.48 c intension x[9] != x[39] using generic constraint 0.31/0.48 c intension x[9] != x[40] using generic constraint 0.31/0.48 c intension x[9] != x[41] using generic constraint 0.31/0.48 c intension x[9] != x[42] using generic constraint 0.31/0.49 c intension x[9] != x[43] using generic constraint 0.31/0.49 c intension x[9] != x[44] using generic constraint 0.31/0.49 c intension x[9] != x[45] using generic constraint 0.31/0.49 c intension x[9] != x[46] using generic constraint 0.31/0.49 c intension x[9] != x[47] using generic constraint 0.31/0.49 c intension x[9] != x[48] using generic constraint 0.31/0.49 c intension x[10] != x[12] using generic constraint 0.31/0.49 c intension x[10] != x[13] using generic constraint 0.31/0.49 c intension x[10] != x[14] using generic constraint 0.31/0.49 c intension x[10] != x[15] using generic constraint 0.31/0.49 c intension x[10] != x[16] using generic constraint 0.31/0.49 c intension x[10] != x[17] using generic constraint 0.31/0.50 c intension x[10] != x[18] using generic constraint 0.31/0.50 c intension x[10] != x[19] using generic constraint 0.31/0.50 c intension x[10] != x[20] using generic constraint 0.31/0.50 c intension x[10] != x[21] using generic constraint 0.31/0.50 c intension x[10] != x[22] using generic constraint 0.31/0.50 c intension x[10] != x[23] using generic constraint 0.31/0.50 c intension x[10] != x[24] using generic constraint 0.31/0.50 c intension x[10] != x[25] using generic constraint 0.31/0.50 c intension x[10] != x[26] using generic constraint 0.31/0.50 c intension x[10] != x[27] using generic constraint 0.31/0.50 c intension x[10] != x[28] using generic constraint 0.31/0.51 c intension x[10] != x[29] using generic constraint 0.31/0.51 c intension x[10] != x[30] using generic constraint 0.31/0.51 c intension x[10] != x[31] using generic constraint 0.31/0.51 c intension x[10] != x[32] using generic constraint 0.31/0.51 c intension x[10] != x[33] using generic constraint 0.31/0.51 c intension x[10] != x[34] using generic constraint 0.31/0.51 c intension x[10] != x[35] using generic constraint 0.31/0.51 c intension x[10] != x[36] using generic constraint 0.41/0.51 c intension x[10] != x[37] using generic constraint 0.41/0.51 c intension x[10] != x[38] using generic constraint 0.41/0.51 c intension x[10] != x[39] using generic constraint 0.41/0.52 c intension x[10] != x[40] using generic constraint 0.41/0.52 c intension x[10] != x[41] using generic constraint 0.41/0.52 c intension x[10] != x[42] using generic constraint 0.41/0.52 c intension x[10] != x[43] using generic constraint 0.41/0.52 c intension x[10] != x[44] using generic constraint 0.41/0.52 c intension x[10] != x[45] using generic constraint 0.41/0.52 c intension x[10] != x[46] using generic constraint 0.41/0.52 c intension x[10] != x[47] using generic constraint 0.41/0.52 c intension x[10] != x[48] using generic constraint 0.41/0.52 c intension x[11] != x[13] using generic constraint 0.41/0.53 c intension x[11] != x[14] using generic constraint 0.41/0.53 c intension x[11] != x[15] using generic constraint 0.41/0.53 c intension x[11] != x[16] using generic constraint 0.41/0.53 c intension x[11] != x[17] using generic constraint 0.41/0.53 c intension x[11] != x[18] using generic constraint 0.41/0.53 c intension x[11] != x[19] using generic constraint 0.41/0.53 c intension x[11] != x[20] using generic constraint 0.41/0.53 c intension x[11] != x[21] using generic constraint 0.41/0.53 c intension x[11] != x[22] using generic constraint 0.41/0.53 c intension x[11] != x[23] using generic constraint 0.41/0.53 c intension x[11] != x[24] using generic constraint 0.41/0.53 c intension x[11] != x[25] using generic constraint 0.41/0.54 c intension x[11] != x[26] using generic constraint 0.41/0.54 c intension x[11] != x[27] using generic constraint 0.41/0.54 c intension x[11] != x[28] using generic constraint 0.41/0.54 c intension x[11] != x[29] using generic constraint 0.41/0.54 c intension x[11] != x[30] using generic constraint 0.41/0.54 c intension x[11] != x[31] using generic constraint 0.41/0.54 c intension x[11] != x[32] using generic constraint 0.41/0.54 c intension x[11] != x[33] using generic constraint 0.41/0.54 c intension x[11] != x[34] using generic constraint 0.41/0.54 c intension x[11] != x[35] using generic constraint 0.41/0.54 c intension x[11] != x[36] using generic constraint 0.41/0.55 c intension x[11] != x[37] using generic constraint 0.41/0.55 c intension x[11] != x[38] using generic constraint 0.41/0.55 c intension x[11] != x[39] using generic constraint 0.41/0.55 c intension x[11] != x[40] using generic constraint 0.41/0.55 c intension x[11] != x[41] using generic constraint 0.41/0.55 c intension x[11] != x[42] using generic constraint 0.41/0.55 c intension x[11] != x[43] using generic constraint 0.41/0.55 c intension x[11] != x[44] using generic constraint 0.41/0.55 c intension x[11] != x[45] using generic constraint 0.41/0.55 c intension x[11] != x[46] using generic constraint 0.41/0.55 c intension x[11] != x[47] using generic constraint 0.41/0.56 c intension x[11] != x[48] using generic constraint 0.41/0.56 c intension x[12] != x[14] using generic constraint 0.41/0.56 c intension x[12] != x[15] using generic constraint 0.41/0.56 c intension x[12] != x[16] using generic constraint 0.41/0.56 c intension x[12] != x[17] using generic constraint 0.41/0.56 c intension x[12] != x[18] using generic constraint 0.41/0.56 c intension x[12] != x[19] using generic constraint 0.41/0.56 c intension x[12] != x[20] using generic constraint 0.41/0.56 c intension x[12] != x[21] using generic constraint 0.41/0.56 c intension x[12] != x[22] using generic constraint 0.41/0.56 c intension x[12] != x[23] using generic constraint 0.41/0.57 c intension x[12] != x[24] using generic constraint 0.41/0.57 c intension x[12] != x[25] using generic constraint 0.41/0.57 c intension x[12] != x[26] using generic constraint 0.41/0.57 c intension x[12] != x[27] using generic constraint 0.41/0.57 c intension x[12] != x[28] using generic constraint 0.41/0.57 c intension x[12] != x[29] using generic constraint 0.41/0.57 c intension x[12] != x[30] using generic constraint 0.41/0.57 c intension x[12] != x[31] using generic constraint 0.41/0.57 c intension x[12] != x[32] using generic constraint 0.41/0.57 c intension x[12] != x[33] using generic constraint 0.41/0.57 c intension x[12] != x[34] using generic constraint 0.41/0.57 c intension x[12] != x[35] using generic constraint 0.41/0.58 c intension x[12] != x[36] using generic constraint 0.41/0.58 c intension x[12] != x[37] using generic constraint 0.41/0.58 c intension x[12] != x[38] using generic constraint 0.41/0.58 c intension x[12] != x[39] using generic constraint 0.41/0.58 c intension x[12] != x[40] using generic constraint 0.41/0.58 c intension x[12] != x[41] using generic constraint 0.41/0.58 c intension x[12] != x[42] using generic constraint 0.41/0.58 c intension x[12] != x[43] using generic constraint 0.41/0.58 c intension x[12] != x[44] using generic constraint 0.41/0.58 c intension x[12] != x[45] using generic constraint 0.41/0.58 c intension x[12] != x[46] using generic constraint 0.41/0.59 c intension x[12] != x[47] using generic constraint 0.41/0.59 c intension x[12] != x[48] using generic constraint 0.41/0.59 c intension x[13] != x[15] using generic constraint 0.41/0.59 c intension x[13] != x[16] using generic constraint 0.41/0.59 c intension x[13] != x[17] using generic constraint 0.41/0.59 c intension x[13] != x[18] using generic constraint 0.41/0.59 c intension x[13] != x[19] using generic constraint 0.41/0.59 c intension x[13] != x[20] using generic constraint 0.41/0.59 c intension x[13] != x[21] using generic constraint 0.41/0.59 c intension x[13] != x[22] using generic constraint 0.41/0.59 c intension x[13] != x[23] using generic constraint 0.41/0.60 c intension x[13] != x[24] using generic constraint 0.41/0.60 c intension x[13] != x[25] using generic constraint 0.41/0.60 c intension x[13] != x[26] using generic constraint 0.41/0.60 c intension x[13] != x[27] using generic constraint 0.41/0.60 c intension x[13] != x[28] using generic constraint 0.41/0.60 c intension x[13] != x[29] using generic constraint 0.41/0.60 c intension x[13] != x[30] using generic constraint 0.41/0.60 c intension x[13] != x[31] using generic constraint 0.41/0.60 c intension x[13] != x[32] using generic constraint 0.41/0.60 c intension x[13] != x[33] using generic constraint 0.50/0.60 c intension x[13] != x[34] using generic constraint 0.50/0.61 c intension x[13] != x[35] using generic constraint 0.50/0.61 c intension x[13] != x[36] using generic constraint 0.50/0.61 c intension x[13] != x[37] using generic constraint 0.50/0.61 c intension x[13] != x[38] using generic constraint 0.50/0.61 c intension x[13] != x[39] using generic constraint 0.50/0.61 c intension x[13] != x[40] using generic constraint 0.50/0.61 c intension x[13] != x[41] using generic constraint 0.50/0.61 c intension x[13] != x[42] using generic constraint 0.50/0.61 c intension x[13] != x[43] using generic constraint 0.50/0.61 c intension x[13] != x[44] using generic constraint 0.50/0.61 c intension x[13] != x[45] using generic constraint 0.50/0.62 c intension x[13] != x[46] using generic constraint 0.50/0.62 c intension x[13] != x[47] using generic constraint 0.50/0.62 c intension x[13] != x[48] using generic constraint 0.50/0.62 c intension x[14] != x[16] using generic constraint 0.50/0.62 c intension x[14] != x[17] using generic constraint 0.50/0.62 c intension x[14] != x[18] using generic constraint 0.50/0.62 c intension x[14] != x[19] using generic constraint 0.50/0.62 c intension x[14] != x[20] using generic constraint 0.50/0.62 c intension x[14] != x[21] using generic constraint 0.50/0.62 c intension x[14] != x[22] using generic constraint 0.50/0.62 c intension x[14] != x[23] using generic constraint 0.50/0.63 c intension x[14] != x[24] using generic constraint 0.50/0.63 c intension x[14] != x[25] using generic constraint 0.50/0.63 c intension x[14] != x[26] using generic constraint 0.50/0.63 c intension x[14] != x[27] using generic constraint 0.50/0.63 c intension x[14] != x[28] using generic constraint 0.50/0.63 c intension x[14] != x[29] using generic constraint 0.50/0.63 c intension x[14] != x[30] using generic constraint 0.50/0.63 c intension x[14] != x[31] using generic constraint 0.50/0.63 c intension x[14] != x[32] using generic constraint 0.50/0.63 c intension x[14] != x[33] using generic constraint 0.50/0.63 c intension x[14] != x[34] using generic constraint 0.50/0.64 c intension x[14] != x[35] using generic constraint 0.50/0.64 c intension x[14] != x[36] using generic constraint 0.50/0.64 c intension x[14] != x[37] using generic constraint 0.50/0.64 c intension x[14] != x[38] using generic constraint 0.50/0.64 c intension x[14] != x[39] using generic constraint 0.50/0.64 c intension x[14] != x[40] using generic constraint 0.50/0.64 c intension x[14] != x[41] using generic constraint 0.50/0.64 c intension x[14] != x[42] using generic constraint 0.50/0.64 c intension x[14] != x[43] using generic constraint 0.50/0.64 c intension x[14] != x[44] using generic constraint 0.50/0.64 c intension x[14] != x[45] using generic constraint 0.50/0.65 c intension x[14] != x[46] using generic constraint 0.50/0.65 c intension x[14] != x[47] using generic constraint 0.50/0.65 c intension x[14] != x[48] using generic constraint 0.50/0.65 c intension x[15] != x[17] using generic constraint 0.50/0.65 c intension x[15] != x[18] using generic constraint 0.50/0.65 c intension x[15] != x[19] using generic constraint 0.50/0.65 c intension x[15] != x[20] using generic constraint 0.50/0.65 c intension x[15] != x[21] using generic constraint 0.50/0.65 c intension x[15] != x[22] using generic constraint 0.50/0.65 c intension x[15] != x[23] using generic constraint 0.50/0.65 c intension x[15] != x[24] using generic constraint 0.50/0.66 c intension x[15] != x[25] using generic constraint 0.50/0.66 c intension x[15] != x[26] using generic constraint 0.50/0.66 c intension x[15] != x[27] using generic constraint 0.50/0.66 c intension x[15] != x[28] using generic constraint 0.50/0.66 c intension x[15] != x[29] using generic constraint 0.50/0.66 c intension x[15] != x[30] using generic constraint 0.50/0.66 c intension x[15] != x[31] using generic constraint 0.50/0.66 c intension x[15] != x[32] using generic constraint 0.50/0.66 c intension x[15] != x[33] using generic constraint 0.50/0.66 c intension x[15] != x[34] using generic constraint 0.50/0.66 c intension x[15] != x[35] using generic constraint 0.50/0.66 c intension x[15] != x[36] using generic constraint 0.50/0.67 c intension x[15] != x[37] using generic constraint 0.50/0.67 c intension x[15] != x[38] using generic constraint 0.50/0.67 c intension x[15] != x[39] using generic constraint 0.50/0.67 c intension x[15] != x[40] using generic constraint 0.50/0.67 c intension x[15] != x[41] using generic constraint 0.50/0.67 c intension x[15] != x[42] using generic constraint 0.50/0.67 c intension x[15] != x[43] using generic constraint 0.50/0.67 c intension x[15] != x[44] using generic constraint 0.50/0.67 c intension x[15] != x[45] using generic constraint 0.50/0.67 c intension x[15] != x[46] using generic constraint 0.50/0.67 c intension x[15] != x[47] using generic constraint 0.50/0.68 c intension x[15] != x[48] using generic constraint 0.50/0.68 c intension x[16] != x[18] using generic constraint 0.50/0.68 c intension x[16] != x[19] using generic constraint 0.50/0.68 c intension x[16] != x[20] using generic constraint 0.50/0.68 c intension x[16] != x[21] using generic constraint 0.50/0.68 c intension x[16] != x[22] using generic constraint 0.50/0.68 c intension x[16] != x[23] using generic constraint 0.50/0.68 c intension x[16] != x[24] using generic constraint 0.50/0.68 c intension x[16] != x[25] using generic constraint 0.50/0.68 c intension x[16] != x[26] using generic constraint 0.50/0.68 c intension x[16] != x[27] using generic constraint 0.50/0.69 c intension x[16] != x[28] using generic constraint 0.50/0.69 c intension x[16] != x[29] using generic constraint 0.50/0.69 c intension x[16] != x[30] using generic constraint 0.50/0.69 c intension x[16] != x[31] using generic constraint 0.50/0.69 c intension x[16] != x[32] using generic constraint 0.50/0.69 c intension x[16] != x[33] using generic constraint 0.50/0.69 c intension x[16] != x[34] using generic constraint 0.50/0.69 c intension x[16] != x[35] using generic constraint 0.50/0.69 c intension x[16] != x[36] using generic constraint 0.50/0.69 c intension x[16] != x[37] using generic constraint 0.50/0.69 c intension x[16] != x[38] using generic constraint 0.50/0.70 c intension x[16] != x[39] using generic constraint 0.59/0.70 c intension x[16] != x[40] using generic constraint 0.59/0.70 c intension x[16] != x[41] using generic constraint 0.59/0.70 c intension x[16] != x[42] using generic constraint 0.59/0.70 c intension x[16] != x[43] using generic constraint 0.59/0.70 c intension x[16] != x[44] using generic constraint 0.59/0.70 c intension x[16] != x[45] using generic constraint 0.59/0.70 c intension x[16] != x[46] using generic constraint 0.59/0.70 c intension x[16] != x[47] using generic constraint 0.59/0.70 c intension x[16] != x[48] using generic constraint 0.59/0.70 c intension x[17] != x[19] using generic constraint 0.59/0.71 c intension x[17] != x[20] using generic constraint 0.59/0.71 c intension x[17] != x[21] using generic constraint 0.59/0.71 c intension x[17] != x[22] using generic constraint 0.59/0.71 c intension x[17] != x[23] using generic constraint 0.59/0.71 c intension x[17] != x[24] using generic constraint 0.59/0.71 c intension x[17] != x[25] using generic constraint 0.59/0.71 c intension x[17] != x[26] using generic constraint 0.59/0.71 c intension x[17] != x[27] using generic constraint 0.59/0.71 c intension x[17] != x[28] using generic constraint 0.59/0.71 c intension x[17] != x[29] using generic constraint 0.59/0.71 c intension x[17] != x[30] using generic constraint 0.59/0.72 c intension x[17] != x[31] using generic constraint 0.59/0.72 c intension x[17] != x[32] using generic constraint 0.59/0.72 c intension x[17] != x[33] using generic constraint 0.59/0.72 c intension x[17] != x[34] using generic constraint 0.59/0.72 c intension x[17] != x[35] using generic constraint 0.59/0.72 c intension x[17] != x[36] using generic constraint 0.59/0.72 c intension x[17] != x[37] using generic constraint 0.59/0.72 c intension x[17] != x[38] using generic constraint 0.59/0.72 c intension x[17] != x[39] using generic constraint 0.59/0.72 c intension x[17] != x[40] using generic constraint 0.59/0.72 c intension x[17] != x[41] using generic constraint 0.59/0.73 c intension x[17] != x[42] using generic constraint 0.59/0.73 c intension x[17] != x[43] using generic constraint 0.59/0.73 c intension x[17] != x[44] using generic constraint 0.59/0.73 c intension x[17] != x[45] using generic constraint 0.59/0.73 c intension x[17] != x[46] using generic constraint 0.59/0.73 c intension x[17] != x[47] using generic constraint 0.59/0.73 c intension x[17] != x[48] using generic constraint 0.59/0.73 c intension x[18] != x[20] using generic constraint 0.59/0.73 c intension x[18] != x[21] using generic constraint 0.59/0.73 c intension x[18] != x[22] using generic constraint 0.59/0.73 c intension x[18] != x[23] using generic constraint 0.59/0.74 c intension x[18] != x[24] using generic constraint 0.59/0.74 c intension x[18] != x[25] using generic constraint 0.59/0.74 c intension x[18] != x[26] using generic constraint 0.59/0.74 c intension x[18] != x[27] using generic constraint 0.59/0.74 c intension x[18] != x[28] using generic constraint 0.59/0.74 c intension x[18] != x[29] using generic constraint 0.59/0.74 c intension x[18] != x[30] using generic constraint 0.59/0.74 c intension x[18] != x[31] using generic constraint 0.59/0.74 c intension x[18] != x[32] using generic constraint 0.59/0.74 c intension x[18] != x[33] using generic constraint 0.59/0.74 c intension x[18] != x[34] using generic constraint 0.59/0.75 c intension x[18] != x[35] using generic constraint 0.59/0.75 c intension x[18] != x[36] using generic constraint 0.59/0.75 c intension x[18] != x[37] using generic constraint 0.59/0.75 c intension x[18] != x[38] using generic constraint 0.59/0.75 c intension x[18] != x[39] using generic constraint 0.59/0.75 c intension x[18] != x[40] using generic constraint 0.59/0.75 c intension x[18] != x[41] using generic constraint 0.59/0.75 c intension x[18] != x[42] using generic constraint 0.59/0.75 c intension x[18] != x[43] using generic constraint 0.59/0.75 c intension x[18] != x[44] using generic constraint 0.59/0.75 c intension x[18] != x[45] using generic constraint 0.59/0.75 c intension x[18] != x[46] using generic constraint 0.59/0.76 c intension x[18] != x[47] using generic constraint 0.59/0.76 c intension x[18] != x[48] using generic constraint 0.59/0.76 c intension x[19] != x[21] using generic constraint 0.59/0.76 c intension x[19] != x[22] using generic constraint 0.59/0.76 c intension x[19] != x[23] using generic constraint 0.59/0.76 c intension x[19] != x[24] using generic constraint 0.59/0.76 c intension x[19] != x[25] using generic constraint 0.59/0.76 c intension x[19] != x[26] using generic constraint 0.59/0.76 c intension x[19] != x[27] using generic constraint 0.59/0.76 c intension x[19] != x[28] using generic constraint 0.59/0.76 c intension x[19] != x[29] using generic constraint 0.59/0.77 c intension x[19] != x[30] using generic constraint 0.59/0.77 c intension x[19] != x[31] using generic constraint 0.59/0.77 c intension x[19] != x[32] using generic constraint 0.59/0.77 c intension x[19] != x[33] using generic constraint 0.59/0.77 c intension x[19] != x[34] using generic constraint 0.59/0.77 c intension x[19] != x[35] using generic constraint 0.59/0.77 c intension x[19] != x[36] using generic constraint 0.59/0.77 c intension x[19] != x[37] using generic constraint 0.59/0.77 c intension x[19] != x[38] using generic constraint 0.59/0.77 c intension x[19] != x[39] using generic constraint 0.59/0.77 c intension x[19] != x[40] using generic constraint 0.59/0.78 c intension x[19] != x[41] using generic constraint 0.59/0.78 c intension x[19] != x[42] using generic constraint 0.59/0.78 c intension x[19] != x[43] using generic constraint 0.59/0.78 c intension x[19] != x[44] using generic constraint 0.59/0.78 c intension x[19] != x[45] using generic constraint 0.59/0.78 c intension x[19] != x[46] using generic constraint 0.59/0.78 c intension x[19] != x[47] using generic constraint 0.59/0.78 c intension x[19] != x[48] using generic constraint 0.59/0.78 c intension x[20] != x[22] using generic constraint 0.59/0.78 c intension x[20] != x[23] using generic constraint 0.59/0.78 c intension x[20] != x[24] using generic constraint 0.59/0.79 c intension x[20] != x[25] using generic constraint 0.59/0.79 c intension x[20] != x[26] using generic constraint 0.59/0.79 c intension x[20] != x[27] using generic constraint 0.59/0.79 c intension x[20] != x[28] using generic constraint 0.59/0.79 c intension x[20] != x[29] using generic constraint 0.59/0.79 c intension x[20] != x[30] using generic constraint 0.59/0.79 c intension x[20] != x[31] using generic constraint 0.59/0.79 c intension x[20] != x[32] using generic constraint 0.59/0.79 c intension x[20] != x[33] using generic constraint 0.59/0.79 c intension x[20] != x[34] using generic constraint 0.59/0.79 c intension x[20] != x[35] using generic constraint 0.59/0.80 c intension x[20] != x[36] using generic constraint 0.70/0.80 c intension x[20] != x[37] using generic constraint 0.70/0.80 c intension x[20] != x[38] using generic constraint 0.70/0.80 c intension x[20] != x[39] using generic constraint 0.70/0.80 c intension x[20] != x[40] using generic constraint 0.70/0.80 c intension x[20] != x[41] using generic constraint 0.70/0.80 c intension x[20] != x[42] using generic constraint 0.70/0.80 c intension x[20] != x[43] using generic constraint 0.70/0.80 c intension x[20] != x[44] using generic constraint 0.70/0.80 c intension x[20] != x[45] using generic constraint 0.70/0.80 c intension x[20] != x[46] using generic constraint 0.70/0.81 c intension x[20] != x[47] using generic constraint 0.70/0.81 c intension x[20] != x[48] using generic constraint 0.70/0.81 c intension x[21] != x[23] using generic constraint 0.70/0.81 c intension x[21] != x[24] using generic constraint 0.70/0.81 c intension x[21] != x[25] using generic constraint 0.70/0.81 c intension x[21] != x[26] using generic constraint 0.70/0.81 c intension x[21] != x[27] using generic constraint 0.70/0.81 c intension x[21] != x[28] using generic constraint 0.70/0.81 c intension x[21] != x[29] using generic constraint 0.70/0.81 c intension x[21] != x[30] using generic constraint 0.70/0.81 c intension x[21] != x[31] using generic constraint 0.70/0.82 c intension x[21] != x[32] using generic constraint 0.70/0.82 c intension x[21] != x[33] using generic constraint 0.70/0.82 c intension x[21] != x[34] using generic constraint 0.70/0.82 c intension x[21] != x[35] using generic constraint 0.70/0.82 c intension x[21] != x[36] using generic constraint 0.70/0.82 c intension x[21] != x[37] using generic constraint 0.70/0.82 c intension x[21] != x[38] using generic constraint 0.70/0.82 c intension x[21] != x[39] using generic constraint 0.70/0.82 c intension x[21] != x[40] using generic constraint 0.70/0.82 c intension x[21] != x[41] using generic constraint 0.70/0.82 c intension x[21] != x[42] using generic constraint 0.70/0.83 c intension x[21] != x[43] using generic constraint 0.70/0.83 c intension x[21] != x[44] using generic constraint 0.70/0.83 c intension x[21] != x[45] using generic constraint 0.70/0.83 c intension x[21] != x[46] using generic constraint 0.70/0.83 c intension x[21] != x[47] using generic constraint 0.70/0.83 c intension x[21] != x[48] using generic constraint 0.70/0.83 c intension x[22] != x[24] using generic constraint 0.70/0.83 c intension x[22] != x[25] using generic constraint 0.70/0.83 c intension x[22] != x[26] using generic constraint 0.70/0.83 c intension x[22] != x[27] using generic constraint 0.70/0.83 c intension x[22] != x[28] using generic constraint 0.70/0.84 c intension x[22] != x[29] using generic constraint 0.70/0.84 c intension x[22] != x[30] using generic constraint 0.70/0.84 c intension x[22] != x[31] using generic constraint 0.70/0.84 c intension x[22] != x[32] using generic constraint 0.70/0.84 c intension x[22] != x[33] using generic constraint 0.70/0.84 c intension x[22] != x[34] using generic constraint 0.70/0.84 c intension x[22] != x[35] using generic constraint 0.70/0.84 c intension x[22] != x[36] using generic constraint 0.70/0.84 c intension x[22] != x[37] using generic constraint 0.70/0.84 c intension x[22] != x[38] using generic constraint 0.70/0.84 c intension x[22] != x[39] using generic constraint 0.70/0.85 c intension x[22] != x[40] using generic constraint 0.70/0.85 c intension x[22] != x[41] using generic constraint 0.70/0.85 c intension x[22] != x[42] using generic constraint 0.70/0.85 c intension x[22] != x[43] using generic constraint 0.70/0.85 c intension x[22] != x[44] using generic constraint 0.70/0.85 c intension x[22] != x[45] using generic constraint 0.70/0.85 c intension x[22] != x[46] using generic constraint 0.70/0.85 c intension x[22] != x[47] using generic constraint 0.70/0.85 c intension x[22] != x[48] using generic constraint 0.70/0.85 c intension x[23] != x[25] using generic constraint 0.70/0.85 c intension x[23] != x[26] using generic constraint 0.70/0.86 c intension x[23] != x[27] using generic constraint 0.70/0.86 c intension x[23] != x[28] using generic constraint 0.70/0.86 c intension x[23] != x[29] using generic constraint 0.70/0.86 c intension x[23] != x[30] using generic constraint 0.70/0.86 c intension x[23] != x[31] using generic constraint 0.70/0.86 c intension x[23] != x[32] using generic constraint 0.70/0.86 c intension x[23] != x[33] using generic constraint 0.70/0.86 c intension x[23] != x[34] using generic constraint 0.70/0.86 c intension x[23] != x[35] using generic constraint 0.70/0.86 c intension x[23] != x[36] using generic constraint 0.70/0.86 c intension x[23] != x[37] using generic constraint 0.70/0.86 c intension x[23] != x[38] using generic constraint 0.70/0.87 c intension x[23] != x[39] using generic constraint 0.70/0.87 c intension x[23] != x[40] using generic constraint 0.70/0.87 c intension x[23] != x[41] using generic constraint 0.70/0.87 c intension x[23] != x[42] using generic constraint 0.70/0.87 c intension x[23] != x[43] using generic constraint 0.70/0.87 c intension x[23] != x[44] using generic constraint 0.70/0.87 c intension x[23] != x[45] using generic constraint 0.70/0.87 c intension x[23] != x[46] using generic constraint 0.70/0.87 c intension x[23] != x[47] using generic constraint 0.70/0.87 c intension x[23] != x[48] using generic constraint 0.70/0.87 c intension x[24] != x[26] using generic constraint 0.70/0.88 c intension x[24] != x[27] using generic constraint 0.70/0.88 c intension x[24] != x[28] using generic constraint 0.70/0.88 c intension x[24] != x[29] using generic constraint 0.70/0.88 c intension x[24] != x[30] using generic constraint 0.70/0.88 c intension x[24] != x[31] using generic constraint 0.70/0.88 c intension x[24] != x[32] using generic constraint 0.70/0.88 c intension x[24] != x[33] using generic constraint 0.70/0.88 c intension x[24] != x[34] using generic constraint 0.70/0.88 c intension x[24] != x[35] using generic constraint 0.70/0.88 c intension x[24] != x[36] using generic constraint 0.70/0.88 c intension x[24] != x[37] using generic constraint 0.70/0.89 c intension x[24] != x[38] using generic constraint 0.70/0.89 c intension x[24] != x[39] using generic constraint 0.70/0.89 c intension x[24] != x[40] using generic constraint 0.70/0.89 c intension x[24] != x[41] using generic constraint 0.70/0.89 c intension x[24] != x[42] using generic constraint 0.70/0.89 c intension x[24] != x[43] using generic constraint 0.70/0.89 c intension x[24] != x[44] using generic constraint 0.70/0.89 c intension x[24] != x[45] using generic constraint 0.70/0.89 c intension x[24] != x[46] using generic constraint 0.70/0.89 c intension x[24] != x[47] using generic constraint 0.70/0.89 c intension x[24] != x[48] using generic constraint 0.70/0.90 c intension x[25] != x[27] using generic constraint 0.79/0.90 c intension x[25] != x[28] using generic constraint 0.79/0.90 c intension x[25] != x[29] using generic constraint 0.79/0.90 c intension x[25] != x[30] using generic constraint 0.79/0.90 c intension x[25] != x[31] using generic constraint 0.79/0.90 c intension x[25] != x[32] using generic constraint 0.79/0.90 c intension x[25] != x[33] using generic constraint 0.79/0.90 c intension x[25] != x[34] using generic constraint 0.79/0.90 c intension x[25] != x[35] using generic constraint 0.79/0.90 c intension x[25] != x[36] using generic constraint 0.79/0.90 c intension x[25] != x[37] using generic constraint 0.79/0.91 c intension x[25] != x[38] using generic constraint 0.79/0.91 c intension x[25] != x[39] using generic constraint 0.79/0.91 c intension x[25] != x[40] using generic constraint 0.79/0.91 c intension x[25] != x[41] using generic constraint 0.79/0.91 c intension x[25] != x[42] using generic constraint 0.79/0.91 c intension x[25] != x[43] using generic constraint 0.79/0.91 c intension x[25] != x[44] using generic constraint 0.79/0.91 c intension x[25] != x[45] using generic constraint 0.79/0.91 c intension x[25] != x[46] using generic constraint 0.79/0.91 c intension x[25] != x[47] using generic constraint 0.79/0.91 c intension x[25] != x[48] using generic constraint 0.79/0.92 c intension x[26] != x[28] using generic constraint 0.79/0.92 c intension x[26] != x[29] using generic constraint 0.79/0.92 c intension x[26] != x[30] using generic constraint 0.79/0.92 c intension x[26] != x[31] using generic constraint 0.79/0.92 c intension x[26] != x[32] using generic constraint 0.79/0.92 c intension x[26] != x[33] using generic constraint 0.79/0.92 c intension x[26] != x[34] using generic constraint 0.79/0.92 c intension x[26] != x[35] using generic constraint 0.79/0.92 c intension x[26] != x[36] using generic constraint 0.79/0.92 c intension x[26] != x[37] using generic constraint 0.79/0.92 c intension x[26] != x[38] using generic constraint 0.79/0.93 c intension x[26] != x[39] using generic constraint 0.79/0.93 c intension x[26] != x[40] using generic constraint 0.79/0.93 c intension x[26] != x[41] using generic constraint 0.79/0.93 c intension x[26] != x[42] using generic constraint 0.79/0.93 c intension x[26] != x[43] using generic constraint 0.79/0.93 c intension x[26] != x[44] using generic constraint 0.79/0.93 c intension x[26] != x[45] using generic constraint 0.79/0.93 c intension x[26] != x[46] using generic constraint 0.79/0.93 c intension x[26] != x[47] using generic constraint 0.79/0.93 c intension x[26] != x[48] using generic constraint 0.79/0.93 c intension x[27] != x[29] using generic constraint 0.79/0.94 c intension x[27] != x[30] using generic constraint 0.79/0.94 c intension x[27] != x[31] using generic constraint 0.79/0.94 c intension x[27] != x[32] using generic constraint 0.79/0.94 c intension x[27] != x[33] using generic constraint 0.79/0.94 c intension x[27] != x[34] using generic constraint 0.79/0.94 c intension x[27] != x[35] using generic constraint 0.79/0.94 c intension x[27] != x[36] using generic constraint 0.79/0.94 c intension x[27] != x[37] using generic constraint 0.79/0.94 c intension x[27] != x[38] using generic constraint 0.79/0.94 c intension x[27] != x[39] using generic constraint 0.79/0.94 c intension x[27] != x[40] using generic constraint 0.79/0.95 c intension x[27] != x[41] using generic constraint 0.79/0.95 c intension x[27] != x[42] using generic constraint 0.79/0.95 c intension x[27] != x[43] using generic constraint 0.79/0.95 c intension x[27] != x[44] using generic constraint 0.79/0.95 c intension x[27] != x[45] using generic constraint 0.79/0.95 c intension x[27] != x[46] using generic constraint 0.79/0.95 c intension x[27] != x[47] using generic constraint 0.79/0.95 c intension x[27] != x[48] using generic constraint 0.79/0.95 c intension x[28] != x[30] using generic constraint 0.79/0.95 c intension x[28] != x[31] using generic constraint 0.79/0.95 c intension x[28] != x[32] using generic constraint 0.79/0.96 c intension x[28] != x[33] using generic constraint 0.79/0.96 c intension x[28] != x[34] using generic constraint 0.79/0.96 c intension x[28] != x[35] using generic constraint 0.79/0.96 c intension x[28] != x[36] using generic constraint 0.79/0.96 c intension x[28] != x[37] using generic constraint 0.79/0.96 c intension x[28] != x[38] using generic constraint 0.79/0.96 c intension x[28] != x[39] using generic constraint 0.79/0.96 c intension x[28] != x[40] using generic constraint 0.79/0.96 c intension x[28] != x[41] using generic constraint 0.79/0.96 c intension x[28] != x[42] using generic constraint 0.79/0.96 c intension x[28] != x[43] using generic constraint 0.79/0.97 c intension x[28] != x[44] using generic constraint 0.79/0.97 c intension x[28] != x[45] using generic constraint 0.79/0.97 c intension x[28] != x[46] using generic constraint 0.79/0.97 c intension x[28] != x[47] using generic constraint 0.79/0.97 c intension x[28] != x[48] using generic constraint 0.79/0.97 c intension x[29] != x[31] using generic constraint 0.79/0.97 c intension x[29] != x[32] using generic constraint 0.79/0.97 c intension x[29] != x[33] using generic constraint 0.79/0.97 c intension x[29] != x[34] using generic constraint 0.79/0.97 c intension x[29] != x[35] using generic constraint 0.79/0.97 c intension x[29] != x[36] using generic constraint 0.79/0.97 c intension x[29] != x[37] using generic constraint 0.79/0.98 c intension x[29] != x[38] using generic constraint 0.79/0.98 c intension x[29] != x[39] using generic constraint 0.79/0.98 c intension x[29] != x[40] using generic constraint 0.79/0.98 c intension x[29] != x[41] using generic constraint 0.79/0.98 c intension x[29] != x[42] using generic constraint 0.79/0.98 c intension x[29] != x[43] using generic constraint 0.79/0.98 c intension x[29] != x[44] using generic constraint 0.79/0.98 c intension x[29] != x[45] using generic constraint 0.79/0.98 c intension x[29] != x[46] using generic constraint 0.79/0.98 c intension x[29] != x[47] using generic constraint 0.79/0.98 c intension x[29] != x[48] using generic constraint 0.79/0.99 c intension x[30] != x[32] using generic constraint 0.79/0.99 c intension x[30] != x[33] using generic constraint 0.79/0.99 c intension x[30] != x[34] using generic constraint 0.79/0.99 c intension x[30] != x[35] using generic constraint 0.79/0.99 c intension x[30] != x[36] using generic constraint 0.79/0.99 c intension x[30] != x[37] using generic constraint 0.79/0.99 c intension x[30] != x[38] using generic constraint 0.79/0.99 c intension x[30] != x[39] using generic constraint 0.79/0.99 c intension x[30] != x[40] using generic constraint 0.79/0.99 c intension x[30] != x[41] using generic constraint 0.79/0.99 c intension x[30] != x[42] using generic constraint 0.79/1.00 c intension x[30] != x[43] using generic constraint 0.79/1.00 c intension x[30] != x[44] using generic constraint 0.79/1.00 c intension x[30] != x[45] using generic constraint 0.79/1.00 c intension x[30] != x[46] using generic constraint 0.79/1.00 c intension x[30] != x[47] using generic constraint 0.79/1.00 c intension x[30] != x[48] using generic constraint 0.79/1.00 c intension x[31] != x[33] using generic constraint 0.79/1.00 c intension x[31] != x[34] using generic constraint 0.79/1.00 c intension x[31] != x[35] using generic constraint 0.90/1.00 c intension x[31] != x[36] using generic constraint 0.90/1.01 c intension x[31] != x[37] using generic constraint 0.90/1.01 c intension x[31] != x[38] using generic constraint 0.90/1.01 c intension x[31] != x[39] using generic constraint 0.90/1.01 c intension x[31] != x[40] using generic constraint 0.90/1.01 c intension x[31] != x[41] using generic constraint 0.90/1.01 c intension x[31] != x[42] using generic constraint 0.90/1.01 c intension x[31] != x[43] using generic constraint 0.90/1.01 c intension x[31] != x[44] using generic constraint 0.90/1.01 c intension x[31] != x[45] using generic constraint 0.90/1.01 c intension x[31] != x[46] using generic constraint 0.90/1.02 c intension x[31] != x[47] using generic constraint 0.90/1.02 c intension x[31] != x[48] using generic constraint 0.90/1.02 c intension x[32] != x[34] using generic constraint 0.90/1.02 c intension x[32] != x[35] using generic constraint 0.90/1.02 c intension x[32] != x[36] using generic constraint 0.90/1.02 c intension x[32] != x[37] using generic constraint 0.90/1.02 c intension x[32] != x[38] using generic constraint 0.90/1.02 c intension x[32] != x[39] using generic constraint 0.90/1.02 c intension x[32] != x[40] using generic constraint 0.90/1.02 c intension x[32] != x[41] using generic constraint 0.90/1.02 c intension x[32] != x[42] using generic constraint 0.90/1.03 c intension x[32] != x[43] using generic constraint 0.90/1.03 c intension x[32] != x[44] using generic constraint 0.90/1.03 c intension x[32] != x[45] using generic constraint 0.90/1.03 c intension x[32] != x[46] using generic constraint 0.90/1.03 c intension x[32] != x[47] using generic constraint 0.90/1.03 c intension x[32] != x[48] using generic constraint 0.90/1.03 c intension x[33] != x[35] using generic constraint 0.90/1.03 c intension x[33] != x[36] using generic constraint 0.90/1.03 c intension x[33] != x[37] using generic constraint 0.90/1.03 c intension x[33] != x[38] using generic constraint 0.90/1.03 c intension x[33] != x[39] using generic constraint 0.90/1.04 c intension x[33] != x[40] using generic constraint 0.90/1.04 c intension x[33] != x[41] using generic constraint 0.90/1.04 c intension x[33] != x[42] using generic constraint 0.90/1.04 c intension x[33] != x[43] using generic constraint 0.90/1.04 c intension x[33] != x[44] using generic constraint 0.90/1.04 c intension x[33] != x[45] using generic constraint 0.90/1.04 c intension x[33] != x[46] using generic constraint 0.90/1.04 c intension x[33] != x[47] using generic constraint 0.90/1.04 c intension x[33] != x[48] using generic constraint 0.90/1.04 c intension x[34] != x[36] using generic constraint 0.90/1.04 c intension x[34] != x[37] using generic constraint 0.90/1.05 c intension x[34] != x[38] using generic constraint 0.90/1.05 c intension x[34] != x[39] using generic constraint 0.90/1.05 c intension x[34] != x[40] using generic constraint 0.90/1.05 c intension x[34] != x[41] using generic constraint 0.90/1.05 c intension x[34] != x[42] using generic constraint 0.90/1.05 c intension x[34] != x[43] using generic constraint 0.90/1.05 c intension x[34] != x[44] using generic constraint 0.90/1.05 c intension x[34] != x[45] using generic constraint 0.90/1.05 c intension x[34] != x[46] using generic constraint 0.90/1.05 c intension x[34] != x[47] using generic constraint 0.90/1.05 c intension x[34] != x[48] using generic constraint 0.90/1.05 c intension x[35] != x[37] using generic constraint 0.90/1.06 c intension x[35] != x[38] using generic constraint 0.90/1.06 c intension x[35] != x[39] using generic constraint 0.90/1.06 c intension x[35] != x[40] using generic constraint 0.90/1.06 c intension x[35] != x[41] using generic constraint 0.90/1.06 c intension x[35] != x[42] using generic constraint 0.90/1.06 c intension x[35] != x[43] using generic constraint 0.90/1.06 c intension x[35] != x[44] using generic constraint 0.90/1.06 c intension x[35] != x[45] using generic constraint 0.90/1.06 c intension x[35] != x[46] using generic constraint 0.90/1.06 c intension x[35] != x[47] using generic constraint 0.90/1.06 c intension x[35] != x[48] using generic constraint 0.90/1.07 c intension x[36] != x[38] using generic constraint 0.90/1.07 c intension x[36] != x[39] using generic constraint 0.90/1.07 c intension x[36] != x[40] using generic constraint 0.90/1.07 c intension x[36] != x[41] using generic constraint 0.90/1.07 c intension x[36] != x[42] using generic constraint 0.90/1.07 c intension x[36] != x[43] using generic constraint 0.90/1.07 c intension x[36] != x[44] using generic constraint 0.90/1.07 c intension x[36] != x[45] using generic constraint 0.90/1.07 c intension x[36] != x[46] using generic constraint 0.90/1.07 c intension x[36] != x[47] using generic constraint 0.90/1.07 c intension x[36] != x[48] using generic constraint 0.90/1.08 c intension x[37] != x[39] using generic constraint 0.90/1.08 c intension x[37] != x[40] using generic constraint 0.90/1.08 c intension x[37] != x[41] using generic constraint 0.90/1.08 c intension x[37] != x[42] using generic constraint 0.90/1.08 c intension x[37] != x[43] using generic constraint 0.90/1.08 c intension x[37] != x[44] using generic constraint 0.90/1.08 c intension x[37] != x[45] using generic constraint 0.90/1.08 c intension x[37] != x[46] using generic constraint 0.90/1.08 c intension x[37] != x[47] using generic constraint 0.90/1.08 c intension x[37] != x[48] using generic constraint 0.90/1.08 c intension x[38] != x[40] using generic constraint 0.90/1.09 c intension x[38] != x[41] using generic constraint 0.90/1.09 c intension x[38] != x[42] using generic constraint 0.90/1.09 c intension x[38] != x[43] using generic constraint 0.90/1.09 c intension x[38] != x[44] using generic constraint 0.90/1.09 c intension x[38] != x[45] using generic constraint 0.90/1.09 c intension x[38] != x[46] using generic constraint 0.90/1.09 c intension x[38] != x[47] using generic constraint 0.90/1.09 c intension x[38] != x[48] using generic constraint 0.90/1.09 c intension x[39] != x[41] using generic constraint 0.90/1.09 c intension x[39] != x[42] using generic constraint 0.90/1.09 c intension x[39] != x[43] using generic constraint 0.90/1.10 c intension x[39] != x[44] using generic constraint 0.90/1.10 c intension x[39] != x[45] using generic constraint 0.90/1.10 c intension x[39] != x[46] using generic constraint 0.90/1.10 c intension x[39] != x[47] using generic constraint 0.90/1.10 c intension x[39] != x[48] using generic constraint 0.90/1.10 c intension x[40] != x[42] using generic constraint 0.90/1.10 c intension x[40] != x[43] using generic constraint 0.90/1.10 c intension x[40] != x[44] using generic constraint 0.90/1.10 c intension x[40] != x[45] using generic constraint 0.90/1.10 c intension x[40] != x[46] using generic constraint 1.00/1.10 c intension x[40] != x[47] using generic constraint 1.00/1.11 c intension x[40] != x[48] using generic constraint 1.00/1.11 c intension x[41] != x[43] using generic constraint 1.00/1.11 c intension x[41] != x[44] using generic constraint 1.00/1.11 c intension x[41] != x[45] using generic constraint 1.00/1.11 c intension x[41] != x[46] using generic constraint 1.00/1.11 c intension x[41] != x[47] using generic constraint 1.00/1.11 c intension x[41] != x[48] using generic constraint 1.00/1.11 c intension x[42] != x[44] using generic constraint 1.00/1.11 c intension x[42] != x[45] using generic constraint 1.00/1.11 c intension x[42] != x[46] using generic constraint 1.00/1.11 c intension x[42] != x[47] using generic constraint 1.00/1.12 c intension x[42] != x[48] using generic constraint 1.00/1.12 c intension x[43] != x[45] using generic constraint 1.00/1.12 c intension x[43] != x[46] using generic constraint 1.00/1.12 c intension x[43] != x[47] using generic constraint 1.00/1.12 c intension x[43] != x[48] using generic constraint 1.00/1.12 c intension x[44] != x[46] using generic constraint 1.00/1.12 c intension x[44] != x[47] using generic constraint 1.00/1.12 c intension x[44] != x[48] using generic constraint 1.00/1.12 c intension x[45] != x[47] using generic constraint 1.00/1.12 c intension x[45] != x[48] using generic constraint 1.00/1.12 c intension x[46] != x[48] using generic constraint 1.09/1.20 c SAT : Variables: 2411 -- Clauses: 57719 1.09/1.21 c root propagations : 45 1.09/1.21 c restarts enabled, print stats at every restarts 1.09/1.21 c 1.09/1.21 c 1.09/1.21 c 1.09/1.21 c This is cosoco 1.12 -- 1.09/1.21 c 1.09/1.21 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266285-1502578849.xml 1.09/1.21 c ========================================[ Problem Statistics ]=========================================== 1.09/1.21 c | 1.09/1.21 c | Parse time : 1.10 s 1.09/1.21 c | 1.09/1.21 c | Variables: 50 1.09/1.21 c | Domain Sizes: 10..49 1.09/1.21 c | 1.09/1.21 c | Constraints: 1191 1.09/1.21 c | Arity: 2..2 -- Binary: 1191 1.09/1.21 c | 1.09/1.21 c | Types: 1.09/1.21 c | (X != Y): 1128 1.09/1.21 c | Intension: 63 1.09/1.21 c | 1.09/1.21 c ========================================================================================================= 1.09/1.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.09/1.22 c 10 34 31763 3126 15 2 18 22 18 1.09/1.23 c 20 79 59233 6542 15 5 14 32 24 1.09/1.23 c 30 117 84305 10260 15 7 8 24 14 1.09/1.24 c 40 155 104626 14109 15 12 8 25 12 1.09/1.25 c 50 192 134388 17527 15 15 11 13 11 1.09/1.26 c 60 227 155306 20827 15 19 8 23 13 1.09/1.26 c 70 271 184339 23938 15 24 22 26 22 1.09/1.27 c 80 304 215341 28330 15 28 7 10 8 1.09/1.28 c 90 347 242967 31716 15 32 11 25 20 1.09/1.29 c 100 378 263017 35467 15 38 7 20 10 1.09/1.29 c 101 386 270114 37476 15 39 8 8 4 1.19/1.30 c 110 425 297177 41223 15 43 9 23 14 1.19/1.31 c 120 466 326180 44592 15 47 14 15 13 1.19/1.32 c 130 520 358318 48598 15 53 7 24 16 1.19/1.32 c 140 567 390562 51843 15 55 18 23 19 1.19/1.33 c 150 609 414507 54607 15 58 26 26 23 1.19/1.34 c 160 633 429911 57922 15 59 12 13 11 1.19/1.35 c 170 672 455182 60830 15 60 20 23 19 1.19/1.35 c 180 719 488893 64029 15 63 24 26 23 1.19/1.36 c 190 760 515119 67562 15 66 10 27 16 1.19/1.37 c 200 797 544383 70838 15 69 14 16 14 1.19/1.38 c 210 841 572466 73841 15 74 24 29 23 1.19/1.38 c 211 865 589823 75978 15 75 24 24 12 1.19/1.39 c 220 905 617577 79679 15 78 9 27 11 1.29/1.40 c 230 943 645187 82740 15 83 14 20 17 1.29/1.41 c 240 984 674121 85776 15 89 24 27 23 1.29/1.42 c 250 1019 699005 89356 15 95 10 23 13 1.29/1.43 c 260 1053 724389 92311 15 97 16 17 14 1.29/1.43 c 270 1089 749245 95565 15 105 11 23 17 1.29/1.44 c 280 1139 778112 98416 15 110 23 29 23 1.29/1.45 c 290 1171 804204 101648 15 114 14 19 15 1.29/1.46 c 300 1211 833400 104777 15 117 16 17 15 1.29/1.46 c 310 1251 859789 107887 15 119 18 22 18 1.29/1.47 c 320 1290 885022 110657 15 127 14 25 19 1.29/1.48 c 330 1329 913114 113860 15 131 16 17 15 1.29/1.49 c 332 1353 930132 116174 15 133 22 23 15 1.29/1.49 c 340 1383 953032 119705 15 135 9 17 10 1.39/1.50 c 350 1420 982030 122825 15 139 15 16 14 1.39/1.51 c 360 1453 1009036 125899 15 141 14 15 13 1.39/1.51 c 370 1492 1035004 128932 15 143 24 27 22 1.39/1.52 c 380 1525 1059147 132601 15 148 10 20 12 1.39/1.53 c 390 1561 1085749 135976 15 150 14 19 15 1.39/1.54 c 400 1602 1114141 139148 15 154 17 22 18 1.39/1.55 c 410 1640 1143446 142591 15 159 16 18 15 1.39/1.55 c 420 1677 1166878 146084 15 164 9 24 13 1.39/1.56 c 430 1719 1200303 149432 15 168 15 21 16 1.39/1.57 c 440 1761 1227485 153354 15 171 9 27 12 1.39/1.58 c 450 1809 1261298 156927 15 176 23 25 21 1.39/1.59 c 460 1848 1285314 159931 15 185 10 26 19 1.39/1.59 c 465 1878 1308044 162663 15 188 19 23 18 1.49/1.60 c 470 1907 1329365 165212 15 191 10 24 15 1.49/1.61 c 480 1948 1355277 168135 15 194 26 27 24 1.49/1.62 c 490 1986 1385333 171152 15 198 19 20 17 1.49/1.63 c 500 2028 1417193 174445 15 200 17 19 16 1.49/1.63 c 510 2064 1445502 177801 15 206 15 23 19 1.49/1.64 c 520 2123 1478164 180805 15 210 20 31 24 1.49/1.65 c 530 2170 1511508 183948 15 212 23 23 20 1.49/1.66 c 540 2218 1541434 187050 15 215 20 24 20 1.49/1.67 c 550 2260 1572341 190501 15 219 11 23 18 1.49/1.67 c 560 2296 1600877 193555 15 222 16 18 15 1.49/1.68 c 570 2335 1629283 196793 15 226 13 15 13 1.49/1.69 c 580 2369 1650984 199790 15 235 11 23 18 1.49/1.70 c 590 2406 1678101 203314 15 240 15 19 15 1.59/1.70 c 600 2442 1706875 207160 15 246 10 21 13 1.59/1.71 c 610 2476 1730455 210371 15 249 9 22 17 1.59/1.72 c 611 2496 1747369 212480 15 250 20 20 10 1.59/1.73 c 620 2525 1767645 215766 15 255 8 18 10 1.59/1.73 c 630 2564 1797584 218893 15 260 18 22 18 1.59/1.74 c 640 2604 1829368 222351 15 264 10 23 19 1.59/1.75 c 650 2642 1858031 225391 15 269 18 22 18 1.59/1.76 c 660 2684 1886372 228460 15 272 22 26 22 1.59/1.76 c 670 2723 1912432 231436 15 275 20 21 18 1.59/1.77 c 680 2765 1941821 234410 15 279 20 21 18 1.59/1.78 c 690 2805 1968499 238082 15 284 11 25 14 1.59/1.79 c 700 2870 2006491 241799 15 287 21 31 23 1.69/1.80 c 710 2906 2031566 244793 15 293 11 25 20 1.69/1.80 c 720 2949 2059535 247864 15 298 15 25 20 1.69/1.81 c 730 2992 2087437 251227 15 306 20 23 19 1.69/1.82 c 740 3025 2114059 254324 15 308 16 17 14 1.69/1.83 c 750 3073 2143912 257445 15 312 24 29 24 1.69/1.83 c 760 3116 2171750 260375 15 319 15 25 20 1.69/1.84 c 770 3164 2199743 263317 15 320 19 29 20 1.69/1.85 c 771 3172 2207625 265226 15 321 8 8 4 1.69/1.85 c 780 3207 2230613 268076 15 323 12 25 20 1.69/1.86 c 790 3247 2260496 271402 15 325 18 21 17 1.69/1.87 c 800 3285 2289761 274569 15 329 16 17 15 1.69/1.88 c 810 3328 2320495 277930 15 334 13 24 19 1.69/1.89 c 820 3372 2348186 281044 15 340 13 27 22 1.69/1.89 c 830 3408 2372529 283878 15 347 9 22 17 1.79/1.90 c 840 3456 2404376 287300 15 355 13 26 21 1.79/1.91 c 850 3503 2432762 290193 15 359 23 28 23 1.79/1.92 c 860 3545 2459496 294094 15 361 10 11 9 1.79/1.93 c 870 3583 2487327 297023 15 365 20 21 18 1.79/1.93 c 880 3614 2507752 301851 15 375 10 12 10 1.79/1.94 c 890 3685 2541812 304831 15 379 25 32 26 1.79/1.95 c 900 3729 2570085 307848 15 381 20 21 19 1.79/1.96 c 910 3762 2593139 310695 15 387 9 22 17 1.79/1.96 c 920 3803 2625390 314556 15 395 8 26 19 1.79/1.97 c 930 3843 2654048 317881 15 399 14 16 14 1.79/1.98 c 940 3891 2679904 320737 15 405 24 28 24 1.79/1.99 c 947 3922 2701402 323358 15 410 20 25 19 1.79/1.99 c 950 3950 2723037 325799 15 411 22 24 17 1.79/2.00 c 960 4001 2755846 329078 15 415 25 27 23 1.90/2.01 c 970 4043 2786398 332360 15 420 14 26 20 1.90/2.02 c 980 4088 2816390 335422 15 421 21 24 21 1.90/2.03 c 990 4124 2844604 338460 15 425 14 15 13 1.90/2.04 c 1000 4154 2866475 342022 15 431 8 18 10 1.90/2.04 c 1010 4194 2898146 345300 15 433 17 18 16 1.90/2.05 c 1020 4249 2931276 348463 15 438 23 28 24 1.90/2.06 c 1030 4283 2957396 351757 15 446 20 23 19 1.90/2.07 c 1040 4333 2995432 356405 15 452 9 27 13 1.90/2.08 c 1050 4369 3019360 359498 15 459 9 23 17 1.90/2.08 c 1060 4407 3042308 362239 15 465 11 26 21 1.90/2.09 c 1070 4445 3072542 365524 15 469 21 24 20 1.90/2.10 c 1080 4486 3101814 368596 15 472 20 22 19 2.00/2.11 c 1090 4521 3127640 371553 15 476 17 19 16 2.00/2.11 c 1100 4560 3156619 374454 15 479 22 23 20 2.00/2.12 c 1110 4600 3187193 377570 15 482 17 17 15 2.00/2.13 c 1120 4645 3214409 380499 15 488 28 30 26 2.00/2.14 c 1130 4684 3240731 383632 15 494 9 25 18 2.00/2.15 c 1140 4725 3265372 386277 15 501 14 27 21 2.00/2.15 c 1141 4741 3281346 388510 15 502 16 16 8 2.00/2.16 c 1150 4778 3309141 391535 15 504 15 17 15 2.00/2.17 c 1160 4832 3344056 394858 15 507 25 29 24 2.00/2.17 c 1170 4864 3363953 397478 15 510 17 21 17 2.00/2.18 c 1180 4910 3394740 400470 15 512 23 24 21 2.00/2.19 c 1190 4945 3418263 403453 15 516 14 18 15 2.09/2.20 c 1200 4985 3448186 406518 15 519 17 18 16 2.09/2.21 c 1210 5044 3485477 409912 15 521 27 31 26 2.09/2.21 c 1220 5104 3521648 413644 15 525 17 24 18 2.09/2.22 c 1230 5137 3545055 416322 15 533 17 21 17 2.09/2.23 c 1240 5175 3569815 419248 15 539 15 27 21 2.09/2.24 c 1250 5216 3597645 422381 15 545 22 28 24 2.09/2.24 c 1260 5258 3628885 425644 15 549 14 26 21 2.09/2.25 c 1270 5289 3654721 428721 15 551 16 16 14 2.09/2.26 c 1280 5333 3680473 431717 15 557 12 28 21 2.09/2.27 c 1290 5373 3712970 435109 15 560 15 16 14 2.09/2.28 c 1300 5423 3747716 438432 15 562 26 29 24 2.09/2.28 c 1310 5469 3775052 441222 15 564 25 28 24 2.09/2.29 c 1320 5528 3805991 444451 15 570 22 27 23 2.19/2.30 c 1330 5568 3833443 447262 15 576 23 25 21 2.19/2.31 c 1340 5616 3862097 450705 15 581 11 25 19 2.19/2.32 c 1350 5655 3888492 454153 15 583 11 23 15 2.19/2.32 c 1352 5674 3906501 456490 15 584 17 17 11 2.19/2.33 c 1360 5714 3930087 459259 15 589 25 29 23 2.19/2.34 c 1370 5753 3954690 462363 15 597 11 25 19 2.19/2.34 c 1380 5794 3981741 465330 15 602 20 28 23 2.19/2.35 c 1390 5825 4003581 468592 15 611 15 21 16 2.19/2.36 c 1400 5872 4030973 471695 15 615 11 32 25 2.19/2.37 c 1410 5915 4061199 474719 15 619 19 23 19 2.19/2.38 c 1420 5958 4090977 477714 15 622 24 25 22 2.19/2.38 c 1430 5999 4120313 480759 15 626 24 27 23 2.19/2.39 c 1440 6041 4150166 483733 15 630 25 26 23 2.29/2.40 c 1450 6078 4172859 486374 15 637 21 25 21 2.29/2.41 c 1460 6116 4200001 489352 15 642 23 26 22 2.29/2.41 c 1470 6152 4226170 492350 15 644 17 18 16 2.29/2.42 c 1480 6187 4250480 495179 15 646 15 23 19 2.29/2.43 c 1490 6234 4282945 498453 15 649 20 22 19 2.29/2.44 c 1500 6277 4309560 501429 15 650 16 19 16 2.29/2.45 c 1510 6322 4338463 504505 15 653 24 26 22 2.29/2.45 c 1520 6358 4360664 507414 15 660 11 25 20 2.29/2.46 c 1530 6401 4385970 510327 15 661 16 19 16 2.29/2.47 c 1540 6440 4409744 513293 15 665 9 24 18 2.29/2.47 c 1550 6472 4429341 515959 15 672 9 21 16 2.29/2.48 c 1560 6513 4455177 519452 15 675 14 25 16 2.29/2.49 c 1570 6547 4481481 522512 15 677 17 18 15 2.39/2.50 c 1580 6601 4513087 525685 15 681 21 27 21 2.39/2.50 c 1585 6629 4531014 528241 15 686 11 24 15 2.39/2.51 c 1590 6661 4551200 530720 15 687 25 27 22 2.39/2.52 c 1600 6699 4574699 533627 15 692 14 23 17 2.39/2.53 c 1610 6741 4602486 536447 15 694 25 27 23 2.39/2.53 c 1620 6786 4631328 539786 15 697 24 30 23 2.39/2.54 c 1630 6823 4655412 542693 15 703 11 24 18 2.39/2.55 c 1640 6857 4679574 546236 15 706 9 13 10 2.39/2.56 c 1650 6903 4708605 549135 15 708 26 30 25 2.39/2.56 c 1660 6941 4736058 551990 15 714 20 26 20 2.39/2.57 c 1670 6976 4758391 554835 15 721 19 25 21 2.39/2.58 c 1680 7008 4783978 557882 15 723 18 18 16 2.39/2.59 c 1690 7051 4813529 560791 15 727 24 26 22 2.39/2.60 c 1700 7088 4841853 563879 15 731 16 16 14 2.49/2.60 c 1710 7137 4874494 567091 15 735 22 24 21 2.49/2.61 c 1720 7178 4905022 570461 15 738 15 17 15 2.49/2.62 c 1730 7219 4934083 573998 15 742 20 24 20 2.49/2.63 c 1740 7259 4964204 577307 15 744 16 17 15 2.49/2.64 c 1750 7302 4988008 580127 15 746 24 25 22 2.49/2.64 c 1760 7338 5015046 583237 15 753 18 22 18 2.49/2.65 c 1770 7376 5040045 586066 15 757 18 22 18 2.49/2.66 c 1780 7411 5065596 589282 15 764 14 24 19 2.49/2.67 c 1790 7452 5095450 592529 15 767 17 22 18 2.49/2.67 c 1800 7501 5128968 596390 15 773 20 21 18 2.49/2.68 c 1810 7541 5158781 599876 15 777 15 22 18 2.49/2.69 c 1820 7575 5182595 603172 15 786 21 24 20 2.49/2.70 c 1830 7616 5208024 606058 15 791 11 29 23 2.59/2.70 c 1840 7681 5244188 609520 15 797 17 31 21 2.59/2.71 c 1841 7699 5259834 611779 15 798 18 18 9 2.59/2.72 c 1850 7745 5286674 614735 15 803 25 30 25 2.59/2.73 c 1860 7781 5314826 618766 15 807 11 15 11 2.59/2.73 c 1870 7818 5344461 622034 15 809 15 17 15 2.59/2.74 c 1880 7859 5376522 625230 15 811 17 17 15 2.59/2.75 c 1890 7911 5410001 628493 15 814 24 29 23 2.59/2.76 c 1900 7950 5436127 631293 15 816 26 29 24 2.59/2.77 c 1910 7990 5462320 634782 15 820 14 25 17 2.59/2.77 c 1920 8030 5487743 637541 15 825 26 29 24 2.59/2.78 c 1930 8071 5520405 640840 15 826 19 21 18 2.59/2.79 c 1940 8103 5551251 644660 15 828 8 9 8 2.69/2.80 c 1950 8145 5578418 647635 15 834 12 27 22 2.69/2.81 c 1960 8185 5603594 650915 15 838 11 25 19 2.69/2.81 c 1970 8223 5629065 653698 15 844 24 27 23 2.69/2.82 c 1980 8266 5657398 656938 15 846 18 23 18 2.69/2.83 c 1990 8317 5692659 660210 15 849 22 23 20 2.69/2.84 c 2000 8355 5715290 662876 15 853 25 28 24 2.69/2.84 c 2010 8392 5739491 665719 15 859 22 28 23 2.69/2.85 c 2020 8431 5769359 668992 15 860 23 27 21 2.69/2.86 c 2030 8478 5801902 672106 15 864 25 30 24 2.69/2.87 c 2040 8529 5832002 675130 15 869 25 28 24 2.69/2.88 c 2050 8564 5860113 678225 15 870 16 17 15 2.69/2.88 c 2060 8609 5891267 681147 15 875 23 24 21 2.69/2.89 c 2070 8652 5922479 684735 15 879 13 16 13 2.79/2.90 c 2080 8694 5951518 687729 15 883 22 25 22 2.79/2.91 c 2090 8735 5979318 690698 15 887 18 23 19 2.79/2.92 c 2100 8780 6003222 693455 15 889 21 29 23 2.79/2.92 c 2110 8822 6030831 696469 15 892 24 25 22 2.79/2.93 c 2120 8861 6058424 699659 15 896 15 23 18 2.79/2.94 c 2122 8883 6075607 701821 15 898 21 21 14 2.79/2.95 c 2130 8923 6104375 704744 15 902 23 26 21 2.79/2.96 c 2140 8975 6136402 708076 15 910 24 28 24 2.79/2.96 c 2150 9014 6158615 711474 15 916 11 25 16 2.79/2.97 c 2160 9051 6184003 714385 15 920 19 25 20 2.79/2.98 c 2170 9101 6213060 717490 15 928 24 29 24 2.79/2.99 c 2180 9143 6245510 720908 15 932 21 21 19 2.79/3.00 c 2190 9182 6273168 724088 15 935 14 18 14 2.79/3.00 c 2200 9228 6300351 726929 15 939 21 27 22 2.90/3.01 c 2210 9262 6327360 730450 15 945 14 18 14 2.90/3.02 c 2220 9299 6355861 733672 15 948 16 18 15 2.90/3.03 c 2230 9341 6380615 736487 15 953 21 27 21 2.90/3.04 c 2240 9382 6408921 739946 15 957 14 19 15 2.90/3.04 c 2250 9428 6437303 742723 15 959 21 27 23 2.90/3.05 c 2260 9465 6460533 745719 15 967 11 23 18 2.90/3.06 c 2270 9501 6488334 749085 15 971 9 20 15 2.90/3.07 c 2280 9542 6520197 752509 15 976 16 16 14 2.90/3.07 c 2290 9584 6550712 755552 15 981 24 27 22 2.90/3.08 c 2300 9618 6576362 758640 15 983 17 19 16 2.90/3.09 c 2310 9653 6601167 761901 15 990 12 24 19 2.90/3.10 c 2320 9699 6634615 765133 15 992 22 27 22 3.00/3.11 c 2330 9743 6663620 768395 15 998 11 27 21 3.00/3.11 c 2340 9780 6688890 771540 15 1008 20 27 21 3.00/3.12 c 2350 9823 6720751 774518 15 1011 20 23 19 3.00/3.13 c 2360 9868 6749713 777654 15 1013 19 22 19 3.00/3.14 c 2370 9911 6777520 780684 15 1016 24 26 22 3.00/3.15 c 2380 9951 6804801 783604 15 1020 24 26 22 3.00/3.15 c 2390 9994 6835479 787062 15 1027 20 23 20 3.00/3.16 c 2400 10028 6863638 790173 15 1029 15 17 14 3.00/3.17 c 2410 10067 6890246 793187 15 1034 25 27 23 3.00/3.18 c 2420 10103 6912939 796119 15 1040 18 24 19 3.00/3.18 c 2430 10154 6945502 799223 15 1043 25 25 22 3.00/3.19 c 2431 10179 6963375 801403 15 1044 25 25 12 3.09/3.20 c 2440 10217 6987162 804127 15 1049 19 27 21 3.09/3.21 c 2450 10259 7019492 808072 15 1052 13 14 12 3.09/3.22 c 2460 10300 7049049 811200 15 1058 17 20 17 3.09/3.22 c 2470 10341 7080760 814961 15 1062 14 17 15 3.09/3.23 c 2480 10385 7107461 817746 15 1063 27 30 25 3.09/3.24 c 2490 10409 7128980 821105 15 1066 8 10 8 3.09/3.25 c 2500 10456 7163946 824286 15 1070 21 23 20 3.09/3.26 c 2510 10497 7193425 827258 15 1076 26 27 24 3.09/3.26 c 2520 10534 7214617 830011 15 1084 23 27 23 3.09/3.27 c 2530 10574 7238206 832857 15 1089 19 23 19 3.09/3.28 c 2540 10606 7263407 835985 15 1094 12 21 17 3.09/3.28 c 2550 10655 7294798 839169 15 1100 21 26 22 3.09/3.29 c 2560 10696 7326431 842365 15 1102 17 17 15 3.19/3.30 c 2570 10744 7357791 845349 15 1106 24 31 23 3.19/3.31 c 2580 10788 7385652 848303 15 1111 21 25 21 3.19/3.32 c 2590 10835 7415840 851422 15 1114 19 25 20 3.19/3.32 c 2600 10872 7438352 854266 15 1122 23 26 22 3.19/3.33 c 2610 10920 7470670 857861 15 1130 19 23 19 3.19/3.34 c 2620 10957 7497269 860853 15 1134 17 18 16 3.19/3.35 c 2630 10999 7524414 863792 15 1139 20 26 21 3.19/3.36 c 2640 11055 7556311 866899 15 1143 27 31 25 3.19/3.36 c 2650 11094 7587793 870318 15 1145 16 17 15 3.19/3.37 c 2660 11138 7619017 873383 15 1150 22 25 21 3.19/3.38 c 2670 11175 7643792 876213 15 1154 18 24 19 3.19/3.39 c 2680 11209 7667403 879011 15 1159 20 23 19 3.19/3.39 c 2690 11252 7699341 882333 15 1163 16 16 14 3.29/3.40 c 2700 11295 7725431 885242 15 1168 19 26 21 3.29/3.41 c 2710 11333 7755643 888615 15 1173 19 22 18 3.29/3.42 c 2720 11367 7781480 891748 15 1176 15 18 15 3.29/3.43 c 2730 11437 7819913 895129 15 1181 19 29 23 3.29/3.43 c 2740 11474 7851960 898712 15 1186 12 15 13 3.29/3.44 c 2750 11524 7885721 901864 15 1188 22 23 20 3.29/3.45 c 2760 11567 7915723 905075 15 1194 17 20 17 3.29/3.46 c 2770 11607 7941488 907961 15 1195 24 28 23 3.29/3.46 c 2771 11621 7952723 909883 15 1196 14 14 7 3.29/3.47 c 2780 11663 7982089 912966 15 1200 21 25 20 3.29/3.48 c 2790 11703 8011269 916020 15 1205 11 27 22 3.29/3.49 c 2800 11750 8042116 919375 15 1209 22 27 22 3.39/3.50 c 2810 11784 8072656 923244 15 1213 10 11 9 3.39/3.51 c 2820 11819 8097970 926337 15 1222 20 25 20 3.39/3.51 c 2830 11851 8121120 929299 15 1225 15 18 15 3.39/3.52 c 2840 11890 8146942 932342 15 1231 23 26 22 3.39/3.53 c 2850 11936 8179032 935807 15 1234 14 17 14 3.39/3.54 c 2860 11981 8207884 938919 15 1238 11 31 25 3.39/3.55 c 2870 12018 8228969 941582 15 1246 14 25 20 3.39/3.55 c 2880 12061 8258354 944679 15 1249 25 27 23 3.39/3.56 c 2890 12104 8285344 947561 15 1255 23 28 24 3.39/3.57 c 2900 12146 8314199 950703 15 1258 23 27 22 3.39/3.58 c 2910 12189 8341936 953536 15 1262 24 28 24 3.39/3.58 c 2920 12219 8364458 956799 15 1264 10 12 10 3.39/3.59 c 2930 12267 8391522 959739 15 1267 25 28 24 3.49/3.60 c 2940 12313 8425494 963051 15 1271 21 25 21 3.49/3.61 c 2950 12361 8455813 966139 15 1274 26 28 24 3.49/3.62 c 2960 12401 8480684 968850 15 1278 21 26 22 3.49/3.62 c 2970 12446 8508942 971735 15 1283 28 30 26 3.49/3.63 c 2980 12483 8538760 975129 15 1288 14 18 15 3.49/3.64 c 2990 12522 8566268 978164 15 1291 17 18 15 3.49/3.65 c 3000 12567 8595596 981602 15 1298 9 25 19 3.49/3.65 c 3010 12603 8618796 984314 15 1305 19 23 20 3.49/3.66 c 3020 12642 8647300 987392 15 1309 18 18 16 3.49/3.67 c 3030 12681 8678390 990835 15 1312 12 16 13 3.49/3.68 c 3040 12755 8711819 994023 15 1314 23 30 25 3.49/3.69 c 3050 12789 8737244 997341 15 1317 14 17 14 3.49/3.69 c 3060 12828 8762158 1000089 15 1323 25 28 23 3.59/3.70 c 3070 12882 8792534 1003082 15 1329 23 30 24 3.59/3.71 c 3080 12906 8813391 1006487 15 1331 8 10 8 3.59/3.72 c 3090 12956 8845646 1009698 15 1333 23 29 23 3.59/3.73 c 3100 12996 8872832 1012751 15 1337 14 21 18 3.59/3.73 c 3110 13035 8894715 1016083 15 1340 9 26 15 3.59/3.74 c 3120 13075 8923280 1019181 15 1345 19 23 19 3.59/3.75 c 3130 13113 8946526 1021933 15 1349 21 28 22 3.59/3.76 c 3140 13168 8979998 1025015 15 1353 24 28 24 3.59/3.76 c 3142 13192 8997359 1027248 15 1355 19 23 14 3.59/3.77 c 3150 13229 9020721 1029972 15 1362 11 28 21 3.59/3.78 c 3160 13268 9046359 1033032 15 1368 11 27 21 3.59/3.79 c 3170 13315 9072827 1035922 15 1372 19 26 21 3.59/3.79 c 3180 13361 9098462 1038843 15 1375 23 28 23 3.69/3.80 c 3190 13407 9126443 1041673 15 1380 19 23 19 3.69/3.81 c 3200 13451 9156771 1044571 15 1385 21 24 21 3.69/3.82 c 3210 13488 9184022 1047616 15 1386 20 25 21 3.69/3.82 c 3220 13528 9211526 1050745 15 1391 14 17 14 3.69/3.83 c 3230 13567 9237751 1053788 15 1392 25 26 22 3.69/3.84 c 3240 13595 9258818 1056904 15 1394 9 12 10 3.69/3.85 c 3250 13643 9285549 1059688 15 1399 23 29 24 3.69/3.86 c 3260 13686 9315048 1062742 15 1403 24 27 23 3.69/3.86 c 3270 13741 9347598 1065932 15 1409 26 32 27 3.69/3.87 c 3280 13786 9378301 1068993 15 1412 23 26 22 3.69/3.88 c 3290 13826 9410666 1072610 15 1416 15 17 15 3.69/3.89 c 3300 13869 9440444 1075694 15 1420 15 24 19 3.79/3.90 c 3310 13908 9469889 1078838 15 1426 23 25 21 3.79/3.90 c 3320 13946 9493081 1081657 15 1431 21 25 21 3.79/3.91 c 3330 13980 9522163 1084911 15 1436 16 20 16 3.79/3.92 c 3340 14024 9550608 1088058 15 1441 21 26 22 3.79/3.93 c 3350 14062 9579432 1091325 15 1443 14 16 14 3.79/3.94 c 3360 14106 9609556 1095053 15 1449 13 25 18 3.79/3.94 c 3370 14145 9633106 1097861 15 1456 25 29 23 3.79/3.95 c 3380 14176 9658547 1101322 15 1459 9 11 9 3.79/3.96 c 3390 14221 9686359 1104165 15 1466 23 26 22 3.79/3.97 c 3400 14260 9714111 1107732 15 1473 14 18 15 3.79/3.97 c 3410 14300 9744168 1111147 15 1476 23 25 21 3.79/3.98 c 3420 14340 9775635 1114836 15 1481 10 25 20 3.79/3.99 c 3430 14377 9803573 1118185 15 1485 14 18 15 3.79/4.00 c 3440 14416 9832567 1121295 15 1489 16 18 15 3.90/4.01 c 3450 14451 9858087 1124599 15 1496 14 19 14 3.90/4.01 c 3460 14490 9887233 1127694 15 1500 16 18 15 3.90/4.02 c 3470 14537 9919269 1131137 15 1505 14 25 21 3.90/4.03 c 3480 14582 9950978 1134233 15 1512 22 29 23 3.90/4.04 c 3490 14620 9974624 1137139 15 1516 22 28 24 3.90/4.05 c 3500 14671 10008129 1140329 15 1521 22 26 22 3.90/4.05 c 3510 14705 10031501 1143403 15 1526 14 19 15 3.90/4.06 c 3520 14746 10062705 1146747 15 1527 17 20 17 3.90/4.07 c 3530 14794 10093995 1149896 15 1529 25 27 23 3.90/4.08 c 3540 14839 10123876 1153323 15 1533 17 20 16 3.90/4.09 c 3550 14877 10152334 1156143 15 1534 23 25 22 3.90/4.09 c 3551 14885 10161523 1158147 15 1535 8 8 4 3.90/4.10 c 3560 14927 10189505 1161155 15 1542 23 27 22 4.00/4.11 c 3570 14970 10219254 1164230 15 1545 25 27 23 4.00/4.11 c 3580 15014 10249283 1167590 15 1549 11 26 21 4.00/4.12 c 3590 15051 10272268 1170978 15 1555 10 25 14 4.00/4.13 c 3600 15097 10301972 1174208 15 1562 25 28 24 4.00/4.14 c 3610 15136 10329239 1177398 15 1566 15 17 15 4.00/4.15 c 3620 15175 10356391 1180531 15 1571 23 26 22 4.00/4.15 c 3630 15218 10387438 1183644 15 1576 25 28 24 4.00/4.16 c 3640 15265 10417016 1186607 15 1579 25 29 25 4.00/4.17 c 3650 15301 10440700 1189241 15 1587 14 23 19 4.00/4.18 c 3660 15345 10469392 1192395 15 1590 22 27 23 4.00/4.18 c 3670 15385 10496680 1195419 15 1597 24 27 22 4.00/4.19 c 3680 15425 10526141 1198600 15 1602 19 20 18 4.09/4.20 c 3690 15463 10551655 1201595 15 1607 23 26 22 4.09/4.21 c 3700 15507 10578307 1204604 15 1609 22 26 22 4.09/4.22 c 3710 15549 10605748 1207666 15 1612 23 26 22 4.09/4.22 c 3720 15587 10631031 1210669 15 1613 25 25 22 4.09/4.23 c 3730 15613 10652534 1213707 15 1616 9 11 9 4.09/4.24 c 3740 15655 10685338 1217270 15 1621 19 23 19 4.09/4.25 c 3750 15703 10719768 1220372 15 1624 25 29 24 4.09/4.26 c 3760 15749 10749013 1223382 15 1629 22 26 22 4.09/4.26 c 3770 15792 10778909 1226418 15 1632 22 25 21 4.09/4.27 c 3780 15841 10812840 1229845 15 1634 25 27 24 4.09/4.28 c 3790 15891 10841487 1232894 15 1639 25 30 25 4.09/4.29 c 3800 15930 10864215 1236268 15 1643 13 26 18 4.09/4.29 c 3810 15977 10891298 1239087 15 1644 23 31 23 4.19/4.30 c 3820 16016 10918890 1242256 15 1648 15 17 15 4.19/4.31 c 3830 16062 10949273 1245238 15 1651 22 25 21 4.19/4.32 c 3840 16104 10979513 1248673 15 1654 13 18 14 4.19/4.33 c 3850 16156 11009464 1251679 15 1655 23 29 24 4.19/4.34 c 3860 16198 11041462 1254945 15 1656 19 19 17 4.19/4.34 c 3870 16246 11075020 1258330 15 1659 24 31 24 4.19/4.35 c 3880 16288 11103632 1261480 15 1660 21 26 21 4.19/4.36 c 3890 16335 11137306 1264906 15 1665 22 25 21 4.19/4.37 c 3900 16374 11166937 1268224 15 1667 14 16 14 4.19/4.38 c 3910 16408 11189179 1270985 15 1677 22 25 21 4.19/4.38 c 3920 16453 11220192 1274061 15 1682 22 26 22 4.19/4.39 c 3930 16495 11246757 1276946 15 1688 23 28 23 4.29/4.40 c 3940 16535 11276389 1280282 15 1691 14 16 14 4.29/4.41 c 3950 16576 11301344 1283052 15 1698 23 29 23 4.29/4.42 c 3960 16619 11330209 1286064 15 1702 25 27 23 4.29/4.42 c 3970 16657 11358774 1289150 15 1706 17 18 16 4.29/4.43 c 3980 16697 11386490 1292070 15 1708 22 26 21 4.29/4.44 c 3990 16736 11412806 1294886 15 1712 24 28 23 4.29/4.45 c 4000 16778 11441908 1297942 15 1718 20 25 21 4.29/4.45 c 4001 16801 11458927 1300134 15 1719 23 23 11 4.29/4.46 c 4010 16842 11485418 1303064 15 1723 21 27 22 4.29/4.47 c 4020 16880 11515998 1306470 15 1728 14 18 15 4.29/4.48 c 4030 16918 11545894 1309625 15 1729 18 20 17 4.29/4.48 c 4040 16963 11574671 1312682 15 1734 26 28 24 4.29/4.49 c 4050 17005 11606227 1315821 15 1741 20 25 20 4.39/4.50 c 4060 17043 11634167 1318964 15 1745 16 17 15 4.39/4.51 c 4070 17091 11665023 1322262 15 1750 24 27 23 4.39/4.52 c 4080 17133 11691823 1325080 15 1757 22 26 21 4.39/4.52 c 4090 17173 11717615 1328238 15 1762 11 26 21 4.39/4.53 c 4100 17223 11747238 1331244 15 1767 24 29 24 4.39/4.54 c 4110 17263 11772940 1334198 15 1772 25 28 23 4.39/4.55 c 4120 17313 11800876 1337476 15 1778 15 26 22 4.39/4.55 c 4130 17347 11823639 1340176 15 1784 21 24 20 4.39/4.56 c 4140 17394 11852967 1343310 15 1788 23 29 24 4.39/4.57 c 4150 17427 11878388 1346612 15 1791 15 18 14 4.39/4.58 c 4160 17474 11909957 1349757 15 1797 22 26 22 4.39/4.59 c 4170 17516 11938912 1353075 15 1801 16 20 16 4.39/4.59 c 4180 17560 11967334 1356141 15 1806 23 27 22 4.49/4.60 c 4190 17604 11993896 1359035 15 1811 27 28 24 4.49/4.61 c 4200 17640 12020182 1362133 15 1812 16 18 15 4.49/4.62 c 4210 17672 12052463 1366236 15 1816 8 9 8 4.49/4.63 c 4220 17715 12081241 1369259 15 1820 24 26 23 4.49/4.63 c 4230 17760 12109641 1372425 15 1828 14 24 19 4.49/4.64 c 4240 17797 12132063 1375143 15 1831 20 27 21 4.49/4.65 c 4250 17845 12159833 1378413 15 1837 17 28 18 4.49/4.66 c 4260 17880 12185439 1381492 15 1840 15 18 15 4.49/4.66 c 4270 17927 12215684 1384856 15 1843 14 24 20 4.49/4.67 c 4280 17971 12245133 1387936 15 1847 21 22 19 4.49/4.68 c 4290 18009 12272979 1390809 15 1853 21 25 21 4.49/4.69 c 4300 18048 12298052 1393669 15 1857 24 28 23 4.49/4.70 c 4310 18073 12316726 1397338 15 1864 9 12 9 4.59/4.70 c 4320 18120 12342793 1400194 15 1866 17 28 23 4.59/4.71 c 4330 18159 12367722 1403063 15 1873 20 27 20 4.59/4.72 c 4340 18218 12400564 1405978 15 1876 18 30 23 4.59/4.73 c 4350 18266 12430867 1409242 15 1878 18 19 17 4.59/4.74 c 4360 18312 12463743 1412342 15 1882 25 27 23 4.59/4.74 c 4370 18347 12485558 1415422 15 1892 13 25 18 4.59/4.75 c 4380 18389 12510541 1418348 15 1897 24 28 24 4.59/4.76 c 4390 18432 12535704 1421189 15 1903 18 22 19 4.59/4.77 c 4400 18476 12565697 1424441 15 1907 23 26 22 4.59/4.77 c 4410 18523 12598617 1427988 15 1911 24 26 22 4.59/4.78 c 4420 18564 12628910 1431259 15 1913 22 24 21 4.59/4.79 c 4430 18605 12659369 1434537 15 1917 24 27 22 4.69/4.80 c 4440 18649 12687327 1437383 15 1920 24 27 23 4.69/4.81 c 4450 18692 12715349 1440535 15 1923 19 23 19 4.69/4.81 c 4460 18729 12742767 1443539 15 1924 17 19 16 4.69/4.82 c 4470 18778 12772160 1446600 15 1930 24 27 23 4.69/4.83 c 4480 18819 12801346 1449643 15 1933 23 27 22 4.69/4.84 c 4490 18858 12827685 1452725 15 1934 24 28 22 4.69/4.84 c 4493 18882 12845911 1455035 15 1936 20 22 15 4.69/4.85 c 4500 18919 12872331 1457931 15 1940 20 24 20 4.69/4.86 c 4510 18957 12897342 1460797 15 1946 19 23 19 4.69/4.87 c 4520 18995 12922207 1463693 15 1953 15 26 21 4.69/4.87 c 4530 19035 12948040 1466588 15 1959 22 25 21 4.69/4.88 c 4540 19073 12972689 1469617 15 1966 20 27 21 4.69/4.89 c 4550 19115 13000854 1472540 15 1969 26 28 24 4.79/4.90 c 4560 19167 13034213 1475981 15 1974 20 27 22 4.79/4.91 c 4570 19210 13064420 1478974 15 1977 24 26 22 4.79/4.91 c 4580 19252 13096203 1482347 15 1981 25 27 23 4.79/4.92 c 4590 19293 13124587 1485383 15 1986 25 27 23 4.79/4.93 c 4600 19335 13149767 1488301 15 1988 15 27 21 4.79/4.94 c 4610 19365 13177286 1492211 15 1991 8 11 8 4.79/4.95 c 4620 19409 13207577 1495203 15 1993 24 26 22 4.79/4.95 c 4630 19444 13228711 1497770 15 1999 19 22 19 4.79/4.96 c 4640 19488 13256568 1500768 15 2002 22 29 23 4.79/4.97 c 4650 19524 13287446 1504625 15 2004 10 11 9 4.79/4.98 c 4660 19564 13312315 1507501 15 2010 22 27 22 4.79/4.98 c 4670 19602 13340610 1510739 15 2014 15 16 13 4.79/4.99 c 4680 19648 13374634 1514158 15 2017 24 27 23 4.79/5.00 c 4690 19690 13400968 1516902 15 2020 24 29 24 4.89/5.01 c 4700 19727 13429982 1520041 15 2025 14 23 18 4.89/5.02 c 4710 19762 13449614 1522693 15 2034 16 22 17 4.89/5.02 c 4720 19799 13471502 1525455 15 2037 14 27 21 4.89/5.03 c 4730 19839 13495537 1528383 15 2043 23 26 22 4.89/5.04 c 4740 19879 13522888 1531367 15 2049 21 25 20 4.89/5.05 c 4750 19922 13550640 1534284 15 2053 25 29 24 4.89/5.05 c 4760 19965 13576196 1537050 15 2057 24 27 23 4.89/5.06 c 4770 20004 13601657 1539974 15 2060 21 27 22 4.89/5.07 c 4780 20041 13624123 1542719 15 2068 21 27 22 4.89/5.08 c 4790 20083 13653145 1545673 15 2072 24 28 23 4.89/5.08 c 4800 20122 13681882 1549226 15 2078 14 19 15 4.89/5.09 c 4810 20167 13709403 1551996 15 2082 28 30 26 4.89/5.10 c 4820 20213 13740234 1555171 15 2085 25 28 24 4.99/5.11 c 4830 20257 13767845 1558138 15 2089 22 27 21 4.99/5.12 c 4840 20302 13797538 1561238 15 2095 24 29 24 4.99/5.13 c 4850 20351 13828482 1564348 15 2097 23 27 23 4.99/5.13 c 4860 20397 13858687 1567389 15 2099 27 28 24 4.99/5.14 c 4870 20434 13887099 1570919 15 2105 14 19 14 4.99/5.15 c 4880 20481 13918116 1574144 15 2108 21 26 22 4.99/5.16 c 4890 20528 13948786 1577143 15 2111 18 22 19 4.99/5.17 c 4900 20566 13978708 1580306 15 2112 20 21 18 4.99/5.17 c 4910 20610 14006685 1583256 15 2116 25 28 24 4.99/5.18 c 4920 20648 14033388 1586515 15 2120 14 18 15 4.99/5.19 c 4930 20690 14064735 1589800 15 2124 24 27 23 5.09/5.20 c 4940 20729 14091771 1592610 15 2127 18 20 17 5.09/5.21 c 4950 20771 14124115 1596101 15 2130 14 18 15 5.09/5.21 c 4960 20813 14153132 1599226 15 2136 17 20 17 5.09/5.22 c 4970 20854 14180890 1602136 15 2142 22 25 21 5.09/5.23 c 4980 20896 14207493 1604941 15 2145 25 27 23 5.09/5.24 c 4990 20941 14238156 1608081 15 2146 27 28 25 5.09/5.25 c 5035 21058 14323856 1617276 15 2164 14 19 16 5.19/5.32 c 5631 22400 15013378 1668513 15 2179 19 33 26 5.29/5.40 c 6286 23999 15842244 1730683 15 2195 21 34 27 5.39/5.57 c 7006 25905 17023259 1863903 15 2206 8 17 13 5.49/5.66 c 7798 27976 18035490 1940765 15 2220 21 32 26 5.58/5.76 c 8669 30106 19079717 2023541 15 2231 20 33 26 5.68/5.86 c 9627 32580 20114952 2097214 15 2246 19 33 27 5.89/6.05 c 10680 35214 21633495 2240473 15 2258 7 28 18 6.08/6.21 c 11838 38011 23170540 2363983 15 2268 10 28 22 6.18/6.39 c 13111 42235 25102374 2510451 15 2286 16 34 25 6.38/6.58 c 14511 45862 27051658 2660284 15 2300 15 29 24 6.58/6.77 c 16051 49591 28973547 2809827 15 2314 17 35 26 6.78/6.99 c 17745 53891 31029137 2987670 15 2339 15 28 22 7.08/7.20 c 19608 58397 33303000 3162220 15 2360 18 35 26 7.38/7.52 c 21657 63860 36411232 3410206 15 2370 13 29 22 7.58/7.77 c 23910 69105 39076566 3618357 15 2392 16 32 24 7.99/8.14 c 26388 76159 42737520 3887266 15 2406 16 29 23 8.29/8.48 c 29113 83789 46396769 4154262 15 2422 12 38 27 8.79/8.93 c 32110 91255 50673961 4518575 15 2438 13 29 20 9.19/9.32 c 35406 99866 54926715 4824522 15 2456 16 38 27 9.69/9.83 c 39031 109796 60235540 5226280 15 2469 12 35 24 10.19/10.31 c 43018 120677 65488555 5604727 15 2512 15 34 25 10.69/10.89 c 47403 134150 72103365 6053915 15 2534 15 35 26 11.29/11.42 c 52226 147510 78027922 6492144 15 2554 18 38 27 12.09/12.28 c 57531 162755 85357483 7138882 15 2587 10 27 19 12.90/13.01 c 63366 178379 93153182 7760185 15 2610 15 33 24 13.69/13.84 c 69784 194923 101250183 8469561 15 2624 10 32 22 14.49/14.68 c 76843 214012 110427192 9152744 15 2645 14 38 26 15.59/15.75 c 84607 237155 121918744 10018414 15 2670 16 40 26 16.59/16.70 c 93147 260799 132380060 10761652 15 2692 19 39 29 18.00/18.11 c 102541 288499 146036687 11815176 15 2701 7 32 22 19.19/19.31 c 112874 316783 159126078 12765941 15 2714 19 39 28 20.49/20.65 c 124240 348315 173564488 13859530 15 2740 15 39 27 22.09/22.21 c 136742 383813 190271264 15107999 15 2764 14 37 26 23.79/23.92 c 150494 422576 208775844 16509277 15 2781 15 36 27 25.49/25.68 c 165621 466737 227667302 17874577 15 2810 15 36 27 28.59/28.78 c 182260 515945 256197751 20118430 15 2822 10 27 18 30.69/30.88 c 200562 562677 278964405 21856069 15 2845 15 36 24 33.09/33.28 c 220694 616332 303861968 23817999 15 2857 12 39 27 36.08/36.25 c 242839 685463 335561764 26078309 15 2880 14 41 25 39.58/39.72 c 267198 763784 370947843 28608050 15 2902 11 39 21 43.28/43.40 c 293992 847856 411381651 31539384 15 2929 12 41 24 48.78/48.95 c 323465 935610 459011930 35424675 15 2954 8 26 17 52.58/52.73 c 355885 1018915 499845743 38652672 15 2979 15 38 24 56.89/57.06 c 391547 1114366 547344292 42212705 15 2994 14 34 26 61.68/61.83 c 430775 1222354 598904696 46233323 15 3014 13 41 26 66.89/67.01 c 473925 1341226 657655396 50521373 15 3026 17 39 26 72.89/73.09 c 521390 1478427 724800516 55578040 15 3050 12 40 26 79.18/79.33 c 573601 1631795 792546526 60554190 15 3067 13 37 26 85.48/85.66 c 631033 1786859 864409165 65869055 15 3089 18 38 27 93.08/93.20 c 694208 1965075 949010481 72076006 15 3107 14 38 27 101.28/101.45 c 763700 2151302 1036828985 78957549 15 3162 15 38 26 104.38/104.58 c solution 1 104.38/104.58 104.38/104.58 v <instantiation type='solution'> 104.38/104.58 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> 104.38/104.58 v <values>16 12 17 2 15 0 9 4 13 18 3 8 21 30 25 20 5 10 1 14 29 42 37 24 19 6 11 16 7 22 35 44 31 26 41 46 33 48 39 34 47 32 27 40 45 36 23 28 43 38 </values> 104.38/104.58 v </instantiation> 104.38/104.58 104.38/104.58 c restarts : 569 104.38/104.58 c conflicts : 788936 (7553 /sec) 104.38/104.58 c decisions : 2221715 (21270 /sec) 104.38/104.58 c propagations : 81512194 (780384 /sec) 104.38/104.58 c root propagations : 45 104.38/104.58 c filter calls : 1072057260 (10263692 /sec) 104.38/104.58 c useless filter calls : 1014468918 (94 %) 104.38/104.58 c 104.38/104.58 c clauses : 60881 104.38/104.58 c SAT propagations : 1004 104.38/104.58 c SAT conflicts : 0 (0 learnts) 104.38/104.58 c Memory used : 33.86 MB 104.38/104.58 c CPU time : 104.451 s 104.38/104.58 104.38/104.58 s SATISFIABLE
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15292 MiB free)
memory of node 1: 16384 MiB (15548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266285-1502578849/watcher-4266285-1502578849 -o /tmp/evaluation-result-4266285-1502578849/solver-4266285-1502578849 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12623 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266285-1502578849.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16755, runsolver pid=16752
[startup+0.100061 s]*
/proc/loadavg: 2.00 2.03 2.05 2/181 16756
/proc/meminfo: memFree=31580740/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=27132 memory=3064 CPUtime=0 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 60080310 27783168 766 18446744073709551615 4194304 5972588 140728779826784 140728779823432 5394975 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 6783 766 683 435 0 146 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27132 KiB
Current children cumulated memory: 3064 KiB
[startup+0.209324 s]*
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31580428/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=27256 memory=3536 CPUtime=0.11 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 1045 0 0 0 11 0 0 0 20 0 1 0 60080310 27910144 884 18446744073709551615 4194304 5972588 140728779826784 140728779823432 139703811882080 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 6814 884 750 435 0 177 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27256 KiB
Current children cumulated memory: 3536 KiB
[startup+0.308803 s]*
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31580052/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=27256 memory=3536 CPUtime=0.21 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 1061 0 0 0 21 0 0 0 20 0 1 0 60080310 27910144 884 18446744073709551615 4194304 5972588 140728779826784 140728779823432 139703811441687 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 6814 884 750 435 0 177 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27256 KiB
Current children cumulated memory: 3536 KiB
[startup+0.70022 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31579680/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=27500 memory=3780 CPUtime=0.59 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 1124 0 0 0 59 0 0 0 20 0 1 0 60080310 28160000 945 18446744073709551615 4194304 5972588 140728779826784 140728779810504 139703812190974 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 6875 945 750 435 0 238 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 27500 KiB
Current children cumulated memory: 3780 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31580404/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34536 memory=8808 CPUtime=1.39 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 1896 0 0 0 139 0 0 0 20 0 1 0 60080310 35364864 2202 18446744073709551615 4194304 5972588 140728779826784 140728779810504 5070704 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8634 2202 835 435 0 1997 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 8808 KiB
[startup+3.10899 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31575932/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34536 memory=9012 CPUtime=3 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 2634 0 0 0 300 0 0 0 20 0 1 0 60080310 35364864 2253 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5071952 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8634 2253 838 435 0 1997 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 9012 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31576084/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9080 CPUtime=6.18 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 3404 0 0 0 618 0 0 0 20 0 1 0 60080310 35500032 2270 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5077461 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2270 838 435 0 2030 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9080 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31575820/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9116 CPUtime=12.59 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 4168 0 0 0 1258 1 0 0 20 0 1 0 60080310 35500032 2279 18446744073709551615 4194304 5972588 140728779826784 140728779824088 4908847 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2279 838 435 0 2030 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9116 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16756
/proc/meminfo: memFree=31576272/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9140 CPUtime=25.39 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 5675 0 0 0 2538 1 0 0 20 0 1 0 60080310 35500032 2285 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5070984 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2285 838 435 0 2030 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9140 KiB
[startup+51.1088 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 16757
/proc/meminfo: memFree=31576568/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9216 CPUtime=50.99 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6016 0 0 0 5098 1 0 0 20 0 1 0 60080310 35500032 2304 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5240528 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2304 838 435 0 2030 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9216 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16758
/proc/meminfo: memFree=31577340/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9220 CPUtime=102.18 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6344 0 0 0 10217 1 0 0 20 0 1 0 60080310 35500032 2305 18446744073709551615 4194304 5972588 140728779826784 140728779824088 4900736 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2305 838 435 0 2030 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9220 KiB
[startup+104.582 s]
# the end of solver process 16755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=104.452 s, system=0.014998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16758
/proc/meminfo: memFree=31577340/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9220 CPUtime=102.28 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6344 0 0 0 10227 1 0 0 20 0 1 0 60080310 35500032 2305 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5070704 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2305 838 435 0 2030 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9220 KiB
[startup+103.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16758
/proc/meminfo: memFree=31577340/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9220 CPUtime=103.08 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6344 0 0 0 10307 1 0 0 20 0 1 0 60080310 35500032 2305 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5071761 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2305 838 435 0 2030 0
Current children cumulated CPU time: 103.08 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9220 KiB
[startup+104 s]*
/proc/loadavg: 2.00 2.02 2.05 3/181 16758
/proc/meminfo: memFree=31577340/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9220 CPUtime=103.88 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6344 0 0 0 10387 1 0 0 20 0 1 0 60080310 35500032 2305 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5071761 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2305 838 435 0 2030 0
Current children cumulated CPU time: 103.88 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9220 KiB
[startup+104.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16758
/proc/meminfo: memFree=31577340/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9220 CPUtime=104.28 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6344 0 0 0 10427 1 0 0 20 0 1 0 60080310 35500032 2305 18446744073709551615 4194304 5972588 140728779826784 140728779824088 5071818 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2305 838 435 0 2030 0
Current children cumulated CPU time: 104.28 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9220 KiB
[startup+104.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16758
/proc/meminfo: memFree=31577340/32770624 swapFree=67105588/67108860
[pid=16755] ppid=16752 vsize=34668 memory=9220 CPUtime=104.38 cores=0,2,4,6
/proc/16755/stat : 16755 (cosoco) R 16752 16755 12560 0 -1 4202496 6344 0 0 0 10437 1 0 0 20 0 1 0 60080310 35500032 2305 18446744073709551615 4194304 5972588 140728779826784 140728779824088 4908847 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 24354816 140728779829700 140728779829800 140728779829800 140728779833294 0
/proc/16755/statm: 8667 2305 838 435 0 2030 0
Current children cumulated CPU time: 104.38 s
Current children cumulated vsize: 34668 KiB
Current children cumulated memory: 9220 KiB
Child status: 0
Real time (s): 104.582
CPU time (s): 104.467
CPU user time (s): 104.452
CPU system time (s): 0.014998
CPU usage (%): 99.8901
Max. virtual memory (cumulated for all children) (KiB): 34668
Max. memory (cumulated for all children) (KiB): 9220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.452
system time used= 0.014998
maximum resident set size= 9300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 143
# summary of solver processes directly reported to runsolver:
# pid: 16755
# total CPU time (s): 104.467
# total CPU user time (s): 104.452
# total CPU system time (s): 0.014998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.438417 second user time and 0.75222 second system time
The end
Begin job on node126 at 2017-08-13 00:46:47 IDJOB=4266285 IDBENCH=130602 IDSOLVER=2655 FILE ID=node126/4266285-1502578849 RUNJOBID= node126-1502565162-12623 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-07_X2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266285-1502578849/watcher-4266285-1502578849 -o /tmp/evaluation-result-4266285-1502578849/solver-4266285-1502578849 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12623 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266285-1502578849.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= be036177e118ca84375e398cb8709600 RANDOM SEED=704065563 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31580740 kB MemAvailable: 31919436 kB Buffers: 233076 kB Cached: 376988 kB SwapCached: 524 kB Active: 599320 kB Inactive: 128396 kB Active(anon): 64848 kB Inactive(anon): 78044 kB Active(file): 534472 kB Inactive(file): 50352 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 2352 kB Writeback: 0 kB AnonPages: 117076 kB Mapped: 47000 kB Shmem: 25248 kB Slab: 165572 kB SReclaimable: 139412 kB SUnreclaim: 26160 kB KernelStack: 3264 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 387512 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2017-08-13 00:48:32