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) | 223 | 2400.06 | 2400.11 |
| Name | StillLife/ StillLife-wastage-21_c18.xml |
| MD5SUM | a6f0507a9e94bceb0819229116432592 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 232 |
| Best CPU time to get the best result obtained on this benchmark | 194.302 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1082 |
| Number of constraints | 659 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1059 |
| Distribution of domain sizes | [{"size":2,"count":529},{"size":3,"count":529},{"size":442,"count":1},{"size":1059,"count":23}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":526},{"degree":3,"count":26},{"degree":4,"count":84},{"degree":8,"count":80},{"degree":9,"count":361},{"degree":24,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 25 |
| Distribution of constraint arities | [{"arity":2,"count":107},{"arity":3,"count":84},{"arity":10,"count":441},{"arity":23,"count":4},{"arity":24,"count":1},{"arity":25,"count":22}] |
| Number of extensional constraints | 525 |
| Number of intensional constraints | 106 |
| Distribution of constraint types | [{"type":"extension","count":525},{"type":"intension","count":106},{"type":"sum","count":24},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.00 c Mistral 16062018 0.21/0.25 o 4 0.21/0.25 o 5 0.21/0.25 o 6 0.21/0.25 o 8 0.21/0.25 o 9 0.21/0.25 o 10 0.21/0.26 o 11 0.21/0.26 o 12 0.21/0.27 o 13 0.21/0.27 o 14 0.21/0.28 o 15 0.21/0.28 o 16 0.31/0.34 o 17 0.31/0.34 o 18 0.31/0.34 o 19 0.31/0.34 o 20 0.31/0.34 o 22 0.31/0.34 o 23 0.31/0.34 o 24 0.31/0.35 o 25 0.31/0.36 o 26 0.31/0.36 o 27 0.41/0.42 o 29 0.41/0.42 o 30 0.41/0.42 o 31 0.41/0.42 o 33 0.41/0.42 o 34 0.41/0.42 o 35 0.41/0.43 o 37 0.41/0.43 o 38 0.41/0.44 o 42 0.41/0.46 o 43 0.41/0.46 o 44 0.41/0.46 o 45 0.41/0.47 o 46 0.41/0.49 o 47 0.51/0.53 o 49 0.51/0.53 o 50 0.51/0.54 o 51 0.51/0.54 o 52 0.51/0.55 o 53 0.51/0.55 o 54 0.51/0.55 o 55 0.51/0.57 o 57 0.51/0.57 o 58 0.51/0.58 o 59 0.51/0.60 o 60 0.51/0.60 o 61 0.60/0.67 o 62 0.60/0.69 o 63 0.69/0.70 o 64 0.69/0.74 o 72 0.69/0.75 o 73 0.69/0.76 o 75 0.69/0.76 o 76 0.69/0.76 o 77 0.79/0.82 o 78 0.79/0.82 o 79 0.89/0.91 o 80 0.89/0.91 o 81 0.89/0.91 o 82 0.89/0.92 o 83 0.89/0.96 o 84 1.00/1.01 o 85 1.10/1.16 o 88 1.10/1.18 o 89 1.39/1.42 o 90 1.39/1.43 o 91 1.39/1.48 o 92 1.49/1.52 o 93 1.59/1.63 o 94 1.59/1.63 o 95 1.59/1.63 o 96 1.79/1.84 o 97 1.79/1.86 o 104 2.10/2.17 o 105 2.10/2.17 o 106 2.10/2.17 o 107 2.39/2.44 o 109 2.39/2.48 o 110 2.39/2.48 o 111 2.39/2.49 o 112 2.59/2.68 o 113 2.89/2.95 o 114 2.89/2.96 o 115 3.10/3.22 o 116 3.31/3.37 o 117 3.89/3.90 o 118 4.20/4.21 o 119 6.39/6.49 o 122 6.39/6.49 o 123 6.49/6.56 o 126 6.49/6.56 o 127 6.59/6.62 o 128 6.59/6.63 o 129 6.69/6.79 o 130 6.79/6.80 o 131 8.10/8.13 o 132 8.10/8.15 o 133 8.10/8.17 o 134 8.10/8.19 o 135 8.29/8.35 o 136 8.29/8.38 o 137 8.39/8.42 o 138 8.39/8.49 o 139 8.59/8.63 o 140 8.69/8.79 o 141 8.89/8.96 o 142 9.10/9.18 o 143 9.89/9.99 o 144 10.49/10.56 o 145 11.59/11.65 o 164 11.59/11.66 o 165 11.59/11.66 o 166 11.59/11.66 o 167 11.59/11.66 o 168 11.59/11.66 o 169 11.59/11.68 o 170 11.79/11.89 o 171 11.99/12.05 o 172 16.59/16.63 o 173 16.69/16.74 o 174 17.59/17.66 o 175 20.39/20.47 o 176 20.49/20.51 o 186 23.78/23.85 o 187 27.58/27.65 o 188 27.58/27.65 o 189 35.89/35.97 o 195 36.10/36.14 o 196 36.99/37.02 o 197 38.39/38.43 o 198 38.39/38.45 o 199 38.59/38.61 o 200 41.39/41.40 o 201 45.38/45.44 o 202 50.98/51.04 o 203 50.98/51.05 o 204 51.68/51.72 o 206 69.87/69.95 o 207 93.26/93.36 o 208 122.06/122.19 o 209 147.64/147.78 o 210 210.94/211.04 o 211 210.94/211.07 o 212 211.05/211.11 o 213 211.24/211.39 o 214 213.05/213.15 o 215 213.05/213.15 o 216 343.64/343.77 o 217 383.74/383.83 o 218 507.34/507.46 o 219 523.74/523.87 o 220 529.94/530.02 o 221 1186.63/1186.78 o 222 1447.83/1447.97 o 223 2400.05/2400.11 s SATISFIABLE 2400.05/2400.11 v <instantiation type="solution"> 2400.05/2400.11 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] z </list> 2400.05/2400.11 v <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 8 10 12 18 23 26 29 31 34 36 37 42 45 48 50 51 54 54 56 61 63 66 74 223 </values> 2400.05/2400.11 v </instantiation>
OK 223
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 (7252 MiB free)
memory of node 1: 16384 MiB (13342 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289278-1532190503/watcher-4289278-1532190503 -o /tmp/evaluation-result-4289278-1532190503/solver-4289278-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532190501-25869 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289278-1532190503.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=25899, runsolver pid=25896
Current StackSize limit: 8192 KiB
[startup+0.100122 s]*
/proc/loadavg: 0.08 0.03 0.05 3/192 25900
/proc/meminfo: memFree=21027320/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=98552 memory=73168 CPUtime=0.1 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 18475 0 0 0 8 2 0 0 20 0 1 0 36613437 100917248 18292 33554432000 4194304 7498468 140735133604512 140735133601512 5790441 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 24638 18292 696 807 0 17629 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98552 KiB
Current children cumulated memory: 73168 KiB
[startup+0.210003 s]*
/proc/loadavg: 0.08 0.03 0.05 3/192 25900
/proc/meminfo: memFree=20983796/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=135200 memory=110136 CPUtime=0.21 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 27753 0 0 0 18 3 0 0 20 0 1 0 36613437 138444800 27534 33554432000 4194304 7498468 140735133604512 140735133601512 139981781822437 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 33800 27534 783 807 0 26791 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 135200 KiB
Current children cumulated memory: 110136 KiB
[startup+0.309865 s]*
/proc/loadavg: 0.08 0.03 0.05 3/192 25900
/proc/meminfo: memFree=20982680/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=135728 memory=110664 CPUtime=0.31 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 27886 0 0 0 28 3 0 0 20 0 1 0 36613437 138985472 27666 33554432000 4194304 7498468 140735133604512 140735133601512 5838205 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 33932 27666 791 807 0 26923 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 135728 KiB
Current children cumulated memory: 110664 KiB
[startup+0.70034 s]
/proc/loadavg: 0.08 0.03 0.05 3/192 25900
/proc/meminfo: memFree=20982148/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=136256 memory=111192 CPUtime=0.69 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 28016 0 0 0 66 3 0 0 20 0 1 0 36613437 139526144 27798 33554432000 4194304 7498468 140735133604512 140735133599528 5791208 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34064 27798 794 807 0 27055 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136256 KiB
Current children cumulated memory: 111192 KiB
[startup+1.50025 s]
/proc/loadavg: 0.08 0.03 0.05 3/192 25900
/proc/meminfo: memFree=20981776/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=136520 memory=111456 CPUtime=1.49 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 28089 0 0 0 146 3 0 0 20 0 1 0 36613437 139796480 27864 33554432000 4194304 7498468 140735133604512 140735133599528 5773631 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34130 27864 794 807 0 27121 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136520 KiB
Current children cumulated memory: 111456 KiB
[startup+3.10982 s]
/proc/loadavg: 0.08 0.03 0.05 3/192 25900
/proc/meminfo: memFree=20974412/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=136652 memory=111660 CPUtime=3.1 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 43912 0 0 0 306 4 0 0 20 0 1 0 36613437 139931648 27915 33554432000 4194304 7498468 140735133604512 140735133599528 5791638 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34163 27915 795 807 0 27154 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136652 KiB
Current children cumulated memory: 111660 KiB
[startup+6.30023 s]
/proc/loadavg: 0.16 0.05 0.06 3/192 25900
/proc/meminfo: memFree=20981056/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=136652 memory=111724 CPUtime=6.29 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 58994 0 0 0 624 5 0 0 20 0 1 0 36613437 139931648 27931 33554432000 4194304 7498468 140735133604512 140735133599528 5791492 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34163 27931 795 807 0 27154 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136652 KiB
Current children cumulated memory: 111724 KiB
[startup+12.7002 s]
/proc/loadavg: 0.30 0.08 0.07 3/192 25900
/proc/meminfo: memFree=20981472/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=136916 memory=111888 CPUtime=12.69 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 75895 0 0 0 1264 5 0 0 20 0 1 0 36613437 140201984 27972 33554432000 4194304 7498468 140735133604512 140735133599528 5791628 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34229 27972 795 807 0 27220 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136916 KiB
Current children cumulated memory: 111888 KiB
[startup+25.5002 s]
/proc/loadavg: 0.68 0.17 0.10 3/192 25900
/proc/meminfo: memFree=20981828/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=136916 memory=111952 CPUtime=25.48 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 98322 0 0 0 2542 6 0 0 20 0 1 0 36613437 140201984 27988 33554432000 4194304 7498468 140735133604512 140735133599528 4253162 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34229 27988 795 807 0 27220 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 136916 KiB
Current children cumulated memory: 111952 KiB
[startup+51.1003 s]*
/proc/loadavg: 1.13 0.32 0.15 3/192 25900
/proc/meminfo: memFree=20980440/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112028 CPUtime=51.09 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 122279 0 0 0 5102 7 0 0 20 0 1 0 36613437 140337152 28007 33554432000 4194304 7498468 140735133604512 140735133599528 5791399 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28007 795 807 0 27253 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112028 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.24 3/193 25909
/proc/meminfo: memFree=20980052/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112056 CPUtime=102.25 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 132843 0 0 0 10217 8 0 0 20 0 1 0 36613437 140337152 28014 33554432000 4194304 7498468 140735133604512 140735133599528 4253177 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28014 795 807 0 27253 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112056 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/192 25910
/proc/meminfo: memFree=20982112/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112096 CPUtime=162.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 133614 0 0 0 16216 8 0 0 20 0 1 0 36613437 140337152 28024 33554432000 4194304 7498468 140735133604512 140735133599528 5790906 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28024 795 807 0 27253 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112096 KiB
[startup+222.3 s]
/proc/loadavg: 1.90 1.03 0.45 3/192 25912
/proc/meminfo: memFree=20981744/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112112 CPUtime=222.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 134376 0 0 0 22216 8 0 0 20 0 1 0 36613437 140337152 28028 33554432000 4194304 7498468 140735133604512 140735133599528 5772170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28028 795 807 0 27253 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112112 KiB
[startup+282.3 s]
/proc/loadavg: 1.96 1.21 0.55 3/192 25913
/proc/meminfo: memFree=20981448/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112128 CPUtime=282.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 135139 0 0 0 28216 8 0 0 20 0 1 0 36613437 140337152 28032 33554432000 4194304 7498468 140735133604512 140735133599528 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28032 795 807 0 27253 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112128 KiB
[startup+342.3 s]
/proc/loadavg: 1.92 1.34 0.63 3/191 25978
/proc/meminfo: memFree=20970164/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112144 CPUtime=342.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 135896 0 0 0 34216 8 0 0 20 0 1 0 36613437 140337152 28036 33554432000 4194304 7498468 140735133604512 140735133599528 4253136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28036 795 807 0 27253 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112144 KiB
[startup+402.3 s]
/proc/loadavg: 1.97 1.46 0.72 3/191 25980
/proc/meminfo: memFree=20969608/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112148 CPUtime=402.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 136590 0 0 0 40216 8 0 0 20 0 1 0 36613437 140337152 28037 33554432000 4194304 7498468 140735133604512 140735133599528 5791419 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28037 795 807 0 27253 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112148 KiB
[startup+462.3 s]
/proc/loadavg: 1.99 1.56 0.80 3/191 25981
/proc/meminfo: memFree=20970264/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137048 memory=112152 CPUtime=462.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 137258 0 0 0 46216 8 0 0 20 0 1 0 36613437 140337152 28038 33554432000 4194304 7498468 140735133604512 140735133599528 5773368 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34262 28038 795 807 0 27253 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 137048 KiB
Current children cumulated memory: 112152 KiB
################
# More data... #
################
/proc/25899/statm: 34295 28045 795 807 0 27286 0
Current children cumulated CPU time: 1602.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112180 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.05 1.72 3/190 26040
/proc/meminfo: memFree=20969756/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112180 CPUtime=1662.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 149875 0 0 0 166215 8 0 0 20 0 1 0 36613437 140472320 28045 33554432000 4194304 7498468 140735133604512 140735133599528 4249744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28045 795 807 0 27286 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112180 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 1.73 3/191 26042
/proc/meminfo: memFree=20969868/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112184 CPUtime=1722.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 150638 0 0 0 172215 8 0 0 20 0 1 0 36613437 140472320 28046 33554432000 4194304 7498468 140735133604512 140735133599528 4580120 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28046 795 807 0 27286 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112184 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.75 3/191 26044
/proc/meminfo: memFree=20969544/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112184 CPUtime=1782.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 151273 0 0 0 178215 8 0 0 20 0 1 0 36613437 140472320 28046 33554432000 4194304 7498468 140735133604512 140735133599528 5791306 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28046 795 807 0 27286 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112184 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 1.77 3/191 26045
/proc/meminfo: memFree=20969376/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112184 CPUtime=1842.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 151908 0 0 0 184215 8 0 0 20 0 1 0 36613437 140472320 28046 33554432000 4194304 7498468 140735133604512 140735133599528 4404919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28046 795 807 0 27286 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112184 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.78 3/192 26054
/proc/meminfo: memFree=20968656/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112184 CPUtime=1902.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 152541 0 0 0 190215 8 0 0 20 0 1 0 36613437 140472320 28046 33554432000 4194304 7498468 140735133604512 140735133599528 4404908 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28046 795 807 0 27286 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112184 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/192 26077
/proc/meminfo: memFree=20967212/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112184 CPUtime=1962.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 153173 0 0 0 196215 8 0 0 20 0 1 0 36613437 140472320 28046 33554432000 4194304 7498468 140735133604512 140735133599528 5791255 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28046 795 807 0 27286 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112184 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/191 26078
/proc/meminfo: memFree=20969080/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112184 CPUtime=2022.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 153811 0 0 0 202215 8 0 0 20 0 1 0 36613437 140472320 28046 33554432000 4194304 7498468 140735133604512 140735133599528 5791446 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28046 795 807 0 27286 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112184 KiB
[startup+2082.3 s]
/proc/loadavg: 2.13 2.04 1.83 3/191 26079
/proc/meminfo: memFree=20969684/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2082.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 154444 0 0 0 208215 8 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5791439 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 1.84 3/192 26081
/proc/meminfo: memFree=20969600/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2142.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 155078 0 0 0 214215 8 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.03 1.85 3/191 26082
/proc/meminfo: memFree=20969420/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2202.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 155701 0 0 0 220215 8 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5838205 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 1.86 3/191 26083
/proc/meminfo: memFree=20969364/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2262.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 156353 0 0 0 226215 8 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.05 1.88 3/191 26084
/proc/meminfo: memFree=20969404/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2322.23 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 156984 0 0 0 232215 8 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5838457 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 1.89 3/191 26085
/proc/meminfo: memFree=20969316/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2382.24 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 157606 0 0 0 238215 9 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]*
/proc/loadavg: 2.02 2.04 1.89 3/191 26085
/proc/meminfo: memFree=20969772/32770624 swapFree=67108860/67108860
[pid=25899] ppid=25896 vsize=137180 memory=112188 CPUtime=2400.05 cores=1,3,5,7
/proc/25899/stat : 25899 (MistralXCSP) R 25896 25899 25837 0 -1 4202496 158352 0 0 0 239996 9 0 0 20 0 1 0 36613437 140472320 28047 33554432000 4194304 7498468 140735133604512 140735133599528 5838515 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 19214336 140735133607021 140735133607171 140735133607171 140735133609929 0
/proc/25899/statm: 34295 28047 795 807 0 27286 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 137180 KiB
Current children cumulated memory: 112188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 25899 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.97 s, system=0.090999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.06
CPU user time (s): 2399.97
CPU system time (s): 0.090999
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 137180
Max. memory (cumulated for all children) (KiB): 112188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.090999
maximum resident set size= 112208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158388
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= 54
involuntary context switches= 1119
# summary of solver processes directly reported to runsolver:
# pid: 25899
# total CPU time (s): 2400.06
# total CPU user time (s): 2399.97
# total CPU system time (s): 0.090999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63263 second user time and 17.8312 second system time
The end
Begin job on node132 at 2018-07-21 18:28:23 IDJOB=4289278 IDBENCH=141037 IDSOLVER=2741 FILE ID=node132/4289278-1532190503 RUNJOBID= node132-1532190501-25869 PBS_JOBID= 21018935 Free space on /tmp= 55124 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/StillLife/StillLife-wastage-21_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-4289278-1532190503/watcher-4289278-1532190503 -o /tmp/evaluation-result-4289278-1532190503/solver-4289278-1532190503 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532190501-25869 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1377696294 HOME/instance-4289278-1532190503.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6f0507a9e94bceb0819229116432592 RANDOM SEED=1377696294 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: 21090732 kB MemAvailable: 31915192 kB Buffers: 221848 kB Cached: 10759104 kB SwapCached: 0 kB Active: 1928540 kB Inactive: 9130464 kB Active(anon): 81120 kB Inactive(anon): 17040 kB Active(file): 1847420 kB Inactive(file): 9113424 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 17888 kB Writeback: 0 kB AnonPages: 85924 kB Mapped: 35664 kB Shmem: 17056 kB Slab: 317136 kB SReclaimable: 292076 kB SUnreclaim: 25060 kB KernelStack: 3232 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 368704 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55116 MiB End job on node132 at 2018-07-21 19:08:23