Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco 1.1 | No Cert. | 2400.05 | 2400.1101 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml |
| MD5SUM | b40b46819fbd3a38fcaaee2fdd389509 |
| 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.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2209 |
| Number of constraints | 16215 |
| Number of domains | 1 |
| Minimum domain size | 1081 |
| Maximum domain size | 1081 |
| Distribution of domain sizes | [{"size":1081,"count":1081}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 46 |
| Distribution of variable degrees | [{"degree":0,"count":1128},{"degree":46,"count":1081}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":16215}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 16215 |
| Distribution of constraint types | [{"type":"intension","count":16215}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
18.80/18.98 c best=?? lower=0 upper=1080 21.80/21.97 c 21.80/21.97 c This is cosoco 1.0 -- 21.80/21.97 c 21.80/21.97 c enable optimization 21.80/21.97 c ========================================[ Problem Statistics ]=========================================== 21.80/21.97 c | 21.80/21.97 c | Parse time : 18.50 s 21.80/21.97 c | 21.80/21.97 c | Variables: 2209 21.80/21.97 c | Domain Sizes: 1081..1081 21.80/21.97 c | 21.80/21.97 c | Constraints: 16216 21.80/21.97 c | Arity: 3..1081 -- Ternary: 16215 21.80/21.97 c | 21.80/21.97 c | Types: 21.80/21.97 c | Intension: 16215 21.80/21.97 c | Max constant: 1 21.80/21.97 c | 21.80/21.97 c ========================================================================================================= 21.80/21.97 o 6 21.80/21.97 c 1 calls to solver: best=6 lower=0 upper=5 22.11/22.27 o 5 22.60/22.75 o 4 22.60/22.75 c 3 calls to solver: best=4 lower=0 upper=3 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[0][44] x[0][45] x[0][46] 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[1][44] x[1][45] x[1][46] 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[2][44] x[2][45] x[2][46] 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[3][44] x[3][45] x[3][46] 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[4][44] x[4][45] x[4][46] 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[5][44] x[5][45] x[5][46] 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[6][44] x[6][45] x[6][46] 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[7][44] x[7][45] x[7][46] 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[8][44] x[8][45] x[8][46] 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[9][44] x[9][45] x[9][46] 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[10][44] x[10][45] x[10][46] 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[11][44] x[11][45] x[11][46] 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[12][44] x[12][45] x[12][46] 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[13][44] x[13][45] x[13][46] 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[14][44] x[14][45] x[14][46] 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[15][44] x[15][45] x[15][46] 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[16][44] x[16][45] x[16][46] 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[17][44] x[17][45] x[17][46] 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[18][44] x[18][45] x[18][46] 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[19][44] x[19][45] x[19][46] 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[20][44] x[20][45] x[20][46] 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[21][44] x[21][45] x[21][46] 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[22][44] x[22][45] x[22][46] 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[23][44] x[23][45] x[23][46] 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[24][44] x[24][45] x[24][46] 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[25][44] x[25][45] x[25][46] 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[26][44] x[26][45] x[26][46] 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[27][44] x[27][45] x[27][46] 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[28][44] x[28][45] x[28][46] 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[29][44] x[29][45] x[29][46] 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[30][44] x[30][45] x[30][46] 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[31][44] x[31][45] x[31][46] 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[32][44] x[32][45] x[32][46] 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[33][44] x[33][45] x[33][46] 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[34][44] x[34][45] x[34][46] 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[35][44] x[35][45] x[35][46] 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[36][44] x[36][45] x[36][46] 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[37][44] x[37][45] x[37][46] 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[38][44] x[38][45] x[38][46] 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[39][44] x[39][45] x[39][46] 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[40][44] x[40][45] x[40][46] 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[41][44] x[41][45] x[41][46] 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[42][44] x[42][45] x[42][46] 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] x[43][44] x[43][45] x[43][46] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] </list> 2400.04/2400.10 v <values>* 0 1 2 0 0 2 0 2 0 0 2 1 0 1 4 1 1 3 1 3 0 3 2 1 0 0 1 2 1 2 2 3 1 2 1 2 3 0 0 2 2 1 4 2 3 3 * * 1 0 2 1 0 4 1 2 2 0 0 1 1 0 1 3 3 0 0 3 1 2 3 3 2 0 0 0 0 3 2 2 1 1 1 0 1 2 3 1 1 3 2 2 3 * * * 0 2 2 0 1 2 0 1 1 3 0 3 1 3 2 0 2 3 0 0 0 0 1 2 0 3 0 0 1 1 0 3 3 2 1 4 2 1 3 4 1 1 1 1 * * * * 0 1 1 0 0 3 1 1 2 2 0 3 0 1 1 2 2 1 2 1 1 1 0 1 3 4 3 0 1 2 3 1 0 2 2 2 1 0 0 0 0 0 0 * * * * * 1 2 2 1 4 4 2 2 2 1 0 1 1 0 0 0 3 0 0 2 3 3 0 2 0 0 2 0 1 2 1 1 3 1 4 2 2 1 4 3 1 1 * * * * * * 2 1 3 1 4 2 1 2 2 1 0 3 0 1 0 3 0 0 0 3 1 0 1 4 3 1 2 0 2 0 0 3 2 1 2 0 2 0 2 0 0 * * * * * * * 0 0 2 2 4 1 1 1 2 0 2 4 2 2 2 1 3 3 0 2 2 3 1 4 0 0 3 4 0 3 1 1 0 3 0 1 3 0 1 1 * * * * * * * * 1 2 2 0 0 1 1 0 1 3 3 3 0 3 1 2 0 3 2 0 0 0 0 3 2 2 1 1 1 0 1 2 3 1 1 3 2 2 3 * * * * * * * * * 0 1 3 1 0 2 1 2 4 0 3 3 0 0 0 0 2 1 0 1 0 0 1 2 0 3 2 4 2 2 3 1 3 2 2 1 3 3 * * * * * * * * * * 3 0 0 2 1 0 1 0 4 0 0 1 3 3 1 2 4 1 0 1 1 4 0 1 1 1 4 2 4 3 3 3 0 2 3 4 2 * * * * * * * * * * * 2 2 3 1 0 1 0 3 0 0 3 2 0 3 2 3 4 4 0 3 0 3 1 0 2 1 3 1 1 2 1 1 2 0 3 3 * * * * * * * * * * * * 1 1 1 2 0 2 0 2 2 2 1 0 3 3 2 2 3 1 1 3 3 0 1 0 0 2 1 0 4 0 1 0 0 0 0 * * * * * * * * * * * * * 0 2 2 0 2 2 3 1 2 0 0 3 1 2 2 4 3 2 3 1 0 0 0 1 4 3 0 3 1 2 1 2 3 3 * * * * * * * * * * * * * * 0 1 2 4 1 1 0 2 3 2 1 3 1 1 3 2 2 3 1 1 3 2 0 0 3 1 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * 0 4 3 1 2 1 0 3 0 2 0 1 0 1 0 3 1 0 3 4 0 2 3 0 0 1 2 3 1 1 2 2 * * * * * * * * * * * * * * * * 2 1 3 4 1 1 3 2 3 2 0 4 2 1 4 3 2 0 1 2 0 3 1 2 0 0 3 0 4 0 0 * * * * * * * * * * * * * * * * * 2 1 2 1 0 3 3 2 1 1 2 0 0 0 1 1 3 2 4 2 0 0 3 0 2 3 1 1 2 2 * * * * * * * * * * * * * * * * * * 0 4 3 0 1 2 0 2 1 0 2 2 1 1 2 0 3 2 0 0 0 3 2 0 4 1 1 0 0 * * * * * * * * * * * * * * * * * * * 2 4 4 1 3 2 0 0 3 3 1 1 0 2 3 0 3 1 2 1 3 2 3 0 2 3 1 1 * * * * * * * * * * * * * * * * * * * * 1 0 3 2 0 1 0 3 3 2 1 2 3 0 1 0 0 3 0 0 1 0 2 1 1 0 0 * * * * * * * * * * * * * * * * * * * * * 0 1 1 2 0 0 3 2 4 4 3 2 3 2 1 2 1 0 0 2 2 1 3 2 1 1 * * * * * * * * * * * * * * * * * * * * * * 1 3 2 2 4 3 1 4 4 0 2 3 0 3 1 1 2 3 2 3 0 0 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * 2 1 1 0 1 2 2 2 4 1 1 2 3 2 0 0 1 0 2 0 3 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * 2 3 0 2 0 1 3 3 3 1 1 4 1 0 1 1 0 1 0 2 4 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 3 1 2 2 1 0 2 3 2 1 1 1 2 0 3 0 1 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 1 1 2 2 4 0 2 3 0 0 1 3 0 2 1 0 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 0 2 0 3 2 1 1 1 1 3 2 2 1 4 4 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 3 0 2 2 0 2 1 1 1 2 2 1 0 1 0 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 0 1 1 1 0 0 2 2 0 4 0 2 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 1 3 3 3 0 2 2 3 1 0 0 0 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 4 0 0 0 1 2 0 3 1 4 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 1 3 0 0 2 0 1 1 2 3 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 3 0 0 1 3 3 3 1 0 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 1 3 4 1 2 0 1 1 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 0 2 0 0 3 2 3 1 1 * * *
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-4242320-1502104430/watcher-4242320-1502104430 -o /tmp/evaluation-result-4242320-1502104430/solver-4242320-1502104430 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242320-1502104430.xml pid=25501 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.02 2.02 2.05 3/180 25504 /proc/meminfo: memFree=30136484/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/25504/stat : 25504 (runsolver) D 25501 25504 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12663941 24240128 106 18446744073709551615 4194304 4338465 140731025991296 140731025988936 140532307223255 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 19775488 140731025997983 140731025998410 140731025998410 140731026001866 0 /proc/25504/statm: 5918 106 53 36 0 2156 0 [startup+0.100154 s] /proc/loadavg: 2.02 2.02 2.05 3/180 25504 /proc/meminfo: memFree=30136484/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=29772 CPUtime=0 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1637 0 0 0 0 0 0 0 20 0 1 0 12663941 30486528 1426 18446744073709551615 4194304 5970956 140725024123232 140725024119880 139635491769317 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 7443 1492 703 434 0 807 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 29772 [startup+0.200302 s] /proc/loadavg: 2.02 2.02 2.05 3/180 25504 /proc/meminfo: memFree=30136484/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=47236 CPUtime=0.1 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 5979 0 0 0 10 0 0 0 20 0 1 0 12663941 48369664 5782 18446744073709551615 4194304 5970956 140725024123232 140725024119880 5496079 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 11809 5782 711 434 0 5173 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 47236 [startup+0.300327 s] /proc/loadavg: 2.02 2.02 2.05 3/180 25504 /proc/meminfo: memFree=30136484/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=47428 CPUtime=0.2 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 6086 0 0 0 20 0 0 0 20 0 1 0 12663941 48566272 5853 18446744073709551615 4194304 5970956 140725024123232 140725024119832 5674162 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 11857 5853 711 434 0 5221 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 47428 [startup+0.700251 s] /proc/loadavg: 2.02 2.02 2.05 3/180 25504 /proc/meminfo: memFree=30136484/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=65688 CPUtime=0.6 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 10728 0 0 0 59 1 0 0 20 0 1 0 12663941 67264512 10472 18446744073709551615 4194304 5970956 140725024123232 140725024116824 139635501114610 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 16422 10472 783 434 0 9786 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 65688 [startup+1.50024 s] /proc/loadavg: 1.94 2.01 2.04 3/181 25505 /proc/meminfo: memFree=30073552/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=114412 CPUtime=1.4 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 22935 0 0 0 137 3 0 0 20 0 1 0 12663941 117157888 22682 18446744073709551615 4194304 5970956 140725024123232 140725024116824 139635491778463 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 28603 22682 783 434 0 21967 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 114412 [startup+3.10023 s] /proc/loadavg: 1.94 2.01 2.04 3/181 25505 /proc/meminfo: memFree=30005972/32770624 swapFree=0/418312 [pid=25504] ppid=25501 vsize=212128 CPUtime=3 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 48759 0 0 0 294 6 0 0 20 0 1 0 12663941 217219072 47142 18446744073709551615 4194304 5970956 140725024123232 140725024116824 4966541 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 53032 47142 783 434 0 46396 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 212128 [startup+6.30023 s] /proc/loadavg: 1.94 2.01 2.04 3/181 25505 /proc/meminfo: memFree=29804576/32770624 swapFree=0/418324 [pid=25504] ppid=25501 vsize=407376 CPUtime=6.2 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 99090 0 0 0 605 15 0 0 20 0 1 0 12663941 417153024 95925 18446744073709551615 4194304 5970956 140725024123232 140725024116824 139635491778444 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 101844 95925 783 434 0 95208 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 407376 [startup+12.7002 s] /proc/loadavg: 1.87 1.99 2.03 3/181 25505 /proc/meminfo: memFree=29401216/32770624 swapFree=0/418324 [pid=25504] ppid=25501 vsize=797872 CPUtime=12.6 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 197984 0 0 0 1234 26 0 0 20 0 1 0 12663941 817020928 193593 18446744073709551615 4194304 5970956 140725024123232 140725024116824 139635491769317 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 199468 193593 783 434 0 192832 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 797872 [startup+25.5004 s] /proc/loadavg: 1.89 1.99 2.03 3/184 25519 /proc/meminfo: memFree=28415428/32770624 swapFree=0/418372 [pid=25504] ppid=25501 vsize=1738724 CPUtime=25.4 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 561047 0 0 0 2479 61 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5070304 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 1738724 [startup+51.1003 s] /proc/loadavg: 1.99 2.01 2.04 3/184 25520 /proc/meminfo: memFree=28415640/32770624 swapFree=0/418380 [pid=25504] ppid=25501 vsize=1738724 CPUtime=51.01 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 605879 0 0 0 5038 63 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964469 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 1738724 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 25547 /proc/meminfo: memFree=28414292/32770624 swapFree=0/418448 [pid=25504] ppid=25501 vsize=1738724 CPUtime=102.21 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 677508 0 0 0 10155 66 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4908922 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 1738724 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 25549 /proc/meminfo: memFree=28414704/32770624 swapFree=0/418468 [pid=25504] ppid=25501 vsize=1738724 CPUtime=162.22 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 746923 0 0 0 16152 70 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964389 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1738724 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/182 25551 /proc/meminfo: memFree=28418504/32770624 swapFree=0/418488 [pid=25504] ppid=25501 vsize=1738724 CPUtime=222.23 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 812264 0 0 0 22148 75 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964768 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1738724 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 25553 /proc/meminfo: memFree=28419224/32770624 swapFree=0/418512 [pid=25504] ppid=25501 vsize=1738724 CPUtime=282.23 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 879885 0 0 0 28146 77 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964366 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 1738724 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 25555 /proc/meminfo: memFree=28419504/32770624 swapFree=0/418540 [pid=25504] ppid=25501 vsize=1738724 CPUtime=342.24 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 930141 0 0 0 34144 80 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5328092 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1738724 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 25557 /proc/meminfo: memFree=28419712/32770624 swapFree=0/418564 [pid=25504] ppid=25501 vsize=1738724 CPUtime=402.24 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1004647 0 0 0 40142 82 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5071003 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 1738724 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 25559 /proc/meminfo: memFree=28419624/32770624 swapFree=0/418588 [pid=25504] ppid=25501 vsize=1738724 CPUtime=462.25 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1078975 0 0 0 46139 86 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5071023 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 1738724 [startup+522.3 s] /proc/loadavg: 2.04 2.02 2.05 3/181 25561 /proc/meminfo: memFree=28419792/32770624 swapFree=0/418608 [pid=25504] ppid=25501 vsize=1738724 CPUtime=522.25 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1131024 0 0 0 52137 88 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5071023 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 1738724 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.05 3/181 25563 /proc/meminfo: memFree=28419696/32770624 swapFree=0/418628 [pid=25504] ppid=25501 vsize=1738724 CPUtime=582.27 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1200967 0 0 0 58134 93 0 0 20 0 1 0 12663941 1780453376 428821 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4968161 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428821 828 434 0 428045 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 1738724 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.03 2.02 2.05 4/181 25686 /proc/meminfo: memFree=27846580/32770624 swapFree=0/419124 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1542.19 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1745193 0 0 0 154098 121 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964440 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1542.19 Current children cumulated vsize (KiB) 1738724 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 25688 /proc/meminfo: memFree=27846516/32770624 swapFree=0/419148 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1602.18 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1748802 0 0 0 160097 121 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4967849 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1602.18 Current children cumulated vsize (KiB) 1738724 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 25690 /proc/meminfo: memFree=27846568/32770624 swapFree=0/419168 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1662.17 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1754168 0 0 0 166095 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5052121 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1662.17 Current children cumulated vsize (KiB) 1738724 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25693 /proc/meminfo: memFree=27846956/32770624 swapFree=0/419196 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1722.17 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1756345 0 0 0 172095 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4908967 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1722.17 Current children cumulated vsize (KiB) 1738724 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25695 /proc/meminfo: memFree=27846892/32770624 swapFree=0/419216 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1782.17 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1757257 0 0 0 178095 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964389 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1782.17 Current children cumulated vsize (KiB) 1738724 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 25711 /proc/meminfo: memFree=27842716/32770624 swapFree=0/419264 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1842.18 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1758253 0 0 0 184096 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5052085 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1842.18 Current children cumulated vsize (KiB) 1738724 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 4/184 25713 /proc/meminfo: memFree=27843024/32770624 swapFree=0/419292 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1902.19 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1758983 0 0 0 190097 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964389 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1902.19 Current children cumulated vsize (KiB) 1738724 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 25715 /proc/meminfo: memFree=27846536/32770624 swapFree=0/419312 [pid=25504] ppid=25501 vsize=1738724 CPUtime=1962.19 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1759951 0 0 0 196097 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5327850 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 1962.19 Current children cumulated vsize (KiB) 1738724 [startup+2022.3 s] /proc/loadavg: 2.10 2.04 2.05 4/181 25717 /proc/meminfo: memFree=27846776/32770624 swapFree=0/419332 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2022.2 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1760785 0 0 0 202098 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4908944 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2022.2 Current children cumulated vsize (KiB) 1738724 [startup+2082.3 s] /proc/loadavg: 2.04 2.04 2.05 3/181 25719 /proc/meminfo: memFree=27846572/32770624 swapFree=0/419352 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2082.21 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1761605 0 0 0 208099 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964721 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2082.21 Current children cumulated vsize (KiB) 1738724 [startup+2142.3 s] /proc/loadavg: 2.01 2.03 2.05 4/181 25721 /proc/meminfo: memFree=27846236/32770624 swapFree=0/419384 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2142.21 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1762582 0 0 0 214099 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964830 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2142.21 Current children cumulated vsize (KiB) 1738724 [startup+2202.31 s] /proc/loadavg: 2.00 2.03 2.05 3/181 25723 /proc/meminfo: memFree=27846364/32770624 swapFree=0/419408 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2202.22 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1763309 0 0 0 220100 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5070313 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2202.22 Current children cumulated vsize (KiB) 1738724 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 4/181 25725 /proc/meminfo: memFree=27846392/32770624 swapFree=0/419424 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2262.22 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1764060 0 0 0 226100 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4961411 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2262.22 Current children cumulated vsize (KiB) 1738724 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 25727 /proc/meminfo: memFree=27846900/32770624 swapFree=0/419448 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2322.23 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1765041 0 0 0 232101 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 5071023 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2322.23 Current children cumulated vsize (KiB) 1738724 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25729 /proc/meminfo: memFree=27846316/32770624 swapFree=0/419468 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2382.23 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1765727 0 0 0 238101 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964389 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2382.23 Current children cumulated vsize (KiB) 1738724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25729 /proc/meminfo: memFree=27846396/32770624 swapFree=0/419472 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2400.04 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1765876 0 0 0 239882 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964576 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1738724 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 25504 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25729 /proc/meminfo: memFree=27846396/32770624 swapFree=0/419472 [pid=25504] ppid=25501 vsize=1738724 CPUtime=2400.04 cores=1,3,5,7 /proc/25504/stat : 25504 (cosoco) R 25501 25504 9955 0 -1 4202496 1765876 0 0 0 239882 122 0 0 20 0 1 0 12663941 1780453376 428836 18446744073709551615 4194304 5970956 140725024123232 140725024110536 4964576 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 24240128 140725024125388 140725024125518 140725024125518 140725024128974 0 /proc/25504/statm: 434681 428836 828 434 0 428045 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1738724 Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.05 CPU user time (s): 2398.82 CPU system time (s): 1.23211 CPU usage (%): 99.9978 Max. virtual memory (cumulated for all children) (KiB): 1738724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.82 system time used= 1.23211 maximum resident set size= 1715384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1765910 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= 378 involuntary context switches= 627 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.90834 second user time and 8.48588 second system time The end
Begin job on node125 at 2017-08-07 12:59:47 IDJOB=4242320 IDBENCH=140592 IDSOLVER=2620 FILE ID=node125/4242320-1502104430 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-47.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242320-1502104430/watcher-4242320-1502104430 -o /tmp/evaluation-result-4242320-1502104430/solver-4242320-1502104430 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242320-1502104430.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509 RANDOM SEED=1743082222 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: 30136784 kB MemAvailable: 30482636 kB Buffers: 144352 kB Cached: 490208 kB SwapCached: 0 kB Active: 1789868 kB Inactive: 435028 kB Active(anon): 1590676 kB Inactive(anon): 16716 kB Active(file): 199192 kB Inactive(file): 418312 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3172 kB Writeback: 4 kB AnonPages: 1590200 kB Mapped: 33480 kB Shmem: 17060 kB Slab: 112344 kB SReclaimable: 88364 kB SUnreclaim: 23980 kB KernelStack: 3216 kB PageTables: 7752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1844692 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 450560 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 13:39:47