Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.1001 | 2400.1001 |
Name | Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml |
MD5SUM | f8d5128c7bc11e119a8a7f8e485ceae3 |
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.0801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1444 |
Number of constraints | 8436 |
Number of domains | 1 |
Minimum domain size | 703 |
Maximum domain size | 703 |
Distribution of domain sizes | [{"size":703,"count":703}] |
Minimum variable degree | 0 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":0,"count":741},{"degree":37,"count":703}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":8436}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 8436 |
Distribution of constraint types | [{"type":"intension","count":8436}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
10.52/10.69 c best=?? lower=0 upper=702 11.62/11.71 c 11.62/11.71 c This is cosoco 1.0 -- 11.62/11.71 c 11.62/11.71 c enable optimization 11.62/11.71 c ========================================[ Problem Statistics ]=========================================== 11.62/11.71 c | 11.62/11.71 c | Parse time : 10.47 s 11.62/11.71 c | 11.62/11.71 c | Variables: 1444 11.62/11.71 c | Domain Sizes: 703..703 11.62/11.71 c | 11.62/11.71 c | Constraints: 8437 11.62/11.71 c | Arity: 3..703 -- Ternary: 8436 11.62/11.71 c | 11.62/11.71 c | Types: 11.62/11.71 c | Intension: 8436 11.62/11.71 c | Max constant: 1 11.62/11.71 c | 11.62/11.71 c ========================================================================================================= 11.62/11.71 o 6 11.62/11.71 c 1 calls to solver: best=6 lower=0 upper=5 11.72/11.85 o 5 11.82/11.96 o 4 11.82/11.96 c 3 calls to solver: best=4 lower=0 upper=3 2400.09/2400.10 2400.09/2400.10 c *** INTERRUPTED *** 2400.09/2400.10 s SATISFIABLE 2400.09/2400.10 c Best value found: 4 2400.09/2400.10 2400.09/2400.10 2400.09/2400.10 v <instantiation type='solution' cost='4'> 2400.09/2400.10 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list> 2400.09/2400.10 v <values>* 0 0 2 2 2 4 3 0 3 2 1 0 0 1 0 1 2 1 0 2 1 2 1 0 0 0 0 1 2 0 0 1 1 3 2 2 2 * * 1 0 0 0 2 0 3 2 1 0 2 1 1 1 3 3 1 1 1 1 0 1 2 4 3 2 2 1 2 3 2 1 0 0 2 0 * * * 2 2 1 0 0 1 2 2 1 1 3 0 3 1 1 0 2 2 0 2 0 1 2 2 4 1 2 3 3 1 0 4 1 0 1 * * * * 3 1 0 1 1 3 0 1 2 2 0 2 1 1 0 1 0 0 4 0 1 0 0 0 1 0 0 2 1 2 2 1 0 1 * * * * * 1 1 1 1 1 0 1 2 2 3 2 3 1 0 1 0 0 3 0 2 0 0 0 2 0 0 0 2 2 2 1 0 1 * * * * * * 0 2 2 0 0 3 3 1 0 1 0 0 0 3 0 0 3 0 2 4 3 2 2 0 2 3 2 1 1 3 3 3 * * * * * * * 3 0 3 2 0 1 3 1 3 1 2 1 0 2 1 0 1 1 2 2 3 1 2 4 0 1 1 0 2 3 2 * * * * * * * * 0 4 1 3 0 0 1 0 2 2 1 0 1 1 1 1 0 0 0 0 4 1 0 0 3 2 1 2 2 2 * * * * * * * * * 0 0 2 2 1 0 1 0 0 0 3 0 0 1 0 3 3 4 4 4 0 3 2 3 2 1 0 1 0 * * * * * * * * * * 3 0 1 2 1 2 1 2 1 0 3 1 3 1 1 0 0 0 1 4 0 0 1 0 2 2 0 2 * * * * * * * * * * * 0 1 2 2 2 1 1 2 0 4 2 0 2 1 1 1 1 1 3 1 1 1 0 2 1 1 1 * * * * * * * * * * * * 0 0 2 0 0 0 2 2 0 2 1 2 0 1 1 1 0 0 1 1 0 3 1 2 1 2 * * * * * * * * * * * * * 1 0 1 2 2 0 1 1 0 2 0 3 2 2 4 4 1 3 4 3 0 3 2 0 2 * * * * * * * * * * * * * * 0 4 1 1 0 2 2 0 2 0 1 1 1 1 1 2 1 1 1 0 3 1 0 1 * * * * * * * * * * * * * * * 0 2 1 3 0 2 4 0 3 0 1 1 1 0 2 1 0 0 2 0 1 1 1 * * * * * * * * * * * * * * * * 1 1 0 2 2 0 2 0 1 1 1 1 1 2 1 1 1 0 3 1 0 1 * * * * * * * * * * * * * * * * * 4 2 0 1 2 1 2 2 0 0 0 2 1 0 0 2 0 1 3 0 3 * * * * * * * * * * * * * * * * * * 1 0 1 1 1 1 2 0 0 0 2 1 0 0 2 0 1 3 0 3 * * * * * * * * * * * * * * * * * * * 0 2 3 0 4 0 1 1 1 0 2 1 1 0 2 0 1 1 1 * * * * * * * * * * * * * * * * * * * * 0 0 1 0 2 1 1 1 2 0 1 1 2 2 1 0 1 0 * * * * * * * * * * * * * * * * * * * * * 2 0 2 1 1 1 1 1 3 1 1 1 0 2 1 1 1 * * * * * * * * * * * * * * * * * * * * * * 0 3 0 1 1 1 0 2 1 1 0 2 0 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 0 0 1 0 0 2 1 1 2 1 0 1 * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 1 0 2 1 1 0 2 0 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 3 3 1 4 2 4 0 1 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 0 1 2 3 0 1 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 2 4 0 1 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 3 2 0 1 0 0 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 3 0 1 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 0 2 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 0 0 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 3 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242272-1502098611/watcher-4242272-1502098611 -o /tmp/evaluation-result-4242272-1502098611/solver-4242272-1502098611 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242272-1502098611.xml pid=24846 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: 1.95 2.03 2.04 3/180 24849 /proc/meminfo: memFree=31340352/32770624 swapFree=0/415480 [pid=24849] ppid=24846 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/24849/stat : 24849 (runsolver) D 24846 24849 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12082048 24240128 106 18446744073709551615 4194304 4338465 140726611351312 140726611348952 139801354199767 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21184512 140726611357855 140726611358282 140726611358282 140726611361738 0 /proc/24849/statm: 5918 106 53 36 0 2156 0 [startup+0.100165 s] /proc/loadavg: 1.95 2.03 2.04 3/180 24849 /proc/meminfo: memFree=31340352/32770624 swapFree=0/415480 [pid=24849] ppid=24846 vsize=35700 CPUtime=0.02 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 3135 0 0 0 2 0 0 0 20 0 1 0 12082048 36556800 2978 18446744073709551615 4194304 5970956 140722195704656 140722195701256 5496067 0 0 1 0 0 0 0 17 6 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 8925 2978 711 434 0 2289 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 35700 [startup+0.201158 s] /proc/loadavg: 1.95 2.03 2.04 3/180 24849 /proc/meminfo: memFree=31340352/32770624 swapFree=0/415480 [pid=24849] ppid=24846 vsize=36040 CPUtime=0.12 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 3214 0 0 0 12 0 0 0 20 0 1 0 12082048 36904960 3044 18446744073709551615 4194304 5970956 140722195704656 140722195701256 139722761014471 0 0 1 0 0 0 0 17 6 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 9010 3044 711 434 0 2374 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 36040 [startup+0.301161 s] /proc/loadavg: 1.95 2.03 2.04 3/180 24849 /proc/meminfo: memFree=31340352/32770624 swapFree=0/415480 [pid=24849] ppid=24846 vsize=38412 CPUtime=0.21 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 3882 0 0 0 21 0 0 0 20 0 1 0 12082048 39333888 3674 18446744073709551615 4194304 5970956 140722195704656 140722195698248 139722761302906 0 0 1 0 0 0 0 17 6 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 9603 3674 783 434 0 2967 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 38412 [startup+0.700288 s] /proc/loadavg: 1.95 2.03 2.04 3/180 24849 /proc/meminfo: memFree=31340352/32770624 swapFree=0/415480 [pid=24849] ppid=24846 vsize=53332 CPUtime=0.61 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 7597 0 0 0 61 0 0 0 20 0 1 0 12082048 54611968 7370 18446744073709551615 4194304 5970956 140722195704656 140722195698248 139722761290327 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 13333 7370 783 434 0 6697 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 53332 [startup+1.50028 s] /proc/loadavg: 1.95 2.03 2.04 3/181 24850 /proc/meminfo: memFree=31300056/32770624 swapFree=0/415468 [pid=24849] ppid=24846 vsize=83156 CPUtime=1.42 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 15052 0 0 0 141 1 0 0 20 0 1 0 12082048 85151744 14828 18446744073709551615 4194304 5970956 140722195704656 140722195698248 5219521 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 20789 14828 783 434 0 14153 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 83156 [startup+3.10028 s] /proc/loadavg: 1.95 2.03 2.04 3/181 24850 /proc/meminfo: memFree=31258392/32770624 swapFree=0/415468 [pid=24849] ppid=24846 vsize=142712 CPUtime=3.02 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 30900 0 0 0 298 4 0 0 20 0 1 0 12082048 146137088 29730 18446744073709551615 4194304 5970956 140722195704656 140722195698248 5219464 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 35678 29730 783 434 0 29042 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 142712 [startup+6.30028 s] /proc/loadavg: 1.87 2.01 2.03 3/181 24850 /proc/meminfo: memFree=31135100/32770624 swapFree=0/415476 [pid=24849] ppid=24846 vsize=262188 CPUtime=6.21 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 61617 0 0 0 613 8 0 0 20 0 1 0 12082048 268480512 59568 18446744073709551615 4194304 5970956 140722195704656 140722195698248 139722761285288 0 0 1 0 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 65547 59568 783 434 0 58911 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 262188 [startup+12.7003 s] /proc/loadavg: 1.88 2.01 2.03 3/181 24851 /proc/meminfo: memFree=30751016/32770624 swapFree=0/415476 [pid=24849] ppid=24846 vsize=615644 CPUtime=12.62 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 199439 0 0 0 1240 22 0 0 20 0 1 0 12082048 630419456 148009 18446744073709551615 4194304 5970956 140722195704656 140722195701624 5052121 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 153911 148009 828 434 0 147275 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 615644 [startup+25.5004 s] /proc/loadavg: 1.91 2.01 2.03 3/181 24851 /proc/meminfo: memFree=30749996/32770624 swapFree=0/415492 [pid=24849] ppid=24846 vsize=616040 CPUtime=25.42 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 238555 0 0 0 2518 24 0 0 20 0 1 0 12082048 630824960 148162 18446744073709551615 4194304 5970956 140722195704656 140722195701528 4961411 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148162 828 434 0 147374 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 616040 [startup+51.1003 s] /proc/loadavg: 1.94 2.01 2.03 3/181 24851 /proc/meminfo: memFree=30750120/32770624 swapFree=0/415504 [pid=24849] ppid=24846 vsize=616040 CPUtime=51.02 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 280054 0 0 0 5076 26 0 0 20 0 1 0 12082048 630824960 148179 18446744073709551615 4194304 5970956 140722195704656 140722195701528 5069728 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148179 828 434 0 147374 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 616040 [startup+102.3 s] /proc/loadavg: 1.97 2.01 2.03 3/181 24853 /proc/meminfo: memFree=30750372/32770624 swapFree=0/415532 [pid=24849] ppid=24846 vsize=616040 CPUtime=102.23 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 323037 0 0 0 10195 28 0 0 20 0 1 0 12082048 630824960 148184 18446744073709551615 4194304 5970956 140722195704656 140722195701528 4961194 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148184 828 434 0 147374 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 616040 [startup+162.3 s] /proc/loadavg: 2.04 2.02 2.04 3/181 24856 /proc/meminfo: memFree=30748316/32770624 swapFree=0/415576 [pid=24849] ppid=24846 vsize=616040 CPUtime=162.22 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 364929 0 0 0 16193 29 0 0 20 0 1 0 12082048 630824960 148184 18446744073709551615 4194304 5970956 140722195704656 140722195701528 4965055 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148184 828 434 0 147374 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 616040 [startup+222.306 s] /proc/loadavg: 2.11 2.05 2.05 3/181 24858 /proc/meminfo: memFree=30748840/32770624 swapFree=0/415612 [pid=24849] ppid=24846 vsize=616040 CPUtime=222.21 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 402256 0 0 0 22190 31 0 0 20 0 1 0 12082048 630824960 148186 18446744073709551615 4194304 5970956 140722195704656 140722195701528 5071003 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148186 828 434 0 147374 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 616040 [startup+282.3 s] /proc/loadavg: 2.04 2.04 2.05 3/181 24860 /proc/meminfo: memFree=30748620/32770624 swapFree=0/415636 [pid=24849] ppid=24846 vsize=616040 CPUtime=282.19 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 418767 0 0 0 28187 32 0 0 20 0 1 0 12082048 630824960 148186 18446744073709551615 4194304 5970956 140722195704656 140722195701528 4964705 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148186 828 434 0 147374 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 616040 [startup+342.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 24863 /proc/meminfo: memFree=30748896/32770624 swapFree=0/415676 [pid=24849] ppid=24846 vsize=616040 CPUtime=342.17 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 449818 0 0 0 34183 34 0 0 20 0 1 0 12082048 630824960 148186 18446744073709551615 4194304 5970956 140722195704656 140722195701528 5070333 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148186 828 434 0 147374 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 616040 [startup+402.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 24865 /proc/meminfo: memFree=30748516/32770624 swapFree=0/415704 [pid=24849] ppid=24846 vsize=616040 CPUtime=402.15 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 459580 0 0 0 40181 34 0 0 20 0 1 0 12082048 630824960 148189 18446744073709551615 4194304 5970956 140722195704656 140722195701528 5071026 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148189 828 434 0 147374 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 616040 [startup+462.3 s] /proc/loadavg: 2.11 2.05 2.05 3/184 24881 /proc/meminfo: memFree=30744080/32770624 swapFree=0/415764 [pid=24849] ppid=24846 vsize=616040 CPUtime=462.12 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 464263 0 0 0 46178 34 0 0 20 0 1 0 12082048 630824960 148189 18446744073709551615 4194304 5970956 140722195704656 140722195701528 5052121 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148189 828 434 0 147374 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 616040 [startup+522.3 s] /proc/loadavg: 2.04 2.04 2.05 3/184 24883 /proc/meminfo: memFree=30744060/32770624 swapFree=0/415800 [pid=24849] ppid=24846 vsize=616040 CPUtime=522.11 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 468582 0 0 0 52176 35 0 0 20 0 1 0 12082048 630824960 148189 18446744073709551615 4194304 5970956 140722195704656 140722195701528 4964846 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148189 828 434 0 147374 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 616040 [startup+582.3 s] /proc/loadavg: 2.01 2.04 2.05 3/181 24885 /proc/meminfo: memFree=30749200/32770624 swapFree=0/415828 [pid=24849] ppid=24846 vsize=616040 CPUtime=582.12 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 469609 0 0 0 58177 35 0 0 20 0 1 0 12082048 630824960 148189 18446744073709551615 4194304 5970956 140722195704656 140722195701528 4908918 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154010 148189 828 434 0 147374 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 616040 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24991 /proc/meminfo: memFree=30325992/32770624 swapFree=0/416328 [pid=24849] ppid=24846 vsize=616172 CPUtime=1542.21 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 485371 0 0 0 154186 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5098928 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 616172 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24993 /proc/meminfo: memFree=30325532/32770624 swapFree=0/416352 [pid=24849] ppid=24846 vsize=616172 CPUtime=1602.21 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 486402 0 0 0 160186 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4964679 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1602.21 Current children cumulated vsize (KiB) 616172 [startup+1662.3 s] /proc/loadavg: 2.06 2.03 2.05 3/184 25009 /proc/meminfo: memFree=30320408/32770624 swapFree=0/416400 [pid=24849] ppid=24846 vsize=616172 CPUtime=1662.22 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 487399 0 0 0 166187 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4908967 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1662.22 Current children cumulated vsize (KiB) 616172 [startup+1722.3 s] /proc/loadavg: 2.06 2.04 2.05 3/184 25011 /proc/meminfo: memFree=30320036/32770624 swapFree=0/416416 [pid=24849] ppid=24846 vsize=616172 CPUtime=1722.23 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 488378 0 0 0 172188 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4965059 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 616172 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 25013 /proc/meminfo: memFree=30323308/32770624 swapFree=0/416440 [pid=24849] ppid=24846 vsize=616172 CPUtime=1782.23 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 489347 0 0 0 178188 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5052093 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 616172 [startup+1842.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 25015 /proc/meminfo: memFree=30323184/32770624 swapFree=0/416464 [pid=24849] ppid=24846 vsize=616172 CPUtime=1842.24 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 490109 0 0 0 184189 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4964389 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1842.24 Current children cumulated vsize (KiB) 616172 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 25017 /proc/meminfo: memFree=30323680/32770624 swapFree=0/416488 [pid=24849] ppid=24846 vsize=616172 CPUtime=1902.24 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 491136 0 0 0 190189 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4964705 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1902.24 Current children cumulated vsize (KiB) 616172 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 25020 /proc/meminfo: memFree=30323300/32770624 swapFree=0/416508 [pid=24849] ppid=24846 vsize=616172 CPUtime=1962.25 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 492138 0 0 0 196190 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4964477 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 1962.25 Current children cumulated vsize (KiB) 616172 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25022 /proc/meminfo: memFree=30323672/32770624 swapFree=0/416536 [pid=24849] ppid=24846 vsize=616172 CPUtime=2022.25 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 492998 0 0 0 202190 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4964705 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2022.25 Current children cumulated vsize (KiB) 616172 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25024 /proc/meminfo: memFree=30323300/32770624 swapFree=0/416560 [pid=24849] ppid=24846 vsize=616172 CPUtime=2082.26 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 494035 0 0 0 208191 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5071023 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2082.26 Current children cumulated vsize (KiB) 616172 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25027 /proc/meminfo: memFree=30323548/32770624 swapFree=0/416584 [pid=24849] ppid=24846 vsize=616172 CPUtime=2142.26 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 494922 0 0 0 214191 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4964701 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2142.26 Current children cumulated vsize (KiB) 616172 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25029 /proc/meminfo: memFree=30323540/32770624 swapFree=0/416604 [pid=24849] ppid=24846 vsize=616172 CPUtime=2202.27 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 495814 0 0 0 220192 35 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5071026 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2202.27 Current children cumulated vsize (KiB) 616172 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 25046 /proc/meminfo: memFree=30320000/32770624 swapFree=0/416648 [pid=24849] ppid=24846 vsize=616172 CPUtime=2262.28 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 496709 0 0 0 226192 36 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4965138 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2262.28 Current children cumulated vsize (KiB) 616172 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 25073 /proc/meminfo: memFree=30318784/32770624 swapFree=0/416708 [pid=24849] ppid=24846 vsize=616172 CPUtime=2322.29 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 497753 0 0 0 232193 36 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5052093 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2322.29 Current children cumulated vsize (KiB) 616172 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 25075 /proc/meminfo: memFree=30319132/32770624 swapFree=0/416732 [pid=24849] ppid=24846 vsize=616172 CPUtime=2382.29 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 498672 0 0 0 238193 36 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 4908967 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2382.29 Current children cumulated vsize (KiB) 616172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/183 25075 /proc/meminfo: memFree=30322452/32770624 swapFree=0/416740 [pid=24849] ppid=24846 vsize=616172 CPUtime=2400.09 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 499025 0 0 0 239973 36 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5071026 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 616172 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 24849 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/183 25075 /proc/meminfo: memFree=30322452/32770624 swapFree=0/416740 [pid=24849] ppid=24846 vsize=616172 CPUtime=2400.09 cores=0,2,4,6 /proc/24849/stat : 24849 (cosoco) R 24846 24849 9955 0 -1 4202496 499025 0 0 0 239973 36 0 0 20 0 1 0 12082048 630960128 148200 18446744073709551615 4194304 5970956 140722195704656 140722195701368 5071026 0 0 1 8405026 0 0 0 17 2 0 0 7 0 0 8070896 8075904 19394560 140722195710412 140722195710542 140722195710542 140722195713998 0 /proc/24849/statm: 154043 148200 828 434 0 147407 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 616172 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.1 CPU user time (s): 2399.74 CPU system time (s): 0.365033 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 616172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.74 system time used= 0.365033 maximum resident set size= 592840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 499073 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= 228 involuntary context switches= 622 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.70509 second user time and 8.48795 second system time The end
Begin job on node125 at 2017-08-07 11:22:48 IDJOB=4242272 IDBENCH=140583 IDSOLVER=2620 FILE ID=node125/4242272-1502098611 RUNJOBID= node125-1502042574-16652 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-38.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242272-1502098611/watcher-4242272-1502098611 -o /tmp/evaluation-result-4242272-1502098611/solver-4242272-1502098611 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242272-1502098611.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8d5128c7bc11e119a8a7f8e485ceae3 RANDOM SEED=1905803337 node125.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.07 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.07 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.07 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.07 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: 31340088 kB MemAvailable: 31681412 kB Buffers: 142640 kB Cached: 487572 kB SwapCached: 0 kB Active: 589840 kB Inactive: 432196 kB Active(anon): 392276 kB Inactive(anon): 16716 kB Active(file): 197564 kB Inactive(file): 415480 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 391908 kB Mapped: 33372 kB Shmem: 17060 kB Slab: 112648 kB SReclaimable: 88228 kB SUnreclaim: 24420 kB KernelStack: 3200 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 646260 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 342016 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= 62024 MiB End job on node125 at 2017-08-07 12:02:48