Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 351 | 2400.01 | 2401.1 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml |
MD5SUM | d63f0cb62453ec1939b86e2392ab6ad9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 351 |
Best CPU time to get the best result obtained on this benchmark | 2400.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2969 |
Number of constraints | 1537 |
Number of domains | 107 |
Minimum domain size | 2 |
Maximum domain size | 107 |
Distribution of domain sizes | [{"size":2,"count":1486},{"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":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}, {"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 53 |
Distribution of variable degrees | [{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 54 |
Distribution of constraint arities | [{"arity":2,"count":54},{"arity":3,"count":1432},{"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":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}, {"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1484 |
Distribution of constraint types | [{"type":"intension","count":1484},{"type":"sum","count":53}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral-2017-06-28 2.49/2.58 o 51039 2.49/2.59 o 44951 2.59/2.60 o 40063 2.59/2.61 o 34887 2.59/2.62 o 29111 2.59/2.63 o 24375 2.59/2.64 o 20567 2.59/2.65 o 17575 2.59/2.66 o 14055 2.59/2.67 o 11423 2.59/2.69 o 11303 2.69/2.70 o 8343 2.69/2.71 o 8207 2.69/2.72 o 8159 2.69/2.73 o 7767 2.69/2.74 o 7663 2.69/2.75 o 7623 2.79/2.81 o 4919 2.79/2.82 o 4447 2.79/2.83 o 4215 2.79/2.83 o 4119 2.79/2.85 o 4063 2.79/2.86 o 3815 2.79/2.87 o 3159 2.79/2.88 o 2999 2.79/2.89 o 2911 2.89/2.90 o 2647 2.89/2.92 o 2439 2.89/2.93 o 1799 3.18/3.21 o 1391 3.39/3.40 o 1375 3.39/3.42 o 1207 3.39/3.43 o 1175 3.39/3.45 o 1079 3.39/3.46 o 1023 3.39/3.48 o 967 3.48/3.50 o 935 3.48/3.52 o 823 3.58/3.68 o 767 3.88/3.95 o 743 3.88/3.96 o 735 3.98/4.02 o 719 4.98/5.00 o 703 5.78/5.88 o 671 6.78/6.81 o 631 6.98/7.09 o 623 7.28/7.35 o 575 7.38/7.44 o 519 11.88/11.95 o 511 14.29/14.33 o 495 15.39/15.41 o 487 16.38/16.45 o 447 16.38/16.47 o 423 97.95/98.07 o 375 98.44/98.58 o 367 1866.24/1867.17 o 351 2400.00/2401.10 s SATISFIABLE 2400.00/2401.10 v <instantiation type="solution"> 2400.00/2401.10 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] 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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] </list> 2400.00/2401.10 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 -2 -1 -6 -3 -2 -1 0 -3 -2 -1 0 1 -2 1 4 -1 0 3 0 -1 2 1 2 3 2 -5 -4 -5 0 1 0 -5 2 -1 6 -1 2 5 -4 1 -2 3 0 1 -2 -1 -4 -3 0 -1 0 -1 1 4 1 36 9 4 1 0 9 4 1 0 1 4 1 16 1 0 9 0 1 4 1 4 9 4 25 16 25 0 1 0 25 4 1 36 1 4 25 16 1 4 9 0 1 4 1 16 9 0 1 0 1 </values> 2400.00/2401.10 v </instantiation>
OK 351
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-4241601-1500652983/watcher-4241601-1500652983 -o /tmp/evaluation-result-4241601-1500652983/solver-4241601-1500652983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500648173-9863 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 993501368 HOME/instance-4241601-1500652983.xml pid=10388 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.14 2.06 2.01 6/261 10391 /proc/meminfo: memFree=31972944/32770624 swapFree=5936/186964 [pid=10391] ppid=10388 vsize=28952 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 1024 0 0 0 0 0 0 0 20 0 1 0 565054 29646848 827 33554432000 4194304 7402444 140724485609072 140724485606120 139934157855717 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 7238 827 618 784 0 252 0 [startup+0.100122 s] /proc/loadavg: 2.14 2.06 2.01 6/261 10391 /proc/meminfo: memFree=31972944/32770624 swapFree=5936/186964 [pid=10391] ppid=10388 vsize=33664 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 2320 0 0 0 9 0 0 0 20 0 1 0 565054 34471936 2085 33554432000 4194304 7402444 140724485609072 140724485598848 139934157855717 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 8416 2085 708 784 0 1430 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33664 [startup+0.200338 s] /proc/loadavg: 2.14 2.06 2.01 6/261 10391 /proc/meminfo: memFree=31972944/32770624 swapFree=5936/186964 [pid=10391] ppid=10388 vsize=33796 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 2351 0 0 0 19 0 0 0 20 0 1 0 565054 34607104 2085 33554432000 4194304 7402444 140724485609072 140724485597880 5947818 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 8449 2085 708 784 0 1463 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 33796 [startup+0.300211 s] /proc/loadavg: 2.14 2.06 2.01 6/261 10391 /proc/meminfo: memFree=31972944/32770624 swapFree=5936/186964 [pid=10391] ppid=10388 vsize=33928 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 2386 0 0 0 29 0 0 0 20 0 1 0 565054 34742272 2151 33554432000 4194304 7402444 140724485609072 140724485597880 139934157864984 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 8482 2151 728 784 0 1496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33928 [startup+0.700211 s] /proc/loadavg: 2.14 2.06 2.01 6/261 10391 /proc/meminfo: memFree=31972944/32770624 swapFree=5936/186964 [pid=10391] ppid=10388 vsize=34480 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 2542 0 0 0 69 0 0 0 20 0 1 0 565054 35307520 2283 33554432000 4194304 7402444 140724485609072 140724485597880 6047989 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 8620 2283 728 784 0 1634 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34480 [startup+1.50023 s] /proc/loadavg: 2.05 2.04 2.01 3/244 10424 /proc/meminfo: memFree=32026968/32770624 swapFree=5936/186928 [pid=10391] ppid=10388 vsize=36076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 2932 0 0 0 149 0 0 0 20 0 1 0 565054 36941824 2679 33554432000 4194304 7402444 140724485609072 140724485599816 139934157853296 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 9019 2679 728 784 0 2033 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36076 [startup+3.10027 s] /proc/loadavg: 2.05 2.04 2.01 3/244 10424 /proc/meminfo: memFree=32022184/32770624 swapFree=5936/187104 [pid=10391] ppid=10388 vsize=40812 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 6218 0 0 0 309 0 0 0 20 0 1 0 565054 41791488 3955 33554432000 4194304 7402444 140724485609072 140724485604088 4237748 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3955 782 784 0 3217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40812 [startup+6.30024 s] /proc/loadavg: 2.05 2.04 2.01 3/244 10424 /proc/meminfo: memFree=32017308/32770624 swapFree=5936/186716 [pid=10391] ppid=10388 vsize=40812 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 8652 0 0 0 628 0 0 0 20 0 1 0 565054 41791488 3971 33554432000 4194304 7402444 140724485609072 140724485604088 4709402 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3971 789 784 0 3217 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 40812 [startup+12.7003 s] /proc/loadavg: 2.04 2.04 2.01 3/244 10424 /proc/meminfo: memFree=32015852/32770624 swapFree=5936/186716 [pid=10391] ppid=10388 vsize=40812 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 11086 0 0 0 1267 1 0 0 20 0 1 0 565054 41791488 3983 33554432000 4194304 7402444 140724485609072 140724485604088 5878734 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3983 789 784 0 3217 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40812 [startup+25.5004 s] /proc/loadavg: 2.03 2.04 2.01 3/244 10424 /proc/meminfo: memFree=32016212/32770624 swapFree=5936/186704 [pid=10391] ppid=10388 vsize=40812 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 11756 0 0 0 2547 1 0 0 20 0 1 0 565054 41791488 3986 33554432000 4194304 7402444 140724485609072 140724485604088 5877600 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3986 789 784 0 3217 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40812 [startup+51.1003 s] /proc/loadavg: 2.02 2.03 2.01 3/244 10424 /proc/meminfo: memFree=32016088/32770624 swapFree=5936/186712 [pid=10391] ppid=10388 vsize=40812 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 12083 0 0 0 5106 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 4747914 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40812 [startup+102.3 s] /proc/loadavg: 2.12 2.06 2.02 3/244 10425 /proc/meminfo: memFree=32015728/32770624 swapFree=5936/186744 [pid=10391] ppid=10388 vsize=40812 CPUtime=102.25 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 12445 0 0 0 10224 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 4237755 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 40812 [startup+162.3 s] /proc/loadavg: 2.08 2.06 2.02 3/244 10426 /proc/meminfo: memFree=32015832/32770624 swapFree=5936/186788 [pid=10391] ppid=10388 vsize=40812 CPUtime=162.21 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 12766 0 0 0 16220 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 5754048 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 40812 [startup+222.308 s] /proc/loadavg: 2.03 2.05 2.02 3/243 10427 /proc/meminfo: memFree=32015576/32770624 swapFree=5936/186816 [pid=10391] ppid=10388 vsize=40812 CPUtime=222.19 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 13086 0 0 0 22218 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 5758807 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 40812 [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.02 3/243 10428 /proc/meminfo: memFree=32015936/32770624 swapFree=5936/186852 [pid=10391] ppid=10388 vsize=40812 CPUtime=282.16 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 13410 0 0 0 28215 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 5877707 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 40812 [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.02 3/242 10429 /proc/meminfo: memFree=32017004/32770624 swapFree=5936/186884 [pid=10391] ppid=10388 vsize=40812 CPUtime=342.13 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 13729 0 0 0 34212 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 4248978 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 40812 [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.02 3/243 10431 /proc/meminfo: memFree=32015752/32770624 swapFree=5936/186908 [pid=10391] ppid=10388 vsize=40812 CPUtime=402.11 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 14044 0 0 0 40210 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 4748142 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 40812 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.02 3/243 10439 /proc/meminfo: memFree=32015180/32770624 swapFree=5936/186948 [pid=10391] ppid=10388 vsize=40812 CPUtime=462.08 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 14366 0 0 0 46207 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 5696208 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 40812 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.02 3/243 10440 /proc/meminfo: memFree=32015512/32770624 swapFree=5936/186980 [pid=10391] ppid=10388 vsize=40812 CPUtime=522.05 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 14685 0 0 0 52204 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 5877517 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 40812 [startup+582.3 s] /proc/loadavg: 2.06 2.03 2.03 3/243 10441 /proc/meminfo: memFree=32015140/32770624 swapFree=5936/187000 [pid=10391] ppid=10388 vsize=40812 CPUtime=582.02 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 15002 0 0 0 58201 1 0 0 20 0 1 0 565054 41791488 3988 33554432000 4194304 7402444 140724485609072 140724485604088 4248711 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3988 789 784 0 3217 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 40812 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10466 /proc/meminfo: memFree=32012936/32770624 swapFree=5936/187464 [pid=10391] ppid=10388 vsize=40812 CPUtime=1541.59 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 20131 0 0 0 154158 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5821527 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 40812 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.05 3/243 10467 /proc/meminfo: memFree=32013272/32770624 swapFree=5936/187492 [pid=10391] ppid=10388 vsize=40812 CPUtime=1601.56 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 20452 0 0 0 160155 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 139934157903716 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 40812 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.05 3/243 10475 /proc/meminfo: memFree=32012712/32770624 swapFree=5936/187532 [pid=10391] ppid=10388 vsize=40812 CPUtime=1661.53 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 20771 0 0 0 166152 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5754032 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 40812 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.05 3/243 10476 /proc/meminfo: memFree=32013536/32770624 swapFree=5936/187560 [pid=10391] ppid=10388 vsize=40812 CPUtime=1721.5 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 21094 0 0 0 172149 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4747042 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 40812 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 10477 /proc/meminfo: memFree=32014668/32770624 swapFree=5936/187600 [pid=10391] ppid=10388 vsize=40812 CPUtime=1781.48 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 21389 0 0 0 178147 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 40812 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 10478 /proc/meminfo: memFree=32012816/32770624 swapFree=5936/187608 [pid=10391] ppid=10388 vsize=40812 CPUtime=1841.45 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 21726 0 0 0 184144 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4463560 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1841.45 Current children cumulated vsize (KiB) 40812 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 10479 /proc/meminfo: memFree=32014812/32770624 swapFree=5936/187648 [pid=10391] ppid=10388 vsize=40812 CPUtime=1901.43 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 22079 0 0 0 190142 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5754032 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1901.43 Current children cumulated vsize (KiB) 40812 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10480 /proc/meminfo: memFree=32013444/32770624 swapFree=5936/187688 [pid=10391] ppid=10388 vsize=40812 CPUtime=1961.4 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 22406 0 0 0 196139 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5871069 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 1961.4 Current children cumulated vsize (KiB) 40812 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10481 /proc/meminfo: memFree=32012820/32770624 swapFree=5936/187712 [pid=10391] ppid=10388 vsize=40812 CPUtime=2021.37 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 22727 0 0 0 202136 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5696217 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2021.37 Current children cumulated vsize (KiB) 40812 [startup+2082.3 s] /proc/loadavg: 2.07 2.03 2.05 3/243 10482 /proc/meminfo: memFree=32012144/32770624 swapFree=5936/187744 [pid=10391] ppid=10388 vsize=40812 CPUtime=2081.35 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 23049 0 0 0 208134 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2081.35 Current children cumulated vsize (KiB) 40812 [startup+2142.3 s] /proc/loadavg: 2.10 2.05 2.05 3/243 10483 /proc/meminfo: memFree=32012444/32770624 swapFree=5936/187772 [pid=10391] ppid=10388 vsize=40812 CPUtime=2141.32 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 23370 0 0 0 214131 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 5698161 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2141.32 Current children cumulated vsize (KiB) 40812 [startup+2202.31 s] /proc/loadavg: 2.04 2.04 2.05 3/243 10484 /proc/meminfo: memFree=32012460/32770624 swapFree=5936/187804 [pid=10391] ppid=10388 vsize=40812 CPUtime=2201.3 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 23692 0 0 0 220129 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4747918 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2201.3 Current children cumulated vsize (KiB) 40812 [startup+2262.3 s] /proc/loadavg: 2.01 2.04 2.05 3/244 10493 /proc/meminfo: memFree=32012468/32770624 swapFree=5936/187820 [pid=10391] ppid=10388 vsize=40812 CPUtime=2261.26 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 24012 0 0 0 226125 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4747042 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2261.26 Current children cumulated vsize (KiB) 40812 [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.05 3/244 10494 /proc/meminfo: memFree=32012864/32770624 swapFree=5936/187856 [pid=10391] ppid=10388 vsize=40812 CPUtime=2321.23 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 24331 0 0 0 232122 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4709328 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2321.23 Current children cumulated vsize (KiB) 40812 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 10495 /proc/meminfo: memFree=32013352/32770624 swapFree=5936/187884 [pid=10391] ppid=10388 vsize=40812 CPUtime=2381.21 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 24654 0 0 0 238120 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4239179 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2381.21 Current children cumulated vsize (KiB) 40812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.1 s] /proc/loadavg: 2.00 2.02 2.05 3/244 10495 /proc/meminfo: memFree=32013576/32770624 swapFree=5936/187884 [pid=10391] ppid=10388 vsize=40812 CPUtime=2400 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 24964 0 0 0 239999 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4466809 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 40812 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 10391 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.1 s] /proc/loadavg: 2.00 2.02 2.05 3/244 10495 /proc/meminfo: memFree=32013576/32770624 swapFree=5936/187884 [pid=10391] ppid=10388 vsize=40812 CPUtime=2400 cores=1,3,5,7,9,11,13,15 /proc/10391/stat : 10391 (MistralXCSP) R 10388 10391 9830 0 -1 4202496 24964 0 0 0 239999 1 0 0 20 0 1 0 565054 41791488 3989 33554432000 4194304 7402444 140724485609072 140724485604088 4466809 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 16424960 140724485616809 140724485616958 140724485616958 140724485619657 0 /proc/10391/statm: 10203 3989 789 784 0 3217 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 40812 Child status: 0 Real time (s): 2401.1 CPU time (s): 2400.01 CPU user time (s): 2399.99 CPU system time (s): 0.013993 CPU usage (%): 99.9544 Max. virtual memory (cumulated for all children) (KiB): 40812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.99 system time used= 0.013993 maximum resident set size= 15980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25002 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= 121882 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.57347 second user time and 12.8098 second system time The end
Begin job on node139 at 2017-07-21 18:03:03 IDJOB=4241601 IDBENCH=127052 IDSOLVER=2622 FILE ID=node139/4241601-1500652983 RUNJOBID= node139-1500648173-9863 PBS_JOBID= 20623281 Free space on /tmp= 61984 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-054.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241601-1500652983/watcher-4241601-1500652983 -o /tmp/evaluation-result-4241601-1500652983/solver-4241601-1500652983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500648173-9863 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 993501368 HOME/instance-4241601-1500652983.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9 RANDOM SEED=993501368 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 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 : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2000.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 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 : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31977320 kB MemAvailable: 31972328 kB Buffers: 31640 kB Cached: 273780 kB SwapCached: 0 kB Active: 225688 kB Inactive: 195532 kB Active(anon): 118784 kB Inactive(anon): 8568 kB Active(file): 106904 kB Inactive(file): 186964 kB Unevictable: 5936 kB Mlocked: 5936 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5856 kB Writeback: 0 kB AnonPages: 214368 kB Mapped: 40436 kB Shmem: 8852 kB Slab: 66240 kB SReclaimable: 33948 kB SUnreclaim: 32292 kB KernelStack: 4224 kB PageTables: 4520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1168728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61980 MiB End job on node139 at 2017-07-21 18:43:04