Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-06-15 | SAT (TO) | 10418 | 2400.11 | 2400.01 |
| Name | TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml |
| MD5SUM | 69fcc0210e9a5c86649ea22552bf9d3d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10735 |
| Best CPU time to get the best result obtained on this benchmark | 2520.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1068 |
| Number of constraints | 3635 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 45 |
| Distribution of domain sizes | [{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 38 |
| Distribution of variable degrees | [{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 22 |
| Distribution of constraint arities | [{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}] |
| Number of extensional constraints | 276 |
| Number of intensional constraints | 2785 |
| Distribution of constraint types | [{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 2.38/2.43 o 11834 2.38/2.45 o 11823 2.48/2.55 o 11793 2.58/2.64 o 11749 2.58/2.64 o 11735 2.68/2.72 o 11686 3.28/3.30 o 11650 4.00/4.09 o 11592 4.10/4.16 o 11552 4.89/5.00 o 11430 4.89/5.00 o 11278 5.49/5.59 o 11267 5.89/5.97 o 11233 6.39/6.40 o 11194 8.00/8.06 o 11192 8.00/8.06 o 11117 10.19/10.25 o 11049 13.59/13.62 o 10967 13.59/13.62 o 10956 13.59/13.63 o 10946 17.49/17.56 o 10927 22.58/22.62 o 10898 22.58/22.62 o 10858 23.88/23.90 o 10852 38.18/38.25 o 10820 39.87/39.99 o 10808 62.66/62.72 o 10794 62.86/62.98 o 10775 80.06/80.13 o 10705 113.85/113.94 o 10663 187.14/187.27 o 10655 187.54/187.62 o 10618 251.63/251.77 o 10606 251.63/251.78 o 10604 285.94/286.06 o 10600 322.62/322.72 o 10511 361.82/361.95 o 10505 362.82/362.93 o 10494 1264.90/1264.97 o 10479 1760.83/1760.81 o 10418 2400.10/2400.01 s SATISFIABLE 2400.10/2400.01 v <instantiation type="solution"> 2400.10/2400.01 v <list> o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] </list> 2400.10/2400.01 v <values> 2 7 1 5 4 6 3 9 11 2 1 3 5 9 6 8 7 8 10 11 10 4 3 5 0 2 6 9 11 6 8 3 0 7 7 5 11 9 4 2 4 10 8 10 0 3 5 1 8 11 10 10 5 0 9 6 6 4 4 3 8 1 9 7 11 7 1 2 8 4 7 7 0 11 10 1 5 0 11 10 9 2 6 4 6 5 9 8 9 10 7 3 0 5 6 5 6 11 11 8 8 2 2 10 1 3 1 9 7 0 11 1 2 0 9 4 8 4 2 10 3 10 0 1 8 6 11 7 7 3 6 9 10 11 10 9 1 0 4 1 4 7 7 2 2 8 0 5 3 9 3 8 5 11 8 0 4 10 3 3 9 8 9 6 6 1 1 11 10 11 0 5 5 2 4 2 7 9 3 11 2 10 5 7 1 9 10 4 4 6 5 0 2 0 11 6 1 3 4 8 11 6 5 1 7 0 7 8 2 11 10 0 3 1 10 6 2 4 3 5 6 4 6 7 11 8 2 2 3 5 8 5 9 3 7 4 9 11 0 1 0 1 5 6 9 8 10 2 1 3 0 4 4 9 3 7 1 7 5 10 8 0 2 6 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 44 44 39 35 36 34 34 0 15 22 10 0 51 69 44 0 48 48 55 10 55 0 0 0 10 10 0 43 43 39 39 32 32 44 44 40 44 64 31 45 22 0 46 73 65 15 15 0 22 22 58 10 55 50 50 49 49 56 18 45 47 68 53 0 56 56 0 0 32 22 47 0 14 14 0 66 10 69 41 39 34 0 67 67 0 51 18 47 0 68 68 0 0 64 14 51 0 18 27 35 0 70 70 21 21 45 55 74 0 31 43 55 36 36 0 40 22 50 0 35 21 42 0 51 51 0 39 39 0 27 70 44 48 14 41 81 81 0 70 10 75 39 10 44 0 18 18 59 56 56 31 31 0 47 67 69 0 27 27 0 81 81 0 69 69 14 14 0 79 69 59 0 44 64 67 0 44 39 48 0 64 45 56 0 68 67 68 53 55 73 81 44 46 0 21 21 0 42 39 48 0 69 70 31 0 0 55 55 0 69 27 81 79 44 51 68 68 105 10 103 0 43 43 0 49 49 67 67 0 75 18 74 0 10 10 0 55 55 0 73 42 51 69 14 69 103 103 55 10 65 0 0 44 44 105 68 69 0 64 64 55 36 70 0 66 66 0 67 67 10 10 0 58 56 70 </values> 2400.10/2400.01 v </instantiation>
OK 10418
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 (7816 MiB free)
memory of node 1: 16384 MiB (8957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289645-1532202904/watcher-4289645-1532202904 -o /tmp/evaluation-result-4289645-1532202904/solver-4289645-1532202904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532190501-26287 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1561327552 HOME/instance-4289645-1532202904.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27729, runsolver pid=27726
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.06 2.05 2.05 3/191 27730
/proc/meminfo: memFree=17166804/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=38572 memory=13204 CPUtime=0.1 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 3580 0 0 0 10 0 0 0 20 0 1 0 37853537 39497728 3301 33554432000 4194304 7498468 140726182495088 140726182492088 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 9643 3301 729 807 0 2634 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38572 KiB
Current children cumulated memory: 13204 KiB
[startup+0.209955 s]*
/proc/loadavg: 2.06 2.05 2.05 3/191 27730
/proc/meminfo: memFree=17163084/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=42024 memory=16632 CPUtime=0.21 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 4552 0 0 0 21 0 0 0 20 0 1 0 37853537 43032576 4158 33554432000 4194304 7498468 140726182495088 140726182492088 139738613508792 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 10506 4158 729 807 0 3497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42024 KiB
Current children cumulated memory: 16632 KiB
[startup+0.309508 s]*
/proc/loadavg: 2.06 2.05 2.05 3/191 27730
/proc/meminfo: memFree=17160108/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=45056 memory=19536 CPUtime=0.3 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 5298 0 0 0 30 0 0 0 20 0 1 0 37853537 46137344 4884 33554432000 4194304 7498468 140726182495088 140726182492088 139738613508509 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 11264 4884 729 807 0 4255 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45056 KiB
Current children cumulated memory: 19536 KiB
[startup+0.700371 s]
/proc/loadavg: 2.06 2.05 2.05 4/191 27730
/proc/meminfo: memFree=17154616/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=57228 memory=31764 CPUtime=0.69 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 8475 0 0 0 68 1 0 0 20 0 1 0 37853537 58601472 7941 33554432000 4194304 7498468 140726182495088 140726182486088 139738616814894 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 14307 7941 729 807 0 7298 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57228 KiB
Current children cumulated memory: 31764 KiB
[startup+1.50039 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 27730
/proc/meminfo: memFree=17138904/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=119904 memory=94596 CPUtime=1.48 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 24186 0 0 0 145 3 0 0 20 0 1 0 37853537 122781696 23649 33554432000 4194304 7498468 140726182495088 140726182486088 4580275 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 29976 23649 771 807 0 22967 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119904 KiB
Current children cumulated memory: 94596 KiB
[startup+3.10974 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 27730
/proc/meminfo: memFree=17078504/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=125848 memory=100572 CPUtime=3.09 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 41865 0 0 0 305 4 0 0 20 0 1 0 37853537 128868352 25143 33554432000 4194304 7498468 140726182495088 140726182489624 5838464 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31462 25143 784 807 0 24453 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125848 KiB
Current children cumulated memory: 100572 KiB
[startup+6.30036 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 27730
/proc/meminfo: memFree=17078504/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126112 memory=100908 CPUtime=6.29 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 58406 0 0 0 624 5 0 0 20 0 1 0 37853537 129138688 25227 33554432000 4194304 7498468 140726182495088 140726182490104 4581296 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31528 25227 784 807 0 24519 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 126112 KiB
Current children cumulated memory: 100908 KiB
[startup+12.7004 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 27730
/proc/meminfo: memFree=17078008/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126244 memory=101120 CPUtime=12.69 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 74981 0 0 0 1263 6 0 0 20 0 1 0 37853537 129273856 25280 33554432000 4194304 7498468 140726182495088 140726182490104 5772170 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31561 25280 784 807 0 24552 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 126244 KiB
Current children cumulated memory: 101120 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 27730
/proc/meminfo: memFree=17077596/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126244 memory=101232 CPUtime=25.48 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 102552 0 0 0 2541 7 0 0 20 0 1 0 37853537 129273856 25308 33554432000 4194304 7498468 140726182495088 140726182490104 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31561 25308 784 807 0 24552 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 126244 KiB
Current children cumulated memory: 101232 KiB
[startup+51.1098 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 27730
/proc/meminfo: memFree=17077928/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101264 CPUtime=51.08 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 110959 0 0 0 5100 8 0 0 20 0 1 0 37853537 129409024 25316 33554432000 4194304 7498468 140726182495088 140726182490104 4249991 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25316 784 807 0 24585 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101264 KiB
[startup+102.3 s]
/proc/loadavg: 2.17 2.08 2.06 3/192 27732
/proc/meminfo: memFree=17077588/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101328 CPUtime=102.25 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 111985 0 0 0 10217 8 0 0 20 0 1 0 37853537 129409024 25332 33554432000 4194304 7498468 140726182495088 140726182490104 4264800 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25332 784 807 0 24585 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101328 KiB
[startup+162.3 s]
/proc/loadavg: 2.16 2.10 2.06 3/192 27733
/proc/meminfo: memFree=17077300/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101336 CPUtime=162.24 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 112991 0 0 0 16216 8 0 0 20 0 1 0 37853537 129409024 25334 33554432000 4194304 7498468 140726182495088 140726182490104 5773663 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25334 784 807 0 24585 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101336 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/192 27735
/proc/meminfo: memFree=17077172/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101348 CPUtime=222.24 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 114007 0 0 0 22216 8 0 0 20 0 1 0 37853537 129409024 25337 33554432000 4194304 7498468 140726182495088 140726182490104 4580282 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25337 784 807 0 24585 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101348 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/192 27736
/proc/meminfo: memFree=17077296/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101372 CPUtime=282.23 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 115019 0 0 0 28215 8 0 0 20 0 1 0 37853537 129409024 25343 33554432000 4194304 7498468 140726182495088 140726182490104 4246879 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25343 784 807 0 24585 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101372 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/192 27744
/proc/meminfo: memFree=17076964/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101372 CPUtime=342.22 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 116033 0 0 0 34214 8 0 0 20 0 1 0 37853537 129409024 25343 33554432000 4194304 7498468 140726182495088 140726182490104 4252726 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25343 784 807 0 24585 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101372 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/194 27771
/proc/meminfo: memFree=17076752/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101372 CPUtime=402.23 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 116802 0 0 0 40215 8 0 0 20 0 1 0 37853537 129409024 25343 33554432000 4194304 7498468 140726182495088 140726182490104 4249991 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25343 784 807 0 24585 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101372 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/194 27772
/proc/meminfo: memFree=17076876/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101376 CPUtime=462.23 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 117049 0 0 0 46215 8 0 0 20 0 1 0 37853537 129409024 25344 33554432000 4194304 7498468 140726182495088 140726182490104 4581128 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25344 784 807 0 24585 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101376 KiB
################
# More data... #
################
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1602.32 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 27810
/proc/meminfo: memFree=17075988/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=1662.33 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 125649 0 0 0 166224 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4246876 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1662.33 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 27811
/proc/meminfo: memFree=17076304/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=1722.33 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 126388 0 0 0 172224 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4581086 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 27812
/proc/meminfo: memFree=17076416/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=1782.34 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 126685 0 0 0 178225 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 5838205 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27815
/proc/meminfo: memFree=17076400/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=1842.34 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 127420 0 0 0 184225 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4253187 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27816
/proc/meminfo: memFree=17076272/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=1902.34 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 127424 0 0 0 190225 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 5838196 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/191 27817
/proc/meminfo: memFree=17076300/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=1962.35 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 128154 0 0 0 196226 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4264984 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 27880
/proc/meminfo: memFree=17044432/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2022.35 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 128179 0 0 0 202226 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4580687 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 27882
/proc/meminfo: memFree=17043844/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2082.36 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 128930 0 0 0 208227 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4252776 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/193 27891
/proc/meminfo: memFree=17043896/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2142.36 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 128933 0 0 0 214227 9 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 5585459 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/193 27892
/proc/meminfo: memFree=17043628/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2202.38 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 129682 0 0 0 220228 10 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 27893
/proc/meminfo: memFree=17044352/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2262.38 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 129682 0 0 0 226228 10 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 5701480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2262.38 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 27894
/proc/meminfo: memFree=17044468/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2322.39 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 130701 0 0 0 232229 10 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4252690 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27896
/proc/meminfo: memFree=17044324/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2382.39 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 130701 0 0 0 238229 10 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4580687 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 27896
/proc/meminfo: memFree=17044588/32770624 swapFree=67108860/67108860
[pid=27729] ppid=27726 vsize=126376 memory=101416 CPUtime=2400.1 cores=1,3,5,7
/proc/27729/stat : 27729 (MistralXCSP) R 27726 27729 26255 0 -1 4202496 131422 0 0 0 240000 10 0 0 20 0 1 0 37853537 129409024 25354 33554432000 4194304 7498468 140726182495088 140726182490104 4267292 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 17281024 140726182499437 140726182499587 140726182499587 140726182502345 0
/proc/27729/statm: 31594 25354 784 807 0 24585 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 126376 KiB
Current children cumulated memory: 101416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 27729 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.101005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.11
CPU user time (s): 2400.01
CPU system time (s): 0.101005
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 126376
Max. memory (cumulated for all children) (KiB): 101416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.101005
maximum resident set size= 101436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131463
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= 52
involuntary context switches= 822
# summary of solver processes directly reported to runsolver:
# pid: 27729
# total CPU time (s): 2400.11
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.101005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2796 second user time and 15.2565 second system time
The end
Begin job on node133 at 2018-07-21 21:55:04 IDJOB=4289645 IDBENCH=141555 IDSOLVER=2741 FILE ID=node133/4289645-1532202904 RUNJOBID= node133-1532190501-26287 PBS_JOBID= 21018934 Free space on /tmp= 52640 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy12_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289645-1532202904/watcher-4289645-1532202904 -o /tmp/evaluation-result-4289645-1532202904/solver-4289645-1532202904 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532190501-26287 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1561327552 HOME/instance-4289645-1532202904.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69fcc0210e9a5c86649ea22552bf9d3d RANDOM SEED=1561327552 node133.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.24 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.24 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.24 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.24 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: 17177096 kB MemAvailable: 31926704 kB Buffers: 215816 kB Cached: 14614588 kB SwapCached: 0 kB Active: 1177380 kB Inactive: 13720648 kB Active(anon): 70568 kB Inactive(anon): 17024 kB Active(file): 1106812 kB Inactive(file): 13703624 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9408 kB Writeback: 0 kB AnonPages: 158992 kB Mapped: 36804 kB Shmem: 17056 kB Slab: 394892 kB SReclaimable: 367632 kB SUnreclaim: 27260 kB KernelStack: 3632 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 359788 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 52632 MiB End job on node133 at 2018-07-21 22:35:04