Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 130 | 251.838 | 252.00999 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml |
MD5SUM | c07c58ac36c79f91eadbbae5e125078d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 102 |
Best CPU time to get the best result obtained on this benchmark | 1920.72 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1331 |
Number of constraints | 700 |
Number of domains | 71 |
Minimum domain size | 2 |
Maximum domain size | 71 |
Distribution of domain sizes | [{"size":2,"count":667},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":30,"count":1}, {"size":31,"count":2}, {"size":32,"count":1}, {"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 35 |
Distribution of variable degrees | [{"degree":0,"count":595},{"degree":2,"count":700},{"degree":35,"count":36}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":36},{"arity":3,"count":631},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 665 |
Distribution of constraint types | [{"type":"intension","count":665},{"type":"sum","count":35}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.10 c 280717 1.19/1.35 o 14910 1.19/1.35 o 11666 1.19/1.35 o 9174 1.19/1.35 o 7322 1.19/1.35 o 6062 1.19/1.36 o 4338 1.19/1.36 o 3214 1.19/1.36 o 3174 1.19/1.36 o 3150 1.19/1.37 o 2934 1.19/1.37 o 2878 1.19/1.38 o 2522 1.19/1.38 o 2418 1.19/1.39 o 2398 1.19/1.39 o 1858 1.29/1.42 o 1142 1.29/1.42 o 906 1.29/1.42 o 874 1.29/1.42 o 662 1.29/1.45 o 530 1.29/1.45 o 426 1.29/1.49 o 346 1.39/1.53 o 334 1.39/1.55 o 282 1.49/1.69 o 266 1.59/1.76 o 254 1.79/1.94 o 222 1.79/1.95 o 218 1.79/1.96 o 214 2.79/2.99 o 202 3.19/3.31 o 198 5.79/6.00 o 186 27.99/28.12 o 174 96.46/96.66 o 170 98.66/98.84 o 154 113.86/114.07 o 138 237.93/238.17 o 130 251.83/252.00 s SATISFIABLE 251.83/252.00 v <instantiation type="solution"> 251.83/252.00 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] </list> 251.83/252.00 v <values> -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 * -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 * * -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 * * * -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 * * * * 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 * * * * * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 * * * * * * 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 * * * * * * * 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 * * * * * * * * * * 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 * * * * * * * * * * * -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -2 -1 0 -1 2 -3 2 -3 -2 1 2 -1 -2 1 -4 -1 0 1 0 3 -2 -3 -2 -1 2 -1 -2 -1 -2 1 4 1 -2 -1 1 4 1 0 1 4 9 4 9 4 1 4 1 4 1 16 1 0 1 0 9 4 9 4 1 4 1 4 1 4 1 16 1 4 1 </values> 251.83/252.00 v </instantiation>
OK 130
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 (15341 MiB free) memory of node 1: 16384 MiB (15557 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259054-1502653011/watcher-4259054-1502653011 -o /tmp/evaluation-result-4259054-1502653011/solver-4259054-1502653011 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30540 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1480025406 HOME/instance-4259054-1502653011.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4443, runsolver pid=4440 [startup+0.10014 s]* /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31639980/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=30476 memory=4796 CPUtime=0 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 1359 0 0 0 0 0 0 0 20 0 1 0 67496550 31207424 1133 18446744073709551615 4194304 7396336 140736743845200 140736743842200 139962449921952 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 7619 1199 607 782 0 635 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 30476 KiB Current children cumulated memory: 4796 KiB [startup+0.209123 s]* /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31637484/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=31004 memory=5696 CPUtime=0.11 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 1614 0 0 0 11 0 0 0 20 0 1 0 67496550 31748096 1424 18446744073709551615 4194304 7396336 140736743845200 140736743836840 5920158 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 7751 1424 720 782 0 767 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 31004 KiB Current children cumulated memory: 5696 KiB [startup+0.308956 s]* /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31637484/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=31128 memory=5892 CPUtime=0.21 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 1647 0 0 0 21 0 0 0 20 0 1 0 67496550 31875072 1473 18446744073709551615 4194304 7396336 140736743845200 140736743835896 6146324 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 7782 1473 720 782 0 798 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 31128 KiB Current children cumulated memory: 5892 KiB [startup+0.700353 s] /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31636788/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=31632 memory=6396 CPUtime=0.59 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 1784 0 0 0 59 0 0 0 20 0 1 0 67496550 32391168 1599 18446744073709551615 4194304 7396336 140736743845200 140736743835896 139962449964856 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 7908 1599 720 782 0 924 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 31632 KiB Current children cumulated memory: 6396 KiB [startup+1.50036 s] /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31636044/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8456 CPUtime=1.39 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 2342 0 0 0 139 0 0 0 20 0 1 0 67496550 34414592 2114 18446744073709551615 4194304 7396336 140736743845200 140736743838440 5649755 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2114 776 782 0 1418 0 Current children cumulated CPU time: 1.39 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8456 KiB [startup+3.10892 s] /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31634588/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8728 CPUtime=3 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 3423 0 0 0 300 0 0 0 20 0 1 0 67496550 34414592 2182 18446744073709551615 4194304 7396336 140736743845200 140736743840216 4246560 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2182 787 782 0 1418 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8728 KiB [startup+6.30026 s] /proc/loadavg: 2.03 2.03 2.05 3/181 4444 /proc/meminfo: memFree=31634588/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8732 CPUtime=6.19 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 4505 0 0 0 619 0 0 0 20 0 1 0 67496550 34414592 2183 18446744073709551615 4194304 7396336 140736743845200 140736743840216 5839282 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2183 787 782 0 1418 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8732 KiB [startup+12.7003 s] /proc/loadavg: 1.94 2.01 2.04 3/181 4505 /proc/meminfo: memFree=31648744/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8732 CPUtime=12.59 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 5568 0 0 0 1259 0 0 0 20 0 1 0 67496550 34414592 2183 18446744073709551615 4194304 7396336 140736743845200 140736743840216 4379209 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2183 787 782 0 1418 0 Current children cumulated CPU time: 12.59 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8732 KiB [startup+25.5003 s] /proc/loadavg: 1.96 2.01 2.04 3/181 4505 /proc/meminfo: memFree=31636436/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8768 CPUtime=25.38 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 6816 0 0 0 2538 0 0 0 20 0 1 0 67496550 34414592 2192 18446744073709551615 4194304 7396336 140736743845200 140736743840216 4249751 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2192 787 782 0 1418 0 Current children cumulated CPU time: 25.38 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8768 KiB [startup+51.1088 s] /proc/loadavg: 1.97 2.01 2.04 3/181 4505 /proc/meminfo: memFree=31637136/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8768 CPUtime=50.98 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 7020 0 0 0 5098 0 0 0 20 0 1 0 67496550 34414592 2192 18446744073709551615 4194304 7396336 140736743845200 140736743840216 5771144 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2192 787 782 0 1418 0 Current children cumulated CPU time: 50.98 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8768 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.04 3/181 4507 /proc/meminfo: memFree=31637392/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8772 CPUtime=102.16 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 7230 0 0 0 10216 0 0 0 20 0 1 0 67496550 34414592 2193 18446744073709551615 4194304 7396336 140736743845200 140736743840216 4249495 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2193 787 782 0 1418 0 Current children cumulated CPU time: 102.16 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8772 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 4510 /proc/meminfo: memFree=31637356/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8772 CPUtime=162.14 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 7415 0 0 0 16214 0 0 0 20 0 1 0 67496550 34414592 2193 18446744073709551615 4194304 7396336 140736743845200 140736743840216 4253024 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2193 787 782 0 1418 0 Current children cumulated CPU time: 162.14 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8772 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 4512 /proc/meminfo: memFree=31637612/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8772 CPUtime=222.13 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 7601 0 0 0 22213 0 0 0 20 0 1 0 67496550 34414592 2193 18446744073709551615 4194304 7396336 140736743845200 140736743840216 139962449921792 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2193 787 782 0 1418 0 Current children cumulated CPU time: 222.13 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8772 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.01 2.04 3/181 4514 /proc/meminfo: memFree=31637240/32770624 swapFree=67105588/67108860 [pid=4443] ppid=4440 vsize=33608 memory=8772 CPUtime=251.83 cores=1,3,5,7 /proc/4443/stat : 4443 (MistralXCSP) R 4440 4443 12560 0 -1 4202496 7805 0 0 0 25183 0 0 0 20 0 1 0 67496550 34414592 2193 18446744073709551615 4194304 7396336 140736743845200 140736743840216 5586120 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 39370752 140736743850386 140736743850536 140736743850536 140736743854025 0 /proc/4443/statm: 8402 2193 787 782 0 1418 0 Current children cumulated CPU time: 251.83 s Current children cumulated vsize: 33608 KiB Current children cumulated memory: 8772 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 4443 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.833 s, system=0.005002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 252.01 CPU time (s): 251.838 CPU user time (s): 251.833 CPU system time (s): 0.005002 CPU usage (%): 99.9318 Max. virtual memory (cumulated for all children) (KiB): 33608 Max. memory (cumulated for all children) (KiB): 8772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.833 system time used= 0.005002 maximum resident set size= 8792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7830 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= 10 involuntary context switches= 1333 # summary of solver processes directly reported to runsolver: # pid: 4443 # total CPU time (s): 251.838 # total CPU user time (s): 251.833 # total CPU system time (s): 0.005002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.845031 second user time and 1.63762 second system time The end
Begin job on node126 at 2017-08-13 21:22:50 IDJOB=4259054 IDBENCH=127071 IDSOLVER=2645 FILE ID=node126/4259054-1502653011 RUNJOBID= node126-1502640747-30540 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-036.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-4259054-1502653011/watcher-4259054-1502653011 -o /tmp/evaluation-result-4259054-1502653011/solver-4259054-1502653011 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30540 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1480025406 HOME/instance-4259054-1502653011.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c07c58ac36c79f91eadbbae5e125078d RANDOM SEED=1480025406 node126.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.81 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.81 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.81 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.81 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: 31639736 kB MemAvailable: 31934952 kB Buffers: 275104 kB Cached: 290688 kB SwapCached: 524 kB Active: 469764 kB Inactive: 183324 kB Active(anon): 35308 kB Inactive(anon): 85428 kB Active(file): 434456 kB Inactive(file): 97896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 5844 kB Writeback: 0 kB AnonPages: 90924 kB Mapped: 48496 kB Shmem: 33440 kB Slab: 183688 kB SReclaimable: 157396 kB SUnreclaim: 26292 kB KernelStack: 3248 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 364284 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62020 MiB End job on node126 at 2017-08-13 21:27:02