Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 8 | 2519.99 | 2520.01 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml |
| MD5SUM | 1f0f248e074ceb8e6b1804d1246bfc68 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 64 |
| Number of constraints | 728 |
| Number of domains | 1 |
| Minimum domain size | 64 |
| Maximum domain size | 64 |
| Distribution of domain sizes | [{"size":64,"count":64}] |
| Minimum variable degree | 22 |
| Maximum variable degree | 28 |
| Distribution of variable degrees | [{"degree":22,"count":28},{"degree":24,"count":20},{"degree":26,"count":12},{"degree":28,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":728}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 728 |
| Distribution of constraint types | [{"type":"intension","count":728}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.01 c intension x[0] != x[1] using generic constraint 0.00/0.01 c intension x[0] != x[2] using generic constraint 0.00/0.01 c intension x[0] != x[3] using generic constraint 0.00/0.01 c intension x[0] != x[4] using generic constraint 0.00/0.01 c intension x[0] != x[5] using generic constraint 0.00/0.01 c intension x[0] != x[6] using generic constraint 0.00/0.01 c intension x[0] != x[7] using generic constraint 0.00/0.01 c intension x[0] != x[8] using generic constraint 0.00/0.01 c intension x[0] != x[9] using generic constraint 0.00/0.02 c intension x[0] != x[16] using generic constraint 0.00/0.02 c intension x[0] != x[18] using generic constraint 0.00/0.02 c intension x[0] != x[24] using generic constraint 0.00/0.02 c intension x[0] != x[27] using generic constraint 0.00/0.02 c intension x[0] != x[32] using generic constraint 0.00/0.02 c intension x[0] != x[36] using generic constraint 0.00/0.02 c intension x[0] != x[40] using generic constraint 0.00/0.02 c intension x[0] != x[45] using generic constraint 0.00/0.02 c intension x[0] != x[48] using generic constraint 0.00/0.02 c intension x[0] != x[54] using generic constraint 0.00/0.02 c intension x[0] != x[56] using generic constraint 0.00/0.03 c intension x[0] != x[63] using generic constraint 0.00/0.03 c intension x[1] != x[2] using generic constraint 0.00/0.03 c intension x[1] != x[3] using generic constraint 0.00/0.03 c intension x[1] != x[4] using generic constraint 0.00/0.03 c intension x[1] != x[5] using generic constraint 0.00/0.03 c intension x[1] != x[6] using generic constraint 0.00/0.03 c intension x[1] != x[7] using generic constraint 0.00/0.03 c intension x[1] != x[8] using generic constraint 0.00/0.03 c intension x[1] != x[9] using generic constraint 0.00/0.03 c intension x[1] != x[10] using generic constraint 0.00/0.03 c intension x[1] != x[17] using generic constraint 0.00/0.04 c intension x[1] != x[19] using generic constraint 0.00/0.04 c intension x[1] != x[25] using generic constraint 0.00/0.04 c intension x[1] != x[28] using generic constraint 0.00/0.04 c intension x[1] != x[33] using generic constraint 0.00/0.04 c intension x[1] != x[37] using generic constraint 0.00/0.04 c intension x[1] != x[41] using generic constraint 0.00/0.04 c intension x[1] != x[46] using generic constraint 0.00/0.04 c intension x[1] != x[49] using generic constraint 0.00/0.04 c intension x[1] != x[55] using generic constraint 0.00/0.04 c intension x[1] != x[57] using generic constraint 0.00/0.04 c intension x[2] != x[3] using generic constraint 0.00/0.04 c intension x[2] != x[4] using generic constraint 0.00/0.05 c intension x[2] != x[5] using generic constraint 0.00/0.05 c intension x[2] != x[6] using generic constraint 0.00/0.05 c intension x[2] != x[7] using generic constraint 0.00/0.05 c intension x[2] != x[9] using generic constraint 0.00/0.05 c intension x[2] != x[10] using generic constraint 0.00/0.05 c intension x[2] != x[11] using generic constraint 0.00/0.05 c intension x[2] != x[16] using generic constraint 0.00/0.05 c intension x[2] != x[18] using generic constraint 0.00/0.05 c intension x[2] != x[20] using generic constraint 0.00/0.05 c intension x[2] != x[26] using generic constraint 0.00/0.05 c intension x[2] != x[29] using generic constraint 0.00/0.06 c intension x[2] != x[34] using generic constraint 0.00/0.06 c intension x[2] != x[38] using generic constraint 0.00/0.06 c intension x[2] != x[42] using generic constraint 0.00/0.06 c intension x[2] != x[47] using generic constraint 0.00/0.06 c intension x[2] != x[50] using generic constraint 0.00/0.06 c intension x[2] != x[58] using generic constraint 0.00/0.06 c intension x[3] != x[4] using generic constraint 0.00/0.06 c intension x[3] != x[5] using generic constraint 0.00/0.06 c intension x[3] != x[6] using generic constraint 0.00/0.06 c intension x[3] != x[7] using generic constraint 0.00/0.06 c intension x[3] != x[10] using generic constraint 0.00/0.06 c intension x[3] != x[11] using generic constraint 0.00/0.07 c intension x[3] != x[12] using generic constraint 0.00/0.07 c intension x[3] != x[17] using generic constraint 0.00/0.07 c intension x[3] != x[19] using generic constraint 0.00/0.07 c intension x[3] != x[21] using generic constraint 0.00/0.07 c intension x[3] != x[24] using generic constraint 0.00/0.07 c intension x[3] != x[27] using generic constraint 0.00/0.07 c intension x[3] != x[30] using generic constraint 0.00/0.07 c intension x[3] != x[35] using generic constraint 0.00/0.07 c intension x[3] != x[39] using generic constraint 0.00/0.07 c intension x[3] != x[43] using generic constraint 0.00/0.07 c intension x[3] != x[51] using generic constraint 0.00/0.08 c intension x[3] != x[59] using generic constraint 0.00/0.08 c intension x[4] != x[5] using generic constraint 0.00/0.08 c intension x[4] != x[6] using generic constraint 0.00/0.08 c intension x[4] != x[7] using generic constraint 0.00/0.08 c intension x[4] != x[11] using generic constraint 0.00/0.08 c intension x[4] != x[12] using generic constraint 0.00/0.08 c intension x[4] != x[13] using generic constraint 0.00/0.08 c intension x[4] != x[18] using generic constraint 0.00/0.08 c intension x[4] != x[20] using generic constraint 0.00/0.08 c intension x[4] != x[22] using generic constraint 0.00/0.08 c intension x[4] != x[25] using generic constraint 0.00/0.08 c intension x[4] != x[28] using generic constraint 0.00/0.09 c intension x[4] != x[31] using generic constraint 0.00/0.09 c intension x[4] != x[32] using generic constraint 0.00/0.09 c intension x[4] != x[36] using generic constraint 0.00/0.09 c intension x[4] != x[44] using generic constraint 0.00/0.09 c intension x[4] != x[52] using generic constraint 0.00/0.09 c intension x[4] != x[60] using generic constraint 0.00/0.09 c intension x[5] != x[6] using generic constraint 0.00/0.09 c intension x[5] != x[7] using generic constraint 0.00/0.09 c intension x[5] != x[12] using generic constraint 0.00/0.09 c intension x[5] != x[13] using generic constraint 0.00/0.09 c intension x[5] != x[14] using generic constraint 0.00/0.10 c intension x[5] != x[19] using generic constraint 0.00/0.10 c intension x[5] != x[21] using generic constraint 0.00/0.10 c intension x[5] != x[23] using generic constraint 0.00/0.10 c intension x[5] != x[26] using generic constraint 0.00/0.10 c intension x[5] != x[29] using generic constraint 0.00/0.10 c intension x[5] != x[33] using generic constraint 0.00/0.10 c intension x[5] != x[37] using generic constraint 0.00/0.10 c intension x[5] != x[40] using generic constraint 0.00/0.10 c intension x[5] != x[45] using generic constraint 0.00/0.11 c intension x[5] != x[53] using generic constraint 0.10/0.11 c intension x[5] != x[61] using generic constraint 0.10/0.11 c intension x[6] != x[7] using generic constraint 0.10/0.11 c intension x[6] != x[13] using generic constraint 0.10/0.11 c intension x[6] != x[14] using generic constraint 0.10/0.11 c intension x[6] != x[15] using generic constraint 0.10/0.11 c intension x[6] != x[20] using generic constraint 0.10/0.11 c intension x[6] != x[22] using generic constraint 0.10/0.11 c intension x[6] != x[27] using generic constraint 0.10/0.11 c intension x[6] != x[30] using generic constraint 0.10/0.11 c intension x[6] != x[34] using generic constraint 0.10/0.11 c intension x[6] != x[38] using generic constraint 0.10/0.12 c intension x[6] != x[41] using generic constraint 0.10/0.12 c intension x[6] != x[46] using generic constraint 0.10/0.12 c intension x[6] != x[48] using generic constraint 0.10/0.12 c intension x[6] != x[54] using generic constraint 0.10/0.12 c intension x[6] != x[62] using generic constraint 0.10/0.12 c intension x[7] != x[14] using generic constraint 0.10/0.12 c intension x[7] != x[15] using generic constraint 0.10/0.12 c intension x[7] != x[21] using generic constraint 0.10/0.12 c intension x[7] != x[23] using generic constraint 0.10/0.12 c intension x[7] != x[28] using generic constraint 0.10/0.12 c intension x[7] != x[31] using generic constraint 0.10/0.13 c intension x[7] != x[35] using generic constraint 0.10/0.13 c intension x[7] != x[39] using generic constraint 0.10/0.13 c intension x[7] != x[42] using generic constraint 0.10/0.13 c intension x[7] != x[47] using generic constraint 0.10/0.13 c intension x[7] != x[49] using generic constraint 0.10/0.13 c intension x[7] != x[55] using generic constraint 0.10/0.13 c intension x[7] != x[56] using generic constraint 0.10/0.13 c intension x[7] != x[63] using generic constraint 0.10/0.13 c intension x[8] != x[9] using generic constraint 0.10/0.13 c intension x[8] != x[10] using generic constraint 0.10/0.13 c intension x[8] != x[11] using generic constraint 0.10/0.13 c intension x[8] != x[12] using generic constraint 0.10/0.14 c intension x[8] != x[13] using generic constraint 0.10/0.14 c intension x[8] != x[14] using generic constraint 0.10/0.14 c intension x[8] != x[15] using generic constraint 0.10/0.14 c intension x[8] != x[16] using generic constraint 0.10/0.14 c intension x[8] != x[17] using generic constraint 0.10/0.14 c intension x[8] != x[24] using generic constraint 0.10/0.14 c intension x[8] != x[26] using generic constraint 0.10/0.14 c intension x[8] != x[32] using generic constraint 0.10/0.14 c intension x[8] != x[35] using generic constraint 0.10/0.14 c intension x[8] != x[40] using generic constraint 0.10/0.14 c intension x[8] != x[44] using generic constraint 0.10/0.15 c intension x[8] != x[48] using generic constraint 0.10/0.15 c intension x[8] != x[53] using generic constraint 0.10/0.15 c intension x[8] != x[56] using generic constraint 0.10/0.15 c intension x[8] != x[62] using generic constraint 0.10/0.15 c intension x[9] != x[10] using generic constraint 0.10/0.15 c intension x[9] != x[11] using generic constraint 0.10/0.15 c intension x[9] != x[12] using generic constraint 0.10/0.15 c intension x[9] != x[13] using generic constraint 0.10/0.15 c intension x[9] != x[14] using generic constraint 0.10/0.15 c intension x[9] != x[15] using generic constraint 0.10/0.15 c intension x[9] != x[16] using generic constraint 0.10/0.16 c intension x[9] != x[17] using generic constraint 0.10/0.16 c intension x[9] != x[18] using generic constraint 0.10/0.16 c intension x[9] != x[25] using generic constraint 0.10/0.16 c intension x[9] != x[27] using generic constraint 0.10/0.16 c intension x[9] != x[33] using generic constraint 0.10/0.16 c intension x[9] != x[36] using generic constraint 0.10/0.16 c intension x[9] != x[41] using generic constraint 0.10/0.16 c intension x[9] != x[45] using generic constraint 0.10/0.16 c intension x[9] != x[49] using generic constraint 0.10/0.16 c intension x[9] != x[54] using generic constraint 0.10/0.16 c intension x[9] != x[57] using generic constraint 0.10/0.16 c intension x[9] != x[63] using generic constraint 0.10/0.17 c intension x[10] != x[11] using generic constraint 0.10/0.17 c intension x[10] != x[12] using generic constraint 0.10/0.17 c intension x[10] != x[13] using generic constraint 0.10/0.17 c intension x[10] != x[14] using generic constraint 0.10/0.17 c intension x[10] != x[15] using generic constraint 0.10/0.17 c intension x[10] != x[17] using generic constraint 0.10/0.17 c intension x[10] != x[18] using generic constraint 0.10/0.17 c intension x[10] != x[19] using generic constraint 0.10/0.17 c intension x[10] != x[24] using generic constraint 0.10/0.17 c intension x[10] != x[26] using generic constraint 0.10/0.17 c intension x[10] != x[28] using generic constraint 0.10/0.18 c intension x[10] != x[34] using generic constraint 0.10/0.18 c intension x[10] != x[37] using generic constraint 0.10/0.18 c intension x[10] != x[42] using generic constraint 0.10/0.18 c intension x[10] != x[46] using generic constraint 0.10/0.18 c intension x[10] != x[50] using generic constraint 0.10/0.18 c intension x[10] != x[55] using generic constraint 0.10/0.18 c intension x[10] != x[58] using generic constraint 0.10/0.18 c intension x[11] != x[12] using generic constraint 0.10/0.18 c intension x[11] != x[13] using generic constraint 0.10/0.18 c intension x[11] != x[14] using generic constraint 0.10/0.18 c intension x[11] != x[15] using generic constraint 0.10/0.18 c intension x[11] != x[18] using generic constraint 0.10/0.19 c intension x[11] != x[19] using generic constraint 0.10/0.19 c intension x[11] != x[20] using generic constraint 0.10/0.19 c intension x[11] != x[25] using generic constraint 0.10/0.19 c intension x[11] != x[27] using generic constraint 0.10/0.19 c intension x[11] != x[29] using generic constraint 0.10/0.19 c intension x[11] != x[32] using generic constraint 0.10/0.19 c intension x[11] != x[35] using generic constraint 0.10/0.19 c intension x[11] != x[38] using generic constraint 0.10/0.19 c intension x[11] != x[43] using generic constraint 0.10/0.19 c intension x[11] != x[47] using generic constraint 0.10/0.19 c intension x[11] != x[51] using generic constraint 0.10/0.20 c intension x[11] != x[59] using generic constraint 0.10/0.20 c intension x[12] != x[13] using generic constraint 0.10/0.20 c intension x[12] != x[14] using generic constraint 0.10/0.20 c intension x[12] != x[15] using generic constraint 0.10/0.20 c intension x[12] != x[19] using generic constraint 0.10/0.20 c intension x[12] != x[20] using generic constraint 0.10/0.20 c intension x[12] != x[21] using generic constraint 0.10/0.20 c intension x[12] != x[26] using generic constraint 0.10/0.20 c intension x[12] != x[28] using generic constraint 0.10/0.20 c intension x[12] != x[30] using generic constraint 0.10/0.20 c intension x[12] != x[33] using generic constraint 0.10/0.20 c intension x[12] != x[36] using generic constraint 0.10/0.21 c intension x[12] != x[39] using generic constraint 0.10/0.21 c intension x[12] != x[40] using generic constraint 0.10/0.21 c intension x[12] != x[44] using generic constraint 0.10/0.21 c intension x[12] != x[52] using generic constraint 0.10/0.21 c intension x[12] != x[60] using generic constraint 0.10/0.21 c intension x[13] != x[14] using generic constraint 0.10/0.21 c intension x[13] != x[15] using generic constraint 0.10/0.21 c intension x[13] != x[20] using generic constraint 0.10/0.21 c intension x[13] != x[21] using generic constraint 0.21/0.21 c intension x[13] != x[22] using generic constraint 0.21/0.21 c intension x[13] != x[27] using generic constraint 0.21/0.22 c intension x[13] != x[29] using generic constraint 0.21/0.22 c intension x[13] != x[31] using generic constraint 0.21/0.22 c intension x[13] != x[34] using generic constraint 0.21/0.22 c intension x[13] != x[37] using generic constraint 0.21/0.22 c intension x[13] != x[41] using generic constraint 0.21/0.22 c intension x[13] != x[45] using generic constraint 0.21/0.22 c intension x[13] != x[48] using generic constraint 0.21/0.22 c intension x[13] != x[53] using generic constraint 0.21/0.22 c intension x[13] != x[61] using generic constraint 0.21/0.22 c intension x[14] != x[15] using generic constraint 0.21/0.22 c intension x[14] != x[21] using generic constraint 0.21/0.23 c intension x[14] != x[22] using generic constraint 0.21/0.23 c intension x[14] != x[23] using generic constraint 0.21/0.23 c intension x[14] != x[28] using generic constraint 0.21/0.23 c intension x[14] != x[30] using generic constraint 0.21/0.23 c intension x[14] != x[35] using generic constraint 0.21/0.23 c intension x[14] != x[38] using generic constraint 0.21/0.23 c intension x[14] != x[42] using generic constraint 0.21/0.23 c intension x[14] != x[46] using generic constraint 0.21/0.23 c intension x[14] != x[49] using generic constraint 0.21/0.23 c intension x[14] != x[54] using generic constraint 0.21/0.23 c intension x[14] != x[56] using generic constraint 0.21/0.23 c intension x[14] != x[62] using generic constraint 0.21/0.24 c intension x[15] != x[22] using generic constraint 0.21/0.24 c intension x[15] != x[23] using generic constraint 0.21/0.24 c intension x[15] != x[29] using generic constraint 0.21/0.24 c intension x[15] != x[31] using generic constraint 0.21/0.24 c intension x[15] != x[36] using generic constraint 0.21/0.24 c intension x[15] != x[39] using generic constraint 0.21/0.24 c intension x[15] != x[43] using generic constraint 0.21/0.24 c intension x[15] != x[47] using generic constraint 0.21/0.24 c intension x[15] != x[50] using generic constraint 0.21/0.24 c intension x[15] != x[55] using generic constraint 0.21/0.24 c intension x[15] != x[57] using generic constraint 0.21/0.25 c intension x[15] != x[63] using generic constraint 0.21/0.25 c intension x[16] != x[17] using generic constraint 0.21/0.25 c intension x[16] != x[18] using generic constraint 0.21/0.25 c intension x[16] != x[19] using generic constraint 0.21/0.25 c intension x[16] != x[20] using generic constraint 0.21/0.25 c intension x[16] != x[21] using generic constraint 0.21/0.25 c intension x[16] != x[22] using generic constraint 0.21/0.25 c intension x[16] != x[23] using generic constraint 0.21/0.25 c intension x[16] != x[24] using generic constraint 0.21/0.25 c intension x[16] != x[25] using generic constraint 0.21/0.25 c intension x[16] != x[32] using generic constraint 0.21/0.26 c intension x[16] != x[34] using generic constraint 0.21/0.26 c intension x[16] != x[40] using generic constraint 0.21/0.26 c intension x[16] != x[43] using generic constraint 0.21/0.26 c intension x[16] != x[48] using generic constraint 0.21/0.26 c intension x[16] != x[52] using generic constraint 0.21/0.26 c intension x[16] != x[56] using generic constraint 0.21/0.26 c intension x[16] != x[61] using generic constraint 0.21/0.26 c intension x[17] != x[18] using generic constraint 0.21/0.26 c intension x[17] != x[19] using generic constraint 0.21/0.26 c intension x[17] != x[20] using generic constraint 0.21/0.26 c intension x[17] != x[21] using generic constraint 0.21/0.26 c intension x[17] != x[22] using generic constraint 0.21/0.27 c intension x[17] != x[23] using generic constraint 0.21/0.27 c intension x[17] != x[24] using generic constraint 0.21/0.27 c intension x[17] != x[25] using generic constraint 0.21/0.27 c intension x[17] != x[26] using generic constraint 0.21/0.27 c intension x[17] != x[33] using generic constraint 0.21/0.27 c intension x[17] != x[35] using generic constraint 0.21/0.27 c intension x[17] != x[41] using generic constraint 0.21/0.27 c intension x[17] != x[44] using generic constraint 0.21/0.27 c intension x[17] != x[49] using generic constraint 0.21/0.27 c intension x[17] != x[53] using generic constraint 0.21/0.27 c intension x[17] != x[57] using generic constraint 0.21/0.28 c intension x[17] != x[62] using generic constraint 0.21/0.28 c intension x[18] != x[19] using generic constraint 0.21/0.28 c intension x[18] != x[20] using generic constraint 0.21/0.28 c intension x[18] != x[21] using generic constraint 0.21/0.28 c intension x[18] != x[22] using generic constraint 0.21/0.28 c intension x[18] != x[23] using generic constraint 0.21/0.28 c intension x[18] != x[25] using generic constraint 0.21/0.28 c intension x[18] != x[26] using generic constraint 0.21/0.28 c intension x[18] != x[27] using generic constraint 0.21/0.28 c intension x[18] != x[32] using generic constraint 0.21/0.28 c intension x[18] != x[34] using generic constraint 0.21/0.28 c intension x[18] != x[36] using generic constraint 0.21/0.29 c intension x[18] != x[42] using generic constraint 0.21/0.29 c intension x[18] != x[45] using generic constraint 0.21/0.29 c intension x[18] != x[50] using generic constraint 0.21/0.29 c intension x[18] != x[54] using generic constraint 0.21/0.29 c intension x[18] != x[58] using generic constraint 0.21/0.29 c intension x[18] != x[63] using generic constraint 0.21/0.29 c intension x[19] != x[20] using generic constraint 0.21/0.29 c intension x[19] != x[21] using generic constraint 0.21/0.29 c intension x[19] != x[22] using generic constraint 0.21/0.29 c intension x[19] != x[23] using generic constraint 0.21/0.29 c intension x[19] != x[26] using generic constraint 0.21/0.30 c intension x[19] != x[27] using generic constraint 0.21/0.30 c intension x[19] != x[28] using generic constraint 0.21/0.30 c intension x[19] != x[33] using generic constraint 0.21/0.30 c intension x[19] != x[35] using generic constraint 0.21/0.30 c intension x[19] != x[37] using generic constraint 0.21/0.30 c intension x[19] != x[40] using generic constraint 0.21/0.30 c intension x[19] != x[43] using generic constraint 0.21/0.30 c intension x[19] != x[46] using generic constraint 0.21/0.30 c intension x[19] != x[51] using generic constraint 0.21/0.30 c intension x[19] != x[55] using generic constraint 0.21/0.30 c intension x[19] != x[59] using generic constraint 0.21/0.31 c intension x[20] != x[21] using generic constraint 0.21/0.31 c intension x[20] != x[22] using generic constraint 0.21/0.31 c intension x[20] != x[23] using generic constraint 0.21/0.31 c intension x[20] != x[27] using generic constraint 0.21/0.31 c intension x[20] != x[28] using generic constraint 0.21/0.31 c intension x[20] != x[29] using generic constraint 0.21/0.31 c intension x[20] != x[34] using generic constraint 0.21/0.31 c intension x[20] != x[36] using generic constraint 0.21/0.31 c intension x[20] != x[38] using generic constraint 0.31/0.31 c intension x[20] != x[41] using generic constraint 0.31/0.31 c intension x[20] != x[44] using generic constraint 0.31/0.32 c intension x[20] != x[47] using generic constraint 0.31/0.32 c intension x[20] != x[48] using generic constraint 0.31/0.32 c intension x[20] != x[52] using generic constraint 0.31/0.32 c intension x[20] != x[60] using generic constraint 0.31/0.32 c intension x[21] != x[22] using generic constraint 0.31/0.32 c intension x[21] != x[23] using generic constraint 0.31/0.32 c intension x[21] != x[28] using generic constraint 0.31/0.32 c intension x[21] != x[29] using generic constraint 0.31/0.32 c intension x[21] != x[30] using generic constraint 0.31/0.32 c intension x[21] != x[35] using generic constraint 0.31/0.32 c intension x[21] != x[37] using generic constraint 0.31/0.32 c intension x[21] != x[39] using generic constraint 0.31/0.33 c intension x[21] != x[42] using generic constraint 0.31/0.33 c intension x[21] != x[45] using generic constraint 0.31/0.33 c intension x[21] != x[49] using generic constraint 0.31/0.33 c intension x[21] != x[53] using generic constraint 0.31/0.33 c intension x[21] != x[56] using generic constraint 0.31/0.33 c intension x[21] != x[61] using generic constraint 0.31/0.33 c intension x[22] != x[23] using generic constraint 0.31/0.33 c intension x[22] != x[29] using generic constraint 0.31/0.33 c intension x[22] != x[30] using generic constraint 0.31/0.33 c intension x[22] != x[31] using generic constraint 0.31/0.33 c intension x[22] != x[36] using generic constraint 0.31/0.34 c intension x[22] != x[38] using generic constraint 0.31/0.34 c intension x[22] != x[43] using generic constraint 0.31/0.34 c intension x[22] != x[46] using generic constraint 0.31/0.34 c intension x[22] != x[50] using generic constraint 0.31/0.34 c intension x[22] != x[54] using generic constraint 0.31/0.34 c intension x[22] != x[57] using generic constraint 0.31/0.34 c intension x[22] != x[62] using generic constraint 0.31/0.34 c intension x[23] != x[30] using generic constraint 0.31/0.34 c intension x[23] != x[31] using generic constraint 0.31/0.34 c intension x[23] != x[37] using generic constraint 0.31/0.34 c intension x[23] != x[39] using generic constraint 0.31/0.35 c intension x[23] != x[44] using generic constraint 0.31/0.35 c intension x[23] != x[47] using generic constraint 0.31/0.35 c intension x[23] != x[51] using generic constraint 0.31/0.35 c intension x[23] != x[55] using generic constraint 0.31/0.35 c intension x[23] != x[58] using generic constraint 0.31/0.35 c intension x[23] != x[63] using generic constraint 0.31/0.35 c intension x[24] != x[25] using generic constraint 0.31/0.35 c intension x[24] != x[26] using generic constraint 0.31/0.35 c intension x[24] != x[27] using generic constraint 0.31/0.35 c intension x[24] != x[28] using generic constraint 0.31/0.35 c intension x[24] != x[29] using generic constraint 0.31/0.35 c intension x[24] != x[30] using generic constraint 0.31/0.36 c intension x[24] != x[31] using generic constraint 0.31/0.36 c intension x[24] != x[32] using generic constraint 0.31/0.36 c intension x[24] != x[33] using generic constraint 0.31/0.36 c intension x[24] != x[40] using generic constraint 0.31/0.36 c intension x[24] != x[42] using generic constraint 0.31/0.36 c intension x[24] != x[48] using generic constraint 0.31/0.36 c intension x[24] != x[51] using generic constraint 0.31/0.36 c intension x[24] != x[56] using generic constraint 0.31/0.36 c intension x[24] != x[60] using generic constraint 0.31/0.36 c intension x[25] != x[26] using generic constraint 0.31/0.36 c intension x[25] != x[27] using generic constraint 0.31/0.37 c intension x[25] != x[28] using generic constraint 0.31/0.37 c intension x[25] != x[29] using generic constraint 0.31/0.37 c intension x[25] != x[30] using generic constraint 0.31/0.37 c intension x[25] != x[31] using generic constraint 0.31/0.37 c intension x[25] != x[32] using generic constraint 0.31/0.37 c intension x[25] != x[33] using generic constraint 0.31/0.37 c intension x[25] != x[34] using generic constraint 0.31/0.37 c intension x[25] != x[41] using generic constraint 0.31/0.37 c intension x[25] != x[43] using generic constraint 0.31/0.37 c intension x[25] != x[49] using generic constraint 0.31/0.37 c intension x[25] != x[52] using generic constraint 0.31/0.38 c intension x[25] != x[57] using generic constraint 0.31/0.38 c intension x[25] != x[61] using generic constraint 0.31/0.38 c intension x[26] != x[27] using generic constraint 0.31/0.38 c intension x[26] != x[28] using generic constraint 0.31/0.38 c intension x[26] != x[29] using generic constraint 0.31/0.38 c intension x[26] != x[30] using generic constraint 0.31/0.38 c intension x[26] != x[31] using generic constraint 0.31/0.38 c intension x[26] != x[33] using generic constraint 0.31/0.38 c intension x[26] != x[34] using generic constraint 0.31/0.38 c intension x[26] != x[35] using generic constraint 0.31/0.38 c intension x[26] != x[40] using generic constraint 0.31/0.38 c intension x[26] != x[42] using generic constraint 0.31/0.39 c intension x[26] != x[44] using generic constraint 0.31/0.39 c intension x[26] != x[50] using generic constraint 0.31/0.39 c intension x[26] != x[53] using generic constraint 0.31/0.39 c intension x[26] != x[58] using generic constraint 0.31/0.39 c intension x[26] != x[62] using generic constraint 0.31/0.39 c intension x[27] != x[28] using generic constraint 0.31/0.39 c intension x[27] != x[29] using generic constraint 0.31/0.39 c intension x[27] != x[30] using generic constraint 0.31/0.39 c intension x[27] != x[31] using generic constraint 0.31/0.39 c intension x[27] != x[34] using generic constraint 0.31/0.39 c intension x[27] != x[35] using generic constraint 0.31/0.40 c intension x[27] != x[36] using generic constraint 0.31/0.40 c intension x[27] != x[41] using generic constraint 0.31/0.40 c intension x[27] != x[43] using generic constraint 0.31/0.40 c intension x[27] != x[45] using generic constraint 0.31/0.40 c intension x[27] != x[48] using generic constraint 0.31/0.40 c intension x[27] != x[51] using generic constraint 0.31/0.40 c intension x[27] != x[54] using generic constraint 0.31/0.40 c intension x[27] != x[59] using generic constraint 0.31/0.40 c intension x[27] != x[63] using generic constraint 0.31/0.40 c intension x[28] != x[29] using generic constraint 0.31/0.40 c intension x[28] != x[30] using generic constraint 0.31/0.41 c intension x[28] != x[31] using generic constraint 0.31/0.41 c intension x[28] != x[35] using generic constraint 0.31/0.41 c intension x[28] != x[36] using generic constraint 0.31/0.41 c intension x[28] != x[37] using generic constraint 0.31/0.41 c intension x[28] != x[42] using generic constraint 0.31/0.41 c intension x[28] != x[44] using generic constraint 0.31/0.41 c intension x[28] != x[46] using generic constraint 0.31/0.41 c intension x[28] != x[49] using generic constraint 0.31/0.41 c intension x[28] != x[52] using generic constraint 0.31/0.41 c intension x[28] != x[55] using generic constraint 0.41/0.41 c intension x[28] != x[56] using generic constraint 0.41/0.42 c intension x[28] != x[60] using generic constraint 0.41/0.42 c intension x[29] != x[30] using generic constraint 0.41/0.42 c intension x[29] != x[31] using generic constraint 0.41/0.42 c intension x[29] != x[36] using generic constraint 0.41/0.42 c intension x[29] != x[37] using generic constraint 0.41/0.42 c intension x[29] != x[38] using generic constraint 0.41/0.42 c intension x[29] != x[43] using generic constraint 0.41/0.42 c intension x[29] != x[45] using generic constraint 0.41/0.42 c intension x[29] != x[47] using generic constraint 0.41/0.42 c intension x[29] != x[50] using generic constraint 0.41/0.42 c intension x[29] != x[53] using generic constraint 0.41/0.42 c intension x[29] != x[57] using generic constraint 0.41/0.43 c intension x[29] != x[61] using generic constraint 0.41/0.43 c intension x[30] != x[31] using generic constraint 0.41/0.43 c intension x[30] != x[37] using generic constraint 0.41/0.43 c intension x[30] != x[38] using generic constraint 0.41/0.43 c intension x[30] != x[39] using generic constraint 0.41/0.43 c intension x[30] != x[44] using generic constraint 0.41/0.43 c intension x[30] != x[46] using generic constraint 0.41/0.43 c intension x[30] != x[51] using generic constraint 0.41/0.43 c intension x[30] != x[54] using generic constraint 0.41/0.43 c intension x[30] != x[58] using generic constraint 0.41/0.43 c intension x[30] != x[62] using generic constraint 0.41/0.44 c intension x[31] != x[38] using generic constraint 0.41/0.44 c intension x[31] != x[39] using generic constraint 0.41/0.44 c intension x[31] != x[45] using generic constraint 0.41/0.44 c intension x[31] != x[47] using generic constraint 0.41/0.44 c intension x[31] != x[52] using generic constraint 0.41/0.44 c intension x[31] != x[55] using generic constraint 0.41/0.44 c intension x[31] != x[59] using generic constraint 0.41/0.44 c intension x[31] != x[63] using generic constraint 0.41/0.44 c intension x[32] != x[33] using generic constraint 0.41/0.44 c intension x[32] != x[34] using generic constraint 0.41/0.44 c intension x[32] != x[35] using generic constraint 0.41/0.45 c intension x[32] != x[36] using generic constraint 0.41/0.45 c intension x[32] != x[37] using generic constraint 0.41/0.45 c intension x[32] != x[38] using generic constraint 0.41/0.45 c intension x[32] != x[39] using generic constraint 0.41/0.45 c intension x[32] != x[40] using generic constraint 0.41/0.45 c intension x[32] != x[41] using generic constraint 0.41/0.45 c intension x[32] != x[48] using generic constraint 0.41/0.45 c intension x[32] != x[50] using generic constraint 0.41/0.45 c intension x[32] != x[56] using generic constraint 0.41/0.45 c intension x[32] != x[59] using generic constraint 0.41/0.45 c intension x[33] != x[34] using generic constraint 0.41/0.45 c intension x[33] != x[35] using generic constraint 0.41/0.46 c intension x[33] != x[36] using generic constraint 0.41/0.46 c intension x[33] != x[37] using generic constraint 0.41/0.46 c intension x[33] != x[38] using generic constraint 0.41/0.46 c intension x[33] != x[39] using generic constraint 0.41/0.46 c intension x[33] != x[40] using generic constraint 0.41/0.46 c intension x[33] != x[41] using generic constraint 0.41/0.46 c intension x[33] != x[42] using generic constraint 0.41/0.46 c intension x[33] != x[49] using generic constraint 0.41/0.46 c intension x[33] != x[51] using generic constraint 0.41/0.46 c intension x[33] != x[57] using generic constraint 0.41/0.46 c intension x[33] != x[60] using generic constraint 0.41/0.47 c intension x[34] != x[35] using generic constraint 0.41/0.47 c intension x[34] != x[36] using generic constraint 0.41/0.47 c intension x[34] != x[37] using generic constraint 0.41/0.47 c intension x[34] != x[38] using generic constraint 0.41/0.47 c intension x[34] != x[39] using generic constraint 0.41/0.47 c intension x[34] != x[41] using generic constraint 0.41/0.47 c intension x[34] != x[42] using generic constraint 0.41/0.47 c intension x[34] != x[43] using generic constraint 0.41/0.47 c intension x[34] != x[48] using generic constraint 0.41/0.47 c intension x[34] != x[50] using generic constraint 0.41/0.47 c intension x[34] != x[52] using generic constraint 0.41/0.48 c intension x[34] != x[58] using generic constraint 0.41/0.48 c intension x[34] != x[61] using generic constraint 0.41/0.48 c intension x[35] != x[36] using generic constraint 0.41/0.48 c intension x[35] != x[37] using generic constraint 0.41/0.48 c intension x[35] != x[38] using generic constraint 0.41/0.48 c intension x[35] != x[39] using generic constraint 0.41/0.48 c intension x[35] != x[42] using generic constraint 0.41/0.48 c intension x[35] != x[43] using generic constraint 0.41/0.48 c intension x[35] != x[44] using generic constraint 0.41/0.48 c intension x[35] != x[49] using generic constraint 0.41/0.48 c intension x[35] != x[51] using generic constraint 0.41/0.48 c intension x[35] != x[53] using generic constraint 0.41/0.49 c intension x[35] != x[56] using generic constraint 0.41/0.49 c intension x[35] != x[59] using generic constraint 0.41/0.49 c intension x[35] != x[62] using generic constraint 0.41/0.49 c intension x[36] != x[37] using generic constraint 0.41/0.49 c intension x[36] != x[38] using generic constraint 0.41/0.49 c intension x[36] != x[39] using generic constraint 0.41/0.49 c intension x[36] != x[43] using generic constraint 0.41/0.49 c intension x[36] != x[44] using generic constraint 0.41/0.49 c intension x[36] != x[45] using generic constraint 0.41/0.49 c intension x[36] != x[50] using generic constraint 0.41/0.49 c intension x[36] != x[52] using generic constraint 0.41/0.50 c intension x[36] != x[54] using generic constraint 0.41/0.50 c intension x[36] != x[57] using generic constraint 0.41/0.50 c intension x[36] != x[60] using generic constraint 0.41/0.50 c intension x[36] != x[63] using generic constraint 0.41/0.50 c intension x[37] != x[38] using generic constraint 0.41/0.50 c intension x[37] != x[39] using generic constraint 0.41/0.50 c intension x[37] != x[44] using generic constraint 0.41/0.50 c intension x[37] != x[45] using generic constraint 0.41/0.50 c intension x[37] != x[46] using generic constraint 0.41/0.50 c intension x[37] != x[51] using generic constraint 0.41/0.50 c intension x[37] != x[53] using generic constraint 0.41/0.51 c intension x[37] != x[55] using generic constraint 0.41/0.51 c intension x[37] != x[58] using generic constraint 0.41/0.51 c intension x[37] != x[61] using generic constraint 0.41/0.51 c intension x[38] != x[39] using generic constraint 0.41/0.51 c intension x[38] != x[45] using generic constraint 0.41/0.51 c intension x[38] != x[46] using generic constraint 0.41/0.51 c intension x[38] != x[47] using generic constraint 0.41/0.51 c intension x[38] != x[52] using generic constraint 0.41/0.51 c intension x[38] != x[54] using generic constraint 0.51/0.51 c intension x[38] != x[59] using generic constraint 0.51/0.51 c intension x[38] != x[62] using generic constraint 0.51/0.52 c intension x[39] != x[46] using generic constraint 0.51/0.52 c intension x[39] != x[47] using generic constraint 0.51/0.52 c intension x[39] != x[53] using generic constraint 0.51/0.52 c intension x[39] != x[55] using generic constraint 0.51/0.52 c intension x[39] != x[60] using generic constraint 0.51/0.52 c intension x[39] != x[63] using generic constraint 0.51/0.52 c intension x[40] != x[41] using generic constraint 0.51/0.52 c intension x[40] != x[42] using generic constraint 0.51/0.52 c intension x[40] != x[43] using generic constraint 0.51/0.52 c intension x[40] != x[44] using generic constraint 0.51/0.52 c intension x[40] != x[45] using generic constraint 0.51/0.53 c intension x[40] != x[46] using generic constraint 0.51/0.53 c intension x[40] != x[47] using generic constraint 0.51/0.53 c intension x[40] != x[48] using generic constraint 0.51/0.53 c intension x[40] != x[49] using generic constraint 0.51/0.53 c intension x[40] != x[56] using generic constraint 0.51/0.53 c intension x[40] != x[58] using generic constraint 0.51/0.53 c intension x[41] != x[42] using generic constraint 0.51/0.53 c intension x[41] != x[43] using generic constraint 0.51/0.53 c intension x[41] != x[44] using generic constraint 0.51/0.53 c intension x[41] != x[45] using generic constraint 0.51/0.53 c intension x[41] != x[46] using generic constraint 0.51/0.53 c intension x[41] != x[47] using generic constraint 0.51/0.54 c intension x[41] != x[48] using generic constraint 0.51/0.54 c intension x[41] != x[49] using generic constraint 0.51/0.54 c intension x[41] != x[50] using generic constraint 0.51/0.54 c intension x[41] != x[57] using generic constraint 0.51/0.54 c intension x[41] != x[59] using generic constraint 0.51/0.54 c intension x[42] != x[43] using generic constraint 0.51/0.54 c intension x[42] != x[44] using generic constraint 0.51/0.54 c intension x[42] != x[45] using generic constraint 0.51/0.54 c intension x[42] != x[46] using generic constraint 0.51/0.54 c intension x[42] != x[47] using generic constraint 0.51/0.54 c intension x[42] != x[49] using generic constraint 0.51/0.55 c intension x[42] != x[50] using generic constraint 0.51/0.55 c intension x[42] != x[51] using generic constraint 0.51/0.55 c intension x[42] != x[56] using generic constraint 0.51/0.55 c intension x[42] != x[58] using generic constraint 0.51/0.55 c intension x[42] != x[60] using generic constraint 0.51/0.55 c intension x[43] != x[44] using generic constraint 0.51/0.55 c intension x[43] != x[45] using generic constraint 0.51/0.55 c intension x[43] != x[46] using generic constraint 0.51/0.55 c intension x[43] != x[47] using generic constraint 0.51/0.55 c intension x[43] != x[50] using generic constraint 0.51/0.55 c intension x[43] != x[51] using generic constraint 0.51/0.56 c intension x[43] != x[52] using generic constraint 0.51/0.56 c intension x[43] != x[57] using generic constraint 0.51/0.56 c intension x[43] != x[59] using generic constraint 0.51/0.56 c intension x[43] != x[61] using generic constraint 0.51/0.56 c intension x[44] != x[45] using generic constraint 0.51/0.56 c intension x[44] != x[46] using generic constraint 0.51/0.56 c intension x[44] != x[47] using generic constraint 0.51/0.56 c intension x[44] != x[51] using generic constraint 0.51/0.56 c intension x[44] != x[52] using generic constraint 0.51/0.56 c intension x[44] != x[53] using generic constraint 0.51/0.56 c intension x[44] != x[58] using generic constraint 0.51/0.57 c intension x[44] != x[60] using generic constraint 0.51/0.57 c intension x[44] != x[62] using generic constraint 0.51/0.57 c intension x[45] != x[46] using generic constraint 0.51/0.57 c intension x[45] != x[47] using generic constraint 0.51/0.57 c intension x[45] != x[52] using generic constraint 0.51/0.57 c intension x[45] != x[53] using generic constraint 0.51/0.57 c intension x[45] != x[54] using generic constraint 0.51/0.57 c intension x[45] != x[59] using generic constraint 0.51/0.57 c intension x[45] != x[61] using generic constraint 0.51/0.57 c intension x[45] != x[63] using generic constraint 0.51/0.57 c intension x[46] != x[47] using generic constraint 0.51/0.57 c intension x[46] != x[53] using generic constraint 0.51/0.58 c intension x[46] != x[54] using generic constraint 0.51/0.58 c intension x[46] != x[55] using generic constraint 0.51/0.58 c intension x[46] != x[60] using generic constraint 0.51/0.58 c intension x[46] != x[62] using generic constraint 0.51/0.58 c intension x[47] != x[54] using generic constraint 0.51/0.58 c intension x[47] != x[55] using generic constraint 0.51/0.58 c intension x[47] != x[61] using generic constraint 0.51/0.58 c intension x[47] != x[63] using generic constraint 0.51/0.58 c intension x[48] != x[49] using generic constraint 0.51/0.58 c intension x[48] != x[50] using generic constraint 0.51/0.58 c intension x[48] != x[51] using generic constraint 0.51/0.59 c intension x[48] != x[52] using generic constraint 0.51/0.59 c intension x[48] != x[53] using generic constraint 0.51/0.59 c intension x[48] != x[54] using generic constraint 0.51/0.59 c intension x[48] != x[55] using generic constraint 0.51/0.59 c intension x[48] != x[56] using generic constraint 0.51/0.59 c intension x[48] != x[57] using generic constraint 0.51/0.59 c intension x[49] != x[50] using generic constraint 0.51/0.59 c intension x[49] != x[51] using generic constraint 0.51/0.59 c intension x[49] != x[52] using generic constraint 0.51/0.59 c intension x[49] != x[53] using generic constraint 0.51/0.59 c intension x[49] != x[54] using generic constraint 0.51/0.60 c intension x[49] != x[55] using generic constraint 0.51/0.60 c intension x[49] != x[56] using generic constraint 0.51/0.60 c intension x[49] != x[57] using generic constraint 0.51/0.60 c intension x[49] != x[58] using generic constraint 0.51/0.60 c intension x[50] != x[51] using generic constraint 0.51/0.60 c intension x[50] != x[52] using generic constraint 0.51/0.60 c intension x[50] != x[53] using generic constraint 0.51/0.60 c intension x[50] != x[54] using generic constraint 0.51/0.60 c intension x[50] != x[55] using generic constraint 0.51/0.60 c intension x[50] != x[57] using generic constraint 0.60/0.60 c intension x[50] != x[58] using generic constraint 0.60/0.61 c intension x[50] != x[59] using generic constraint 0.60/0.61 c intension x[51] != x[52] using generic constraint 0.60/0.61 c intension x[51] != x[53] using generic constraint 0.60/0.61 c intension x[51] != x[54] using generic constraint 0.60/0.61 c intension x[51] != x[55] using generic constraint 0.60/0.61 c intension x[51] != x[58] using generic constraint 0.60/0.61 c intension x[51] != x[59] using generic constraint 0.60/0.61 c intension x[51] != x[60] using generic constraint 0.60/0.61 c intension x[52] != x[53] using generic constraint 0.60/0.61 c intension x[52] != x[54] using generic constraint 0.60/0.61 c intension x[52] != x[55] using generic constraint 0.60/0.61 c intension x[52] != x[59] using generic constraint 0.60/0.62 c intension x[52] != x[60] using generic constraint 0.60/0.62 c intension x[52] != x[61] using generic constraint 0.60/0.62 c intension x[53] != x[54] using generic constraint 0.60/0.62 c intension x[53] != x[55] using generic constraint 0.60/0.62 c intension x[53] != x[60] using generic constraint 0.60/0.62 c intension x[53] != x[61] using generic constraint 0.60/0.62 c intension x[53] != x[62] using generic constraint 0.60/0.62 c intension x[54] != x[55] using generic constraint 0.60/0.62 c intension x[54] != x[61] using generic constraint 0.60/0.62 c intension x[54] != x[62] using generic constraint 0.60/0.62 c intension x[54] != x[63] using generic constraint 0.60/0.63 c intension x[55] != x[62] using generic constraint 0.60/0.63 c intension x[55] != x[63] using generic constraint 0.60/0.63 c intension x[56] != x[57] using generic constraint 0.60/0.63 c intension x[56] != x[58] using generic constraint 0.60/0.63 c intension x[56] != x[59] using generic constraint 0.60/0.63 c intension x[56] != x[60] using generic constraint 0.60/0.63 c intension x[56] != x[61] using generic constraint 0.60/0.63 c intension x[56] != x[62] using generic constraint 0.60/0.63 c intension x[56] != x[63] using generic constraint 0.60/0.63 c intension x[57] != x[58] using generic constraint 0.60/0.63 c intension x[57] != x[59] using generic constraint 0.60/0.64 c intension x[57] != x[60] using generic constraint 0.60/0.64 c intension x[57] != x[61] using generic constraint 0.60/0.64 c intension x[57] != x[62] using generic constraint 0.60/0.64 c intension x[57] != x[63] using generic constraint 0.60/0.64 c intension x[58] != x[59] using generic constraint 0.60/0.64 c intension x[58] != x[60] using generic constraint 0.60/0.64 c intension x[58] != x[61] using generic constraint 0.60/0.64 c intension x[58] != x[62] using generic constraint 0.60/0.64 c intension x[58] != x[63] using generic constraint 0.60/0.64 c intension x[59] != x[60] using generic constraint 0.60/0.64 c intension x[59] != x[61] using generic constraint 0.60/0.65 c intension x[59] != x[62] using generic constraint 0.60/0.65 c intension x[59] != x[63] using generic constraint 0.60/0.65 c intension x[60] != x[61] using generic constraint 0.60/0.65 c intension x[60] != x[62] using generic constraint 0.60/0.65 c intension x[60] != x[63] using generic constraint 0.60/0.65 c intension x[61] != x[62] using generic constraint 0.60/0.65 c intension x[61] != x[63] using generic constraint 0.60/0.65 c intension x[62] != x[63] using generic constraint 0.60/0.66 c SAT : Variables: 4096 -- Clauses: 129088 0.60/0.66 c best=?? lower=0 upper=63 0.60/0.66 c 0.60/0.66 c This is cosoco 1.12 -- 0.60/0.66 c 0.60/0.66 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265715-1502568701.xml 0.60/0.66 c enable optimization 0.60/0.66 c ========================================[ Problem Statistics ]=========================================== 0.60/0.66 c | 0.60/0.66 c | Parse time : 0.66 s 0.60/0.66 c | 0.60/0.66 c | Variables: 64 0.60/0.66 c | Domain Sizes: 64..64 0.60/0.66 c | 0.60/0.66 c | Constraints: 729 0.60/0.66 c | Arity: 2..64 -- Binary: 728 0.60/0.66 c | 0.60/0.66 c | Types: 0.60/0.66 c | (X != Y): 728 0.60/0.66 c | Max constant: 1 0.60/0.66 c | 0.60/0.66 c ========================================================================================================= 0.60/0.66 o 10 0.60/0.66 c 1 calls to solver: best=10 lower=0 upper=9 0.60/0.66 o 9 0.79/0.81 o 8 0.79/0.81 c 3 calls to solver: best=8 lower=0 upper=7 2519.98/2520.00 2519.98/2520.00 c *** INTERRUPTED *** 2519.98/2520.00 c restarts : 615 2519.98/2520.00 c conflicts : 66364498 (26335 /sec) 2519.98/2520.00 c decisions : 298179503 (118326 /sec) 2519.98/2520.00 c propagations : 8065947502 (3200798 /sec) 2519.98/2520.00 c root propagations : 3987 2519.98/2520.00 c filter calls : 55060801679 (21849693 /sec) 2519.98/2520.00 c useless filter calls : 47657569583 (86 %) 2519.98/2520.00 c 2519.98/2520.00 c clauses : 131677 2519.98/2520.00 c SAT propagations : 1671 2519.98/2520.00 c SAT conflicts : 425 (0 learnts) 2519.98/2520.00 c Memory used : 35.40 MB 2519.98/2520.00 c CPU time : 2519.98 s 2519.98/2520.00 2519.98/2520.00 c nb Solutions = 3 2519.98/2520.00 s SATISFIABLE 2519.98/2520.00 c Best value found: 8 2519.98/2520.00 2519.98/2520.00 2519.98/2520.00 v <instantiation type='solution' cost='8'> 2519.98/2520.00 v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[6] x[7] x[8] x[9] </list> 2519.98/2520.00 v <values>4 8 3 6 2 4 7 2 7 0 4 3 1 3 6 5 3 6 1 5 7 4 6 8 0 1 2 7 8 3 0 5 4 2 7 4 5 0 2 6 1 8 8 0 5 2 1 4 5 7 6 6 5 4 7 8 0 1 3 2 0 1 0 1 </values> 2519.98/2520.00 v </instantiation> 2519.98/2520.00
OK 8
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 (15458 MiB free)
memory of node 1: 16384 MiB (15682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265715-1502568701/watcher-4265715-1502568701 -o /tmp/evaluation-result-4265715-1502568701/solver-4265715-1502568701 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24061 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265715-1502568701.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24544, runsolver pid=24541
[startup+0.100672 s]*
/proc/loadavg: 4.16 4.02 2.22 3/189 24545
/proc/meminfo: memFree=31888048/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=27140 memory=3328 CPUtime=0.1 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 1046 0 0 0 10 0 0 0 20 0 1 0 89957882 27791360 832 33554432000 4194304 5972588 140726297763136 140726297746856 140103368043616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 6785 832 718 435 0 148 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27140 KiB
Current children cumulated memory: 3328 KiB
[startup+0.209524 s]*
/proc/loadavg: 4.16 4.02 2.22 3/189 24545
/proc/meminfo: memFree=31887800/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=27264 memory=3560 CPUtime=0.21 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 1068 0 0 0 21 0 0 0 20 0 1 0 89957882 27918336 890 33554432000 4194304 5972588 140726297763136 140726297746856 140103368043616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 6816 890 750 435 0 179 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27264 KiB
Current children cumulated memory: 3560 KiB
[startup+0.309094 s]*
/proc/loadavg: 4.16 4.02 2.22 3/189 24545
/proc/meminfo: memFree=31887800/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=27388 memory=3684 CPUtime=0.31 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 1086 0 0 0 31 0 0 0 20 0 1 0 89957882 28045312 921 33554432000 4194304 5972588 140726297763136 140726297746856 140103367597870 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 6847 921 750 435 0 210 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27388 KiB
Current children cumulated memory: 3684 KiB
[startup+0.700231 s]
/proc/loadavg: 4.16 4.02 2.22 3/189 24545
/proc/meminfo: memFree=31887800/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11836 CPUtime=0.69 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 2611 0 0 0 69 0 0 0 20 0 1 0 89957882 36982784 2959 33554432000 4194304 5972588 140726297763136 140726297746856 5273357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2959 795 435 0 2392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11836 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.02 2.22 3/189 24545
/proc/meminfo: memFree=31879972/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11836 CPUtime=1.49 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 2623 0 0 0 149 0 0 0 20 0 1 0 89957882 36982784 2959 33554432000 4194304 5972588 140726297763136 140726297750328 5328496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2959 795 435 0 2392 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11836 KiB
[startup+3.10943 s]
/proc/loadavg: 3.99 3.99 2.22 3/189 24545
/proc/meminfo: memFree=31881584/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11884 CPUtime=3.1 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 3219 0 0 0 310 0 0 0 20 0 1 0 89957882 36982784 2971 33554432000 4194304 5972588 140726297763136 140726297750328 5320928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2971 795 435 0 2392 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11884 KiB
[startup+6.30023 s]
/proc/loadavg: 3.99 3.99 2.22 3/189 24545
/proc/meminfo: memFree=31881716/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11892 CPUtime=6.29 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 3818 0 0 0 629 0 0 0 20 0 1 0 89957882 36982784 2973 33554432000 4194304 5972588 140726297763136 140726297750328 4908860 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2973 795 435 0 2392 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11892 KiB
[startup+12.7002 s]
/proc/loadavg: 3.68 3.92 2.22 3/189 24545
/proc/meminfo: memFree=31881724/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11896 CPUtime=12.69 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 4416 0 0 0 1269 0 0 0 20 0 1 0 89957882 36982784 2974 33554432000 4194304 5972588 140726297763136 140726297750328 5094152 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2974 795 435 0 2392 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11896 KiB
[startup+25.5002 s]
/proc/loadavg: 3.42 3.86 2.21 3/189 24545
/proc/meminfo: memFree=31881480/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11912 CPUtime=25.49 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 5615 0 0 0 2549 0 0 0 20 0 1 0 89957882 36982784 2978 33554432000 4194304 5972588 140726297763136 140726297750328 5077385 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2978 795 435 0 2392 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11912 KiB
[startup+51.109 s]
/proc/loadavg: 2.94 3.71 2.21 3/189 24546
/proc/meminfo: memFree=31881088/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11920 CPUtime=51.09 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 6226 0 0 0 5109 0 0 0 20 0 1 0 89957882 36982784 2980 33554432000 4194304 5972588 140726297763136 140726297750328 5099653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2980 795 435 0 2392 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11920 KiB
[startup+102.3 s]
/proc/loadavg: 2.37 3.42 2.20 3/189 24547
/proc/meminfo: memFree=31881084/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11932 CPUtime=102.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 6729 0 0 0 10228 0 0 0 20 0 1 0 89957882 36982784 2983 33554432000 4194304 5972588 140726297763136 140726297750328 5334166 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2983 795 435 0 2392 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11932 KiB
[startup+162.3 s]
/proc/loadavg: 2.14 3.16 2.19 3/190 24556
/proc/meminfo: memFree=31880024/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11944 CPUtime=162.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 7232 0 0 0 16228 0 0 0 20 0 1 0 89957882 36982784 2986 33554432000 4194304 5972588 140726297763136 140726297750328 4908843 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2986 795 435 0 2392 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11944 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.95 2.17 3/190 24580
/proc/meminfo: memFree=31879556/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11948 CPUtime=222.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 7734 0 0 0 22228 0 0 0 20 0 1 0 89957882 36982784 2987 33554432000 4194304 5972588 140726297763136 140726297750328 5320955 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2987 795 435 0 2392 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11948 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.78 2.16 3/190 24581
/proc/meminfo: memFree=31879944/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11952 CPUtime=282.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 8236 0 0 0 28228 0 0 0 20 0 1 0 89957882 36982784 2988 33554432000 4194304 5972588 140726297763136 140726297750328 5077517 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2988 795 435 0 2392 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11952 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.64 2.15 3/189 24582
/proc/meminfo: memFree=31880500/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11952 CPUtime=342.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 8741 0 0 0 34228 0 0 0 20 0 1 0 89957882 36982784 2988 33554432000 4194304 5972588 140726297763136 140726297750328 5244069 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2988 795 435 0 2392 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11952 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.52 2.14 3/189 24583
/proc/meminfo: memFree=31881012/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11956 CPUtime=402.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 9246 0 0 0 40228 0 0 0 20 0 1 0 89957882 36982784 2989 33554432000 4194304 5972588 140726297763136 140726297750328 5320827 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2989 795 435 0 2392 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11956 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.43 2.13 3/188 24584
/proc/meminfo: memFree=31881124/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36116 memory=11960 CPUtime=462.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 9752 0 0 0 46228 0 0 0 20 0 1 0 89957882 36982784 2990 33554432000 4194304 5972588 140726297763136 140726297750328 5328506 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9029 2990 795 435 0 2392 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 36116 KiB
Current children cumulated memory: 11960 KiB
################
# More data... #
################
/proc/24544/statm: 9062 2996 795 435 0 2425 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11984 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24623
/proc/meminfo: memFree=31875692/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11984 CPUtime=1782.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 20852 0 0 0 178227 1 0 0 20 0 1 0 89957882 37117952 2996 33554432000 4194304 5972588 140726297763136 140726297759784 5077456 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2996 795 435 0 2425 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11984 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24625
/proc/meminfo: memFree=31875944/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11984 CPUtime=1842.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 21353 0 0 0 184227 1 0 0 20 0 1 0 89957882 37117952 2996 33554432000 4194304 5972588 140726297763136 140726297759784 5094119 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2996 795 435 0 2425 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11984 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24626
/proc/meminfo: memFree=31876188/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11984 CPUtime=1902.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 21857 0 0 0 190227 1 0 0 20 0 1 0 89957882 37117952 2996 33554432000 4194304 5972588 140726297763136 140726297759784 5099616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2996 795 435 0 2425 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11984 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24635
/proc/meminfo: memFree=31875164/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11984 CPUtime=1962.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 22368 0 0 0 196227 1 0 0 20 0 1 0 89957882 37117952 2996 33554432000 4194304 5972588 140726297763136 140726297759784 5099630 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2996 795 435 0 2425 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11984 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24636
/proc/meminfo: memFree=31875600/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2022.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 22864 0 0 0 202227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5320784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24637
/proc/meminfo: memFree=31875260/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2082.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 23360 0 0 0 208227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5251118 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 25083
/proc/meminfo: memFree=30271616/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2142.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 23871 0 0 0 214227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5077517 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2202.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25084
/proc/meminfo: memFree=30266024/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2202.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 24366 0 0 0 220227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5328722 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 25085
/proc/meminfo: memFree=30263080/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2262.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 24862 0 0 0 226227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5328506 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25086
/proc/meminfo: memFree=30263176/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2322.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 25360 0 0 0 232227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5328628 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 25087
/proc/meminfo: memFree=30211556/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11988 CPUtime=2382.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 25873 0 0 0 238227 1 0 0 20 0 1 0 89957882 37117952 2997 33554432000 4194304 5972588 140726297763136 140726297759784 5099648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2997 795 435 0 2425 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11988 KiB
[startup+2442.3 s]
/proc/loadavg: 2.56 2.19 2.10 3/187 25088
/proc/meminfo: memFree=30191060/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11992 CPUtime=2442.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 26372 0 0 0 244227 1 0 0 20 0 1 0 89957882 37117952 2998 33554432000 4194304 5972588 140726297763136 140726297759784 5338181 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2998 795 435 0 2425 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11992 KiB
[startup+2502.3 s]
/proc/loadavg: 2.21 2.15 2.10 3/187 25089
/proc/meminfo: memFree=30183832/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11992 CPUtime=2502.28 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 26868 0 0 0 250227 1 0 0 20 0 1 0 89957882 37117952 2998 33554432000 4194304 5972588 140726297763136 140726297759784 5320784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2998 795 435 0 2425 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11992 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.16 2.15 2.10 3/187 25089
/proc/meminfo: memFree=30184296/32770624 swapFree=67108860/67108860
[pid=24544] ppid=24541 vsize=36248 memory=11992 CPUtime=2519.98 cores=1,3,5,7
/proc/24544/stat : 24544 (cosoco) R 24541 24544 23976 0 -1 4202496 27360 0 0 0 251997 1 0 0 20 0 1 0 89957882 37117952 2998 33554432000 4194304 5972588 140726297763136 140726297759784 5077400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 29810688 140726297765050 140726297765150 140726297765150 140726297767886 0
/proc/24544/statm: 9062 2998 795 435 0 2425 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 36248 KiB
Current children cumulated memory: 11992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.98 s, system=0.012999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.99
CPU user time (s): 2519.98
CPU system time (s): 0.012999
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 36248
Max. memory (cumulated for all children) (KiB): 11992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.012999
maximum resident set size= 12068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27415
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= 7
involuntary context switches= 683
# summary of solver processes directly reported to runsolver:
# pid: 24544
# total CPU time (s): 2519.99
# total CPU user time (s): 2519.98
# total CPU system time (s): 0.012999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45942 second user time and 16.2056 second system time
The end
Begin job on node115 at 2017-08-12 21:57:23 IDJOB=4265715 IDBENCH=120544 IDSOLVER=2655 FILE ID=node115/4265715-1502568701 RUNJOBID= node115-1502567253-24061 PBS_JOBID= 20628280 Free space on /tmp= 61896 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-queen8-8.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265715-1502568701/watcher-4265715-1502568701 -o /tmp/evaluation-result-4265715-1502568701/solver-4265715-1502568701 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502567253-24061 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265715-1502568701.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1f0f248e074ceb8e6b1804d1246bfc68 RANDOM SEED=929771054 node115.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.69 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.69 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.69 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.69 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: 31888820 kB MemAvailable: 31993096 kB Buffers: 76212 kB Cached: 322112 kB SwapCached: 0 kB Active: 341364 kB Inactive: 116588 kB Active(anon): 568 kB Inactive(anon): 86976 kB Active(file): 340796 kB Inactive(file): 29612 kB Unevictable: 6212 kB Mlocked: 6212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 10544 kB Writeback: 52 kB AnonPages: 64008 kB Mapped: 44180 kB Shmem: 25224 kB Slab: 124920 kB SReclaimable: 99408 kB SUnreclaim: 25512 kB KernelStack: 3376 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 359300 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61896 MiB End job on node115 at 2017-08-12 22:39:23