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.08 | 2400.5 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
| MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 2519.5801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1954 |
| Number of constraints | 1139 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1923 |
| Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
| Number of extensional constraints | 957 |
| Number of intensional constraints | 146 |
| Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.19/0.27 c best=?? lower=0 upper=841 2.69/2.79 c 2.69/2.79 c This is cosoco 1.0 -- 2.69/2.79 c 2.69/2.79 c enable optimization 2.69/2.79 c ========================================[ Problem Statistics ]=========================================== 2.69/2.79 c | 2.69/2.79 c | Parse time : 0.26 s 2.69/2.79 c | 2.69/2.79 c | Variables: 1954 2.69/2.79 c | Domain Sizes: 2..1923 2.69/2.79 c | 2.69/2.79 c | Constraints: 1260 2.69/2.79 c | Arity: 1..33 -- Unary: 125 -- Binary: 147 -- Ternary: 116 2.69/2.79 c | 2.69/2.79 c | Types: 2.69/2.79 c | : 112 2.69/2.79 c | Extension: 845 (nb tuples: 1..724) -- (shared: 952) 2.69/2.79 c | Intension: 147 2.69/2.79 c | Sum: 32 2.69/2.79 c | Unary: 124 2.69/2.79 c | 2.69/2.79 c ========================================================================================================= 2.69/2.79 o 52 2.69/2.79 c 1 calls to solver: best=52 lower=53 upper=841 4.99/5.02 o 53 7.48/7.56 o 60 7.48/7.56 c 3 calls to solver: best=60 lower=61 upper=841 9.09/9.13 o 61 10.69/10.70 o 65 10.69/10.70 c 5 calls to solver: best=65 lower=66 upper=841 2400.06/2400.50 2400.06/2400.50 c *** INTERRUPTED *** 2400.06/2400.50 s SATISFIABLE 2400.06/2400.50 c Best value found: 65 2400.06/2400.50 2400.06/2400.50 2400.06/2400.50 v <instantiation type='solution' cost='65'> 2400.06/2400.50 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] z </list> 2400.06/2400.50 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 2 1 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 0 0 0 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239977-1500634236/watcher-4239977-1500634236 -o /tmp/evaluation-result-4239977-1500634236/solver-4239977-1500634236 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5655 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239977-1500634236.xml pid=7063 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7066 /proc/meminfo: memFree=31451988/32770624 swapFree=6912/389812 [pid=7066] ppid=7063 vsize=27120 CPUtime=0 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 16846616 27770880 802 33554432000 4194304 5970956 140726736451136 140726736450640 140088960474085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 6780 802 698 434 0 144 0 [startup+0.100173 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7066 /proc/meminfo: memFree=31451988/32770624 swapFree=6912/389812 [pid=7066] ppid=7063 vsize=38132 CPUtime=0.09 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 3815 0 0 0 9 0 0 0 20 0 1 0 16846616 39047168 3650 33554432000 4194304 5970956 140726736451136 140726736445592 140088960471664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 9533 3650 792 434 0 2897 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38132 [startup+0.200359 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7066 /proc/meminfo: memFree=31451988/32770624 swapFree=6912/389812 [pid=7066] ppid=7063 vsize=39400 CPUtime=0.19 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 4141 0 0 0 19 0 0 0 20 0 1 0 16846616 40345600 3964 33554432000 4194304 5970956 140726736451136 140726736444968 140088960474085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 9850 3964 792 434 0 3214 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 39400 [startup+0.30025 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7066 /proc/meminfo: memFree=31451988/32770624 swapFree=6912/389812 [pid=7066] ppid=7063 vsize=48508 CPUtime=0.29 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 6463 0 0 0 29 0 0 0 20 0 1 0 16846616 49672192 6274 33554432000 4194304 5970956 140726736451136 140726736438456 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 12127 6274 820 434 0 5491 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 48508 [startup+0.700245 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7066 /proc/meminfo: memFree=31451988/32770624 swapFree=6912/389812 [pid=7066] ppid=7063 vsize=53840 CPUtime=0.69 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 7817 0 0 0 68 1 0 0 20 0 1 0 16846616 55132160 7594 33554432000 4194304 5970956 140726736451136 140726736447864 4930654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 13460 7594 848 434 0 6824 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53840 [startup+1.50025 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31425208/32770624 swapFree=6912/389796 [pid=7066] ppid=7063 vsize=60200 CPUtime=1.49 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 9402 0 0 0 148 1 0 0 20 0 1 0 16846616 61644800 9178 33554432000 4194304 5970956 140726736451136 140726736447848 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 15050 9178 848 434 0 8414 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60200 [startup+3.10021 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31411444/32770624 swapFree=6912/389796 [pid=7066] ppid=7063 vsize=70040 CPUtime=3.09 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 20733 0 0 0 306 3 0 0 20 0 1 0 16846616 71720960 11699 33554432000 4194304 5970956 140726736451136 140726736438440 4930560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 17510 11699 850 434 0 10874 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70040 [startup+6.30022 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31407232/32770624 swapFree=6912/389804 [pid=7066] ppid=7063 vsize=71400 CPUtime=6.29 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 30435 0 0 0 626 3 0 0 20 0 1 0 16846616 73113600 12033 33554432000 4194304 5970956 140726736451136 140726736448696 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 17850 12033 850 434 0 11214 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71400 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31404240/32770624 swapFree=6912/389812 [pid=7066] ppid=7063 vsize=73280 CPUtime=12.69 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 40761 0 0 0 1265 4 0 0 20 0 1 0 16846616 75038720 12504 33554432000 4194304 5970956 140726736451136 140726736438440 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18320 12504 850 434 0 11684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73280 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31403976/32770624 swapFree=6912/389820 [pid=7066] ppid=7063 vsize=73416 CPUtime=25.49 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 59081 0 0 0 2544 5 0 0 20 0 1 0 16846616 75177984 12550 33554432000 4194304 5970956 140726736451136 140726736448008 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18354 12550 850 434 0 11718 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73416 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31402136/32770624 swapFree=6912/389832 [pid=7066] ppid=7063 vsize=73684 CPUtime=51.06 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 64133 0 0 0 5101 5 0 0 20 0 1 0 16846616 75452416 12613 33554432000 4194304 5970956 140726736451136 140726736448008 4909022 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18421 12613 850 434 0 11785 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 73684 [startup+102.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 7068 /proc/meminfo: memFree=31401948/32770624 swapFree=6912/389864 [pid=7066] ppid=7063 vsize=73948 CPUtime=102.26 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 64606 0 0 0 10221 5 0 0 20 0 1 0 16846616 75722752 12675 33554432000 4194304 5970956 140726736451136 140726736447960 4930640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18487 12675 850 434 0 11851 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 73948 [startup+162.3 s] /proc/loadavg: 2.11 2.05 2.05 3/187 7069 /proc/meminfo: memFree=31402072/32770624 swapFree=6912/389892 [pid=7066] ppid=7063 vsize=73948 CPUtime=162.24 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 65048 0 0 0 16219 5 0 0 20 0 1 0 16846616 75722752 12687 33554432000 4194304 5970956 140726736451136 140726736447960 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18487 12687 850 434 0 11851 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 73948 [startup+222.306 s] /proc/loadavg: 2.13 2.07 2.06 3/187 7070 /proc/meminfo: memFree=31401444/32770624 swapFree=6912/389912 [pid=7066] ppid=7063 vsize=74348 CPUtime=222.24 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 65581 0 0 0 22219 5 0 0 20 0 1 0 16846616 76132352 12766 33554432000 4194304 5970956 140726736451136 140726736447960 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12766 850 434 0 11951 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 74348 [startup+282.3 s] /proc/loadavg: 2.14 2.09 2.06 3/187 7072 /proc/meminfo: memFree=31401560/32770624 swapFree=6912/389940 [pid=7066] ppid=7063 vsize=74348 CPUtime=282.22 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 66084 0 0 0 28217 5 0 0 20 0 1 0 16846616 76132352 12771 33554432000 4194304 5970956 140726736451136 140726736447960 4928297 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12771 850 434 0 11951 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 74348 [startup+342.3 s] /proc/loadavg: 2.05 2.07 2.06 3/187 7073 /proc/meminfo: memFree=31401716/32770624 swapFree=6912/389968 [pid=7066] ppid=7063 vsize=74348 CPUtime=342.22 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 66578 0 0 0 34216 6 0 0 20 0 1 0 16846616 76132352 12771 33554432000 4194304 5970956 140726736451136 140726736447960 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12771 850 434 0 11951 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 74348 [startup+402.3 s] /proc/loadavg: 2.02 2.06 2.05 3/187 7074 /proc/meminfo: memFree=31402108/32770624 swapFree=6912/390000 [pid=7066] ppid=7063 vsize=74348 CPUtime=402.21 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 67072 0 0 0 40215 6 0 0 20 0 1 0 16846616 76132352 12771 33554432000 4194304 5970956 140726736451136 140726736447960 5311659 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12771 850 434 0 11951 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 74348 [startup+462.3 s] /proc/loadavg: 2.04 2.06 2.05 3/187 7076 /proc/meminfo: memFree=31401736/32770624 swapFree=6912/390028 [pid=7066] ppid=7063 vsize=74348 CPUtime=462.2 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 67565 0 0 0 46214 6 0 0 20 0 1 0 16846616 76132352 12771 33554432000 4194304 5970956 140726736451136 140726736447960 4935051 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12771 850 434 0 11951 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 74348 [startup+522.3 s] /proc/loadavg: 2.01 2.05 2.05 3/187 7077 /proc/meminfo: memFree=31401984/32770624 swapFree=6912/390056 [pid=7066] ppid=7063 vsize=74348 CPUtime=522.19 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 68070 0 0 0 52213 6 0 0 20 0 1 0 16846616 76132352 12771 33554432000 4194304 5970956 140726736451136 140726736447960 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12771 850 434 0 11951 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 74348 [startup+582.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 7085 /proc/meminfo: memFree=31401272/32770624 swapFree=6912/390092 [pid=7066] ppid=7063 vsize=74348 CPUtime=582.18 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 68583 0 0 0 58212 6 0 0 20 0 1 0 16846616 76132352 12785 33554432000 4194304 5970956 140726736451136 140726736447960 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18587 12785 850 434 0 11951 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 74348 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7132 /proc/meminfo: memFree=31391224/32770624 swapFree=6912/390600 [pid=7066] ppid=7063 vsize=74620 CPUtime=1542.02 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 75644 0 0 0 154196 6 0 0 20 0 1 0 16846616 76410880 12838 33554432000 4194304 5970956 140726736451136 140726736447960 5038473 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18655 12838 850 434 0 12019 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 74620 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7133 /proc/meminfo: memFree=31391472/32770624 swapFree=6912/390628 [pid=7066] ppid=7063 vsize=74620 CPUtime=1602 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 75972 0 0 0 160194 6 0 0 20 0 1 0 16846616 76410880 12842 33554432000 4194304 5970956 140726736451136 140726736447960 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18655 12842 850 434 0 12019 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 74620 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7134 /proc/meminfo: memFree=31391348/32770624 swapFree=6912/390664 [pid=7066] ppid=7063 vsize=74620 CPUtime=1661.99 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 76516 0 0 0 166193 6 0 0 20 0 1 0 16846616 76410880 12842 33554432000 4194304 5970956 140726736451136 140726736447960 5052132 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18655 12842 850 434 0 12019 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 74620 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7135 /proc/meminfo: memFree=31391276/32770624 swapFree=6912/390696 [pid=7066] ppid=7063 vsize=74620 CPUtime=1721.98 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 76824 0 0 0 172192 6 0 0 20 0 1 0 16846616 76410880 12846 33554432000 4194304 5970956 140726736451136 140726736447960 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18655 12846 850 434 0 12019 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 74620 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7144 /proc/meminfo: memFree=31390416/32770624 swapFree=6912/390732 [pid=7066] ppid=7063 vsize=74620 CPUtime=1781.97 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 77127 0 0 0 178191 6 0 0 20 0 1 0 16846616 76410880 12847 33554432000 4194304 5970956 140726736451136 140726736447960 4930654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18655 12847 850 434 0 12019 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 74620 [startup+1842.3 s] /proc/loadavg: 2.07 2.03 2.05 3/188 7145 /proc/meminfo: memFree=31390540/32770624 swapFree=6912/390756 [pid=7066] ppid=7063 vsize=74752 CPUtime=1841.96 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 77693 0 0 0 184190 6 0 0 20 0 1 0 16846616 76546048 12847 33554432000 4194304 5970956 140726736451136 140726736447848 4908979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12847 850 434 0 12052 0 Current children cumulated CPU time (s) 1841.96 Current children cumulated vsize (KiB) 74752 [startup+1902.3 s] /proc/loadavg: 2.03 2.02 2.05 3/188 7146 /proc/meminfo: memFree=31390788/32770624 swapFree=6912/390784 [pid=7066] ppid=7063 vsize=74752 CPUtime=1901.95 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 78004 0 0 0 190189 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 5039152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 1901.95 Current children cumulated vsize (KiB) 74752 [startup+1962.3 s] /proc/loadavg: 2.05 2.04 2.05 3/188 7147 /proc/meminfo: memFree=31390656/32770624 swapFree=6912/390812 [pid=7066] ppid=7063 vsize=74752 CPUtime=1961.94 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 78315 0 0 0 196188 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 1961.94 Current children cumulated vsize (KiB) 74752 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/188 7209 /proc/meminfo: memFree=31429148/32770624 swapFree=6912/390888 [pid=7066] ppid=7063 vsize=74752 CPUtime=2021.93 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 78875 0 0 0 202187 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4930654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2021.93 Current children cumulated vsize (KiB) 74752 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 7211 /proc/meminfo: memFree=31428896/32770624 swapFree=6912/390944 [pid=7066] ppid=7063 vsize=74752 CPUtime=2081.93 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 79179 0 0 0 208187 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2081.93 Current children cumulated vsize (KiB) 74752 [startup+2142.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 7212 /proc/meminfo: memFree=31428728/32770624 swapFree=6912/390972 [pid=7066] ppid=7063 vsize=74752 CPUtime=2141.91 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 79474 0 0 0 214185 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4934069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2141.91 Current children cumulated vsize (KiB) 74752 [startup+2202.31 s] /proc/loadavg: 2.05 2.04 2.05 3/187 7213 /proc/meminfo: memFree=31428960/32770624 swapFree=6912/391008 [pid=7066] ppid=7063 vsize=74752 CPUtime=2201.9 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 79772 0 0 0 220184 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4930654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2201.9 Current children cumulated vsize (KiB) 74752 [startup+2262.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7215 /proc/meminfo: memFree=31428736/32770624 swapFree=6912/391044 [pid=7066] ppid=7063 vsize=74752 CPUtime=2261.89 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 80369 0 0 0 226183 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 5039683 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2261.89 Current children cumulated vsize (KiB) 74752 [startup+2322.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7216 /proc/meminfo: memFree=31428488/32770624 swapFree=6912/391080 [pid=7066] ppid=7063 vsize=74752 CPUtime=2321.88 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 80674 0 0 0 232182 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 5322040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2321.88 Current children cumulated vsize (KiB) 74752 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7224 /proc/meminfo: memFree=31428012/32770624 swapFree=6912/391116 [pid=7066] ppid=7063 vsize=74752 CPUtime=2381.87 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 80999 0 0 0 238181 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2381.87 Current children cumulated vsize (KiB) 74752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.08 2.04 2.05 3/187 7224 /proc/meminfo: memFree=31428012/32770624 swapFree=6912/391124 [pid=7066] ppid=7063 vsize=74752 CPUtime=2400.06 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 81300 0 0 0 240000 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 74752 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 7066 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.08 2.04 2.05 3/187 7224 /proc/meminfo: memFree=31428012/32770624 swapFree=6912/391124 [pid=7066] ppid=7063 vsize=74752 CPUtime=2400.06 cores=0,2,4,6 /proc/7066/stat : 7066 (cosoco) R 7063 7066 5624 0 -1 4202496 81300 0 0 0 240000 6 0 0 20 0 1 0 16846616 76546048 12863 33554432000 4194304 5970956 140726736451136 140726736447848 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30531584 140726736458945 140726736459075 140726736459075 140726736461774 0 /proc/7066/statm: 18688 12863 850 434 0 12052 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 74752 Child status: 1 Real time (s): 2400.5 CPU time (s): 2400.08 CPU user time (s): 2400.01 CPU system time (s): 0.069988 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 74752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.069988 maximum resident set size= 51496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81339 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= 28 involuntary context switches= 123042 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.61109 second user time and 8.47591 second system time The end
Begin job on node151 at 2017-07-21 12:50:36 IDJOB=4239977 IDBENCH=115913 IDSOLVER=2620 FILE ID=node151/4239977-1500634236 RUNJOBID= node151-1500626434-5655 PBS_JOBID= 20623026 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239977-1500634236/watcher-4239977-1500634236 -o /tmp/evaluation-result-4239977-1500634236/solver-4239977-1500634236 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5655 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239977-1500634236.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=2051056767 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.83 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 : 1600.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 : 2400.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.83 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 : 1600.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.83 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 : 1600.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 : 1867.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.83 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 : 1600.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: 31451792 kB MemAvailable: 31966792 kB Buffers: 240328 kB Cached: 554056 kB SwapCached: 0 kB Active: 497796 kB Inactive: 398448 kB Active(anon): 104620 kB Inactive(anon): 8636 kB Active(file): 393176 kB Inactive(file): 389812 kB Unevictable: 6912 kB Mlocked: 6920 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2508 kB Writeback: 0 kB AnonPages: 114328 kB Mapped: 34232 kB Shmem: 8848 kB Slab: 121704 kB SReclaimable: 95696 kB SUnreclaim: 26008 kB KernelStack: 3568 kB PageTables: 5468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 370500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62024 MiB End job on node151 at 2017-07-21 13:30:37