Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Mistral-2.0 2017-06-28 | SAT (TO) | 5 | 2400.0601 | 2400.3101 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml |
| MD5SUM | 0962135a9df7191e1203c0b83ceb0052 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0901 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1936 |
| Number of constraints | 13244 |
| Number of domains | 1 |
| Minimum domain size | 946 |
| Maximum domain size | 946 |
| Distribution of domain sizes | [{"size":946,"count":946}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":0,"count":990},{"degree":43,"count":946}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":13244}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 13244 |
| Distribution of constraint types | [{"type":"intension","count":13244}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.09 c Mistral-2017-06-28 515.53/515.70 o 6 519.63/519.89 o 5 2400.04/2400.30 s SATISFIABLE 2400.04/2400.30 v <instantiation type="solution"> 2400.04/2400.30 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] </list> 2400.04/2400.30 v <values> * 3 3 0 0 0 0 0 2 2 2 0 0 3 0 0 0 1 1 0 1 2 1 0 0 1 0 1 0 0 0 0 1 0 1 2 2 1 0 0 1 0 1 0 * * 4 1 1 2 2 2 3 0 0 0 1 0 0 2 2 0 0 2 1 0 0 2 1 1 2 1 2 1 2 1 2 2 1 2 0 2 3 0 1 2 2 1 * * * 4 4 4 2 3 2 0 2 4 1 1 0 3 1 0 0 1 3 0 1 2 2 2 2 3 2 2 2 1 4 1 1 2 0 4 4 0 1 4 0 4 * * * * 3 5 1 1 4 0 0 1 2 0 3 2 1 0 1 1 3 4 4 4 2 0 1 2 2 3 4 2 2 4 4 3 2 3 1 1 0 2 1 3 * * * * * 2 2 2 0 0 2 1 2 0 4 2 1 1 1 1 0 2 5 2 2 3 1 0 2 5 2 3 0 2 0 2 0 0 3 1 5 1 0 5 * * * * * * 1 4 2 0 5 2 4 0 3 4 3 3 1 1 3 1 0 4 5 1 1 3 1 3 3 1 3 4 1 0 2 5 5 2 3 1 1 5 * * * * * * * 3 5 1 5 3 1 0 4 4 5 0 3 4 0 0 2 5 1 4 3 3 5 1 4 2 5 1 0 1 1 0 2 5 3 3 0 1 * * * * * * * * 4 0 0 5 1 2 3 1 3 1 0 3 1 0 3 3 1 5 5 1 4 4 1 1 0 5 1 1 2 3 2 2 2 1 0 3 * * * * * * * * * 5 3 1 1 2 0 2 4 0 0 1 5 5 1 0 3 5 5 5 3 3 5 3 1 2 2 3 3 4 5 0 3 2 1 2 * * * * * * * * * * 1 2 0 3 1 0 0 1 2 0 3 1 1 0 0 3 0 3 0 2 4 2 4 0 1 4 3 1 4 1 4 0 1 0 * * * * * * * * * * * 1 1 2 3 0 0 2 1 0 0 3 2 0 1 1 3 1 4 0 1 2 2 0 2 4 4 0 0 2 5 1 2 3 * * * * * * * * * * * * 4 1 1 2 5 5 4 2 1 5 2 3 2 2 2 2 2 3 3 1 2 2 1 4 4 3 3 3 4 2 5 1 * * * * * * * * * * * * * 0 1 5 3 0 0 2 2 1 2 3 3 2 1 0 1 2 4 4 0 5 2 3 0 1 1 3 5 3 0 4 * * * * * * * * * * * * * * 2 0 2 1 1 3 2 2 3 0 0 2 1 4 0 1 2 0 3 3 4 2 4 2 1 3 5 0 1 0 * * * * * * * * * * * * * * * 5 4 2 1 1 0 5 2 2 2 1 4 4 3 4 5 4 1 3 0 1 5 0 5 2 0 2 2 5 * * * * * * * * * * * * * * * * 3 0 5 1 2 1 0 1 4 1 5 5 1 2 3 4 3 3 5 0 4 1 2 5 3 3 1 4 * * * * * * * * * * * * * * * * * 2 0 4 5 0 0 1 4 0 3 1 1 2 4 2 1 5 4 0 5 1 5 2 4 4 3 1 * * * * * * * * * * * * * * * * * * 2 2 4 4 3 1 4 5 0 5 0 0 2 4 4 0 5 4 2 2 0 3 5 0 3 0 * * * * * * * * * * * * * * * * * * * 0 0 2 2 1 0 3 4 4 2 0 0 0 5 1 2 5 1 5 2 2 0 0 3 1 * * * * * * * * * * * * * * * * * * * * 1 3 5 5 1 3 3 1 3 1 1 4 0 5 0 0 4 4 2 2 3 5 0 1 * * * * * * * * * * * * * * * * * * * * * 1 5 1 2 0 3 2 4 5 4 2 2 1 4 0 2 4 1 2 5 3 2 5 * * * * * * * * * * * * * * * * * * * * * * 3 0 1 4 0 0 0 2 1 0 3 3 3 1 1 4 0 3 4 4 2 1 * * * * * * * * * * * * * * * * * * * * * * * 0 1 3 1 0 3 1 5 4 0 0 5 2 4 2 5 5 3 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * 1 4 1 2 4 1 1 1 3 3 0 4 5 4 5 1 0 1 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 0 1 4 3 5 3 4 2 0 0 1 1 5 2 5 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 4 4 5 3 3 0 3 1 0 5 0 0 1 5 2 3 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 3 4 3 0 1 4 1 2 0 2 2 0 4 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 2 3 5 5 2 3 5 3 1 1 0 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 4 3 1 3 0 1 0 3 3 1 3 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 4 3 0 0 0 1 5 4 2 5 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 1 0 3 0 0 2 2 2 5 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 4 5 1 2 1 4 4 3 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 3 3 3 2 0 5 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 0 1 2 1 2 4 1 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 2 0 0 3 0 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 1 0 1 4 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 1 0 3 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 1 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 1 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 2400.04/2400.30 v </instantiation>
OK 5
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-4242292-1502103486/watcher-4242292-1502103486 -o /tmp/evaluation-result-4242292-1502103486/solver-4242292-1502103486 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1529068174 HOME/instance-4242292-1502103486.xml pid=6370 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 2/180 6373 /proc/meminfo: memFree=31550528/32770624 swapFree=0/380708 [pid=6373] ppid=6370 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/6373/stat : 6373 (runsolver) D 6370 6373 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12542250 24240128 106 18446744073709551615 4194304 4338465 140735743649984 140735743647624 140010356085463 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 35311616 140735743656075 140735743656522 140735743656522 140735743659978 0 /proc/6373/statm: 5918 106 53 36 0 2156 0 [startup+0.100202 s] /proc/loadavg: 2.00 2.01 2.05 2/180 6373 /proc/meminfo: memFree=31550528/32770624 swapFree=0/380708 [pid=6373] ppid=6370 vsize=30728 CPUtime=0.01 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 1450 0 0 0 1 0 0 0 20 0 1 0 12542250 31465472 1225 18446744073709551615 4194304 7402444 140724081380336 140724081377384 140439469972453 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 7682 1291 620 784 0 696 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 30728 [startup+0.200333 s] /proc/loadavg: 2.00 2.01 2.05 2/180 6373 /proc/meminfo: memFree=31550528/32770624 swapFree=0/380708 [pid=6373] ppid=6370 vsize=31264 CPUtime=0.11 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 1565 0 0 0 11 0 0 0 20 0 1 0 12542250 32014336 1357 18446744073709551615 4194304 7402444 140724081380336 140724081373576 140439487017554 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 7816 1357 632 784 0 830 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 31264 [startup+0.300316 s] /proc/loadavg: 2.00 2.01 2.05 2/180 6373 /proc/meminfo: memFree=31550528/32770624 swapFree=0/380708 [pid=6373] ppid=6370 vsize=31588 CPUtime=0.21 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 1680 0 0 0 21 0 0 0 20 0 1 0 12542250 32346112 1429 18446744073709551615 4194304 7402444 140724081380336 140724081373576 6138163 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 7897 1429 632 784 0 911 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 31588 [startup+0.700284 s] /proc/loadavg: 2.00 2.01 2.05 2/180 6373 /proc/meminfo: memFree=31550528/32770624 swapFree=0/380708 [pid=6373] ppid=6370 vsize=33548 CPUtime=0.6 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 2352 0 0 0 60 0 0 0 20 0 1 0 12542250 34353152 2065 18446744073709551615 4194304 7402444 140724081380336 140724081373576 140439470915799 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 8387 2065 733 784 0 1401 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 33548 [startup+1.50027 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6374 /proc/meminfo: memFree=31543600/32770624 swapFree=0/380692 [pid=6373] ppid=6370 vsize=37516 CPUtime=1.4 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 3321 0 0 0 140 0 0 0 20 0 1 0 12542250 38416384 3052 18446744073709551615 4194304 7402444 140724081380336 140724081370808 6047881 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 9379 3052 733 784 0 2393 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 37516 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6374 /proc/meminfo: memFree=31538176/32770624 swapFree=0/380692 [pid=6373] ppid=6370 vsize=45580 CPUtime=3 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 7984 0 0 0 299 1 0 0 20 0 1 0 12542250 46673920 5055 18446744073709551615 4194304 7402444 140724081380336 140724081370888 6047727 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 11395 5055 733 784 0 4409 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 45580 [startup+6.30028 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6374 /proc/meminfo: memFree=31522624/32770624 swapFree=0/380700 [pid=6373] ppid=6370 vsize=58828 CPUtime=6.2 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 12772 0 0 0 619 1 0 0 20 0 1 0 12542250 60239872 8397 18446744073709551615 4194304 7402444 140724081380336 140724081370888 6057714 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 14707 8397 733 784 0 7721 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 58828 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6374 /proc/meminfo: memFree=31492000/32770624 swapFree=0/380700 [pid=6373] ppid=6370 vsize=89684 CPUtime=12.6 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 28558 0 0 0 1257 3 0 0 20 0 1 0 12542250 91836416 16090 18446744073709551615 4194304 7402444 140724081380336 140724081370888 140439476150864 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 22421 16090 733 784 0 15435 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 89684 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6374 /proc/meminfo: memFree=31438112/32770624 swapFree=0/380716 [pid=6373] ppid=6370 vsize=140888 CPUtime=25.4 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 66714 0 0 0 2535 5 0 0 20 0 1 0 12542250 144269312 28960 18446744073709551615 4194304 7402444 140724081380336 140724081375688 5327204 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 35222 28960 764 784 0 28236 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 140888 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6375 /proc/meminfo: memFree=31421696/32770624 swapFree=0/380724 [pid=6373] ppid=6370 vsize=156564 CPUtime=50.99 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 84845 0 0 0 5093 6 0 0 20 0 1 0 12542250 160321536 32891 18446744073709551615 4194304 7402444 140724081380336 140724081375032 5750768 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 39141 32891 776 784 0 32155 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 156564 [startup+102.3 s] /proc/loadavg: 1.96 2.00 2.04 3/181 6377 /proc/meminfo: memFree=31419960/32770624 swapFree=0/380768 [pid=6373] ppid=6370 vsize=158412 CPUtime=102.18 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 91338 0 0 0 10211 7 0 0 20 0 1 0 12542250 162213888 33339 18446744073709551615 4194304 7402444 140724081380336 140724081374616 5327204 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 39603 33339 776 784 0 32617 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 158412 [startup+162.3 s] /proc/loadavg: 2.03 2.01 2.05 3/181 6379 /proc/meminfo: memFree=31420008/32770624 swapFree=0/380796 [pid=6373] ppid=6370 vsize=158676 CPUtime=162.17 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 92540 0 0 0 16210 7 0 0 20 0 1 0 12542250 162484224 33425 18446744073709551615 4194304 7402444 140724081380336 140724081374616 5747655 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 39669 33425 776 784 0 32683 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 158676 [startup+222.306 s] /proc/loadavg: 2.01 2.01 2.05 3/181 6381 /proc/meminfo: memFree=31419360/32770624 swapFree=0/380824 [pid=6373] ppid=6370 vsize=158808 CPUtime=222.16 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 94183 0 0 0 22209 7 0 0 20 0 1 0 12542250 162619392 33455 18446744073709551615 4194304 7402444 140724081380336 140724081374616 5765808 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 39702 33455 776 784 0 32716 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 158808 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6383 /proc/meminfo: memFree=31419360/32770624 swapFree=0/380856 [pid=6373] ppid=6370 vsize=158808 CPUtime=282.15 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 95643 0 0 0 28208 7 0 0 20 0 1 0 12542250 162619392 33481 18446744073709551615 4194304 7402444 140724081380336 140724081374616 5753456 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 39702 33481 776 784 0 32716 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 158808 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6385 /proc/meminfo: memFree=31418512/32770624 swapFree=0/380884 [pid=6373] ppid=6370 vsize=159204 CPUtime=342.15 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 96881 0 0 0 34208 7 0 0 20 0 1 0 12542250 163024896 33511 18446744073709551615 4194304 7402444 140724081380336 140724081374616 5758845 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 39801 33511 776 784 0 32815 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 159204 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6400 /proc/meminfo: memFree=31410464/32770624 swapFree=0/380944 [pid=6373] ppid=6370 vsize=162636 CPUtime=402.14 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 99078 0 0 0 40206 8 0 0 20 0 1 0 12542250 166539264 34421 18446744073709551615 4194304 7402444 140724081380336 140724081374616 5327213 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 40659 34421 776 784 0 33673 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 162636 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6403 /proc/meminfo: memFree=31412652/32770624 swapFree=0/380992 [pid=6373] ppid=6370 vsize=162636 CPUtime=462.14 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 100436 0 0 0 46206 8 0 0 20 0 1 0 12542250 166539264 34425 18446744073709551615 4194304 7402444 140724081380336 140724081374616 4708318 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 40659 34425 776 784 0 33673 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 162636 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6404 /proc/meminfo: memFree=31409976/32770624 swapFree=0/381020 [pid=6373] ppid=6370 vsize=165712 CPUtime=522.13 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 103141 0 0 0 52205 8 0 0 20 0 1 0 12542250 169689088 35147 18446744073709551615 4194304 7402444 140724081380336 140724081375352 5327179 0 0 1 16386 0 0 0 17 6 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41428 35147 776 784 0 34442 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 165712 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6406 /proc/meminfo: memFree=31409852/32770624 swapFree=0/381060 [pid=6373] ppid=6370 vsize=165712 CPUtime=582.12 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 105160 0 0 0 58204 8 0 0 20 0 1 0 12542250 169689088 35187 18446744073709551615 4194304 7402444 140724081380336 140724081375352 5327353 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41428 35187 777 784 0 34442 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 165712 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.05 3/181 6540 /proc/meminfo: memFree=31361696/32770624 swapFree=0/381688 [pid=6373] ppid=6370 vsize=165976 CPUtime=1542.09 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 125428 0 0 0 154199 10 0 0 20 0 1 0 12542250 169959424 35256 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327336 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41494 35256 777 784 0 34508 0 Current children cumulated CPU time (s) 1542.09 Current children cumulated vsize (KiB) 165976 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/184 6556 /proc/meminfo: memFree=31358004/32770624 swapFree=0/381764 [pid=6373] ppid=6370 vsize=165976 CPUtime=1602.08 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 126681 0 0 0 160198 10 0 0 20 0 1 0 12542250 169959424 35258 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327254 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41494 35258 777 784 0 34508 0 Current children cumulated CPU time (s) 1602.08 Current children cumulated vsize (KiB) 165976 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6558 /proc/meminfo: memFree=31359552/32770624 swapFree=0/381792 [pid=6373] ppid=6370 vsize=165976 CPUtime=1662.07 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 127880 0 0 0 166197 10 0 0 20 0 1 0 12542250 169959424 35260 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5747655 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41494 35260 777 784 0 34508 0 Current children cumulated CPU time (s) 1662.07 Current children cumulated vsize (KiB) 165976 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6560 /proc/meminfo: memFree=31360512/32770624 swapFree=0/381820 [pid=6373] ppid=6370 vsize=165976 CPUtime=1722.07 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 129127 0 0 0 172197 10 0 0 20 0 1 0 12542250 169959424 35266 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41494 35266 777 784 0 34508 0 Current children cumulated CPU time (s) 1722.07 Current children cumulated vsize (KiB) 165976 [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 6562 /proc/meminfo: memFree=31361132/32770624 swapFree=0/381848 [pid=6373] ppid=6370 vsize=166108 CPUtime=1782.07 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 130415 0 0 0 178197 10 0 0 20 0 1 0 12542250 170094592 35273 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41527 35273 777 784 0 34541 0 Current children cumulated CPU time (s) 1782.07 Current children cumulated vsize (KiB) 166108 [startup+1842.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 6564 /proc/meminfo: memFree=31361628/32770624 swapFree=0/381880 [pid=6373] ppid=6370 vsize=166108 CPUtime=1842.06 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 131699 0 0 0 184196 10 0 0 20 0 1 0 12542250 170094592 35280 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327250 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41527 35280 777 784 0 34541 0 Current children cumulated CPU time (s) 1842.06 Current children cumulated vsize (KiB) 166108 [startup+1902.3 s] /proc/loadavg: 1.96 2.01 2.04 3/181 6566 /proc/meminfo: memFree=31361784/32770624 swapFree=0/381916 [pid=6373] ppid=6370 vsize=166108 CPUtime=1902.06 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 132985 0 0 0 190196 10 0 0 20 0 1 0 12542250 170094592 35282 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41527 35282 777 784 0 34541 0 Current children cumulated CPU time (s) 1902.06 Current children cumulated vsize (KiB) 166108 [startup+1962.3 s] /proc/loadavg: 1.98 2.01 2.04 3/181 6568 /proc/meminfo: memFree=31361660/32770624 swapFree=0/381944 [pid=6373] ppid=6370 vsize=166108 CPUtime=1962.05 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 134271 0 0 0 196195 10 0 0 20 0 1 0 12542250 170094592 35285 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41527 35285 777 784 0 34541 0 Current children cumulated CPU time (s) 1962.05 Current children cumulated vsize (KiB) 166108 [startup+2022.3 s] /proc/loadavg: 1.99 2.01 2.04 3/181 6570 /proc/meminfo: memFree=31360744/32770624 swapFree=0/381976 [pid=6373] ppid=6370 vsize=166264 CPUtime=2022.06 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 135592 0 0 0 202195 11 0 0 20 0 1 0 12542250 170254336 35317 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35317 777 784 0 34580 0 Current children cumulated CPU time (s) 2022.06 Current children cumulated vsize (KiB) 166264 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6572 /proc/meminfo: memFree=31357148/32770624 swapFree=0/382012 [pid=6373] ppid=6370 vsize=166264 CPUtime=2082.06 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 136866 0 0 0 208195 11 0 0 20 0 1 0 12542250 170254336 35317 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5747655 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35317 777 784 0 34580 0 Current children cumulated CPU time (s) 2082.06 Current children cumulated vsize (KiB) 166264 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6574 /proc/meminfo: memFree=31357224/32770624 swapFree=0/382036 [pid=6373] ppid=6370 vsize=166264 CPUtime=2142.05 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 138163 0 0 0 214194 11 0 0 20 0 1 0 12542250 170254336 35321 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327250 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35321 777 784 0 34580 0 Current children cumulated CPU time (s) 2142.05 Current children cumulated vsize (KiB) 166264 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.04 3/185 6591 /proc/meminfo: memFree=31352336/32770624 swapFree=0/382112 [pid=6373] ppid=6370 vsize=166264 CPUtime=2202.06 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 139455 0 0 0 220195 11 0 0 20 0 1 0 12542250 170254336 35323 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5747605 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35323 777 784 0 34580 0 Current children cumulated CPU time (s) 2202.06 Current children cumulated vsize (KiB) 166264 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.04 3/183 6593 /proc/meminfo: memFree=31355244/32770624 swapFree=0/382148 [pid=6373] ppid=6370 vsize=166264 CPUtime=2262.05 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 140713 0 0 0 226194 11 0 0 20 0 1 0 12542250 170254336 35324 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327250 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35324 777 784 0 34580 0 Current children cumulated CPU time (s) 2262.05 Current children cumulated vsize (KiB) 166264 [startup+2322.3 s] /proc/loadavg: 2.03 2.02 2.05 3/182 6595 /proc/meminfo: memFree=31356412/32770624 swapFree=0/382176 [pid=6373] ppid=6370 vsize=166264 CPUtime=2322.05 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 141903 0 0 0 232194 11 0 0 20 0 1 0 12542250 170254336 35328 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5765738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35328 777 784 0 34580 0 Current children cumulated CPU time (s) 2322.05 Current children cumulated vsize (KiB) 166264 [startup+2382.3 s] /proc/loadavg: 2.01 2.01 2.05 3/182 6597 /proc/meminfo: memFree=31356524/32770624 swapFree=0/382208 [pid=6373] ppid=6370 vsize=166264 CPUtime=2382.04 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 143271 0 0 0 238193 11 0 0 20 0 1 0 12542250 170254336 35329 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327204 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35329 777 784 0 34580 0 Current children cumulated CPU time (s) 2382.04 Current children cumulated vsize (KiB) 166264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.01 2.01 2.05 3/182 6598 /proc/meminfo: memFree=31356524/32770624 swapFree=0/382212 [pid=6373] ppid=6370 vsize=166264 CPUtime=2400.04 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 144440 0 0 0 239993 11 0 0 20 0 1 0 12542250 170254336 35330 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35330 777 784 0 34580 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 166264 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 6373 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.01 2.01 2.05 3/182 6598 /proc/meminfo: memFree=31356524/32770624 swapFree=0/382212 [pid=6373] ppid=6370 vsize=166264 CPUtime=2400.04 cores=0,2,4,6 /proc/6373/stat : 6373 (MistralXCSP) R 6370 6373 20633 0 -1 4202496 144440 0 0 0 239993 11 0 0 20 0 1 0 12542250 170254336 35330 18446744073709551615 4194304 7402444 140724081380336 140724081374808 5327213 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9500608 9505824 15736832 140724081385907 140724081386057 140724081386057 140724081389513 0 /proc/6373/statm: 41566 35330 777 784 0 34580 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 166264 Child status: 0 Real time (s): 2400.31 CPU time (s): 2400.06 CPU user time (s): 2399.94 CPU system time (s): 0.119993 CPU usage (%): 99.9897 Max. virtual memory (cumulated for all children) (KiB): 166264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.94 system time used= 0.119993 maximum resident set size= 141344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144479 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= 48 involuntary context switches= 1533 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.67922 second user time and 9.25899 second system time The end
Begin job on node127 at 2017-08-07 12:44:01 IDJOB=4242292 IDBENCH=140589 IDSOLVER=2622 FILE ID=node127/4242292-1502103486 RUNJOBID= node127-1502041295-28342 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-44.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-4242292-1502103486/watcher-4242292-1502103486 -o /tmp/evaluation-result-4242292-1502103486/solver-4242292-1502103486 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28342 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1529068174 HOME/instance-4242292-1502103486.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052 RANDOM SEED=1529068174 node127.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.92 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.92 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.92 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.92 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: 31550796 kB MemAvailable: 31903348 kB Buffers: 147004 kB Cached: 493536 kB SwapCached: 0 kB Active: 414040 kB Inactive: 397424 kB Active(anon): 171356 kB Inactive(anon): 16716 kB Active(file): 242684 kB Inactive(file): 380708 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6016 kB Writeback: 0 kB AnonPages: 170904 kB Mapped: 33496 kB Shmem: 17060 kB Slab: 114400 kB SReclaimable: 89988 kB SUnreclaim: 24412 kB KernelStack: 3472 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 423276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node127 at 2017-08-07 13:24:01