Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | No Cert. | 2400.1 | 2400 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml |
MD5SUM | d88ca393bf757462df4053a6ee529819 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 772 |
Best CPU time to get the best result obtained on this benchmark | 2400.1001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3305 |
Number of constraints | 1708 |
Number of domains | 113 |
Minimum domain size | 2 |
Maximum domain size | 113 |
Distribution of domain sizes | [{"size":2,"count":1654},{"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":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}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1540},{"degree":2,"count":1708},{"degree":56,"count":57}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 57 |
Distribution of constraint arities | [{"arity":2,"count":57},{"arity":3,"count":1597},{"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":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}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1652 |
Distribution of constraint types | [{"type":"intension","count":1652},{"type":"sum","count":56}] |
Optimization problem | YES |
Type of objective | min SUM |
2.09/2.10 c best=?? lower=0 upper=60116 2.09/2.17 c 2.09/2.17 c This is cosoco 1.0 -- 2.09/2.17 c 2.09/2.17 c enable optimization 2.09/2.17 c ========================================[ Problem Statistics ]=========================================== 2.09/2.17 c | 2.09/2.17 c | Parse time : 2.09 s 2.09/2.17 c | 2.09/2.17 c | Variables: 3305 2.09/2.17 c | Domain Sizes: 2..113 2.09/2.17 c | 2.09/2.17 c | Constraints: 1709 2.09/2.17 c | Arity: 2..57 -- Binary: 57 -- Ternary: 1597 2.09/2.17 c | 2.09/2.17 c | Types: 2.09/2.17 c | Intension: 1652 2.09/2.17 c | Sum: 57 2.09/2.17 c | 2.09/2.17 c ========================================================================================================= 2.09/2.17 o 13100 2.09/2.17 c 1 calls to solver: best=13100 lower=0 upper=13099 2.20/2.22 o 7452 2.20/2.28 o 5128 2.20/2.28 c 3 calls to solver: best=5128 lower=0 upper=5127 2.30/2.34 o 3356 2.69/2.75 o 3308 2.69/2.75 c 5 calls to solver: best=3308 lower=0 upper=3307 2.79/2.87 o 2924 2.89/2.98 o 2856 2.89/2.98 c 7 calls to solver: best=2856 lower=0 upper=2855 3.09/3.10 o 2848 3.09/3.16 o 2076 3.09/3.16 c 9 calls to solver: best=2076 lower=0 upper=2075 4.19/4.25 o 2072 4.29/4.34 o 1700 4.29/4.34 c 11 calls to solver: best=1700 lower=0 upper=1699 4.40/4.43 o 1532 4.40/4.49 o 1524 4.40/4.49 c 13 calls to solver: best=1524 lower=0 upper=1523 4.50/4.58 o 1496 4.59/4.65 o 1284 4.59/4.65 c 15 calls to solver: best=1284 lower=0 upper=1283 4.69/4.71 o 1180 4.69/4.76 o 876 4.69/4.76 c 17 calls to solver: best=876 lower=0 upper=875 4.79/4.81 o 772 2400.09/2400.00 2400.09/2400.00 c *** INTERRUPTED *** 2400.09/2400.00 s SATISFIABLE 2400.09/2400.00 c Best value found: 772 2400.09/2400.00 2400.09/2400.00 2400.09/2400.00 v <instantiation type='solution' cost='772'> 2400.09/2400.00 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] 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[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] 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[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] 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[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] 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[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] 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[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] 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[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] 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[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] 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[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] 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[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] 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[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] 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[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] 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[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] 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[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] 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[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] 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[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] 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[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] 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[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] 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[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] 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[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] 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[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] 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[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] 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[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] 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[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] 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[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] 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[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] 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[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] 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[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] 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[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] 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[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] 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[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] 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[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] 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[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] 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[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] 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[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] 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[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] 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[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] 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[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] 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[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] 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[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] 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[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] 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] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] 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] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] 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] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] </list> 2400.09/2400.00 v <values>1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 * 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 * * 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 * * * -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 * * * * 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 * * * * * 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 * * * * * * -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 * * * * * * * -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 * * * * * * * * -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 * * * * * * * * * -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * * * -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 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-4252706-1500924682/watcher-4252706-1500924682 -o /tmp/evaluation-result-4252706-1500924682/solver-4252706-1500924682 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3627 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252706-1500924682.xml pid=6478 running on 4 cores: 1,3,5,7 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.00 2.01 2.05 3/181 6481 /proc/meminfo: memFree=32124860/32770624 swapFree=5864/117588 [pid=6481] ppid=6478 vsize=26900 CPUtime=0 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 953 0 0 0 0 0 0 0 20 0 1 0 2007454 27545600 790 33554432000 4194304 5744392 140735940543840 140735940540488 140443002354661 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 6725 790 687 379 0 144 0 [startup+0.100153 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6481 /proc/meminfo: memFree=32124860/32770624 swapFree=5864/117588 [pid=6481] ppid=6478 vsize=30556 CPUtime=0.09 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 1975 0 0 0 9 0 0 0 20 0 1 0 2007454 31289344 1778 33554432000 4194304 5744392 140735940543840 140735940540488 140443011828621 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 7639 1778 774 379 0 1058 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30556 [startup+0.200289 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6481 /proc/meminfo: memFree=32124860/32770624 swapFree=5864/117588 [pid=6481] ppid=6478 vsize=32868 CPUtime=0.19 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 2531 0 0 0 19 0 0 0 20 0 1 0 2007454 33656832 2361 33554432000 4194304 5744392 140735940543840 140735940540488 140443002402720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 8217 2361 774 379 0 1636 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32868 [startup+0.300251 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6481 /proc/meminfo: memFree=32124860/32770624 swapFree=5864/117588 [pid=6481] ppid=6478 vsize=35072 CPUtime=0.29 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 3084 0 0 0 29 0 0 0 20 0 1 0 2007454 35913728 2889 33554432000 4194304 5744392 140735940543840 140735940540488 140443002354661 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 8768 2889 774 379 0 2187 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35072 [startup+0.700225 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6481 /proc/meminfo: memFree=32124860/32770624 swapFree=5864/117588 [pid=6481] ppid=6478 vsize=43860 CPUtime=0.69 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 5301 0 0 0 68 1 0 0 20 0 1 0 2007454 44912640 5092 33554432000 4194304 5744392 140735940543840 140735940540488 140443002354661 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 10965 5092 774 379 0 4384 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43860 [startup+1.50022 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6482 /proc/meminfo: memFree=32098784/32770624 swapFree=5864/117688 [pid=6481] ppid=6478 vsize=61680 CPUtime=1.49 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 9737 0 0 0 148 1 0 0 20 0 1 0 2007454 63160320 9528 33554432000 4194304 5744392 140735940543840 140735940540488 140443002354661 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 15420 9528 774 379 0 8839 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61680 [startup+3.10026 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6482 /proc/meminfo: memFree=32065676/32770624 swapFree=5864/117688 [pid=6481] ppid=6478 vsize=87648 CPUtime=3.09 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 18207 0 0 0 307 2 0 0 20 0 1 0 2007454 89751552 16112 33554432000 4194304 5744392 140735940543840 140735940537304 5140573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 21912 16112 828 379 0 15331 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 87648 [startup+6.30023 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6482 /proc/meminfo: memFree=32061260/32770624 swapFree=5864/117624 [pid=6481] ppid=6478 vsize=89388 CPUtime=6.29 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 23324 0 0 0 627 2 0 0 20 0 1 0 2007454 91533312 16580 33554432000 4194304 5744392 140735940543840 140735940541448 4993991 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16580 828 379 0 15766 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 89388 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6482 /proc/meminfo: memFree=32060832/32770624 swapFree=5864/117640 [pid=6481] ppid=6478 vsize=89388 CPUtime=12.69 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 27150 0 0 0 1267 2 0 0 20 0 1 0 2007454 91533312 16580 33554432000 4194304 5744392 140735940543840 140735940541448 4948115 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16580 828 379 0 15766 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 89388 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6482 /proc/meminfo: memFree=32061028/32770624 swapFree=5864/117648 [pid=6481] ppid=6478 vsize=89388 CPUtime=25.48 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 34513 0 0 0 2546 2 0 0 20 0 1 0 2007454 91533312 16581 33554432000 4194304 5744392 140735940543840 140735940541448 4939436 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16581 828 379 0 15766 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89388 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6482 /proc/meminfo: memFree=32060836/32770624 swapFree=5864/117664 [pid=6481] ppid=6478 vsize=89388 CPUtime=51.08 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 37296 0 0 0 5105 3 0 0 20 0 1 0 2007454 91533312 16581 33554432000 4194304 5744392 140735940543840 140735940541448 5140573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16581 828 379 0 15766 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 89388 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6483 /proc/meminfo: memFree=32060388/32770624 swapFree=5864/117704 [pid=6481] ppid=6478 vsize=89388 CPUtime=102.28 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 37811 0 0 0 10225 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5118794 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 89388 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6484 /proc/meminfo: memFree=32060196/32770624 swapFree=5864/117724 [pid=6481] ppid=6478 vsize=89388 CPUtime=162.28 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 38317 0 0 0 16225 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4905519 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 89388 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6911 /proc/meminfo: memFree=32054824/32770624 swapFree=5864/117976 [pid=6481] ppid=6478 vsize=89388 CPUtime=222.28 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 38825 0 0 0 22225 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5118791 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 89388 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6912 /proc/meminfo: memFree=32054296/32770624 swapFree=5864/118056 [pid=6481] ppid=6478 vsize=89388 CPUtime=282.28 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 38827 0 0 0 28225 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 89388 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6913 /proc/meminfo: memFree=32053924/32770624 swapFree=5864/118108 [pid=6481] ppid=6478 vsize=89388 CPUtime=342.29 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 39336 0 0 0 34226 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4970576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 89388 [startup+402.3 s] /proc/loadavg: 2.08 2.03 2.05 3/182 6914 /proc/meminfo: memFree=32054052/32770624 swapFree=5864/118168 [pid=6481] ppid=6478 vsize=89388 CPUtime=402.29 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 39336 0 0 0 40226 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4971639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 89388 [startup+462.3 s] /proc/loadavg: 2.08 2.04 2.05 3/182 6915 /proc/meminfo: memFree=32054276/32770624 swapFree=5864/118212 [pid=6481] ppid=6478 vsize=89388 CPUtime=462.29 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 39851 0 0 0 46226 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5024402 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 89388 [startup+522.3 s] /proc/loadavg: 2.03 2.04 2.05 3/182 6923 /proc/meminfo: memFree=32052912/32770624 swapFree=5864/118248 [pid=6481] ppid=6478 vsize=89388 CPUtime=522.29 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 39851 0 0 0 52226 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4904941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 89388 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 6924 /proc/meminfo: memFree=32053532/32770624 swapFree=5864/118280 [pid=6481] ppid=6478 vsize=89388 CPUtime=582.3 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 40363 0 0 0 58227 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4939031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 89388 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6947 /proc/meminfo: memFree=32053068/32770624 swapFree=5864/118684 [pid=6481] ppid=6478 vsize=89388 CPUtime=1482.34 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 43933 0 0 0 148231 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4971335 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 89388 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6948 /proc/meminfo: memFree=32053392/32770624 swapFree=5864/118716 [pid=6481] ppid=6478 vsize=89388 CPUtime=1542.35 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 44439 0 0 0 154232 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5140577 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 89388 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6950 /proc/meminfo: memFree=32053252/32770624 swapFree=5864/118748 [pid=6481] ppid=6478 vsize=89388 CPUtime=1602.35 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 44441 0 0 0 160232 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4941084 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 89388 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6951 /proc/meminfo: memFree=32053144/32770624 swapFree=5864/118780 [pid=6481] ppid=6478 vsize=89388 CPUtime=1662.35 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 44948 0 0 0 166232 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4998922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 89388 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6959 /proc/meminfo: memFree=32052252/32770624 swapFree=5864/118808 [pid=6481] ppid=6478 vsize=89388 CPUtime=1722.35 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 44948 0 0 0 172232 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4939466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 89388 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 6983 /proc/meminfo: memFree=32051116/32770624 swapFree=5864/118840 [pid=6481] ppid=6478 vsize=89388 CPUtime=1782.36 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 45454 0 0 0 178233 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5024176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 89388 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 6984 /proc/meminfo: memFree=32051760/32770624 swapFree=5864/118868 [pid=6481] ppid=6478 vsize=89388 CPUtime=1842.36 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 45454 0 0 0 184233 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5024241 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1842.36 Current children cumulated vsize (KiB) 89388 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 6985 /proc/meminfo: memFree=32052580/32770624 swapFree=5864/118896 [pid=6481] ppid=6478 vsize=89388 CPUtime=1902.36 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 45961 0 0 0 190233 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4939569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1902.36 Current children cumulated vsize (KiB) 89388 [startup+1962.3 s] /proc/loadavg: 2.03 2.03 2.05 3/183 6986 /proc/meminfo: memFree=32052316/32770624 swapFree=5864/118916 [pid=6481] ppid=6478 vsize=89388 CPUtime=1962.37 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 45961 0 0 0 196234 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4970576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 1962.37 Current children cumulated vsize (KiB) 89388 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/183 6987 /proc/meminfo: memFree=32052664/32770624 swapFree=5864/118944 [pid=6481] ppid=6478 vsize=89388 CPUtime=2022.37 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 46468 0 0 0 202234 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4940510 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2022.37 Current children cumulated vsize (KiB) 89388 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 6988 /proc/meminfo: memFree=32052832/32770624 swapFree=5864/118968 [pid=6481] ppid=6478 vsize=89388 CPUtime=2082.38 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 46469 0 0 0 208235 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4904916 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2082.38 Current children cumulated vsize (KiB) 89388 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6989 /proc/meminfo: memFree=32053328/32770624 swapFree=5864/118992 [pid=6481] ppid=6478 vsize=89388 CPUtime=2142.37 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 46977 0 0 0 214234 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4908292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2142.37 Current children cumulated vsize (KiB) 89388 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6990 /proc/meminfo: memFree=32053188/32770624 swapFree=5864/119024 [pid=6481] ppid=6478 vsize=89388 CPUtime=2202.38 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 46979 0 0 0 220235 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4941309 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2202.38 Current children cumulated vsize (KiB) 89388 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6991 /proc/meminfo: memFree=32053080/32770624 swapFree=5864/119044 [pid=6481] ppid=6478 vsize=89388 CPUtime=2262.38 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 47487 0 0 0 226235 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4939031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2262.38 Current children cumulated vsize (KiB) 89388 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7000 /proc/meminfo: memFree=32052232/32770624 swapFree=5864/119064 [pid=6481] ppid=6478 vsize=89388 CPUtime=2322.38 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 47487 0 0 0 232235 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 4939036 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2322.38 Current children cumulated vsize (KiB) 89388 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 7001 /proc/meminfo: memFree=32052352/32770624 swapFree=5864/119088 [pid=6481] ppid=6478 vsize=89388 CPUtime=2382.39 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 47995 0 0 0 238236 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5024241 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2382.39 Current children cumulated vsize (KiB) 89388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.08 2.03 2.05 3/183 7001 /proc/meminfo: memFree=32052352/32770624 swapFree=5864/119088 [pid=6481] ppid=6478 vsize=89388 CPUtime=2400.09 cores=1,3,5,7 /proc/6481/stat : 6481 (cosoco) R 6478 6481 3595 0 -1 4202496 47995 0 0 0 240006 3 0 0 20 0 1 0 2007454 91533312 16585 33554432000 4194304 5744392 140735940543840 140735940541448 5024176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 27594752 140735940547777 140735940547907 140735940547907 140735940550606 0 /proc/6481/statm: 22347 16585 828 379 0 15766 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 89388 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 6481 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400 CPU time (s): 2400.1 CPU user time (s): 2400.06 CPU system time (s): 0.032001 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 89388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.06 system time used= 0.032001 maximum resident set size= 66388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48071 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= 41 involuntary context switches= 626 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.94302 second user time and 8.20381 second system time The end
Begin job on node105 at 2017-07-24 21:31:23 IDJOB=4252706 IDBENCH=127059 IDSOLVER=2633 FILE ID=node105/4252706-1500924682 RUNJOBID= node105-1500914927-3627 PBS_JOBID= 20625417 Free space on /tmp= 61776 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-057.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252706-1500924682/watcher-4252706-1500924682 -o /tmp/evaluation-result-4252706-1500924682/solver-4252706-1500924682 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3627 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252706-1500924682.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d88ca393bf757462df4053a6ee529819 RANDOM SEED=1705098292 node105.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.44 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.44 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.44 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.44 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: 32125520 kB MemAvailable: 32063440 kB Buffers: 35228 kB Cached: 216872 kB SwapCached: 0 kB Active: 168304 kB Inactive: 126148 kB Active(anon): 44980 kB Inactive(anon): 8560 kB Active(file): 123324 kB Inactive(file): 117588 kB Unevictable: 5864 kB Mlocked: 5864 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1960 kB Writeback: 0 kB AnonPages: 43076 kB Mapped: 28792 kB Shmem: 8848 kB Slab: 50992 kB SReclaimable: 25688 kB SUnreclaim: 25304 kB KernelStack: 3296 kB PageTables: 4816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 283692 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 95616 kB DirectMap2M: 33449984 kB Free space on /tmp at the end= 61776 MiB End job on node105 at 2017-07-24 22:11:23