| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco 1.1 | No Cert. | 2400.04 | 2400 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml |
| MD5SUM | d153897c9dbbbf34794d1a29a7a79358 |
| 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.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1600 |
| Number of constraints | 9880 |
| Number of domains | 1 |
| Minimum domain size | 780 |
| Maximum domain size | 780 |
| Distribution of domain sizes | [{"size":780,"count":780}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":820},{"degree":39,"count":780}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":9880}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9880 |
| Distribution of constraint types | [{"type":"intension","count":9880}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
10.88/11.10 c best=?? lower=0 upper=779 12.37/12.53 c 12.37/12.53 c This is cosoco 1.0 -- 12.37/12.53 c 12.37/12.53 c enable optimization 12.37/12.53 c ========================================[ Problem Statistics ]=========================================== 12.37/12.53 c | 12.37/12.53 c | Parse time : 10.79 s 12.37/12.53 c | 12.37/12.53 c | Variables: 1600 12.37/12.53 c | Domain Sizes: 780..780 12.37/12.53 c | 12.37/12.53 c | Constraints: 9881 12.37/12.53 c | Arity: 3..780 -- Ternary: 9880 12.37/12.53 c | 12.37/12.53 c | Types: 12.37/12.53 c | Intension: 9880 12.37/12.53 c | Max constant: 1 12.37/12.53 c | 12.37/12.53 c ========================================================================================================= 12.37/12.53 o 4 12.37/12.53 c 1 calls to solver: best=4 lower=0 upper=3 2400.03/2400.00 2400.03/2400.00 c *** INTERRUPTED *** 2400.03/2400.00 s SATISFIABLE 2400.03/2400.00 c Best value found: 4 2400.03/2400.00 2400.03/2400.00 2400.03/2400.00 v <instantiation type='solution' cost='4'> 2400.03/2400.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list> 2400.03/2400.00 v <values>* 1 2 1 3 4 0 3 3 0 0 3 2 3 1 3 0 1 3 4 0 1 3 1 1 2 2 3 2 1 2 0 0 1 2 0 1 3 1 0 * * 1 2 2 1 2 2 1 0 4 2 1 2 0 2 1 0 1 3 3 2 1 3 0 0 1 0 3 4 1 1 3 3 0 2 0 3 0 0 * * * 1 2 0 2 2 0 0 0 3 3 2 1 1 2 2 3 4 2 1 2 1 0 1 4 3 3 3 3 3 0 1 3 1 0 0 0 0 * * * * 1 3 0 1 0 0 0 3 3 1 3 4 1 4 4 1 2 3 2 3 2 2 0 1 3 2 1 1 0 3 1 0 4 1 2 0 * * * * * 1 4 4 1 0 0 0 1 4 2 1 0 3 1 3 0 1 1 1 3 1 0 2 3 2 2 3 0 1 3 0 0 2 2 1 * * * * * * 2 1 3 1 1 0 4 1 4 2 0 3 0 1 0 0 2 2 2 0 0 1 2 3 4 4 1 0 1 0 3 3 2 2 * * * * * * * 1 1 1 2 3 0 0 0 4 3 0 1 0 4 1 1 1 3 0 1 2 3 2 3 2 2 1 3 4 0 0 0 1 * * * * * * * * 0 3 2 1 2 0 0 1 3 0 2 2 1 3 4 2 0 0 2 2 1 1 3 2 2 3 3 1 0 0 0 0 * * * * * * * * * 2 1 1 4 2 1 2 0 1 0 3 0 0 2 0 1 3 3 0 1 0 2 3 1 0 0 1 2 2 1 2 * * * * * * * * * * 2 1 2 0 1 1 1 2 0 0 1 0 0 0 3 2 2 4 3 0 0 2 2 0 2 1 4 3 4 3 * * * * * * * * * * * 3 0 0 0 1 3 0 1 0 4 1 1 1 2 0 1 0 2 0 2 3 3 1 0 2 1 3 2 1 * * * * * * * * * * * * 1 0 0 0 2 0 1 3 2 1 1 1 0 2 1 0 4 2 2 1 2 2 0 3 1 2 0 0 * * * * * * * * * * * * * 1 2 0 2 3 4 1 2 2 0 0 0 3 3 1 1 2 0 0 1 0 1 1 2 2 2 3 * * * * * * *
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-4242281-1502099627/watcher-4242281-1502099627 -o /tmp/evaluation-result-4242281-1502099627/solver-4242281-1502099627 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242281-1502099627.xml pid=24956 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.02 2.05 4/180 24959 /proc/meminfo: memFree=31088872/32770624 swapFree=0/416352 [pid=24959] ppid=24956 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/24959/stat : 24959 (runsolver) D 24956 24959 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12183658 24240128 106 18446744073709551615 4194304 4338465 140732256851552 140732256849192 139761922970327 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38850560 140732256854175 140732256854602 140732256854602 140732256858058 0 /proc/24959/statm: 5918 106 53 36 0 2156 0 [startup+0.100153 s] /proc/loadavg: 2.00 2.02 2.05 4/180 24959 /proc/meminfo: memFree=31088872/32770624 swapFree=0/416352 [pid=24959] ppid=24956 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/24959/stat : 24959 (runsolver) D 24956 24959 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12183658 24240128 106 18446744073709551615 4194304 4338465 140732256851552 140732256849192 139761922970327 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38850560 140732256854175 140732256854602 140732256854602 140732256858058 0 /proc/24959/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200322 s] /proc/loadavg: 2.00 2.02 2.05 4/180 24959 /proc/meminfo: memFree=31088872/32770624 swapFree=0/416352 [pid=24959] ppid=24956 vsize=38032 CPUtime=0.08 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 3672 0 0 0 8 0 0 0 20 0 1 0 12183658 38944768 3507 18446744073709551615 4194304 5970956 140734856425392 140734856420680 5496079 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 9508 3507 711 434 0 2872 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 38032 [startup+0.300328 s] /proc/loadavg: 2.00 2.02 2.05 4/180 24959 /proc/meminfo: memFree=31088872/32770624 swapFree=0/416352 [pid=24959] ppid=24956 vsize=38224 CPUtime=0.18 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 3777 0 0 0 18 0 0 0 20 0 1 0 12183658 39141376 3554 18446744073709551615 4194304 5970956 140734856425392 140734856420680 5383966 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 9556 3554 711 434 0 2920 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 38224 [startup+0.700224 s] /proc/loadavg: 2.00 2.02 2.05 4/180 24959 /proc/meminfo: memFree=31088872/32770624 swapFree=0/416352 [pid=24959] ppid=24956 vsize=56752 CPUtime=0.58 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 8489 0 0 0 57 1 0 0 20 0 1 0 12183658 58114048 8239 18446744073709551615 4194304 5970956 140734856425392 140734856420680 139984292061194 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 14188 8239 783 434 0 7552 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 56752 [startup+1.50023 s] /proc/loadavg: 2.00 2.02 2.05 3/181 24960 /proc/meminfo: memFree=31040036/32770624 swapFree=0/416064 [pid=24959] ppid=24956 vsize=94156 CPUtime=1.38 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 17824 0 0 0 135 3 0 0 20 0 1 0 12183658 96415744 17611 18446744073709551615 4194304 5970956 140734856425392 140734856418984 4966541 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 23539 17611 783 434 0 16903 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 94156 [startup+3.10023 s] /proc/loadavg: 2.00 2.02 2.05 3/181 24960 /proc/meminfo: memFree=30988708/32770624 swapFree=0/416064 [pid=24959] ppid=24956 vsize=168796 CPUtime=2.97 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 37521 0 0 0 292 5 0 0 20 0 1 0 12183658 172847104 36228 18446744073709551615 4194304 5970956 140734856425392 140734856417000 139984292049548 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 42199 36228 783 434 0 35563 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 168796 [startup+6.30022 s] /proc/loadavg: 2.00 2.02 2.05 3/181 24960 /proc/meminfo: memFree=30834660/32770624 swapFree=0/416076 [pid=24959] ppid=24956 vsize=317936 CPUtime=6.18 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 75795 0 0 0 608 10 0 0 20 0 1 0 12183658 325566464 73547 18446744073709551615 4194304 5970956 140734856425392 140734856418984 5188401 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 79484 73547 783 434 0 72848 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 317936 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.05 3/181 24960 /proc/meminfo: memFree=30401520/32770624 swapFree=0/416076 [pid=24959] ppid=24956 vsize=786260 CPUtime=12.58 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 253581 0 0 0 1230 28 0 0 20 0 1 0 12183658 805130240 190695 18446744073709551615 4194304 5970956 140734856425392 140734856422360 5337492 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196565 190695 828 434 0 189929 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 786260 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.05 3/184 24975 /proc/meminfo: memFree=30322664/32770624 swapFree=0/416124 [pid=24959] ppid=24956 vsize=787052 CPUtime=25.38 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 291332 0 0 0 2509 29 0 0 20 0 1 0 12183658 805941248 190915 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4961194 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190915 828 434 0 190127 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 787052 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/184 24975 /proc/meminfo: memFree=30322696/32770624 swapFree=0/416132 [pid=24959] ppid=24956 vsize=787052 CPUtime=50.98 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 336675 0 0 0 5067 31 0 0 20 0 1 0 12183658 805941248 190935 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964366 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190935 828 434 0 190127 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 787052 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 24977 /proc/meminfo: memFree=30322352/32770624 swapFree=0/416164 [pid=24959] ppid=24956 vsize=787052 CPUtime=102.19 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 385580 0 0 0 10186 33 0 0 20 0 1 0 12183658 805941248 190936 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4961264 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190936 828 434 0 190127 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 787052 [startup+162.3 s] /proc/loadavg: 2.04 2.03 2.05 3/181 24979 /proc/meminfo: memFree=30325148/32770624 swapFree=0/416184 [pid=24959] ppid=24956 vsize=787052 CPUtime=162.19 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 431623 0 0 0 16184 35 0 0 20 0 1 0 12183658 805941248 190944 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964705 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190944 828 434 0 190127 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 787052 [startup+222.306 s] /proc/loadavg: 2.01 2.02 2.05 3/181 24981 /proc/meminfo: memFree=30325200/32770624 swapFree=0/416204 [pid=24959] ppid=24956 vsize=787052 CPUtime=222.19 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 471536 0 0 0 22182 37 0 0 20 0 1 0 12183658 805941248 190946 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5311662 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190946 828 434 0 190127 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 787052 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24983 /proc/meminfo: memFree=30325328/32770624 swapFree=0/416228 [pid=24959] ppid=24956 vsize=787052 CPUtime=282.18 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 504650 0 0 0 28179 39 0 0 20 0 1 0 12183658 805941248 190946 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5069728 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190946 828 434 0 190127 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 787052 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24985 /proc/meminfo: memFree=30325068/32770624 swapFree=0/416260 [pid=24959] ppid=24956 vsize=787052 CPUtime=342.16 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 528082 0 0 0 34176 40 0 0 20 0 1 0 12183658 805941248 190946 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964366 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190946 828 434 0 190127 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 787052 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24987 /proc/meminfo: memFree=30325484/32770624 swapFree=0/416284 [pid=24959] ppid=24956 vsize=787052 CPUtime=402.17 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 544877 0 0 0 40176 41 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5070976 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 787052 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24989 /proc/meminfo: memFree=30325476/32770624 swapFree=0/416308 [pid=24959] ppid=24956 vsize=787052 CPUtime=462.15 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 555719 0 0 0 46174 41 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4908985 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 787052 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24991 /proc/meminfo: memFree=30325992/32770624 swapFree=0/416328 [pid=24959] ppid=24956 vsize=787052 CPUtime=522.14 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 561651 0 0 0 52172 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964336 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 787052 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 24993 /proc/meminfo: memFree=30325656/32770624 swapFree=0/416352 [pid=24959] ppid=24956 vsize=787052 CPUtime=582.13 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 565471 0 0 0 58171 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4908967 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 787052 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 1.98 2.00 2.04 3/183 25139 /proc/meminfo: memFree=30048952/32770624 swapFree=0/416812 [pid=24959] ppid=24956 vsize=787052 CPUtime=1482.22 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 576836 0 0 0 148180 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5052093 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1482.22 Current children cumulated vsize (KiB) 787052 [startup+1542.31 s] /proc/loadavg: 1.99 2.00 2.04 3/182 25141 /proc/meminfo: memFree=30050272/32770624 swapFree=0/416840 [pid=24959] ppid=24956 vsize=787052 CPUtime=1542.24 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 577715 0 0 0 154182 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964705 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1542.24 Current children cumulated vsize (KiB) 787052 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25143 /proc/meminfo: memFree=30050284/32770624 swapFree=0/416868 [pid=24959] ppid=24956 vsize=787052 CPUtime=1602.24 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 578141 0 0 0 160182 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4908315 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 787052 [startup+1662.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 25145 /proc/meminfo: memFree=30050164/32770624 swapFree=0/416884 [pid=24959] ppid=24956 vsize=787052 CPUtime=1662.24 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 578810 0 0 0 166182 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964424 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 787052 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 2.05 3/181 25147 /proc/meminfo: memFree=30050600/32770624 swapFree=0/416904 [pid=24959] ppid=24956 vsize=787052 CPUtime=1722.25 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 579466 0 0 0 172183 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964389 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 787052 [startup+1782.3 s] /proc/loadavg: 2.17 2.05 2.06 3/181 25149 /proc/meminfo: memFree=30050192/32770624 swapFree=0/416924 [pid=24959] ppid=24956 vsize=787052 CPUtime=1782.26 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 580292 0 0 0 178184 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964452 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 787052 [startup+1842.3 s] /proc/loadavg: 2.13 2.06 2.06 3/184 25166 /proc/meminfo: memFree=30045244/32770624 swapFree=0/416976 [pid=24959] ppid=24956 vsize=787052 CPUtime=1842.26 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 581035 0 0 0 184184 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964340 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1842.26 Current children cumulated vsize (KiB) 787052 [startup+1902.3 s] /proc/loadavg: 2.05 2.04 2.05 3/184 25168 /proc/meminfo: memFree=30045532/32770624 swapFree=0/417004 [pid=24959] ppid=24956 vsize=787052 CPUtime=1902.27 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 581672 0 0 0 190185 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964912 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1902.27 Current children cumulated vsize (KiB) 787052 [startup+1962.3 s] /proc/loadavg: 2.02 2.04 2.05 3/181 25170 /proc/meminfo: memFree=30048904/32770624 swapFree=0/417032 [pid=24959] ppid=24956 vsize=787052 CPUtime=1962.27 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 582437 0 0 0 196185 42 0 0 20 0 1 0 12183658 805941248 190947 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5070976 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190947 828 434 0 190127 0 Current children cumulated CPU time (s) 1962.27 Current children cumulated vsize (KiB) 787052 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 25172 /proc/meminfo: memFree=30049760/32770624 swapFree=0/417048 [pid=24959] ppid=24956 vsize=787052 CPUtime=2022.29 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 583223 0 0 0 202186 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5327993 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2022.29 Current children cumulated vsize (KiB) 787052 [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 3/181 25174 /proc/meminfo: memFree=30049016/32770624 swapFree=0/417064 [pid=24959] ppid=24956 vsize=787052 CPUtime=2082.3 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 583739 0 0 0 208187 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5070976 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2082.3 Current children cumulated vsize (KiB) 787052 [startup+2142.3 s] /proc/loadavg: 2.05 2.04 2.05 3/181 25176 /proc/meminfo: memFree=30049388/32770624 swapFree=0/417096 [pid=24959] ppid=24956 vsize=787052 CPUtime=2142.3 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 584603 0 0 0 214187 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964836 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2142.3 Current children cumulated vsize (KiB) 787052 [startup+2202.31 s] /proc/loadavg: 2.02 2.03 2.05 3/181 25178 /proc/meminfo: memFree=30049264/32770624 swapFree=0/417116 [pid=24959] ppid=24956 vsize=787052 CPUtime=2202.31 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 585361 0 0 0 220188 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964389 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2202.31 Current children cumulated vsize (KiB) 787052 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 25180 /proc/meminfo: memFree=30049636/32770624 swapFree=0/417140 [pid=24959] ppid=24956 vsize=787052 CPUtime=2262.32 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 586115 0 0 0 226189 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4908952 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2262.32 Current children cumulated vsize (KiB) 787052 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 25182 /proc/meminfo: memFree=30049144/32770624 swapFree=0/417156 [pid=24959] ppid=24956 vsize=787052 CPUtime=2322.32 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 586865 0 0 0 232189 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5328004 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2322.32 Current children cumulated vsize (KiB) 787052 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25184 /proc/meminfo: memFree=30049436/32770624 swapFree=0/417180 [pid=24959] ppid=24956 vsize=787052 CPUtime=2382.33 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 587617 0 0 0 238190 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 5052095 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2382.33 Current children cumulated vsize (KiB) 787052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25184 /proc/meminfo: memFree=30049560/32770624 swapFree=0/417184 [pid=24959] ppid=24956 vsize=787052 CPUtime=2400.03 cores=1,3,5,7 /proc/24959/stat : 24959 (cosoco) R 24956 24959 9955 0 -1 4202496 587625 0 0 0 239960 43 0 0 20 0 1 0 12183658 805941248 190948 18446744073709551615 4194304 5970956 140734856425392 140734856422264 4964389 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 19976192 140734856434124 140734856434254 140734856434254 140734856437710 0 /proc/24959/statm: 196763 190948 828 434 0 190127 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 787052 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 24959 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400 CPU time (s): 2400.04 CPU user time (s): 2399.61 CPU system time (s): 0.433046 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 787052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.61 system time used= 0.433046 maximum resident set size= 763832 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 587660 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= 221 involuntary context switches= 646 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.74218 second user time and 8.21413 second system time The end
Begin job on node125 at 2017-08-07 11:39:44 IDJOB=4242281 IDBENCH=140585 IDSOLVER=2620 FILE ID=node125/4242281-1502099627 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-40.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242281-1502099627/watcher-4242281-1502099627 -o /tmp/evaluation-result-4242281-1502099627/solver-4242281-1502099627 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242281-1502099627.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358 RANDOM SEED=1419494068 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: 31089140 kB MemAvailable: 31431724 kB Buffers: 143036 kB Cached: 488064 kB SwapCached: 0 kB Active: 842332 kB Inactive: 433068 kB Active(anon): 644380 kB Inactive(anon): 16716 kB Active(file): 197952 kB Inactive(file): 416352 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 652520 kB Mapped: 33356 kB Shmem: 17060 kB Slab: 112280 kB SReclaimable: 88228 kB SUnreclaim: 24052 kB KernelStack: 3472 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 898184 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 600064 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:19:44