Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | No Cert. | 2400.04 | 2399.8 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml |
MD5SUM | 406abf126875c7059afeaa5170034bef |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 269 |
Best CPU time to get the best result obtained on this benchmark | 2400.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1805 |
Number of constraints | 943 |
Number of domains | 83 |
Minimum domain size | 2 |
Maximum domain size | 83 |
Distribution of domain sizes | [{"size":2,"count":904},{"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":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"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}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 41 |
Distribution of variable degrees | [{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":2,"count":42},{"arity":3,"count":862},{"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},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 902 |
Distribution of constraint types | [{"type":"intension","count":902},{"type":"sum","count":41}] |
Optimization problem | YES |
Type of objective | min SUM |
0.89/0.96 c best=?? lower=0 upper=23821 0.89/0.98 c 0.89/0.98 c This is cosoco 1.0 -- 0.89/0.98 c 0.89/0.98 c enable optimization 0.89/0.98 c ========================================[ Problem Statistics ]=========================================== 0.89/0.98 c | 0.89/0.98 c | Parse time : 0.96 s 0.89/0.98 c | 0.89/0.98 c | Variables: 1805 0.89/0.98 c | Domain Sizes: 2..83 0.89/0.98 c | 0.89/0.98 c | Constraints: 944 0.89/0.98 c | Arity: 2..42 -- Binary: 42 -- Ternary: 862 0.89/0.98 c | 0.89/0.98 c | Types: 0.89/0.98 c | Intension: 902 0.89/0.98 c | Sum: 42 0.89/0.98 c | 0.89/0.98 c ========================================================================================================= 0.89/0.98 o 4925 0.89/0.98 c 1 calls to solver: best=4925 lower=0 upper=4924 0.98/1.00 o 1661 0.98/1.02 o 1653 0.98/1.02 c 3 calls to solver: best=1653 lower=0 upper=1652 0.98/1.09 o 1517 1.09/1.11 o 1485 1.09/1.11 c 5 calls to solver: best=1485 lower=0 upper=1484 1.09/1.19 o 1421 1.19/1.23 o 1285 1.19/1.23 c 7 calls to solver: best=1285 lower=0 upper=1284 1.19/1.27 o 1133 1.28/1.39 o 1077 1.28/1.39 c 9 calls to solver: best=1077 lower=0 upper=1076 1.48/1.52 o 1069 1.58/1.63 o 957 1.58/1.63 c 11 calls to solver: best=957 lower=0 upper=956 1.58/1.65 o 933 1.58/1.67 o 909 1.58/1.67 c 13 calls to solver: best=909 lower=0 upper=908 1.88/1.93 o 885 1.98/2.04 o 837 1.98/2.04 c 15 calls to solver: best=837 lower=0 upper=836 2.39/2.43 o 821 2.39/2.45 o 757 2.39/2.45 c 17 calls to solver: best=757 lower=0 upper=756 2.49/2.54 o 741 2.49/2.57 o 717 2.49/2.57 c 19 calls to solver: best=717 lower=0 upper=716 2.59/2.61 o 709 2.59/2.64 o 685 2.59/2.64 c 21 calls to solver: best=685 lower=0 upper=684 2.59/2.68 o 677 2.69/2.77 o 669 2.69/2.77 c 23 calls to solver: best=669 lower=0 upper=668 2.79/2.80 o 525 2.89/2.95 o 509 2.89/2.95 c 25 calls to solver: best=509 lower=0 upper=508 3.09/3.10 o 437 3.40/3.48 o 317 3.40/3.48 c 27 calls to solver: best=317 lower=0 upper=316 245.91/245.93 o 309 1293.31/1293.25 o 301 1293.31/1293.25 c 29 calls to solver: best=301 lower=0 upper=300 1361.62/1361.51 o 293 1493.54/1493.43 o 285 1493.54/1493.43 c 31 calls to solver: best=285 lower=0 upper=284 1617.26/1617.12 o 277 1619.85/1619.77 o 269 1619.85/1619.77 c 33 calls to solver: best=269 lower=0 upper=268 2400.03/2399.80 2400.03/2399.80 c *** INTERRUPTED *** 2400.03/2399.80 s SATISFIABLE 2400.03/2399.80 c Best value found: 269 2400.03/2399.80 2400.03/2399.80 2400.03/2399.80 v <instantiation type='solution' cost='269'> 2400.03/2399.80 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] x[36] x[37] x[38] x[39] x[40] x[41] 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[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] 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[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] 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[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] 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[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] 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[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] 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[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] 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[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] 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[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] 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[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] 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[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] 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[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] 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[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] 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[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] 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[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] 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[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] 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[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] 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[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] 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[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] 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[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] 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[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] 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[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] 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[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] 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[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] 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[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] 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[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] 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[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] 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[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] 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[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] 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[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] 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[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] 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[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] 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[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] 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[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] 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[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] 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] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] 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] c[35] c[36] c[37] c[38] c[39] c[40] 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] s[35] s[36] s[37] s[38] s[39] s[40] </list> 2400.03/2399.80 v <values>-1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 * -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 * * -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 * * * 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 * * * * * -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 * * * * * * * 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 * * * * * * * * -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * * 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 * * * * * * * * * * * -1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 * * * * * * * * * * * * 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1
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-4252682-1500923108/watcher-4252682-1500923108 -o /tmp/evaluation-result-4252682-1500923108/solver-4252682-1500923108 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3773 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252682-1500923108.xml pid=8790 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.23 2.07 2.06 3/181 8793 /proc/meminfo: memFree=31409428/32770624 swapFree=5764/124044 [pid=8793] ppid=8790 vsize=26900 CPUtime=0 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 971 0 0 0 0 0 0 0 20 0 1 0 1850230 27545600 791 33554432000 4194304 5744392 140728751474064 140728751470712 139999935671269 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 6725 791 687 379 0 144 0 [startup+0.100196 s] /proc/loadavg: 2.23 2.07 2.06 3/181 8793 /proc/meminfo: memFree=31409428/32770624 swapFree=5764/124044 [pid=8793] ppid=8790 vsize=29368 CPUtime=0.09 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 1664 0 0 0 9 0 0 0 20 0 1 0 1850230 30072832 1495 33554432000 4194304 5744392 140728751474064 140728751470712 139999935671269 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 7342 1495 774 379 0 761 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29368 [startup+0.200347 s] /proc/loadavg: 2.23 2.07 2.06 3/181 8793 /proc/meminfo: memFree=31409428/32770624 swapFree=5764/124044 [pid=8793] ppid=8790 vsize=30900 CPUtime=0.19 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 2045 0 0 0 19 0 0 0 20 0 1 0 1850230 31641600 1879 33554432000 4194304 5744392 140728751474064 140728751470712 139999945312556 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 7725 1879 774 379 0 1144 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30900 [startup+0.300314 s] /proc/loadavg: 2.23 2.07 2.06 3/181 8793 /proc/meminfo: memFree=31409428/32770624 swapFree=5764/124044 [pid=8793] ppid=8790 vsize=32420 CPUtime=0.29 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 2425 0 0 0 29 0 0 0 20 0 1 0 1850230 33198080 2259 33554432000 4194304 5744392 140728751474064 140728751470712 139999935671269 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 8105 2259 774 379 0 1524 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32420 [startup+0.700281 s] /proc/loadavg: 2.23 2.07 2.06 3/181 8793 /proc/meminfo: memFree=31409428/32770624 swapFree=5764/124044 [pid=8793] ppid=8790 vsize=38516 CPUtime=0.69 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 3949 0 0 0 69 0 0 0 20 0 1 0 1850230 39440384 3749 33554432000 4194304 5744392 140728751474064 140728751470712 139999935719328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 9629 3749 774 379 0 3048 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38516 [startup+1.50027 s] /proc/loadavg: 2.23 2.07 2.06 3/182 8794 /proc/meminfo: memFree=31390156/32770624 swapFree=5764/124108 [pid=8793] ppid=8790 vsize=46980 CPUtime=1.48 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 6117 0 0 0 148 0 0 0 20 0 1 0 1850230 48107520 5943 33554432000 4194304 5744392 140728751474064 140728751470712 4946156 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11745 5943 829 379 0 5164 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 46980 [startup+3.10028 s] /proc/loadavg: 2.29 2.08 2.07 3/182 8794 /proc/meminfo: memFree=31388380/32770624 swapFree=5764/124084 [pid=8793] ppid=8790 vsize=47512 CPUtime=3.09 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 8494 0 0 0 308 1 0 0 20 0 1 0 1850230 48652288 6088 33554432000 4194304 5744392 140728751474064 140728751461416 5140581 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6088 829 379 0 5297 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47512 [startup+6.30028 s] /proc/loadavg: 2.29 2.08 2.07 3/182 8794 /proc/meminfo: memFree=31388048/32770624 swapFree=5764/124084 [pid=8793] ppid=8790 vsize=47512 CPUtime=6.29 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 10538 0 0 0 628 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 4939036 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47512 [startup+12.7003 s] /proc/loadavg: 2.33 2.10 2.07 3/182 8794 /proc/meminfo: memFree=31387592/32770624 swapFree=5764/124100 [pid=8793] ppid=8790 vsize=47512 CPUtime=12.69 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 12550 0 0 0 1268 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 5024245 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47512 [startup+25.5003 s] /proc/loadavg: 2.28 2.09 2.07 3/182 8794 /proc/meminfo: memFree=31387740/32770624 swapFree=5764/124112 [pid=8793] ppid=8790 vsize=47512 CPUtime=25.49 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 16546 0 0 0 2548 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 4952962 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47512 [startup+51.1003 s] /proc/loadavg: 2.18 2.09 2.07 3/182 8794 /proc/meminfo: memFree=31387212/32770624 swapFree=5764/124128 [pid=8793] ppid=8790 vsize=47512 CPUtime=51.1 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 18572 0 0 0 5109 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 5024239 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 47512 [startup+102.3 s] /proc/loadavg: 2.17 2.10 2.07 3/182 8795 /proc/meminfo: memFree=31386280/32770624 swapFree=5764/124176 [pid=8793] ppid=8790 vsize=47512 CPUtime=102.31 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 20592 0 0 0 10230 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 4941418 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 47512 [startup+162.3 s] /proc/loadavg: 2.06 2.08 2.07 3/182 8796 /proc/meminfo: memFree=31385960/32770624 swapFree=5764/124228 [pid=8793] ppid=8790 vsize=47512 CPUtime=162.31 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 22646 0 0 0 16230 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 4905169 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 162.31 Current children cumulated vsize (KiB) 47512 [startup+222.306 s] /proc/loadavg: 2.02 2.07 2.06 3/182 8797 /proc/meminfo: memFree=31386116/32770624 swapFree=5764/124272 [pid=8793] ppid=8790 vsize=47512 CPUtime=222.32 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 24678 0 0 0 22231 1 0 0 20 0 1 0 1850230 48652288 6106 33554432000 4194304 5744392 140728751474064 140728751461416 4905048 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11878 6106 829 379 0 5297 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 47512 [startup+282.3 s] /proc/loadavg: 2.01 2.06 2.05 3/182 8798 /proc/meminfo: memFree=31385596/32770624 swapFree=5764/124312 [pid=8793] ppid=8790 vsize=47644 CPUtime=282.31 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 26196 0 0 0 28230 1 0 0 20 0 1 0 1850230 48787456 6128 33554432000 4194304 5744392 140728751474064 140728751471672 5118803 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6128 829 379 0 5330 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 47644 [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.05 3/182 8806 /proc/meminfo: memFree=31384920/32770624 swapFree=5764/124356 [pid=8793] ppid=8790 vsize=47644 CPUtime=342.32 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 26196 0 0 0 34231 1 0 0 20 0 1 0 1850230 48787456 6128 33554432000 4194304 5744392 140728751474064 140728751471672 4941449 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6128 829 379 0 5330 0 Current children cumulated CPU time (s) 342.32 Current children cumulated vsize (KiB) 47644 [startup+402.3 s] /proc/loadavg: 2.03 2.05 2.05 3/182 8807 /proc/meminfo: memFree=31385152/32770624 swapFree=5764/124392 [pid=8793] ppid=8790 vsize=47644 CPUtime=402.32 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 26660 0 0 0 40231 1 0 0 20 0 1 0 1850230 48787456 6128 33554432000 4194304 5744392 140728751474064 140728751471672 5140573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6128 829 379 0 5330 0 Current children cumulated CPU time (s) 402.32 Current children cumulated vsize (KiB) 47644 [startup+462.3 s] /proc/loadavg: 2.01 2.04 2.05 3/182 8808 /proc/meminfo: memFree=31384960/32770624 swapFree=5764/124440 [pid=8793] ppid=8790 vsize=47644 CPUtime=462.33 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 26661 0 0 0 46232 1 0 0 20 0 1 0 1850230 48787456 6128 33554432000 4194304 5744392 140728751474064 140728751471672 4998912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6128 829 379 0 5330 0 Current children cumulated CPU time (s) 462.33 Current children cumulated vsize (KiB) 47644 [startup+522.3 s] /proc/loadavg: 2.00 2.04 2.05 3/182 8809 /proc/meminfo: memFree=31385144/32770624 swapFree=5764/124480 [pid=8793] ppid=8790 vsize=47644 CPUtime=522.33 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 27124 0 0 0 52232 1 0 0 20 0 1 0 1850230 48787456 6128 33554432000 4194304 5744392 140728751474064 140728751471672 5118791 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6128 829 379 0 5330 0 Current children cumulated CPU time (s) 522.33 Current children cumulated vsize (KiB) 47644 [startup+582.3 s] /proc/loadavg: 2.06 2.04 2.05 3/182 8810 /proc/meminfo: memFree=31384824/32770624 swapFree=5764/124512 [pid=8793] ppid=8790 vsize=47644 CPUtime=582.34 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 27124 0 0 0 58233 1 0 0 20 0 1 0 1850230 48787456 6128 33554432000 4194304 5744392 140728751474064 140728751471672 4901658 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6128 829 379 0 5330 0 Current children cumulated CPU time (s) 582.34 Current children cumulated vsize (KiB) 47644 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8834 /proc/meminfo: memFree=31384760/32770624 swapFree=5764/125076 [pid=8793] ppid=8790 vsize=47644 CPUtime=1482.44 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 31142 0 0 0 148242 2 0 0 20 0 1 0 1850230 48787456 6150 33554432000 4194304 5744392 140728751474064 140728751471672 4948537 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6150 829 379 0 5330 0 Current children cumulated CPU time (s) 1482.44 Current children cumulated vsize (KiB) 47644 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8842 /proc/meminfo: memFree=31384440/32770624 swapFree=5764/125132 [pid=8793] ppid=8790 vsize=47644 CPUtime=1542.45 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 31248 0 0 0 154243 2 0 0 20 0 1 0 1850230 48787456 6150 33554432000 4194304 5744392 140728751474064 140728751461416 5140573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6150 829 379 0 5330 0 Current children cumulated CPU time (s) 1542.45 Current children cumulated vsize (KiB) 47644 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8843 /proc/meminfo: memFree=31384220/32770624 swapFree=5764/125160 [pid=8793] ppid=8790 vsize=47644 CPUtime=1602.45 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 31708 0 0 0 160243 2 0 0 20 0 1 0 1850230 48787456 6150 33554432000 4194304 5744392 140728751474064 140728751461416 4940052 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11911 6150 829 379 0 5330 0 Current children cumulated CPU time (s) 1602.45 Current children cumulated vsize (KiB) 47644 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8844 /proc/meminfo: memFree=31384512/32770624 swapFree=5764/125212 [pid=8793] ppid=8790 vsize=47776 CPUtime=1662.45 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 31862 0 0 0 166243 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4948328 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 1662.45 Current children cumulated vsize (KiB) 47776 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8845 /proc/meminfo: memFree=31385340/32770624 swapFree=5764/125244 [pid=8793] ppid=8790 vsize=47776 CPUtime=1722.46 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 32355 0 0 0 172244 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 5140573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 1722.46 Current children cumulated vsize (KiB) 47776 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8846 /proc/meminfo: memFree=31384952/32770624 swapFree=5764/125280 [pid=8793] ppid=8790 vsize=47776 CPUtime=1782.47 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 32355 0 0 0 178245 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4901893 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (KiB) 47776 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8847 /proc/meminfo: memFree=31384880/32770624 swapFree=5764/125312 [pid=8793] ppid=8790 vsize=47776 CPUtime=1842.47 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 32821 0 0 0 184245 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4998912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 1842.47 Current children cumulated vsize (KiB) 47776 [startup+1902.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 8848 /proc/meminfo: memFree=31384748/32770624 swapFree=5764/125344 [pid=8793] ppid=8790 vsize=47776 CPUtime=1902.48 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 32822 0 0 0 190246 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4952928 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 1902.48 Current children cumulated vsize (KiB) 47776 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 8849 /proc/meminfo: memFree=31384696/32770624 swapFree=5764/125380 [pid=8793] ppid=8790 vsize=47776 CPUtime=1962.48 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 33289 0 0 0 196246 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 5118856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 1962.48 Current children cumulated vsize (KiB) 47776 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8850 /proc/meminfo: memFree=31384744/32770624 swapFree=5764/125412 [pid=8793] ppid=8790 vsize=47776 CPUtime=2022.49 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 33289 0 0 0 202247 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4940494 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2022.49 Current children cumulated vsize (KiB) 47776 [startup+2082.3 s] /proc/loadavg: 2.12 2.04 2.05 3/182 8851 /proc/meminfo: memFree=31384648/32770624 swapFree=5764/125444 [pid=8793] ppid=8790 vsize=47776 CPUtime=2082.5 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 33756 0 0 0 208248 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4939011 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2082.5 Current children cumulated vsize (KiB) 47776 [startup+2142.3 s] /proc/loadavg: 2.05 2.04 2.05 3/182 8859 /proc/meminfo: memFree=31383880/32770624 swapFree=5764/125476 [pid=8793] ppid=8790 vsize=47776 CPUtime=2142.5 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 33756 0 0 0 214248 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4939036 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2142.5 Current children cumulated vsize (KiB) 47776 [startup+2202.31 s] /proc/loadavg: 2.02 2.03 2.05 3/182 9043 /proc/meminfo: memFree=32093636/32770624 swapFree=5764/125680 [pid=8793] ppid=8790 vsize=47776 CPUtime=2202.51 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 34223 0 0 0 220249 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4971636 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2202.51 Current children cumulated vsize (KiB) 47776 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 9044 /proc/meminfo: memFree=32093532/32770624 swapFree=5764/125728 [pid=8793] ppid=8790 vsize=47776 CPUtime=2262.51 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 34225 0 0 0 226249 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4939813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2262.51 Current children cumulated vsize (KiB) 47776 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 9045 /proc/meminfo: memFree=32093212/32770624 swapFree=5764/125760 [pid=8793] ppid=8790 vsize=47776 CPUtime=2322.52 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 34693 0 0 0 232250 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 5024176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2322.52 Current children cumulated vsize (KiB) 47776 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 9046 /proc/meminfo: memFree=32093020/32770624 swapFree=5764/125796 [pid=8793] ppid=8790 vsize=47776 CPUtime=2382.53 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 34693 0 0 0 238251 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 5118856 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2382.53 Current children cumulated vsize (KiB) 47776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.00 2.01 2.05 3/182 9046 /proc/meminfo: memFree=32093192/32770624 swapFree=5764/125804 [pid=8793] ppid=8790 vsize=47776 CPUtime=2400.03 cores=0,2,4,6 /proc/8793/stat : 8793 (cosoco) R 8790 8793 3742 0 -1 4202496 35159 0 0 0 240001 2 0 0 20 0 1 0 1850230 48922624 6158 33554432000 4194304 5744392 140728751474064 140728751461416 4971636 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7841632 7846472 34021376 140728751477953 140728751478083 140728751478083 140728751480782 0 /proc/8793/statm: 11944 6158 829 379 0 5363 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 47776 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 8793 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2399.8 CPU time (s): 2400.04 CPU user time (s): 2400.02 CPU system time (s): 0.021002 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (KiB): 47776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.021002 maximum resident set size= 24676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35268 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= 15 involuntary context switches= 629 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.52276 second user time and 8.58237 second system time The end
Begin job on node107 at 2017-07-24 21:05:08 IDJOB=4252682 IDBENCH=126989 IDSOLVER=2633 FILE ID=node107/4252682-1500923108 RUNJOBID= node107-1500914927-3773 PBS_JOBID= 20625415 Free space on /tmp= 61644 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252682-1500923108/watcher-4252682-1500923108 -o /tmp/evaluation-result-4252682-1500923108/solver-4252682-1500923108 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3773 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252682-1500923108.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 406abf126875c7059afeaa5170034bef RANDOM SEED=2043421438 node107.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.15 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.15 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.15 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.15 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: 31409768 kB MemAvailable: 31359212 kB Buffers: 43572 kB Cached: 220296 kB SwapCached: 0 kB Active: 877580 kB Inactive: 132704 kB Active(anon): 749296 kB Inactive(anon): 8660 kB Active(file): 128284 kB Inactive(file): 124044 kB Unevictable: 5764 kB Mlocked: 5764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2376 kB Writeback: 4 kB AnonPages: 751800 kB Mapped: 29500 kB Shmem: 8848 kB Slab: 50932 kB SReclaimable: 25900 kB SUnreclaim: 25032 kB KernelStack: 3312 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 988464 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 325632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61648 MiB End job on node107 at 2017-07-24 21:45:08