Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | No Cert. | 2400.06 | 2400.1 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml |
MD5SUM | c07c58ac36c79f91eadbbae5e125078d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 126 |
Best CPU time to get the best result obtained on this benchmark | 2400.03 |
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.69/0.75 c best=?? lower=0 upper=14910 0.69/0.76 c 0.69/0.76 c This is cosoco 1.0 -- 0.69/0.76 c 0.69/0.76 c enable optimization 0.69/0.76 c ========================================[ Problem Statistics ]=========================================== 0.69/0.76 c | 0.69/0.76 c | Parse time : 0.74 s 0.69/0.76 c | 0.69/0.76 c | Variables: 1331 0.69/0.76 c | Domain Sizes: 2..71 0.69/0.76 c | 0.69/0.76 c | Constraints: 701 0.69/0.76 c | Arity: 2..36 -- Binary: 36 -- Ternary: 631 0.69/0.76 c | 0.69/0.76 c | Types: 0.69/0.76 c | Intension: 665 0.69/0.76 c | Sum: 36 0.69/0.76 c | 0.69/0.76 c ========================================================================================================= 0.69/0.76 o 2406 0.69/0.76 c 1 calls to solver: best=2406 lower=0 upper=2405 0.69/0.77 o 1222 0.79/0.80 o 666 0.79/0.80 c 3 calls to solver: best=666 lower=0 upper=665 0.79/0.81 o 478 0.79/0.83 o 466 0.79/0.83 c 5 calls to solver: best=466 lower=0 upper=465 0.79/0.84 o 458 0.89/0.95 o 438 0.89/0.95 c 7 calls to solver: best=438 lower=0 upper=437 1.09/1.11 o 422 1.09/1.20 o 402 1.09/1.20 c 9 calls to solver: best=402 lower=0 upper=401 1.19/1.22 o 382 1.39/1.41 o 378 1.39/1.41 c 11 calls to solver: best=378 lower=0 upper=377 42.48/42.57 o 334 47.78/47.83 o 326 47.78/47.83 c 13 calls to solver: best=326 lower=0 upper=325 59.08/59.17 o 314 77.48/77.56 o 294 77.48/77.56 c 15 calls to solver: best=294 lower=0 upper=293 96.18/96.26 o 290 103.08/103.18 o 270 103.08/103.18 c 17 calls to solver: best=270 lower=0 upper=269 155.78/155.88 o 262 210.08/210.13 o 254 210.08/210.13 c 19 calls to solver: best=254 lower=0 upper=253 218.58/218.67 o 250 383.98/384.03 o 234 383.98/384.03 c 21 calls to solver: best=234 lower=0 upper=233 465.47/465.53 o 218 537.88/537.91 o 214 537.88/537.91 c 23 calls to solver: best=214 lower=0 upper=213 585.77/585.84 o 194 903.77/903.87 o 190 903.77/903.87 c 25 calls to solver: best=190 lower=0 upper=189 944.46/944.60 o 182 1090.86/1090.92 o 178 1090.86/1090.92 c 27 calls to solver: best=178 lower=0 upper=177 1755.86/1755.98 o 126 2400.05/2400.10 2400.05/2400.10 c *** INTERRUPTED *** 2400.05/2400.10 s SATISFIABLE 2400.05/2400.10 c Best value found: 126 2400.05/2400.10 2400.05/2400.10 2400.05/2400.10 v <instantiation type='solution' cost='126'> 2400.05/2400.10 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.05/2400.10 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-4252710-1500924817/watcher-4252710-1500924817 -o /tmp/evaluation-result-4252710-1500924817/solver-4252710-1500924817 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500914924-3648 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252710-1500924817.xml pid=7837 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.03 2.05 3/181 7840 /proc/meminfo: memFree=32124060/32770624 swapFree=5880/116468 [pid=7840] ppid=7837 vsize=26900 CPUtime=0 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 961 0 0 0 0 0 0 0 20 0 1 0 2034882 27545600 759 33554432000 4194304 5744392 140732435260736 140732435257384 140366058798053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 6725 759 677 379 0 144 0 [startup+0.100197 s] /proc/loadavg: 2.08 2.03 2.05 3/181 7840 /proc/meminfo: memFree=32124060/32770624 swapFree=5880/116468 [pid=7840] ppid=7837 vsize=28736 CPUtime=0.09 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 1506 0 0 0 9 0 0 0 20 0 1 0 2034882 29425664 1336 33554432000 4194304 5744392 140732435260736 140732435257384 140366058798053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 7184 1336 774 379 0 603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28736 [startup+0.200341 s] /proc/loadavg: 2.08 2.03 2.05 3/181 7840 /proc/meminfo: memFree=32124060/32770624 swapFree=5880/116468 [pid=7840] ppid=7837 vsize=29772 CPUtime=0.19 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 1784 0 0 0 19 0 0 0 20 0 1 0 2034882 30486528 1594 33554432000 4194304 5744392 140732435260736 140732435257384 140366058790506 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 7443 1594 774 379 0 862 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29772 [startup+0.300319 s] /proc/loadavg: 2.08 2.03 2.05 3/181 7840 /proc/meminfo: memFree=32124060/32770624 swapFree=5880/116468 [pid=7840] ppid=7837 vsize=30932 CPUtime=0.29 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 2063 0 0 0 29 0 0 0 20 0 1 0 2034882 31674368 1853 33554432000 4194304 5744392 140732435260736 140732435257384 140366058798053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 7733 1853 774 379 0 1152 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30932 [startup+0.700277 s] /proc/loadavg: 2.08 2.03 2.05 3/181 7840 /proc/meminfo: memFree=32124060/32770624 swapFree=5880/116468 [pid=7840] ppid=7837 vsize=35340 CPUtime=0.69 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 3177 0 0 0 69 0 0 0 20 0 1 0 2034882 36188160 2951 33554432000 4194304 5744392 140732435260736 140732435257384 140366058798053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 8835 2951 774 379 0 2254 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35340 [startup+1.50027 s] /proc/loadavg: 2.07 2.03 2.05 3/182 7841 /proc/meminfo: memFree=32113152/32770624 swapFree=5880/116480 [pid=7840] ppid=7837 vsize=38616 CPUtime=1.49 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 4051 0 0 0 149 0 0 0 20 0 1 0 2034882 39542784 3854 33554432000 4194304 5744392 140732435260736 140732435258344 4998916 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9654 3854 829 379 0 3073 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38616 [startup+3.10028 s] /proc/loadavg: 2.07 2.03 2.05 3/182 7841 /proc/meminfo: memFree=32112532/32770624 swapFree=5880/116480 [pid=7840] ppid=7837 vsize=38616 CPUtime=3.09 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 5472 0 0 0 309 0 0 0 20 0 1 0 2034882 39542784 3891 33554432000 4194304 5744392 140732435260736 140732435248088 4904908 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9654 3891 829 379 0 3073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38616 [startup+6.30027 s] /proc/loadavg: 2.06 2.03 2.05 3/182 7841 /proc/meminfo: memFree=32111280/32770624 swapFree=5880/116488 [pid=7840] ppid=7837 vsize=38616 CPUtime=6.28 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 6896 0 0 0 628 0 0 0 20 0 1 0 2034882 39542784 3891 33554432000 4194304 5744392 140732435260736 140732435248088 5024250 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9654 3891 829 379 0 3073 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38616 [startup+12.7003 s] /proc/loadavg: 2.06 2.03 2.05 3/182 7841 /proc/meminfo: memFree=32111156/32770624 swapFree=5880/116492 [pid=7840] ppid=7837 vsize=38616 CPUtime=12.68 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 7288 0 0 0 1268 0 0 0 20 0 1 0 2034882 39542784 3891 33554432000 4194304 5744392 140732435260736 140732435248088 4905515 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9654 3891 829 379 0 3073 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38616 [startup+25.5003 s] /proc/loadavg: 2.05 2.03 2.05 3/182 7841 /proc/meminfo: memFree=32111852/32770624 swapFree=5880/116500 [pid=7840] ppid=7837 vsize=38616 CPUtime=25.48 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 8072 0 0 0 2548 0 0 0 20 0 1 0 2034882 39542784 3891 33554432000 4194304 5744392 140732435260736 140732435248088 4905612 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9654 3891 829 379 0 3073 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38616 [startup+51.1003 s] /proc/loadavg: 2.03 2.03 2.05 3/182 7841 /proc/meminfo: memFree=32112228/32770624 swapFree=5880/116520 [pid=7840] ppid=7837 vsize=38748 CPUtime=51.08 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 8509 0 0 0 5108 0 0 0 20 0 1 0 2034882 39677952 3906 33554432000 4194304 5744392 140732435260736 140732435248088 5024239 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3906 829 379 0 3106 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38748 [startup+102.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 7903 /proc/meminfo: memFree=32113148/32770624 swapFree=5880/116596 [pid=7840] ppid=7837 vsize=38748 CPUtime=102.29 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 8953 0 0 0 10229 0 0 0 20 0 1 0 2034882 39677952 3909 33554432000 4194304 5744392 140732435260736 140732435258344 4908208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3909 829 379 0 3106 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 38748 [startup+162.3 s] /proc/loadavg: 2.08 2.03 2.05 3/182 7964 /proc/meminfo: memFree=32104000/32770624 swapFree=5880/116672 [pid=7840] ppid=7837 vsize=38748 CPUtime=162.28 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 9394 0 0 0 16228 0 0 0 20 0 1 0 2034882 39677952 3915 33554432000 4194304 5744392 140732435260736 140732435258344 4970576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3915 829 379 0 3106 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 38748 [startup+222.306 s] /proc/loadavg: 2.03 2.03 2.05 3/182 7965 /proc/meminfo: memFree=32103804/32770624 swapFree=5880/116720 [pid=7840] ppid=7837 vsize=38748 CPUtime=222.28 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 9837 0 0 0 22228 0 0 0 20 0 1 0 2034882 39677952 3916 33554432000 4194304 5744392 140732435260736 140732435258344 4971641 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3916 829 379 0 3106 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 38748 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 7966 /proc/meminfo: memFree=32103440/32770624 swapFree=5880/116756 [pid=7840] ppid=7837 vsize=38748 CPUtime=282.28 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 10255 0 0 0 28228 0 0 0 20 0 1 0 2034882 39677952 3917 33554432000 4194304 5744392 140732435260736 140732435258344 5118803 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3917 829 379 0 3106 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 38748 [startup+342.3 s] /proc/loadavg: 2.05 2.03 2.05 3/182 7967 /proc/meminfo: memFree=32103464/32770624 swapFree=5880/116784 [pid=7840] ppid=7837 vsize=38748 CPUtime=342.28 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 10675 0 0 0 34228 0 0 0 20 0 1 0 2034882 39677952 3917 33554432000 4194304 5744392 140732435260736 140732435258344 4952971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3917 829 379 0 3106 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 38748 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 7975 /proc/meminfo: memFree=32102324/32770624 swapFree=5880/116824 [pid=7840] ppid=7837 vsize=38748 CPUtime=402.28 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 11124 0 0 0 40228 0 0 0 20 0 1 0 2034882 39677952 3917 33554432000 4194304 5744392 140732435260736 140732435248088 4952941 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3917 829 379 0 3106 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 38748 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 7976 /proc/meminfo: memFree=32102944/32770624 swapFree=5880/116856 [pid=7840] ppid=7837 vsize=38748 CPUtime=462.27 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 11549 0 0 0 46227 0 0 0 20 0 1 0 2034882 39677952 3922 33554432000 4194304 5744392 140732435260736 140732435248088 4939569 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3922 829 379 0 3106 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 38748 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7977 /proc/meminfo: memFree=32102820/32770624 swapFree=5880/116888 [pid=7840] ppid=7837 vsize=38748 CPUtime=522.27 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 11994 0 0 0 52227 0 0 0 20 0 1 0 2034882 39677952 3922 33554432000 4194304 5744392 140732435260736 140732435258344 5024186 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3922 829 379 0 3106 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 38748 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 7978 /proc/meminfo: memFree=32102836/32770624 swapFree=5880/116920 [pid=7840] ppid=7837 vsize=38748 CPUtime=582.27 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 12444 0 0 0 58227 0 0 0 20 0 1 0 2034882 39677952 3922 33554432000 4194304 5744392 140732435260736 140732435248088 4952969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3922 829 379 0 3106 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 38748 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8003 /proc/meminfo: memFree=32101692/32770624 swapFree=5880/117432 [pid=7840] ppid=7837 vsize=38748 CPUtime=1542.27 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 19322 0 0 0 154226 1 0 0 20 0 1 0 2034882 39677952 3924 33554432000 4194304 5744392 140732435260736 140732435248088 5024239 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3924 829 379 0 3106 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 38748 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8011 /proc/meminfo: memFree=32101220/32770624 swapFree=5880/117468 [pid=7840] ppid=7837 vsize=38748 CPUtime=1602.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 19751 0 0 0 160225 1 0 0 20 0 1 0 2034882 39677952 3924 33554432000 4194304 5744392 140732435260736 140732435248088 5024411 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3924 829 379 0 3106 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 38748 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8034 /proc/meminfo: memFree=32100844/32770624 swapFree=5880/117504 [pid=7840] ppid=7837 vsize=38748 CPUtime=1662.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 20180 0 0 0 166225 1 0 0 20 0 1 0 2034882 39677952 3924 33554432000 4194304 5744392 140732435260736 140732435248088 4904704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3924 829 379 0 3106 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 38748 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8035 /proc/meminfo: memFree=32101696/32770624 swapFree=5880/117536 [pid=7840] ppid=7837 vsize=38748 CPUtime=1722.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 20607 0 0 0 172225 1 0 0 20 0 1 0 2034882 39677952 3924 33554432000 4194304 5744392 140732435260736 140732435248088 4939031 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3924 829 379 0 3106 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 38748 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8036 /proc/meminfo: memFree=32101432/32770624 swapFree=5880/117576 [pid=7840] ppid=7837 vsize=38748 CPUtime=1782.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 21059 0 0 0 178225 1 0 0 20 0 1 0 2034882 39677952 3924 33554432000 4194304 5744392 140732435260736 140732435258344 5024402 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3924 829 379 0 3106 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 38748 [startup+1842.3 s] /proc/loadavg: 2.05 2.03 2.05 3/182 8037 /proc/meminfo: memFree=32101556/32770624 swapFree=5880/117604 [pid=7840] ppid=7837 vsize=38748 CPUtime=1842.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 21486 0 0 0 184225 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4939036 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 1842.26 Current children cumulated vsize (KiB) 38748 [startup+1902.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 8038 /proc/meminfo: memFree=32101680/32770624 swapFree=5880/117636 [pid=7840] ppid=7837 vsize=38748 CPUtime=1902.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 21914 0 0 0 190225 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4939576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 1902.26 Current children cumulated vsize (KiB) 38748 [startup+1962.3 s] /proc/loadavg: 2.05 2.03 2.05 3/182 8039 /proc/meminfo: memFree=32101680/32770624 swapFree=5880/117668 [pid=7840] ppid=7837 vsize=38748 CPUtime=1962.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 22342 0 0 0 196224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 5123962 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 1962.25 Current children cumulated vsize (KiB) 38748 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 8040 /proc/meminfo: memFree=32101776/32770624 swapFree=5880/117700 [pid=7840] ppid=7837 vsize=38748 CPUtime=2022.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 22770 0 0 0 202224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4998922 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2022.25 Current children cumulated vsize (KiB) 38748 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8041 /proc/meminfo: memFree=32101652/32770624 swapFree=5880/117728 [pid=7840] ppid=7837 vsize=38748 CPUtime=2082.26 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 23198 0 0 0 208225 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 5140573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2082.26 Current children cumulated vsize (KiB) 38748 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 8042 /proc/meminfo: memFree=32101156/32770624 swapFree=5880/117756 [pid=7840] ppid=7837 vsize=38748 CPUtime=2142.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 23626 0 0 0 214224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 5131353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2142.25 Current children cumulated vsize (KiB) 38748 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/183 8051 /proc/meminfo: memFree=32100772/32770624 swapFree=5880/117796 [pid=7840] ppid=7837 vsize=38748 CPUtime=2202.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 24054 0 0 0 220224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4905300 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2202.25 Current children cumulated vsize (KiB) 38748 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 8052 /proc/meminfo: memFree=32101272/32770624 swapFree=5880/117828 [pid=7840] ppid=7837 vsize=38748 CPUtime=2262.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 24482 0 0 0 226224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4971616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2262.25 Current children cumulated vsize (KiB) 38748 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/183 8053 /proc/meminfo: memFree=32100776/32770624 swapFree=5880/117856 [pid=7840] ppid=7837 vsize=38748 CPUtime=2322.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 24910 0 0 0 232224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4952969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2322.25 Current children cumulated vsize (KiB) 38748 [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/183 8054 /proc/meminfo: memFree=32101148/32770624 swapFree=5880/117884 [pid=7840] ppid=7837 vsize=38748 CPUtime=2382.25 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 25338 0 0 0 238224 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 4940019 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2382.25 Current children cumulated vsize (KiB) 38748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.02 2.02 2.05 3/183 8055 /proc/meminfo: memFree=32100900/32770624 swapFree=5880/117908 [pid=7840] ppid=7837 vsize=38748 CPUtime=2400.05 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 25761 0 0 0 240004 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 5024193 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 38748 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 7840 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.02 2.02 2.05 3/183 8055 /proc/meminfo: memFree=32100900/32770624 swapFree=5880/117908 [pid=7840] ppid=7837 vsize=38748 CPUtime=2400.05 cores=0,2,4,6 /proc/7840/stat : 7840 (cosoco) R 7837 7840 3617 0 -1 4202496 25761 0 0 0 240004 1 0 0 20 0 1 0 2034882 39677952 3925 33554432000 4194304 5744392 140732435260736 140732435258344 5024193 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 33226752 140732435268801 140732435268931 140732435268931 140732435271630 0 /proc/7840/statm: 9687 3925 829 379 0 3106 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 38748 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.06 CPU user time (s): 2400.04 CPU system time (s): 0.015999 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 38748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.04 system time used= 0.015999 maximum resident set size= 15744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25795 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= 3175 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.66561 second user time and 7.35898 second system time The end
Begin job on node116 at 2017-07-24 21:33:38 IDJOB=4252710 IDBENCH=127071 IDSOLVER=2633 FILE ID=node116/4252710-1500924817 RUNJOBID= node116-1500914924-3648 PBS_JOBID= 20625411 Free space on /tmp= 61912 MiB SOLVER NAME= cosoco-mini 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-4252710-1500924817/watcher-4252710-1500924817 -o /tmp/evaluation-result-4252710-1500924817/solver-4252710-1500924817 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500914924-3648 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252710-1500924817.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c07c58ac36c79f91eadbbae5e125078d RANDOM SEED=397112694 node116.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.73 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.73 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.73 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.73 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: 32124728 kB MemAvailable: 32062528 kB Buffers: 35748 kB Cached: 216428 kB SwapCached: 0 kB Active: 171456 kB Inactive: 125016 kB Active(anon): 47064 kB Inactive(anon): 8548 kB Active(file): 124392 kB Inactive(file): 116468 kB Unevictable: 5880 kB Mlocked: 5880 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1980 kB Writeback: 8 kB AnonPages: 50084 kB Mapped: 28864 kB Shmem: 8844 kB Slab: 50420 kB SReclaimable: 25552 kB SUnreclaim: 24868 kB KernelStack: 3264 kB PageTables: 4940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 285808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61908 MiB End job on node116 at 2017-07-24 22:13:38