Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.03 | 2400.31 |
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 | 94 |
Best CPU time to get the best result obtained on this benchmark | 19960.199 |
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.79/0.81 c best=?? lower=0 upper=14910 0.79/0.82 c 0.79/0.82 c This is cosoco 1.0 -- 0.79/0.82 c 0.79/0.82 c enable optimization 0.79/0.82 c ========================================[ Problem Statistics ]=========================================== 0.79/0.82 c | 0.79/0.82 c | Parse time : 0.80 s 0.79/0.82 c | 0.79/0.82 c | Variables: 1331 0.79/0.82 c | Domain Sizes: 2..71 0.79/0.82 c | 0.79/0.82 c | Constraints: 701 0.79/0.82 c | Arity: 2..36 -- Binary: 36 -- Ternary: 631 0.79/0.82 c | 0.79/0.82 c | Types: 0.79/0.82 c | Intension: 665 0.79/0.82 c | Sum: 36 0.79/0.82 c | 0.79/0.82 c ========================================================================================================= 0.79/0.82 o 2406 0.79/0.82 c 1 calls to solver: best=2406 lower=0 upper=2405 0.79/0.83 o 1222 0.79/0.86 o 666 0.79/0.86 c 3 calls to solver: best=666 lower=0 upper=665 0.79/0.87 o 478 0.79/0.89 o 466 0.79/0.89 c 5 calls to solver: best=466 lower=0 upper=465 0.89/0.90 o 458 0.99/1.00 o 438 0.99/1.00 c 7 calls to solver: best=438 lower=0 upper=437 1.10/1.16 o 422 1.20/1.26 o 402 1.20/1.26 c 9 calls to solver: best=402 lower=0 upper=401 1.20/1.28 o 382 1.39/1.46 o 378 1.39/1.46 c 11 calls to solver: best=378 lower=0 upper=377 42.98/43.01 o 334 48.28/48.31 o 326 48.28/48.31 c 13 calls to solver: best=326 lower=0 upper=325 59.68/59.74 o 314 78.18/78.24 o 294 78.18/78.24 c 15 calls to solver: best=294 lower=0 upper=293 96.97/97.06 o 290 103.97/104.03 o 270 103.97/104.03 c 17 calls to solver: best=270 lower=0 upper=269 156.96/157.07 o 262 211.56/211.64 o 254 211.56/211.64 c 19 calls to solver: best=254 lower=0 upper=253 220.16/220.23 o 250 386.24/386.32 o 234 386.24/386.32 c 21 calls to solver: best=234 lower=0 upper=233 468.13/468.22 o 218 540.82/540.91 o 214 540.82/540.91 c 23 calls to solver: best=214 lower=0 upper=213 588.91/589.00 o 194 908.18/908.39 o 190 908.18/908.39 c 25 calls to solver: best=190 lower=0 upper=189 949.07/949.29 o 182 1096.05/1096.26 o 178 1096.05/1096.26 c 27 calls to solver: best=178 lower=0 upper=177 1763.88/1764.17 o 126 2400.01/2400.30 2400.01/2400.30 c *** INTERRUPTED *** 2400.01/2400.30 s SATISFIABLE 2400.01/2400.30 c Best value found: 126 2400.01/2400.30 2400.01/2400.30 2400.01/2400.30 v <instantiation type='solution' cost='126'> 2400.01/2400.30 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> 2400.01/2400.30 v <value
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241608-1500652983/watcher-4241608-1500652983 -o /tmp/evaluation-result-4241608-1500652983/solver-4241608-1500652983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2486 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241608-1500652983.xml pid=3089 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.05 2.03 1.99 5/261 3092 /proc/meminfo: memFree=32127512/32770624 swapFree=5956/108048 [pid=3092] ppid=3089 vsize=27384 CPUtime=0.01 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 1065 0 0 0 1 0 0 0 20 0 1 0 563583 28041216 872 33554432000 4194304 5970956 140726751330608 140726751329800 140357457177573 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 6879 872 704 434 0 243 0 [startup+0.100128 s] /proc/loadavg: 2.05 2.03 1.99 5/261 3092 /proc/meminfo: memFree=32127512/32770624 swapFree=5956/108048 [pid=3092] ppid=3089 vsize=28436 CPUtime=0.09 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 1408 0 0 0 9 0 0 0 20 0 1 0 563583 29118464 1184 33554432000 4194304 5970956 140726751330608 140726751324040 140357457177573 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 7109 1184 784 434 0 473 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28436 [startup+0.200264 s] /proc/loadavg: 2.05 2.03 1.99 5/261 3092 /proc/meminfo: memFree=32127512/32770624 swapFree=5956/108048 [pid=3092] ppid=3089 vsize=29468 CPUtime=0.19 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 1639 0 0 0 19 0 0 0 20 0 1 0 563583 30175232 1474 33554432000 4194304 5970956 140726751330608 140726751324440 140357457177573 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 7367 1474 784 434 0 731 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29468 [startup+0.30022 s] /proc/loadavg: 2.05 2.03 1.99 5/261 3092 /proc/meminfo: memFree=32127512/32770624 swapFree=5956/108048 [pid=3092] ppid=3089 vsize=30500 CPUtime=0.29 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 1915 0 0 0 29 0 0 0 20 0 1 0 563583 31232000 1700 33554432000 4194304 5970956 140726751330608 140726751324440 140357457177573 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 7625 1700 784 434 0 989 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30500 [startup+0.700179 s] /proc/loadavg: 2.05 2.03 1.99 5/261 3092 /proc/meminfo: memFree=32127512/32770624 swapFree=5956/108048 [pid=3092] ppid=3089 vsize=34952 CPUtime=0.69 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 3020 0 0 0 69 0 0 0 20 0 1 0 563583 35790848 2847 33554432000 4194304 5970956 140726751330608 140726751324040 140357457177573 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 8738 2847 784 434 0 2102 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34952 [startup+1.50018 s] /proc/loadavg: 1.88 1.99 1.98 3/244 3132 /proc/meminfo: memFree=32131232/32770624 swapFree=5956/108956 [pid=3092] ppid=3089 vsize=38872 CPUtime=1.49 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 4064 0 0 0 149 0 0 0 20 0 1 0 563583 39804928 3876 33554432000 4194304 5970956 140726751330608 140726751317912 5327993 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9718 3876 844 434 0 3082 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38872 [startup+3.10018 s] /proc/loadavg: 1.88 1.99 1.98 3/244 3132 /proc/meminfo: memFree=32076084/32770624 swapFree=5956/108824 [pid=3092] ppid=3089 vsize=38872 CPUtime=3.09 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 5474 0 0 0 309 0 0 0 20 0 1 0 563583 39804928 3903 33554432000 4194304 5970956 140726751330608 140726751317912 5052132 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9718 3903 844 434 0 3082 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38872 [startup+6.30018 s] /proc/loadavg: 1.89 1.99 1.98 3/244 3132 /proc/meminfo: memFree=31927776/32770624 swapFree=5956/108952 [pid=3092] ppid=3089 vsize=38872 CPUtime=6.29 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 6886 0 0 0 629 0 0 0 20 0 1 0 563583 39804928 3903 33554432000 4194304 5970956 140726751330608 140726751317912 5093242 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9718 3903 844 434 0 3082 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38872 [startup+12.7002 s] /proc/loadavg: 1.90 1.99 1.98 3/244 3132 /proc/meminfo: memFree=31917848/32770624 swapFree=5956/108964 [pid=3092] ppid=3089 vsize=38872 CPUtime=12.68 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 7210 0 0 0 1268 0 0 0 20 0 1 0 563583 39804928 3903 33554432000 4194304 5970956 140726751330608 140726751317912 4964440 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9718 3903 844 434 0 3082 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38872 [startup+25.5002 s] /proc/loadavg: 1.91 1.99 1.98 3/244 3132 /proc/meminfo: memFree=31910964/32770624 swapFree=5956/108964 [pid=3092] ppid=3089 vsize=38872 CPUtime=25.48 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 7848 0 0 0 2548 0 0 0 20 0 1 0 563583 39804928 3903 33554432000 4194304 5970956 140726751330608 140726751317912 4964366 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9718 3903 844 434 0 3082 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38872 [startup+51.1002 s] /proc/loadavg: 1.95 1.99 1.98 3/244 3132 /proc/meminfo: memFree=31906388/32770624 swapFree=5956/108956 [pid=3092] ppid=3089 vsize=39008 CPUtime=51.08 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 8258 0 0 0 5108 0 0 0 20 0 1 0 563583 39944192 3920 33554432000 4194304 5970956 140726751330608 140726751317912 4964406 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3920 844 434 0 3116 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39008 [startup+102.3 s] /proc/loadavg: 2.04 2.01 1.99 3/244 3133 /proc/meminfo: memFree=31906836/32770624 swapFree=5956/109016 [pid=3092] ppid=3089 vsize=39008 CPUtime=102.28 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 8674 0 0 0 10228 0 0 0 20 0 1 0 563583 39944192 3926 33554432000 4194304 5970956 140726751330608 140726751328168 5038512 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3926 844 434 0 3116 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 39008 [startup+162.3 s] /proc/loadavg: 2.01 2.01 1.99 3/243 3134 /proc/meminfo: memFree=31906432/32770624 swapFree=5956/109048 [pid=3092] ppid=3089 vsize=39008 CPUtime=162.26 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 9088 0 0 0 16226 0 0 0 20 0 1 0 563583 39944192 3931 33554432000 4194304 5970956 140726751330608 140726751328168 5070776 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3931 844 434 0 3116 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 39008 [startup+222.308 s] /proc/loadavg: 2.00 2.01 1.99 3/243 3135 /proc/meminfo: memFree=31905372/32770624 swapFree=5956/109080 [pid=3092] ppid=3089 vsize=39008 CPUtime=222.26 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 9506 0 0 0 22226 0 0 0 20 0 1 0 563583 39944192 3931 33554432000 4194304 5970956 140726751330608 140726751328168 5136620 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3931 844 434 0 3116 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 39008 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.99 3/243 3136 /proc/meminfo: memFree=31905476/32770624 swapFree=5956/109112 [pid=3092] ppid=3089 vsize=39008 CPUtime=282.25 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 9852 0 0 0 28225 0 0 0 20 0 1 0 563583 39944192 3932 33554432000 4194304 5970956 140726751330608 140726751328168 5337501 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3932 844 434 0 3116 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 39008 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.99 3/242 3137 /proc/meminfo: memFree=31906548/32770624 swapFree=5956/109136 [pid=3092] ppid=3089 vsize=39008 CPUtime=342.24 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 10198 0 0 0 34224 0 0 0 20 0 1 0 563583 39944192 3932 33554432000 4194304 5970956 140726751330608 140726751328168 4964359 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3932 844 434 0 3116 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 39008 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.99 3/243 3139 /proc/meminfo: memFree=31905976/32770624 swapFree=5956/109172 [pid=3092] ppid=3089 vsize=39008 CPUtime=402.23 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 10619 0 0 0 40223 0 0 0 20 0 1 0 563583 39944192 3936 33554432000 4194304 5970956 140726751330608 140726751317912 5038552 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3936 844 434 0 3116 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 39008 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.99 3/245 3149 /proc/meminfo: memFree=31905580/32770624 swapFree=5956/109216 [pid=3092] ppid=3089 vsize=39008 CPUtime=462.23 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 10969 0 0 0 46223 0 0 0 20 0 1 0 563583 39944192 3936 33554432000 4194304 5970956 140726751330608 140726751317912 4908171 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3936 844 434 0 3116 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 39008 [startup+522.3 s] /proc/loadavg: 2.04 2.02 1.99 3/245 3150 /proc/meminfo: memFree=31905676/32770624 swapFree=5956/109252 [pid=3092] ppid=3089 vsize=39008 CPUtime=522.22 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 11388 0 0 0 52222 0 0 0 20 0 1 0 563583 39944192 3936 33554432000 4194304 5970956 140726751330608 140726751328168 5070480 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3936 844 434 0 3116 0 Current children cumulated CPU time (s) 522.22 Current children cumulated vsize (KiB) 39008 [startup+582.3 s] /proc/loadavg: 2.01 2.02 1.99 3/245 3151 /proc/meminfo: memFree=31905732/32770624 swapFree=5956/109292 [pid=3092] ppid=3089 vsize=39008 CPUtime=582.21 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 11809 0 0 0 58221 0 0 0 20 0 1 0 563583 39944192 3937 33554432000 4194304 5970956 140726751330608 140726751317912 5038217 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3937 844 434 0 3116 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 39008 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.00 3/243 3176 /proc/meminfo: memFree=31901916/32770624 swapFree=5804/109792 [pid=3092] ppid=3089 vsize=39008 CPUtime=1542.11 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 17590 0 0 0 154211 0 0 0 20 0 1 0 563583 39944192 3939 33554432000 4194304 5970956 140726751330608 140726751317912 5038193 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3939 844 434 0 3116 0 Current children cumulated CPU time (s) 1542.11 Current children cumulated vsize (KiB) 39008 [startup+1602.3 s] /proc/loadavg: 2.07 2.03 2.01 3/243 3177 /proc/meminfo: memFree=31902000/32770624 swapFree=5804/109816 [pid=3092] ppid=3089 vsize=39008 CPUtime=1602.1 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 17944 0 0 0 160210 0 0 0 20 0 1 0 563583 39944192 3939 33554432000 4194304 5970956 140726751330608 140726751317912 5038183 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3939 844 434 0 3116 0 Current children cumulated CPU time (s) 1602.1 Current children cumulated vsize (KiB) 39008 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.01 3/243 3185 /proc/meminfo: memFree=31900728/32770624 swapFree=5804/109860 [pid=3092] ppid=3089 vsize=39008 CPUtime=1662.09 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 18297 0 0 0 166209 0 0 0 20 0 1 0 563583 39944192 3939 33554432000 4194304 5970956 140726751330608 140726751317912 5039119 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3939 844 434 0 3116 0 Current children cumulated CPU time (s) 1662.09 Current children cumulated vsize (KiB) 39008 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.01 3/243 3186 /proc/meminfo: memFree=31900804/32770624 swapFree=5804/109888 [pid=3092] ppid=3089 vsize=39008 CPUtime=1722.08 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 18650 0 0 0 172208 0 0 0 20 0 1 0 563583 39944192 3939 33554432000 4194304 5970956 140726751330608 140726751317912 5136786 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3939 844 434 0 3116 0 Current children cumulated CPU time (s) 1722.08 Current children cumulated vsize (KiB) 39008 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.01 3/243 3187 /proc/meminfo: memFree=31901452/32770624 swapFree=5804/109912 [pid=3092] ppid=3089 vsize=39008 CPUtime=1782.08 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 19072 0 0 0 178208 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 4964336 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 1782.08 Current children cumulated vsize (KiB) 39008 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.01 3/243 3188 /proc/meminfo: memFree=31901364/32770624 swapFree=5804/109956 [pid=3092] ppid=3089 vsize=39008 CPUtime=1842.07 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 19425 0 0 0 184207 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5327850 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 1842.07 Current children cumulated vsize (KiB) 39008 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.01 3/243 3189 /proc/meminfo: memFree=31900864/32770624 swapFree=5804/109976 [pid=3092] ppid=3089 vsize=39008 CPUtime=1902.06 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 19778 0 0 0 190206 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5070791 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 1902.06 Current children cumulated vsize (KiB) 39008 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.01 3/243 3190 /proc/meminfo: memFree=31901116/32770624 swapFree=5804/110016 [pid=3092] ppid=3089 vsize=39008 CPUtime=1962.05 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 20132 0 0 0 196205 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5038329 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 1962.05 Current children cumulated vsize (KiB) 39008 [startup+2022.3 s] /proc/loadavg: 2.04 2.03 2.02 3/243 3191 /proc/meminfo: memFree=31901248/32770624 swapFree=5804/110036 [pid=3092] ppid=3089 vsize=39008 CPUtime=2022.05 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 20485 0 0 0 202205 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5337501 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2022.05 Current children cumulated vsize (KiB) 39008 [startup+2082.3 s] /proc/loadavg: 2.09 2.04 2.02 3/243 3192 /proc/meminfo: memFree=31901112/32770624 swapFree=5804/110064 [pid=3092] ppid=3089 vsize=39008 CPUtime=2082.05 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 20840 0 0 0 208205 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5052080 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2082.05 Current children cumulated vsize (KiB) 39008 [startup+2142.3 s] /proc/loadavg: 2.03 2.03 2.02 3/243 3193 /proc/meminfo: memFree=31901568/32770624 swapFree=5804/110088 [pid=3092] ppid=3089 vsize=39008 CPUtime=2142.03 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 21194 0 0 0 214203 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5038334 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2142.03 Current children cumulated vsize (KiB) 39008 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 2.02 3/243 3194 /proc/meminfo: memFree=31901412/32770624 swapFree=5804/110112 [pid=3092] ppid=3089 vsize=39008 CPUtime=2202.03 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 21548 0 0 0 220203 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5070849 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2202.03 Current children cumulated vsize (KiB) 39008 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.02 3/243 3202 /proc/meminfo: memFree=31900844/32770624 swapFree=5804/110156 [pid=3092] ppid=3089 vsize=39008 CPUtime=2262.02 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 21902 0 0 0 226202 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5136623 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2262.02 Current children cumulated vsize (KiB) 39008 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.02 3/243 3203 /proc/meminfo: memFree=31900560/32770624 swapFree=5804/110180 [pid=3092] ppid=3089 vsize=39008 CPUtime=2322.01 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 22256 0 0 0 232201 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5038364 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2322.01 Current children cumulated vsize (KiB) 39008 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.02 3/243 3204 /proc/meminfo: memFree=31900520/32770624 swapFree=5804/110208 [pid=3092] ppid=3089 vsize=39008 CPUtime=2382.01 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 22610 0 0 0 238201 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5337501 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2382.01 Current children cumulated vsize (KiB) 39008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.02 3/243 3204 /proc/meminfo: memFree=31901140/32770624 swapFree=5804/110216 [pid=3092] ppid=3089 vsize=39008 CPUtime=2400.01 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 22964 0 0 0 240001 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5052080 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 39008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3092 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.01 2.02 3/243 3204 /proc/meminfo: memFree=31901140/32770624 swapFree=5804/110216 [pid=3092] ppid=3089 vsize=39008 CPUtime=2400.01 cores=4-7,12-15 /proc/3092/stat : 3092 (cosoco) R 3089 3092 2454 0 -1 4202496 22964 0 0 0 240001 0 0 0 20 0 1 0 563583 39944192 3940 33554432000 4194304 5970956 140726751330608 140726751328168 5052080 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 17534976 140726751331521 140726751331651 140726751331651 140726751334350 0 /proc/3092/statm: 9752 3940 844 434 0 3116 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 39008 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.03 CPU user time (s): 2400.02 CPU system time (s): 0.008998 CPU usage (%): 99.9883 Max. virtual memory (cumulated for all children) (KiB): 39008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.008998 maximum resident set size= 15804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23050 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= 17 involuntary context switches= 120627 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.31142 second user time and 11.3504 second system time The end
Begin job on node144 at 2017-07-21 18:03:03 IDJOB=4241608 IDBENCH=127071 IDSOLVER=2620 FILE ID=node144/4241608-1500652983 RUNJOBID= node144-1500648174-2486 PBS_JOBID= 20623277 Free space on /tmp= 62016 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-036.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241608-1500652983/watcher-4241608-1500652983 -o /tmp/evaluation-result-4241608-1500652983/solver-4241608-1500652983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2486 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241608-1500652983.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c07c58ac36c79f91eadbbae5e125078d RANDOM SEED=993501368 node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.49 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 8 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.49 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.49 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 : 0 siblings : 8 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.49 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32130448 kB MemAvailable: 32029280 kB Buffers: 23196 kB Cached: 166688 kB SwapCached: 0 kB Active: 158936 kB Inactive: 116592 kB Active(anon): 88472 kB Inactive(anon): 8544 kB Active(file): 70464 kB Inactive(file): 108048 kB Unevictable: 5956 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2584 kB Writeback: 0 kB AnonPages: 87376 kB Mapped: 40220 kB Shmem: 8844 kB Slab: 56912 kB SReclaimable: 25576 kB SUnreclaim: 31336 kB KernelStack: 4512 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1168024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 62012 MiB End job on node144 at 2017-07-21 18:43:03