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) | 23492 | 2400.02 | 2400.11 |
| Name | TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml |
| MD5SUM | 8cfce4baee5c579b6f10529c309e3c1c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 23338 |
| Best CPU time to get the best result obtained on this benchmark | 2520.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1936 |
| Number of constraints | 8495 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 66 |
| Distribution of domain sizes | [{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 50 |
| Distribution of variable degrees | [{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}] |
| Number of extensional constraints | 496 |
| Number of intensional constraints | 6977 |
| Distribution of constraint types | [{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 13.09/13.16 o 25769 13.09/13.18 o 25700 13.09/13.20 o 25682 13.29/13.33 o 25504 13.29/13.38 o 25455 13.29/13.39 o 25453 13.38/13.48 o 25410 14.28/14.33 o 25371 20.09/20.19 o 25330 20.09/20.19 o 25219 27.79/27.84 o 25208 27.79/27.84 o 25075 32.18/32.27 o 24962 32.58/32.61 o 24803 34.58/34.69 o 24704 39.99/40.01 o 24655 41.78/41.87 o 24542 44.58/44.67 o 24513 44.58/44.67 o 24510 50.78/50.87 o 24493 51.48/51.55 o 24473 51.48/51.56 o 24391 67.99/68.04 o 24316 68.18/68.25 o 24269 68.18/68.26 o 24262 68.68/68.76 o 24115 70.38/70.46 o 24080 79.58/79.69 o 24066 82.18/82.22 o 24035 275.93/276.10 o 24021 276.03/276.11 o 23997 276.03/276.12 o 23939 276.03/276.13 o 23921 286.62/286.70 o 23886 286.62/286.70 o 23884 286.62/286.72 o 23825 323.72/323.80 o 23811 323.72/323.81 o 23804 323.72/323.81 o 23751 323.72/323.82 o 23745 324.42/324.57 o 23664 325.12/325.21 o 23653 344.32/344.44 o 23642 480.61/480.73 o 23605 483.81/483.92 o 23588 498.21/498.30 o 23585 1272.21/1272.34 o 23572 1792.10/1792.21 o 23510 1793.30/1793.42 o 23492 2400.00/2400.11 s SATISFIABLE 2400.00/2400.11 v <instantiation type="solution"> 2400.00/2400.11 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[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] 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[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] 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[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] 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[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] 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[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] 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[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] 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[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] 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[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] 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[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] 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[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] 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[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] 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] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] 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[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] 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[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] 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[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] 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[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] 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[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] 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[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] 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[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] 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[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] 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[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] 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[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] 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[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] 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] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] 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[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] 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[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] 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[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] 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[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] 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[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] 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[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] 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[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] 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[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] 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[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] 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[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] 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[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] 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] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] 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[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] 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[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] 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[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] 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[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] 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[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] 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[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] 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[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] 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[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] 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[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] 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[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] 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[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] 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] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30] </list> 2400.00/2400.11 v <values> 10 3 10 3 14 14 5 4 4 2 5 13 13 7 11 8 15 7 11 15 1 12 9 9 2 6 8 6 1 12 12 14 9 8 13 10 7 6 5 10 9 2 15 15 8 14 7 13 6 4 0 2 12 4 3 3 5 11 0 11 8 12 12 9 9 5 14 3 6 0 4 1 5 11 3 4 13 15 15 11 8 1 7 10 0 13 6 10 14 7 9 0 8 0 8 15 6 2 12 4 7 7 14 6 2 13 5 4 12 14 9 13 11 11 1 1 10 15 10 5 6 15 15 11 11 8 10 0 0 3 2 12 12 14 14 2 6 3 5 1 13 7 13 1 5 10 9 7 9 8 13 10 11 6 12 2 0 10 1 11 0 15 2 9 13 6 3 14 4 8 7 9 14 8 4 15 1 12 7 3 4 8 13 5 10 7 3 1 2 14 14 9 9 3 7 5 4 11 1 12 12 15 15 13 11 0 2 0 8 10 14 9 14 15 15 6 1 11 11 8 3 3 10 0 6 9 1 0 13 10 5 4 2 12 12 8 13 4 5 2 2 6 3 1 3 4 12 14 15 7 15 10 11 13 1 0 14 12 9 5 2 11 10 5 9 7 0 13 6 4 3 7 1 2 2 11 15 13 10 12 1 6 6 5 15 7 12 10 8 13 3 5 0 0 8 11 4 14 4 14 0 5 0 13 6 1 4 5 9 1 13 8 7 12 12 11 11 9 14 7 15 14 8 2 15 4 3 2 3 6 15 13 5 4 4 9 13 7 7 5 12 14 8 2 0 10 10 6 0 2 14 8 3 3 6 9 12 1 15 1 1 2 2 14 5 13 8 15 3 9 11 4 4 10 10 15 9 8 3 6 6 0 1 7 7 14 11 5 13 0 5 11 6 10 1 12 11 9 14 15 10 0 0 8 5 3 2 1 7 9 4 3 4 6 14 2 7 8 12 15 7 1 7 12 0 0 2 8 13 6 6 11 3 4 4 1 8 5 10 3 11 10 5 15 13 12 15 9 2 9 11 4 4 7 7 3 9 12 8 13 8 5 1 1 9 12 0 2 2 0 10 6 6 14 10 5 14 3 11 13 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 55 55 0 34 72 59 0 36 36 15 50 39 59 59 55 55 59 57 44 0 10 10 0 51 51 0 48 31 44 57 57 0 0 43 43 64 64 44 44 0 65 65 0 68 68 46 84 53 0 39 18 31 22 48 55 0 32 41 40 10 55 64 53 53 48 30 49 50 50 0 56 56 45 31 22 0 47 47 61 61 59 45 58 0 56 56 15 15 0 55 111 56 0 0 34 34 0 68 97 63 47 48 80 0 14 14 47 47 50 50 51 51 72 17 67 0 66 64 32 69 69 0 41 41 0 0 90 45 70 0 74 74 36 34 51 0 73 27 70 45 56 18 35 35 91 41 64 31 31 0 55 55 0 21 21 75 66 51 0 94 94 39 39 40 64 44 0 50 50 0 27 47 41 0 42 42 81 17 93 35 90 69 0 48 48 0 18 21 31 27 27 0 47 32 39 0 83 17 69 0 59 59 0 70 70 0 88 88 91 32 92 44 15 56 0 75 75 82 82 0 57 57 59 59 67 67 81 68 14 0 44 44 79 43 44 0 69 51 48 0 90 90 0 41 91 64 56 56 0 0 68 32 46 21 21 84 105 97 0 73 10 69 0 48 48 81 30 68 53 53 0 42 42 81 81 104 92 31 0 67 14 79 0 49 49 103 103 103 103 43 43 69 27 81 0 30 30 0 93 93 0 51 51 68 69 105 0 55 70 17 0 0 55 55 75 39 65 51 51 0 66 66 69 90 101 10 10 103 17 111 39 39 73 53 55 74 74 0 69 69 0 0 69 75 44 70 55 105 0 67 67 105 27 113 58 58 0 10 10 55 55 0 69 68 66 70 70 0 64 68 45 0 55 22 48 27 27 90 104 81 0 30 30 73 73 0 101 39 97 0 80 47 88 57 57 0 90 90 105 44 94 0 0 0 0 92 75 66 0 69 105 93 32 32 59 59 104 42 75 0 64 44 41 0 50 51 91 91 56 61 0 90 90 0 0 53 44 82 0 59 15 56 91 92 83 0 72 72 70 70 84 42 93 0 113 10 111 105 105 27 27 17 17 0 0 45 70 90 0 57 57 0 97 97 0 97 42 69 68 43 103 0 59 59 59 59 91 91 0 39 39 105 72 63 32 32 </values> 2400.00/2400.11 v </instantiation>
OK 23492
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 (7267 MiB free)
memory of node 1: 16384 MiB (12752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289641-1532202846/watcher-4289641-1532202846 -o /tmp/evaluation-result-4289641-1532202846/solver-4289641-1532202846 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532190501-25868 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 505440534 HOME/instance-4289641-1532202846.xml
running on 4 cores: 0,2,4,6
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=27508, runsolver pid=27505
Current StackSize limit: 8192 KiB
[startup+0.100797 s]*
/proc/loadavg: 2.05 2.03 2.05 3/192 27509
/proc/meminfo: memFree=20481384/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=48044 memory=22740 CPUtime=0.1 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 6147 0 0 0 9 1 0 0 20 0 1 0 37847746 49197056 5685 33554432000 4194304 7498468 140724098706912 140724098697592 4564424 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 12011 5685 716 807 0 5002 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48044 KiB
Current children cumulated memory: 22740 KiB
[startup+0.210235 s]*
/proc/loadavg: 2.05 2.03 2.05 3/192 27509
/proc/meminfo: memFree=20478096/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=51196 memory=25908 CPUtime=0.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 6964 0 0 0 19 1 0 0 20 0 1 0 37847746 52424704 6477 33554432000 4194304 7498468 140724098706912 140724098697592 140516661724320 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 12799 6477 730 807 0 5790 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51196 KiB
Current children cumulated memory: 25908 KiB
[startup+0.309777 s]*
/proc/loadavg: 2.05 2.03 2.05 3/192 27509
/proc/meminfo: memFree=20471276/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=57784 memory=32508 CPUtime=0.31 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 8589 0 0 0 29 2 0 0 20 0 1 0 37847746 59170816 8127 33554432000 4194304 7498468 140724098706912 140724098697832 6109299 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 14446 8127 730 807 0 7437 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57784 KiB
Current children cumulated memory: 32508 KiB
[startup+0.700285 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 27509
/proc/meminfo: memFree=20469292/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=67540 memory=42084 CPUtime=0.68 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 10845 0 0 0 66 2 0 0 20 0 1 0 37847746 69160960 10521 33554432000 4194304 7498468 140724098706912 140724098697832 4564576 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 16885 10521 730 807 0 9876 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 67540 KiB
Current children cumulated memory: 42084 KiB
[startup+1.50024 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 27509
/proc/meminfo: memFree=20452736/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=88916 memory=63508 CPUtime=1.49 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 16238 0 0 0 146 3 0 0 20 0 1 0 37847746 91049984 15877 33554432000 4194304 7498468 140724098706912 140724098697912 140516658420547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 22229 15877 730 807 0 15220 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88916 KiB
Current children cumulated memory: 63508 KiB
[startup+3.10993 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 27509
/proc/meminfo: memFree=20394592/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=132836 memory=107656 CPUtime=3.1 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 38710 0 0 0 305 5 0 0 20 0 1 0 37847746 136024064 26914 33554432000 4194304 7498468 140724098706912 140724098697816 6308387 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 33209 26914 730 807 0 26200 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 132836 KiB
Current children cumulated memory: 107656 KiB
[startup+6.30031 s]
/proc/loadavg: 2.12 2.04 2.05 3/192 27509
/proc/meminfo: memFree=20262340/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=266220 memory=241044 CPUtime=6.29 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 103921 0 0 0 618 11 0 0 20 0 1 0 37847746 272609280 60261 33554432000 4194304 7498468 140724098706912 140724098701448 5791454 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 66555 60261 781 807 0 59546 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 266220 KiB
Current children cumulated memory: 241044 KiB
[startup+12.7004 s]
/proc/loadavg: 2.11 2.04 2.05 3/192 27509
/proc/meminfo: memFree=20259520/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=268464 memory=243364 CPUtime=12.68 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 146428 0 0 0 1255 13 0 0 20 0 1 0 37847746 274907136 60841 33554432000 4194304 7498468 140724098706912 140724098701448 5609545 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67116 60841 781 807 0 60107 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 268464 KiB
Current children cumulated memory: 243364 KiB
[startup+25.5003 s]
/proc/loadavg: 2.09 2.04 2.05 3/192 27509
/proc/meminfo: memFree=20258512/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=268860 memory=243908 CPUtime=25.48 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 213182 0 0 0 2531 17 0 0 20 0 1 0 37847746 275312640 60977 33554432000 4194304 7498468 140724098706912 140724098701928 4580921 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67215 60977 784 807 0 60206 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 268860 KiB
Current children cumulated memory: 243908 KiB
[startup+51.1103 s]
/proc/loadavg: 1.98 2.02 2.04 3/192 27509
/proc/meminfo: memFree=20257860/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269124 memory=244196 CPUtime=51.09 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 277546 0 0 0 5089 20 0 0 20 0 1 0 37847746 275582976 61049 33554432000 4194304 7498468 140724098706912 140724098701928 5791399 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67281 61049 784 807 0 60272 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 269124 KiB
Current children cumulated memory: 244196 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/191 27511
/proc/meminfo: memFree=20258216/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269256 memory=244252 CPUtime=102.28 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 321117 0 0 0 10205 23 0 0 20 0 1 0 37847746 275718144 61063 33554432000 4194304 7498468 140724098706912 140724098701928 5838524 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67314 61063 784 807 0 60305 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 269256 KiB
Current children cumulated memory: 244252 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 27512
/proc/meminfo: memFree=20257024/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269400 memory=244416 CPUtime=162.26 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 363502 0 0 0 16201 25 0 0 20 0 1 0 37847746 275865600 61104 33554432000 4194304 7498468 140724098706912 140724098701528 4580275 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67350 61104 784 807 0 60341 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 269400 KiB
Current children cumulated memory: 244416 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 27513
/proc/meminfo: memFree=20254004/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269400 memory=244436 CPUtime=222.24 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 379390 0 0 0 22198 26 0 0 20 0 1 0 37847746 275865600 61109 33554432000 4194304 7498468 140724098706912 140724098701528 4264863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67350 61109 784 807 0 60341 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 269400 KiB
Current children cumulated memory: 244436 KiB
[startup+282.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/190 27515
/proc/meminfo: memFree=20253988/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269532 memory=244496 CPUtime=282.22 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 383093 0 0 0 28196 26 0 0 20 0 1 0 37847746 276000768 61124 33554432000 4194304 7498468 140724098706912 140724098701928 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67383 61124 784 807 0 60374 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 269532 KiB
Current children cumulated memory: 244496 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/190 27516
/proc/meminfo: memFree=20254136/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269532 memory=244516 CPUtime=342.22 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 383599 0 0 0 34196 26 0 0 20 0 1 0 37847746 276000768 61129 33554432000 4194304 7498468 140724098706912 140724098701928 4542238 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67383 61129 784 807 0 60374 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 269532 KiB
Current children cumulated memory: 244516 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/190 27524
/proc/meminfo: memFree=20253352/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269532 memory=244556 CPUtime=402.22 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 384647 0 0 0 40196 26 0 0 20 0 1 0 37847746 276000768 61139 33554432000 4194304 7498468 140724098706912 140724098701928 5791376 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67383 61139 784 807 0 60374 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 269532 KiB
Current children cumulated memory: 244556 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 27548
/proc/meminfo: memFree=20252700/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269532 memory=244572 CPUtime=462.21 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 385123 0 0 0 46195 26 0 0 20 0 1 0 37847746 276000768 61143 33554432000 4194304 7498468 140724098706912 140724098701928 5770560 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67383 61143 784 807 0 60374 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 269532 KiB
Current children cumulated memory: 244572 KiB
################
# More data... #
################
/proc/27508/statm: 67482 61241 784 807 0 60473 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 269928 KiB
Current children cumulated memory: 244964 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 27588
/proc/meminfo: memFree=20249084/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269928 memory=244968 CPUtime=1722.21 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 397679 0 0 0 172193 28 0 0 20 0 1 0 37847746 276406272 61242 33554432000 4194304 7498468 140724098706912 140724098701448 5585448 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67482 61242 784 807 0 60473 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 269928 KiB
Current children cumulated memory: 244968 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 27589
/proc/meminfo: memFree=20248728/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269928 memory=244980 CPUtime=1782.21 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 398151 0 0 0 178193 28 0 0 20 0 1 0 37847746 276406272 61245 33554432000 4194304 7498468 140724098706912 140724098701448 5609412 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67482 61245 784 807 0 60473 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 269928 KiB
Current children cumulated memory: 244980 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/192 27590
/proc/meminfo: memFree=20248732/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=269928 memory=244992 CPUtime=1842.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 399360 0 0 0 184192 28 0 0 20 0 1 0 37847746 276406272 61248 33554432000 4194304 7498468 140724098706912 140724098701928 5791574 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67482 61248 784 807 0 60473 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 269928 KiB
Current children cumulated memory: 244992 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 27592
/proc/meminfo: memFree=20248504/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=244992 CPUtime=1902.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 399862 0 0 0 190192 28 0 0 20 0 1 0 37847746 276541440 61248 33554432000 4194304 7498468 140724098706912 140724098701448 5773616 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61248 784 807 0 60506 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 244992 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27593
/proc/meminfo: memFree=20248516/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245012 CPUtime=1962.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 400338 0 0 0 196192 28 0 0 20 0 1 0 37847746 276541440 61253 33554432000 4194304 7498468 140724098706912 140724098701448 5616010 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61253 784 807 0 60506 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245012 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27594
/proc/meminfo: memFree=20248404/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245016 CPUtime=2022.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 400818 0 0 0 202192 28 0 0 20 0 1 0 37847746 276541440 61254 33554432000 4194304 7498468 140724098706912 140724098701448 5684444 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61254 784 807 0 60506 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245016 KiB
[startup+2082.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 27657
/proc/meminfo: memFree=20819320/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245028 CPUtime=2082.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 401298 0 0 0 208192 28 0 0 20 0 1 0 37847746 276541440 61257 33554432000 4194304 7498468 140724098706912 140724098701448 4580806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61257 784 807 0 60506 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245028 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/190 27658
/proc/meminfo: memFree=20819456/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245028 CPUtime=2142.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 401779 0 0 0 214192 28 0 0 20 0 1 0 37847746 276541440 61257 33554432000 4194304 7498468 140724098706912 140724098701448 5648564 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61257 784 807 0 60506 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245028 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 27667
/proc/meminfo: memFree=20819324/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245032 CPUtime=2202.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 402267 0 0 0 220192 28 0 0 20 0 1 0 37847746 276541440 61258 33554432000 4194304 7498468 140724098706912 140724098701448 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61258 784 807 0 60506 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245032 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/191 27668
/proc/meminfo: memFree=20818532/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245036 CPUtime=2262.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 402767 0 0 0 226192 28 0 0 20 0 1 0 37847746 276541440 61259 33554432000 4194304 7498468 140724098706912 140724098701448 5840462 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61259 784 807 0 60506 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245036 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27669
/proc/meminfo: memFree=20818388/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245040 CPUtime=2322.2 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 403275 0 0 0 232192 28 0 0 20 0 1 0 37847746 276541440 61260 33554432000 4194304 7498468 140724098706912 140724098701448 4580246 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61260 784 807 0 60506 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245040 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27670
/proc/meminfo: memFree=20819172/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245044 CPUtime=2382.19 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 404365 0 0 0 238191 28 0 0 20 0 1 0 37847746 276541440 61261 33554432000 4194304 7498468 140724098706912 140724098701448 4580120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61261 784 807 0 60506 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27670
/proc/meminfo: memFree=20819176/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245068 CPUtime=2400 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 404834 0 0 0 239972 28 0 0 20 0 1 0 37847746 276541440 61267 33554432000 4194304 7498468 140724098706912 140724098701448 4579986 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61267 784 807 0 60506 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 27508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.73 s, system=0.289996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 27670
/proc/meminfo: memFree=20819176/32770624 swapFree=67108860/67108860
[pid=27508] ppid=27505 vsize=270060 memory=245068 CPUtime=2400 cores=0,2,4,6
/proc/27508/stat : 27508 (MistralXCSP) R 27505 27508 25837 0 -1 4202496 404834 0 0 0 239972 28 0 0 20 0 1 0 37847746 276541440 61267 33554432000 4194304 7498468 140724098706912 140724098701448 4579986 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 20815872 140724098712686 140724098712835 140724098712835 140724098715593 0
/proc/27508/statm: 67515 61267 784 807 0 60506 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 270060 KiB
Current children cumulated memory: 245068 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.02
CPU user time (s): 2399.73
CPU system time (s): 0.289996
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 270060
Max. memory (cumulated for all children) (KiB): 245068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.289996
maximum resident set size= 245092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404865
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= 109
involuntary context switches= 923
# summary of solver processes directly reported to runsolver:
# pid: 27508
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.73
# total CPU system time (s): 0.289996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5622 second user time and 17.9235 second system time
The end
Begin job on node132 at 2018-07-21 21:54:06 IDJOB=4289641 IDBENCH=141551 IDSOLVER=2741 FILE ID=node132/4289641-1532202846 RUNJOBID= node132-1532190501-25868 PBS_JOBID= 21018935 Free space on /tmp= 55124 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy16_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-4289641-1532202846/watcher-4289641-1532202846 -o /tmp/evaluation-result-4289641-1532202846/solver-4289641-1532202846 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532190501-25868 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 505440534 HOME/instance-4289641-1532202846.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8cfce4baee5c579b6f10529c309e3c1c RANDOM SEED=505440534 node132.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.65 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.65 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.65 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.65 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: 20500628 kB MemAvailable: 31339704 kB Buffers: 224360 kB Cached: 10769624 kB SwapCached: 0 kB Active: 2513640 kB Inactive: 9134364 kB Active(anon): 657272 kB Inactive(anon): 17040 kB Active(file): 1856368 kB Inactive(file): 9117324 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9824 kB Writeback: 0 kB AnonPages: 662836 kB Mapped: 35468 kB Shmem: 17056 kB Slab: 320612 kB SReclaimable: 293844 kB SUnreclaim: 26768 kB KernelStack: 3520 kB PageTables: 6436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 943488 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 436224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55112 MiB End job on node132 at 2018-07-21 22:34:06