Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.0601 | 2400.1101 |
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 |
14.89/15.04 c best=?? lower=0 upper=945 17.20/17.30 c 17.20/17.30 c This is cosoco 1.0 -- 17.20/17.30 c 17.20/17.30 c enable optimization 17.20/17.30 c ========================================[ Problem Statistics ]=========================================== 17.20/17.30 c | 17.20/17.30 c | Parse time : 14.67 s 17.20/17.30 c | 17.20/17.30 c | Variables: 1936 17.20/17.30 c | Domain Sizes: 946..946 17.20/17.30 c | 17.20/17.30 c | Constraints: 13245 17.20/17.30 c | Arity: 3..946 -- Ternary: 13244 17.20/17.30 c | 17.20/17.30 c | Types: 17.20/17.30 c | Intension: 13244 17.20/17.30 c | Max constant: 1 17.20/17.30 c | 17.20/17.30 c ========================================================================================================= 17.20/17.30 o 5 17.20/17.30 c 1 calls to solver: best=5 lower=0 upper=4 17.40/17.52 o 4 2400.04/2400.10 2400.04/2400.10 c *** INTERRUPTED *** 2400.04/2400.10 s SATISFIABLE 2400.04/2400.10 c Best value found: 4 2400.04/2400.10 2400.04/2400.10 2400.04/2400.10 v <instantiation type='solution' cost='4'> 2400.04/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[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.10 v <values>* 1 3 0 2 2 1 4 3 0 0 2 1 1 4 0 1 3 3 2 2 2 0 0 0 0 1 0 0 2 1 2 1 0 1 1 1 1 1 0 3 0 1 2 * * 2 1 1 3 2 0 3 1 0 0 2 3 2 1 3 3 1 4 2 1 3 1 3 1 2 4 0 0 4 2 0 1 0 0 3 0 0 0 1 0 0 4 * * * 1 2 1 1 0 4 4 1 2 3 0 1 1 2 2 1 0 3 1 3 4 2 1 1 2 0 0 4 4 0 3 0 0 2 0 0 4 4 3 0 2 * * * * 0 4 3 1 1 2 2 0 0 2 0 3 1 2 0 1 2 3 1 4 3 3 3 1 1 1 2 0 2 3 3 2 0 2 4 2 0 2 0 0 * * * * * 1 1 2 2 2 2 4 1 0 2 3 1 0 3 0 0 0 3 2 3 3 1 0 1 0 1 4 0 3 0 0 1 0 0 1 2 1 2 3 * * * * * * 2 0 1 2 0 0 2 1 2 0 0 1 3 1 1 3 1 2 1 0 2 2 0 0 3 4 0 3 0 0 4 0 0 0 2 0 2 3 * * * * * * * 2 2 3 0 1 3 3 3 2 2 1 2 1 1 2 3 1 2 2 4 0 0 0 2 1 0 1 0 0 2 0 0 0 1 0 0 1 * * * * * * * * 0 0 1 1 2 1 1 3 3 1 1 3 1 1 0 0 0 3 2 0 2 4 0 2 2 0 1 2 0 2 4 1 3 1 1 0 * * * * * * * * * 1 0 0 3 2 1 1 0 2 1 3 2 1 2 1 4 1 2 3 4 0 3 2 0 3 0 0 1 0 0 0 0 0 1 2 * * * * * * * * * * 1 0 1 1 0 3 1 4 0 2 3 2 1 3 2 3 3 1 1 0 1 1 0 2 3 0 2 0 2 3 0 4 0 1 * * * * * * * * * * * 2 0 0 0 2 2 0 0 0 0 0 2 1 1 2 0 4 3 1 0 3 1 3 3 1 1 1 1 4 3 3 4 2 * * * * * * * * * * * * 1 0 2 3 1 0 3 0 0 0 1 2 3 3 1 0 2 1 0 3 1 2 4 1 1 1 2 4 2 3 2 4 * * * * * * * * * * * * * 4 1 0 2 1 1 1 1 1 2 1 1 0 3 0 0 0 2 4 0 2 0 0 3 0 0 0 3 0 3 3 * * * * * * * * * * * * * * 2 1 2 4 3 4 3 3 0 0 0 1 3 2 2 1 3 0 3 0 2 3 0 4 3 0 1 0 2 0 * * * * * * * * * * * * * * * 0 3 3 2 2 4 2 0 3 2 0 3 0 0 1 2 1 2 1 0 2 2 2 0 0 1 0 3 1 * * * * * * * * * * * * * * * * 1 1 0 1 1 0 1 2 1 4 2 3 1 2 0 0 2 2 2 2 0 2 3 1 0 1 0 0 * * * * * * * * * * * * * * * * * 4 1 2 2 1 0 1 0 1 2 0 3 2 0 2 2 1 3 2 0 2 3 2 1 2 0 0 * * * * * * * * * * * * * * * * * * 2 2 3 3 0 2 0 1 1 1 3 1 1 0 1 2 2 1 0 1 1 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * 3 2 4 0 0 0 0 2 0 0 1 1 1 1 0 3 1 3 1 1 0 2 0 2 1 * * * * * * * * * * * * * * * * * * * * 3 3 0 0 0 1 1 2 2 3 1 0 1 0 1 1 0 1 1 0 2 0 1 0 * * * * * * * * * * * * * * * * * * * * * 4 0 2 0 1 1 1 2 1 1 0 1 2 2 1 0 1 1 0 0 0 0 0 * * * * * * * * * * *
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-4242290-1502102028/watcher-4242290-1502102028 -o /tmp/evaluation-result-4242290-1502102028/solver-4242290-1502102028 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242290-1502102028.xml pid=25241 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 2/180 25244 /proc/meminfo: memFree=30812184/32770624 swapFree=0/417200 [pid=25244] ppid=25241 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/25244/stat : 25244 (runsolver) D 25241 25244 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12423790 24240128 108 18446744073709551615 4194304 4338465 140720395923168 140720395920808 140278822212311 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 14024704 140720395931807 140720395932234 140720395932234 140720395935690 0 /proc/25244/statm: 5918 108 54 36 0 2156 0 [startup+0.100149 s] /proc/loadavg: 2.00 2.01 2.05 2/180 25244 /proc/meminfo: memFree=30812184/32770624 swapFree=0/417200 [pid=25244] ppid=25241 vsize=26992 CPUtime=0 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 942 0 0 0 0 0 0 0 20 0 1 0 12423790 27639808 766 18446744073709551615 4194304 5970956 140730226087184 140730226083832 140175344184293 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 6748 766 683 434 0 112 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 26992 [startup+0.200273 s] /proc/loadavg: 2.00 2.01 2.05 2/180 25244 /proc/meminfo: memFree=30812184/32770624 swapFree=0/417200 [pid=25244] ppid=25241 vsize=42632 CPUtime=0.09 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 4851 0 0 0 9 0 0 0 20 0 1 0 12423790 43655168 4660 18446744073709551615 4194304 5970956 140730226087184 140730226083832 5674140 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 10658 4660 711 434 0 4022 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42632 [startup+0.300328 s] /proc/loadavg: 2.00 2.01 2.05 2/180 25244 /proc/meminfo: memFree=30812184/32770624 swapFree=0/417200 [pid=25244] ppid=25241 vsize=42956 CPUtime=0.19 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 4956 0 0 0 19 0 0 0 20 0 1 0 12423790 43986944 4728 18446744073709551615 4194304 5970956 140730226087184 140730226083832 5399854 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 10739 4728 711 434 0 4103 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 42956 [startup+0.700242 s] /proc/loadavg: 2.00 2.01 2.05 2/180 25244 /proc/meminfo: memFree=30812184/32770624 swapFree=0/417200 [pid=25244] ppid=25241 vsize=62104 CPUtime=0.6 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 9841 0 0 0 59 1 0 0 20 0 1 0 12423790 63594496 9611 18446744073709551615 4194304 5970956 140730226087184 140730226083832 5094467 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 15526 9611 783 434 0 8890 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 62104 [startup+1.50024 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25245 /proc/meminfo: memFree=30755452/32770624 swapFree=0/417188 [pid=25244] ppid=25241 vsize=106484 CPUtime=1.39 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 20916 0 0 0 137 2 0 0 20 0 1 0 12423790 109039616 20699 18446744073709551615 4194304 5970956 140730226087184 140730226080776 140175353539514 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 26621 20699 783 434 0 19985 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 106484 [startup+3.10024 s] /proc/loadavg: 1.92 2.00 2.04 3/181 25245 /proc/meminfo: memFree=30694072/32770624 swapFree=0/417188 [pid=25244] ppid=25241 vsize=194984 CPUtime=2.99 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 44321 0 0 0 295 4 0 0 20 0 1 0 12423790 199663616 42788 18446744073709551615 4194304 5970956 140730226087184 140730226078792 5188297 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 48746 42788 783 434 0 42110 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 194984 [startup+6.30023 s] /proc/loadavg: 1.92 2.00 2.04 3/181 25245 /proc/meminfo: memFree=30510860/32770624 swapFree=0/417196 [pid=25244] ppid=25241 vsize=372108 CPUtime=6.19 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 89781 0 0 0 609 10 0 0 20 0 1 0 12423790 381038592 87080 18446744073709551615 4194304 5970956 140730226087184 140730226080776 140175344931568 0 0 1 0 0 0 0 17 1 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 93027 87080 783 434 0 86391 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 372108 [startup+12.7002 s] /proc/loadavg: 1.86 1.98 2.03 3/181 25245 /proc/meminfo: memFree=30144564/32770624 swapFree=0/417204 [pid=25244] ppid=25241 vsize=726580 CPUtime=12.6 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 179415 0 0 0 1237 23 0 0 20 0 1 0 12423790 744017920 175687 18446744073709551615 4194304 5970956 140730226087184 140730226080776 140175353825537 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 181645 175687 783 434 0 175009 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 726580 [startup+25.5003 s] /proc/loadavg: 1.88 1.98 2.03 3/184 25260 /proc/meminfo: memFree=29579440/32770624 swapFree=0/417244 [pid=25244] ppid=25241 vsize=1253984 CPUtime=25.4 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 413435 0 0 0 2495 45 0 0 20 0 1 0 12423790 1284079616 307645 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5070320 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313496 307645 828 434 0 306860 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 1253984 [startup+51.1003 s] /proc/loadavg: 1.92 1.99 2.03 3/184 25260 /proc/meminfo: memFree=29579440/32770624 swapFree=0/417252 [pid=25244] ppid=25241 vsize=1253984 CPUtime=51 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 468673 0 0 0 5052 48 0 0 20 0 1 0 12423790 1284079616 307652 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964389 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313496 307652 828 434 0 306860 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 1253984 [startup+102.3 s] /proc/loadavg: 2.01 2.00 2.04 3/184 25262 /proc/meminfo: memFree=29578320/32770624 swapFree=0/417292 [pid=25244] ppid=25241 vsize=1253984 CPUtime=102.21 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 533202 0 0 0 10170 51 0 0 20 0 1 0 12423790 1284079616 307653 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5052118 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313496 307653 828 434 0 306860 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 1253984 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25264 /proc/meminfo: memFree=29581548/32770624 swapFree=0/417312 [pid=25244] ppid=25241 vsize=1254116 CPUtime=162.21 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 594555 0 0 0 16167 54 0 0 20 0 1 0 12423790 1284214784 307681 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5052048 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307681 828 434 0 306893 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 1254116 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25266 /proc/meminfo: memFree=29580680/32770624 swapFree=0/417332 [pid=25244] ppid=25241 vsize=1254116 CPUtime=222.22 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 656476 0 0 0 22166 56 0 0 20 0 1 0 12423790 1284214784 307681 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5071014 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307681 828 434 0 306893 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1254116 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25268 /proc/meminfo: memFree=29580912/32770624 swapFree=0/417352 [pid=25244] ppid=25241 vsize=1254116 CPUtime=282.22 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 707214 0 0 0 28164 58 0 0 20 0 1 0 12423790 1284214784 307704 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964389 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307704 828 434 0 306893 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 1254116 [startup+342.3 s] /proc/loadavg: 2.05 2.02 2.05 3/181 25271 /proc/meminfo: memFree=29580664/32770624 swapFree=0/417392 [pid=25244] ppid=25241 vsize=1254116 CPUtime=342.23 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 771947 0 0 0 34162 61 0 0 20 0 1 0 12423790 1284214784 307705 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964389 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307705 828 434 0 306893 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1254116 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.05 3/181 25273 /proc/meminfo: memFree=29580928/32770624 swapFree=0/417412 [pid=25244] ppid=25241 vsize=1254116 CPUtime=402.24 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 817002 0 0 0 40160 64 0 0 20 0 1 0 12423790 1284214784 307705 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4965043 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307705 828 434 0 306893 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 1254116 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.05 3/181 25275 /proc/meminfo: memFree=29580688/32770624 swapFree=0/417436 [pid=25244] ppid=25241 vsize=1254116 CPUtime=462.24 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 894406 0 0 0 46157 67 0 0 20 0 1 0 12423790 1284214784 307707 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4908338 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307707 828 434 0 306893 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 1254116 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25278 /proc/meminfo: memFree=29581272/32770624 swapFree=0/417456 [pid=25244] ppid=25241 vsize=1254116 CPUtime=522.24 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 940693 0 0 0 52155 69 0 0 20 0 1 0 12423790 1284214784 307707 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964424 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307707 828 434 0 306893 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 1254116 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25280 /proc/meminfo: memFree=29581184/32770624 swapFree=0/417484 [pid=25244] ppid=25241 vsize=1254116 CPUtime=582.24 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 975939 0 0 0 58153 71 0 0 20 0 1 0 12423790 1284214784 307707 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964340 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307707 828 434 0 306893 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 1254116 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.09 2.07 2.05 3/181 25400 /proc/meminfo: memFree=28905324/32770624 swapFree=0/417948 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1542.16 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1244028 0 0 0 154132 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4908952 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1542.16 Current children cumulated vsize (KiB) 1254116 [startup+1602.3 s] /proc/loadavg: 2.03 2.05 2.05 3/181 25402 /proc/meminfo: memFree=28905820/32770624 swapFree=0/417968 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1602.16 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1244757 0 0 0 160132 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5052121 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1602.16 Current children cumulated vsize (KiB) 1254116 [startup+1662.3 s] /proc/loadavg: 2.01 2.04 2.05 3/181 25404 /proc/meminfo: memFree=28905696/32770624 swapFree=0/417988 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1662.17 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1245399 0 0 0 166133 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964366 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1662.17 Current children cumulated vsize (KiB) 1254116 [startup+1722.3 s] /proc/loadavg: 2.00 2.04 2.05 3/181 25406 /proc/meminfo: memFree=28905668/32770624 swapFree=0/418012 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1722.17 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1246050 0 0 0 172133 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4965055 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1722.17 Current children cumulated vsize (KiB) 1254116 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/181 25408 /proc/meminfo: memFree=28905420/32770624 swapFree=0/418032 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1782.18 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1246759 0 0 0 178134 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5052093 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1782.18 Current children cumulated vsize (KiB) 1254116 [startup+1842.3 s] /proc/loadavg: 2.00 2.03 2.05 3/184 25424 /proc/meminfo: memFree=28900900/32770624 swapFree=0/418092 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1842.19 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1247390 0 0 0 184135 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5338352 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1842.19 Current children cumulated vsize (KiB) 1254116 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/184 25426 /proc/meminfo: memFree=28900428/32770624 swapFree=0/418116 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1902.19 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1248059 0 0 0 190135 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964366 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1902.19 Current children cumulated vsize (KiB) 1254116 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25428 /proc/meminfo: memFree=28903980/32770624 swapFree=0/418140 [pid=25244] ppid=25241 vsize=1254116 CPUtime=1962.2 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1248685 0 0 0 196136 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4908918 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 1962.2 Current children cumulated vsize (KiB) 1254116 [startup+2022.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 25430 /proc/meminfo: memFree=28904252/32770624 swapFree=0/418160 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2022.2 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1249297 0 0 0 202136 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964366 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2022.2 Current children cumulated vsize (KiB) 1254116 [startup+2082.3 s] /proc/loadavg: 2.05 2.04 2.05 3/181 25432 /proc/meminfo: memFree=28904772/32770624 swapFree=0/418180 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2082.22 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1249922 0 0 0 208138 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4908967 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2082.22 Current children cumulated vsize (KiB) 1254116 [startup+2142.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 25435 /proc/meminfo: memFree=28905088/32770624 swapFree=0/418216 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2142.22 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1250429 0 0 0 214138 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5070320 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2142.22 Current children cumulated vsize (KiB) 1254116 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 2.05 3/181 25437 /proc/meminfo: memFree=28905880/32770624 swapFree=0/418240 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2202.23 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1251034 0 0 0 220139 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4961363 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2202.23 Current children cumulated vsize (KiB) 1254116 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 25439 /proc/meminfo: memFree=28905572/32770624 swapFree=0/418256 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2262.23 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1251734 0 0 0 226139 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 5070331 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2262.23 Current children cumulated vsize (KiB) 1254116 [startup+2322.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 25442 /proc/meminfo: memFree=28905760/32770624 swapFree=0/418280 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2322.23 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1252355 0 0 0 232139 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4961194 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2322.23 Current children cumulated vsize (KiB) 1254116 [startup+2382.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 25444 /proc/meminfo: memFree=28905528/32770624 swapFree=0/418304 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2382.24 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1252979 0 0 0 238140 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4964440 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2382.24 Current children cumulated vsize (KiB) 1254116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.02 2.02 2.05 3/181 25444 /proc/meminfo: memFree=28905512/32770624 swapFree=0/418308 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2400.04 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1253111 0 0 0 239920 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4908967 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1254116 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 25244 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.02 2.02 2.05 3/181 25444 /proc/meminfo: memFree=28905512/32770624 swapFree=0/418308 [pid=25244] ppid=25241 vsize=1254116 CPUtime=2400.04 cores=1,3,5,7 /proc/25244/stat : 25244 (cosoco) R 25241 25244 9955 0 -1 4202496 1253111 0 0 0 239920 84 0 0 20 0 1 0 12423790 1284214784 307714 18446744073709551615 4194304 5970956 140730226087184 140730226083896 4908967 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 8070896 8075904 18649088 140730226094540 140730226094670 140730226094670 140730226098126 0 /proc/25244/statm: 313529 307714 828 434 0 306893 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1254116 Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.06 CPU user time (s): 2399.21 CPU system time (s): 0.848079 CPU usage (%): 99.998 Max. virtual memory (cumulated for all children) (KiB): 1254116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.21 system time used= 0.848079 maximum resident set size= 1230896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1253144 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= 352 involuntary context switches= 656 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.78063 second user time and 10.5341 second system time The end
Begin job on node125 at 2017-08-07 12:19:45 IDJOB=4242290 IDBENCH=140589 IDSOLVER=2620 FILE ID=node125/4242290-1502102028 RUNJOBID= node125-1502042574-16653 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-44.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242290-1502102028/watcher-4242290-1502102028 -o /tmp/evaluation-result-4242290-1502102028/solver-4242290-1502102028 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242290-1502102028.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052 RANDOM SEED=1464590309 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: 30812644 kB MemAvailable: 31156624 kB Buffers: 143700 kB Cached: 488836 kB SwapCached: 0 kB Active: 1115692 kB Inactive: 433916 kB Active(anon): 917264 kB Inactive(anon): 16716 kB Active(file): 198428 kB Inactive(file): 417200 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2732 kB Writeback: 4 kB AnonPages: 916932 kB Mapped: 33460 kB Shmem: 17060 kB Slab: 112500 kB SReclaimable: 88372 kB SUnreclaim: 24128 kB KernelStack: 3200 kB PageTables: 6128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1171168 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 866304 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:59:45