Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 314 | 2519.65 | 2520.01 |
Name | StillLife/ StillLife-wastage-25_c18.xml |
MD5SUM | 633a0f5b4e603fff9205bbaeb6c03cff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 326 |
Best CPU time to get the best result obtained on this benchmark | 300.557 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1486 |
Number of constraints | 883 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 1459 |
Distribution of domain sizes | [{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}] |
Minimum variable degree | 1 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 29 |
Distribution of constraint arities | [{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}] |
Number of extensional constraints | 725 |
Number of intensional constraints | 126 |
Distribution of constraint types | [{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c Mistral 01082018 0.30/0.35 o 0 0.30/0.35 o 3 0.30/0.35 o 4 0.30/0.35 o 6 0.30/0.36 o 7 0.30/0.36 o 8 0.30/0.36 o 9 0.30/0.36 o 10 0.30/0.36 o 11 0.30/0.36 o 12 0.30/0.38 o 13 0.30/0.38 o 14 0.30/0.38 o 15 0.30/0.38 o 16 0.41/0.47 o 19 0.41/0.47 o 20 0.41/0.47 o 21 0.41/0.48 o 22 0.41/0.48 o 23 0.41/0.48 o 24 0.41/0.50 o 25 0.41/0.50 o 26 0.41/0.50 o 27 0.51/0.59 o 30 0.51/0.59 o 31 0.51/0.59 o 32 0.51/0.59 o 35 0.51/0.59 o 36 0.60/0.61 o 38 0.60/0.61 o 39 0.60/0.61 o 40 0.69/0.71 o 43 0.69/0.71 o 44 0.69/0.71 o 45 0.69/0.71 o 46 0.69/0.71 o 47 0.69/0.71 o 48 0.69/0.72 o 49 0.69/0.76 o 50 0.69/0.77 o 51 0.79/0.87 o 53 0.79/0.87 o 54 0.79/0.88 o 55 0.79/0.88 o 57 0.79/0.88 o 58 0.79/0.88 o 59 0.79/0.89 o 60 0.79/0.89 o 61 0.89/0.90 o 62 0.89/0.91 o 63 0.89/0.91 o 64 0.89/0.94 o 65 0.89/0.95 o 66 1.00/1.09 o 68 1.00/1.09 o 69 1.00/1.09 o 70 1.00/1.09 o 71 1.00/1.10 o 72 1.00/1.10 o 73 1.00/1.10 o 74 1.10/1.13 o 75 1.10/1.14 o 76 1.10/1.14 o 77 1.10/1.14 o 78 1.10/1.15 o 79 1.10/1.16 o 81 1.10/1.18 o 82 1.19/1.21 o 83 1.19/1.24 o 84 1.49/1.57 o 85 1.49/1.58 o 86 1.59/1.60 o 87 1.59/1.60 o 88 1.79/1.84 o 90 1.79/1.84 o 91 1.79/1.84 o 92 1.79/1.84 o 93 1.79/1.84 o 94 1.79/1.84 o 95 1.79/1.84 o 96 1.79/1.84 o 97 1.89/1.90 o 98 1.89/1.90 o 99 2.38/2.45 o 100 2.38/2.45 o 101 2.38/2.45 o 102 2.38/2.46 o 103 2.38/2.47 o 104 2.38/2.47 o 105 2.38/2.49 o 106 2.38/2.49 o 107 2.69/2.79 o 108 2.79/2.80 o 109 3.00/3.09 o 110 3.00/3.09 o 111 3.00/3.09 o 112 3.00/3.09 o 113 3.00/3.09 o 114 3.00/3.09 o 115 3.00/3.10 o 116 3.00/3.10 o 117 3.10/3.17 o 118 3.10/3.18 o 119 3.19/3.20 o 121 4.78/4.80 o 123 4.78/4.80 o 124 4.78/4.80 o 125 4.78/4.81 o 126 4.78/4.82 o 127 4.78/4.82 o 128 4.78/4.82 o 129 4.88/4.97 o 130 5.28/5.38 o 131 7.59/7.67 o 132 8.18/8.24 o 133 8.18/8.25 o 134 8.28/8.30 o 135 8.28/8.30 o 136 8.28/8.30 o 137 9.48/9.58 o 138 9.58/9.65 o 139 9.68/9.71 o 140 9.68/9.77 o 141 9.78/9.88 o 142 10.78/10.88 o 143 11.18/11.21 o 144 11.38/11.43 o 145 11.48/11.59 o 146 11.68/11.74 o 174 11.68/11.74 o 175 11.68/11.74 o 176 11.68/11.74 o 177 11.68/11.74 o 178 11.68/11.74 o 179 11.68/11.74 o 180 11.68/11.74 o 181 11.68/11.75 o 182 11.68/11.75 o 183 11.68/11.75 o 184 11.68/11.75 o 185 11.68/11.75 o 187 11.68/11.75 o 188 11.68/11.76 o 189 11.68/11.76 o 190 11.68/11.77 o 191 11.68/11.78 o 192 11.68/11.79 o 193 11.78/11.80 o 194 11.78/11.82 o 195 11.78/11.83 o 196 11.78/11.84 o 197 11.78/11.85 o 198 11.78/11.87 o 199 11.78/11.88 o 200 11.88/11.90 o 201 11.88/11.90 o 202 12.09/12.18 o 203 12.38/12.46 o 204 12.58/12.61 o 205 12.68/12.74 o 206 13.09/13.16 o 207 13.09/13.16 o 208 13.19/13.21 o 209 13.19/13.22 o 210 13.19/13.22 o 211 13.79/13.81 o 212 14.00/14.08 o 213 14.29/14.34 o 214 16.00/16.03 o 243 16.00/16.03 o 244 17.00/17.09 o 245 17.19/17.26 o 246 17.69/17.76 o 247 22.59/22.64 o 248 23.68/23.76 o 249 23.99/24.10 o 250 25.10/25.15 o 251 27.79/27.87 o 252 28.88/28.94 o 254 30.18/30.26 o 255 30.28/30.31 o 263 30.28/30.32 o 264 30.28/30.32 o 265 30.28/30.33 o 266 30.78/30.82 o 267 30.99/31.07 o 268 39.88/39.94 o 269 42.58/42.69 o 270 53.78/53.89 o 279 53.88/53.98 o 280 112.54/112.64 o 281 112.64/112.74 o 282 146.32/146.48 o 283 146.82/146.95 o 284 174.62/174.75 o 285 175.12/175.26 o 286 176.62/176.71 o 287 212.51/212.65 o 288 274.70/274.89 o 289 309.50/309.63 o 290 310.01/310.12 o 291 310.30/310.45 o 292 312.60/312.76 o 293 314.70/314.82 o 294 330.70/330.87 o 295 351.59/351.78 o 296 351.69/351.80 o 297 357.39/357.53 o 298 366.09/366.23 o 299 368.39/368.57 o 300 420.19/420.37 o 301 420.29/420.44 o 302 420.29/420.44 o 303 420.29/420.46 o 304 962.83/963.04 o 305 963.42/963.69 o 306 966.02/966.24 o 307 1012.72/1012.98 o 308 1312.27/1312.54 o 309 1907.30/1907.68 o 310 1910.71/1911.09 o 311 1931.71/1932.07 o 312 2154.68/2155.01 o 313 2334.45/2334.87 o 314 2519.64/2520.01 s SATISFIABLE 2519.64/2520.01 v <instantiation type="solution"> 2519.64/2520.01 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[0][23] x[0][24] x[0][25] x[0][26] 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[1][23] x[1][24] x[1][25] x[1][26] 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[2][23] x[2][24] x[2][25] x[2][26] 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[3][23] x[3][24] x[3][25] x[3][26] 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[4][23] x[4][24] x[4][25] x[4][26] 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[5][23] x[5][24] x[5][25] x[5][26] 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[6][23] x[6][24] x[6][25] x[6][26] 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[7][23] x[7][24] x[7][25] x[7][26] 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[8][23] x[8][24] x[8][25] x[8][26] 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[9][23] x[9][24] x[9][25] x[9][26] 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[10][23] x[10][24] x[10][25] x[10][26] 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[11][23] x[11][24] x[11][25] x[11][26] 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[12][23] x[12][24] x[12][25] x[12][26] 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[13][23] x[13][24] x[13][25] x[13][26] 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[14][23] x[14][24] x[14][25] x[14][26] 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[15][23] x[15][24] x[15][25] x[15][26] 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[16][23] x[16][24] x[16][25] x[16][26] 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[17][23] x[17][24] x[17][25] x[17][26] 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[18][23] x[18][24] x[18][25] x[18][26] 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[19][23] x[19][24] x[19][25] x[19][26] 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[20][23] x[20][24] x[20][25] x[20][26] 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[21][23] x[21][24] x[21][25] x[21][26] 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] x[22][23] x[22][24] x[22][25] x[22][26] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] 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[0][23] w[0][24] w[0][25] w[0][26] 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[1][23] w[1][24] w[1][25] w[1][26] 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[2][23] w[2][24] w[2][25] w[2][26] 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[3][23] w[3][24] w[3][25] w[3][26] 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[4][23] w[4][24] w[4][25] w[4][26] 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[5][23] w[5][24] w[5][25] w[5][26] 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[6][23] w[6][24] w[6][25] w[6][26] 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[7][23] w[7][24] w[7][25] w[7][26] 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[8][23] w[8][24] w[8][25] w[8][26] 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[9][23] w[9][24] w[9][25] w[9][26] 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[10][23] w[10][24] w[10][25] w[10][26] 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[11][23] w[11][24] w[11][25] w[11][26] 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[12][23] w[12][24] w[12][25] w[12][26] 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[13][23] w[13][24] w[13][25] w[13][26] 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[14][23] w[14][24] w[14][25] w[14][26] 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[15][23] w[15][24] w[15][25] w[15][26] 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[16][23] w[16][24] w[16][25] w[16][26] 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[17][23] w[17][24] w[17][25] w[17][26] 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[18][23] w[18][24] w[18][25] w[18][26] 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[19][23] w[19][24] w[19][25] w[19][26] 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[20][23] w[20][24] w[20][25] w[20][26] 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[21][23] w[21][24] w[21][25] w[21][26] 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] w[22][23] w[22][24] w[22][25] w[22][26] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] 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] ws[23] ws[24] ws[25] ws[26] z </list> 2519.64/2520.01 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 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 1 0 0 0 2 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 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 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 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 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 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 1 0 0 1 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 13 26 29 31 34 37 39 41 44 45 49 54 58 60 61 61 62 63 65 69 74 76 76 80 81 84 94 314 </values> 2519.64/2520.01 v </instantiation>
OK 314
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 (4914 MiB free) memory of node 1: 16384 MiB (1027 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303554-1533992764/watcher-4303554-1533992764 -o /tmp/evaluation-result-4303554-1533992764/solver-4303554-1533992764 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1674344315 HOME/instance-4303554-1533992764.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9411, runsolver pid=9403 Current StackSize limit: 8192 KiB [startup+0.100125 s]* /proc/loadavg: 0.92 1.06 1.46 4/193 9414 /proc/meminfo: memFree=5967080/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=89660 memory=64064 CPUtime=0.09 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 16212 0 1 0 8 1 0 0 20 0 1 0 216839583 91811840 16016 33554432000 4194304 7499544 140720727416560 140720727413560 139819976858430 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 22415 16016 696 807 0 15406 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 89660 KiB Current children cumulated memory: 64064 KiB [startup+0.210161 s]* /proc/loadavg: 0.92 1.06 1.46 4/193 9414 /proc/meminfo: memFree=5874204/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=174668 memory=149072 CPUtime=0.2 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 37472 0 1 0 17 3 0 0 20 0 1 0 216839583 178860032 37268 33554432000 4194304 7499544 140720727416560 140720727413560 139819976862693 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 43667 37268 696 807 0 36658 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 174668 KiB Current children cumulated memory: 149072 KiB [startup+0.309883 s]* /proc/loadavg: 0.92 1.06 1.46 4/193 9414 /proc/meminfo: memFree=5861780/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=179724 memory=154456 CPUtime=0.3 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 38878 0 1 0 27 3 0 0 20 0 1 0 216839583 184037376 38614 33554432000 4194304 7499544 140720727416560 140720727405672 139819976862693 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 44931 38614 787 807 0 37922 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 179724 KiB Current children cumulated memory: 154456 KiB [startup+0.700332 s] /proc/loadavg: 0.92 1.06 1.46 4/193 9414 /proc/meminfo: memFree=5859408/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=181664 memory=156640 CPUtime=0.69 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 39502 0 1 0 65 4 0 0 20 0 1 0 216839583 186023936 39160 33554432000 4194304 7499544 140720727416560 140720727405672 5791192 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45416 39160 795 807 0 38407 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 181664 KiB Current children cumulated memory: 156640 KiB [startup+1.50032 s] /proc/loadavg: 0.92 1.06 1.46 4/193 9414 /proc/meminfo: memFree=5858912/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=182192 memory=157168 CPUtime=1.49 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 39623 0 1 0 145 4 0 0 20 0 1 0 216839583 186564608 39292 33554432000 4194304 7499544 140720727416560 140720727411096 4253137 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45548 39292 796 807 0 38539 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 182192 KiB Current children cumulated memory: 157168 KiB [startup+3.10986 s] /proc/loadavg: 1.01 1.08 1.46 4/193 9414 /proc/meminfo: memFree=5858748/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=182456 memory=157500 CPUtime=3.1 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 62701 0 1 0 305 5 0 0 20 0 1 0 216839583 186834944 39375 33554432000 4194304 7499544 140720727416560 140720727411576 5790987 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45614 39375 796 807 0 38605 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 182456 KiB Current children cumulated memory: 157500 KiB [startup+6.30036 s] /proc/loadavg: 1.01 1.08 1.46 4/193 9414 /proc/meminfo: memFree=5858584/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=182596 memory=157640 CPUtime=6.28 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 85853 0 1 0 623 5 0 0 20 0 1 0 216839583 186978304 39410 33554432000 4194304 7499544 140720727416560 140720727411576 5574156 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45649 39410 796 807 0 38640 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 182596 KiB Current children cumulated memory: 157640 KiB [startup+12.7003 s] /proc/loadavg: 1.09 1.10 1.46 5/193 9414 /proc/meminfo: memFree=5859060/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=182860 memory=157932 CPUtime=12.68 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 109325 0 1 0 1262 6 0 0 20 0 1 0 216839583 187248640 39483 33554432000 4194304 7499544 140720727416560 140720727411576 4563121 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45715 39483 796 807 0 38706 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 182860 KiB Current children cumulated memory: 157932 KiB [startup+25.5003 s] /proc/loadavg: 1.29 1.14 1.47 4/193 9414 /proc/meminfo: memFree=5859384/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=182992 memory=158080 CPUtime=25.49 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 152865 0 1 0 2540 9 0 0 20 0 1 0 216839583 187383808 39520 33554432000 4194304 7499544 140720727416560 140720727411576 5585463 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45748 39520 797 807 0 38739 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 182992 KiB Current children cumulated memory: 158080 KiB [startup+51.11 s] /proc/loadavg: 1.53 1.21 1.48 4/194 9415 /proc/meminfo: memFree=5858720/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183124 memory=158164 CPUtime=51.09 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 175847 0 1 0 5099 10 0 0 20 0 1 0 216839583 187518976 39541 33554432000 4194304 7499544 140720727416560 140720727411576 5790967 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45781 39541 797 807 0 38772 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 183124 KiB Current children cumulated memory: 158164 KiB [startup+102.3 s] /proc/loadavg: 1.80 1.33 1.51 4/195 9417 /proc/meminfo: memFree=5859632/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158232 CPUtime=102.24 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 191526 0 1 0 10214 10 0 0 20 0 1 0 216839583 187654144 39558 33554432000 4194304 7499544 140720727416560 140720727410904 4253227 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39558 797 807 0 38805 0 Current children cumulated CPU time: 102.24 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158232 KiB [startup+162.3 s] /proc/loadavg: 1.93 1.45 1.54 4/195 9418 /proc/meminfo: memFree=5859268/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158260 CPUtime=162.22 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 193406 0 1 0 16212 10 0 0 20 0 1 0 216839583 187654144 39565 33554432000 4194304 7499544 140720727416560 140720727411576 5790944 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39565 797 807 0 38805 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158260 KiB [startup+222.3 s] /proc/loadavg: 1.97 1.55 1.57 4/195 9419 /proc/meminfo: memFree=5859236/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158288 CPUtime=222.21 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 194471 0 1 0 22211 10 0 0 20 0 1 0 216839583 187654144 39572 33554432000 4194304 7499544 140720727416560 140720727411576 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39572 797 807 0 38805 0 Current children cumulated CPU time: 222.21 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158288 KiB [startup+282.3 s] /proc/loadavg: 2.07 1.66 1.61 4/195 9427 /proc/meminfo: memFree=5858368/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158300 CPUtime=282.2 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 195358 0 1 0 28210 10 0 0 20 0 1 0 216839583 187654144 39575 33554432000 4194304 7499544 140720727416560 140720727411576 4253137 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39575 797 807 0 38805 0 Current children cumulated CPU time: 282.2 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158300 KiB [startup+342.3 s] /proc/loadavg: 2.03 1.72 1.63 4/191 9428 /proc/meminfo: memFree=5858736/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158312 CPUtime=342.2 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 196031 0 1 0 34210 10 0 0 20 0 1 0 216839583 187654144 39578 33554432000 4194304 7499544 140720727416560 140720727411576 4253120 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39578 797 807 0 38805 0 Current children cumulated CPU time: 342.2 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158312 KiB [startup+402.3 s] /proc/loadavg: 2.01 1.77 1.65 4/190 9429 /proc/meminfo: memFree=5858692/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158332 CPUtime=402.19 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 197092 0 1 0 40209 10 0 0 20 0 1 0 216839583 187654144 39583 33554432000 4194304 7499544 140720727416560 140720727411576 5790920 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39583 797 807 0 38805 0 Current children cumulated CPU time: 402.19 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158332 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.81 1.68 4/190 9430 /proc/meminfo: memFree=5858504/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183256 memory=158336 CPUtime=462.18 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 197982 0 1 0 46208 10 0 0 20 0 1 0 216839583 187654144 39584 33554432000 4194304 7499544 140720727416560 140720727411576 5585296 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45814 39584 797 807 0 38805 0 Current children cumulated CPU time: 462.18 s Current children cumulated vsize: 183256 KiB Current children cumulated memory: 158336 KiB ################ # More data... # ################ /proc/9411/statm: 45847 39598 797 807 0 38838 0 Current children cumulated CPU time: 1722.03 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158392 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.06 1.99 4/190 9473 /proc/meminfo: memFree=5857948/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158396 CPUtime=1782.02 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 214122 0 1 0 178191 11 0 0 20 0 1 0 216839583 187789312 39599 33554432000 4194304 7499544 140720727416560 140720727411576 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39599 797 807 0 38838 0 Current children cumulated CPU time: 1782.02 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158396 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.05 1.99 4/190 9474 /proc/meminfo: memFree=5858004/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158396 CPUtime=1842.01 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 214803 0 1 0 184190 11 0 0 20 0 1 0 216839583 187789312 39599 33554432000 4194304 7499544 140720727416560 140720727411576 5790944 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39599 797 807 0 38838 0 Current children cumulated CPU time: 1842.01 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158396 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.04 1.99 4/191 9476 /proc/meminfo: memFree=5858324/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158396 CPUtime=1902 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 215487 0 1 0 190189 11 0 0 20 0 1 0 216839583 187789312 39599 33554432000 4194304 7499544 140720727416560 140720727411576 5791014 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39599 797 807 0 38838 0 Current children cumulated CPU time: 1902 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158396 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.04 1.99 4/191 9477 /proc/meminfo: memFree=5858000/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158396 CPUtime=1961.99 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 216275 0 1 0 196188 11 0 0 20 0 1 0 216839583 187789312 39599 33554432000 4194304 7499544 140720727416560 140720727411576 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39599 797 807 0 38838 0 Current children cumulated CPU time: 1961.99 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158396 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.03 1.99 4/192 9479 /proc/meminfo: memFree=5857924/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158400 CPUtime=2021.99 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 216903 0 1 0 202188 11 0 0 20 0 1 0 216839583 187789312 39600 33554432000 4194304 7499544 140720727416560 140720727411576 5791014 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39600 797 807 0 38838 0 Current children cumulated CPU time: 2021.99 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158400 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 1.99 4/194 9489 /proc/meminfo: memFree=5857616/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158404 CPUtime=2081.98 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 217694 0 1 0 208187 11 0 0 20 0 1 0 216839583 187789312 39601 33554432000 4194304 7499544 140720727416560 140720727411576 4253104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39601 797 807 0 38838 0 Current children cumulated CPU time: 2081.98 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158404 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.02 1.99 4/194 9490 /proc/meminfo: memFree=5857408/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158404 CPUtime=2141.97 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 218413 0 1 0 214186 11 0 0 20 0 1 0 216839583 187789312 39601 33554432000 4194304 7499544 140720727416560 140720727411576 5771773 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39601 797 807 0 38838 0 Current children cumulated CPU time: 2141.97 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158404 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.99 4/193 9491 /proc/meminfo: memFree=5857488/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158408 CPUtime=2201.97 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 219078 0 1 0 220186 11 0 0 20 0 1 0 216839583 187789312 39602 33554432000 4194304 7499544 140720727416560 140720727411576 4541830 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39602 797 807 0 38838 0 Current children cumulated CPU time: 2201.97 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158408 KiB [startup+2262.3 s] /proc/loadavg: 2.12 2.04 2.00 4/193 9492 /proc/meminfo: memFree=5857568/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158408 CPUtime=2261.96 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 219710 0 1 0 226185 11 0 0 20 0 1 0 216839583 187789312 39602 33554432000 4194304 7499544 140720727416560 140720727411576 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39602 797 807 0 38838 0 Current children cumulated CPU time: 2261.96 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158408 KiB [startup+2322.3 s] /proc/loadavg: 2.04 2.04 2.00 4/192 9493 /proc/meminfo: memFree=5857648/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158408 CPUtime=2321.95 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 220341 0 1 0 232184 11 0 0 20 0 1 0 216839583 187789312 39602 33554432000 4194304 7499544 140720727416560 140720727411576 4258061 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39602 797 807 0 38838 0 Current children cumulated CPU time: 2321.95 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158408 KiB [startup+2382.3 s] /proc/loadavg: 2.02 2.03 2.00 4/190 9494 /proc/meminfo: memFree=5857592/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158412 CPUtime=2381.94 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 221410 0 1 0 238183 11 0 0 20 0 1 0 216839583 187789312 39603 33554432000 4194304 7499544 140720727416560 140720727411576 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39603 797 807 0 38838 0 Current children cumulated CPU time: 2381.94 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158412 KiB [startup+2442.3 s] /proc/loadavg: 2.14 2.07 2.02 4/190 9495 /proc/meminfo: memFree=5857788/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158412 CPUtime=2441.94 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 222199 0 1 0 244183 11 0 0 20 0 1 0 216839583 187789312 39603 33554432000 4194304 7499544 140720727416560 140720727411576 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39603 797 807 0 38838 0 Current children cumulated CPU time: 2441.94 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158412 KiB [startup+2502.3 s] /proc/loadavg: 2.05 2.06 2.02 4/191 9497 /proc/meminfo: memFree=5857592/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158412 CPUtime=2501.93 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 222980 0 1 0 250182 11 0 0 20 0 1 0 216839583 187789312 39603 33554432000 4194304 7499544 140720727416560 140720727411576 5790960 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39603 797 807 0 38838 0 Current children cumulated CPU time: 2501.93 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158412 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.04 2.05 2.02 4/191 9497 /proc/meminfo: memFree=5857608/32770624 swapFree=67108860/67108860 [pid=9411] ppid=9403 vsize=183388 memory=158412 CPUtime=2519.64 cores=0,2,4,6 /proc/9411/stat : 9411 (MistralXCSP) R 9403 9411 9349 0 -1 4202496 223702 0 1 0 251952 12 0 0 20 0 1 0 216839583 187789312 39603 33554432000 4194304 7499544 140720727416560 140720727411576 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 33812480 140720727422061 140720727422211 140720727422211 140720727424969 0 /proc/9411/statm: 45847 39603 797 807 0 38838 0 Current children cumulated CPU time: 2519.64 s Current children cumulated vsize: 183388 KiB Current children cumulated memory: 158412 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 9411 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.53 s, system=0.121984 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2519.65 CPU user time (s): 2519.53 CPU system time (s): 0.121984 CPU usage (%): 99.9856 Max. virtual memory (cumulated for all children) (KiB): 183388 Max. memory (cumulated for all children) (KiB): 158412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.53 system time used= 0.121984 maximum resident set size= 158432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223737 page faults= 1 swaps= 0 block input operations= 720 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 81 involuntary context switches= 2206 # summary of solver processes directly reported to runsolver: # pid: 9411 # total CPU time (s): 2519.65 # total CPU user time (s): 2519.53 # total CPU system time (s): 0.121984 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3711 second user time and 18.2752 second system time The end
Begin job on node135 at 2018-08-11 15:06:04 IDJOB=4303554 IDBENCH=141034 IDSOLVER=2779 FILE ID=node135/4303554-1533992764 RUNJOBID= node135-1533992764-9380 PBS_JOBID= 21036950 Free space on /tmp= 42576 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/StillLife/StillLife-wastage-25_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-4303554-1533992764/watcher-4303554-1533992764 -o /tmp/evaluation-result-4303554-1533992764/solver-4303554-1533992764 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1674344315 HOME/instance-4303554-1533992764.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 633a0f5b4e603fff9205bbaeb6c03cff RANDOM SEED=1674344315 node135.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.50 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.50 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.50 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.50 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: 6086980 kB MemAvailable: 31902416 kB Buffers: 225776 kB Cached: 25484328 kB SwapCached: 0 kB Active: 9310964 kB Inactive: 16453016 kB Active(anon): 3836 kB Inactive(anon): 103148 kB Active(file): 9307128 kB Inactive(file): 16349868 kB Unevictable: 7248 kB Mlocked: 7248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11456 kB Writeback: 0 kB AnonPages: 61216 kB Mapped: 59780 kB Shmem: 49824 kB Slab: 615200 kB SReclaimable: 586900 kB SUnreclaim: 28300 kB KernelStack: 3136 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 350812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 42564 MiB End job on node135 at 2018-08-11 15:48:04