Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.06 | 2400.31 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml |
| MD5SUM | a21a0b86f7fa853bf556b3925b3cd061 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 345 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1597 |
| Number of constraints | 944 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1569 |
| Distribution of domain sizes | [{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}] |
| Number of extensional constraints | 780 |
| Number of intensional constraints | 131 |
| Distribution of constraint types | [{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
2.69/2.78 c SAT : Variables: 48529 -- Clauses: 34676247 2.69/2.78 c best=?? lower=0 upper=676 6.09/6.15 c 6.09/6.15 c This is cosoco 1.0 -- 6.09/6.15 c 6.09/6.15 c enable optimization 6.09/6.15 c ========================================[ Problem Statistics ]=========================================== 6.09/6.15 c | 6.09/6.15 c | Parse time : 2.41 s 6.09/6.15 c | 6.09/6.15 c | Variables: 1597 6.09/6.15 c | Domain Sizes: 2..1569 6.09/6.15 c | 6.09/6.15 c | Constraints: 1053 6.09/6.15 c | Arity: 1..30 -- Unary: 113 -- Binary: 132 -- Ternary: 104 6.09/6.15 c | 6.09/6.15 c | Types: 6.09/6.15 c | : 100 6.09/6.15 c | Extension: 680 (nb tuples: 1..724) -- (shared: 775) 6.09/6.15 c | Intension: 132 6.09/6.15 c | Sum: 29 6.09/6.15 c | Unary: 112 6.09/6.15 c | 6.09/6.15 c ========================================================================================================= 6.09/6.15 o 4 6.09/6.15 c 1 calls to solver: best=4 lower=5 upper=676 6.49/6.60 o 5 7.09/7.13 o 6 7.09/7.13 c 3 calls to solver: best=6 lower=7 upper=676 7.59/7.68 o 7 7.89/7.98 o 10 7.89/7.98 c 5 calls to solver: best=10 lower=11 upper=676 10.48/10.51 o 16 10.58/10.68 o 20 10.58/10.68 c 7 calls to solver: best=20 lower=21 upper=676 10.89/10.98 o 21 11.19/11.27 o 22 11.19/11.27 c 9 calls to solver: best=22 lower=23 upper=676 11.99/12.02 o 23 12.79/12.89 o 24 12.79/12.89 c 11 calls to solver: best=24 lower=25 upper=676 59.78/59.86 o 26 61.78/61.81 o 31 61.78/61.81 c 13 calls to solver: best=31 lower=32 upper=676 67.28/67.38 o 40 68.18/68.24 o 42 68.18/68.24 c 15 calls to solver: best=42 lower=43 upper=676 80.28/80.30 o 43 115.37/115.43 o 44 115.37/115.43 c 17 calls to solver: best=44 lower=45 upper=676 122.57/122.69 o 45 132.57/132.69 o 46 132.57/132.69 c 19 calls to solver: best=46 lower=47 upper=676 150.38/150.42 o 47 211.45/211.59 o 49 211.45/211.59 c 21 calls to solver: best=49 lower=50 upper=676 302.73/302.83 o 50 305.84/305.98 o 51 305.84/305.98 c 23 calls to solver: best=51 lower=52 upper=676 403.42/403.56 o 52 555.40/555.54 o 53 555.40/555.54 c 25 calls to solver: best=53 lower=54 upper=676 819.67/819.84 o 54 1167.04/1167.28 o 55 1167.04/1167.28 c 27 calls to solver: best=55 lower=56 upper=676 2400.04/2400.30 2400.04/2400.30 c *** INTERRUPTED *** 2400.04/2400.30 s SATISFIABLE 2400.04/2400.30 c Best value found: 55 2400.04/2400.30 2400.04/2400.30 2400.04/2400.30 v <instantiation type='solution' cost='55'> 2400.04/2400.30 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list> 2400.04/2400.30 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 1 1 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 1 1 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 1 1 0 1 1 1 1 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 1 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 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 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239960-1500633477/watcher-4239960-1500633477 -o /tmp/evaluation-result-4239960-1500633477/solver-4239960-1500633477 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239960-1500633477.xml pid=7400 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.02 2.02 2.05 2/186 7403 /proc/meminfo: memFree=30072432/32770624 swapFree=6240/1307832 [pid=7403] ppid=7400 vsize=27256 CPUtime=0 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 16623979 27910144 832 33554432000 4194304 5970956 140732826347984 140732826347344 139701750475749 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 6814 832 703 434 0 178 0 [startup+0.100177 s] /proc/loadavg: 2.02 2.02 2.05 2/186 7403 /proc/meminfo: memFree=30072432/32770624 swapFree=6240/1307832 [pid=7403] ppid=7400 vsize=35024 CPUtime=0.09 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 3048 0 0 0 9 0 0 0 20 0 1 0 16623979 35864576 2874 33554432000 4194304 5970956 140732826347984 140732826340320 139701750475749 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 8756 2874 792 434 0 2120 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35024 [startup+0.20042 s] /proc/loadavg: 2.02 2.02 2.05 2/186 7403 /proc/meminfo: memFree=30072432/32770624 swapFree=6240/1307832 [pid=7403] ppid=7400 vsize=36428 CPUtime=0.19 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 3419 0 0 0 19 0 0 0 20 0 1 0 16623979 37302272 3238 33554432000 4194304 5970956 140732826347984 140732826341816 139701759821073 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 9107 3238 806 434 0 2471 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36428 [startup+0.300361 s] /proc/loadavg: 2.02 2.02 2.05 2/186 7403 /proc/meminfo: memFree=30072432/32770624 swapFree=6240/1307832 [pid=7403] ppid=7400 vsize=85916 CPUtime=0.29 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 13257 0 0 0 28 1 0 0 20 0 1 0 16623979 87977984 14602 33554432000 4194304 5970956 140732826347984 140732826344808 5279833 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 21479 14602 839 434 0 14843 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 85916 [startup+0.700364 s] /proc/loadavg: 2.02 2.02 2.05 2/186 7403 /proc/meminfo: memFree=30072432/32770624 swapFree=6240/1307832 [pid=7403] ppid=7400 vsize=341776 CPUtime=0.69 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 47176 0 0 0 61 8 0 0 20 0 1 0 16623979 349978624 72040 33554432000 4194304 5970956 140732826347984 140732826344808 5251805 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 85444 72040 839 434 0 78808 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 341776 [startup+1.50035 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7404 /proc/meminfo: memFree=29562468/32770624 swapFree=6240/1307772 [pid=7403] ppid=7400 vsize=857304 CPUtime=1.49 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 107356 0 0 0 130 19 0 0 20 0 1 0 16623979 877879296 182775 33554432000 4194304 5970956 140732826347984 140732826344808 5251795 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 214326 182775 839 434 0 207690 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 857304 [startup+3.10031 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7404 /proc/meminfo: memFree=28959576/32770624 swapFree=6240/1307772 [pid=7403] ppid=7400 vsize=1490524 CPUtime=3.09 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 205308 0 0 0 272 37 0 0 20 0 1 0 16623979 1526296576 358541 33554432000 4194304 5970956 140732826347984 140732826344856 5039186 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 372631 358541 853 434 0 365995 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1490524 [startup+6.30035 s] /proc/loadavg: 1.93 2.00 2.04 3/187 7404 /proc/meminfo: memFree=28628656/32770624 swapFree=6240/1307780 [pid=7403] ppid=7400 vsize=1502088 CPUtime=6.29 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 221745 0 0 0 591 38 0 0 20 0 1 0 16623979 1538138112 361488 33554432000 4194304 5970956 140732826347984 140732826335288 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 375522 361488 855 434 0 368886 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1502088 [startup+12.7004 s] /proc/loadavg: 1.94 2.00 2.04 3/187 7404 /proc/meminfo: memFree=28624316/32770624 swapFree=6240/1307784 [pid=7403] ppid=7400 vsize=1503952 CPUtime=12.69 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 241476 0 0 0 1230 39 0 0 20 0 1 0 16623979 1540046848 361957 33554432000 4194304 5970956 140732826347984 140732826345544 5337472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 375988 361957 855 434 0 369352 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1503952 [startup+25.5004 s] /proc/loadavg: 1.95 2.00 2.04 3/187 7404 /proc/meminfo: memFree=28622256/32770624 swapFree=6240/1307800 [pid=7403] ppid=7400 vsize=1504200 CPUtime=25.49 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 254439 0 0 0 2509 40 0 0 20 0 1 0 16623979 1540300800 362530 33554432000 4194304 5970956 140732826347984 140732826345320 4964363 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376050 362530 855 434 0 369414 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1504200 [startup+51.1004 s] /proc/loadavg: 1.97 2.00 2.04 3/187 7404 /proc/meminfo: memFree=28619464/32770624 swapFree=6240/1307824 [pid=7403] ppid=7400 vsize=1505012 CPUtime=51.08 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 274635 0 0 0 5067 41 0 0 20 0 1 0 16623979 1541132288 363226 33554432000 4194304 5970956 140732826347984 140732826345320 5039186 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376253 363226 855 434 0 369617 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1505012 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 7405 /proc/meminfo: memFree=28614812/32770624 swapFree=6240/1307868 [pid=7403] ppid=7400 vsize=1507260 CPUtime=102.29 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 302380 0 0 0 10186 43 0 0 20 0 1 0 16623979 1543434240 364298 33554432000 4194304 5970956 140732826347984 140732826345320 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376815 364298 855 434 0 370179 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1507260 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7413 /proc/meminfo: memFree=28613164/32770624 swapFree=6240/1307928 [pid=7403] ppid=7400 vsize=1507260 CPUtime=162.27 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 323952 0 0 0 16183 44 0 0 20 0 1 0 16623979 1543434240 364305 33554432000 4194304 5970956 140732826347984 140732826345544 5327380 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376815 364305 855 434 0 370179 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 1507260 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7414 /proc/meminfo: memFree=28608880/32770624 swapFree=6240/1307956 [pid=7403] ppid=7400 vsize=1507260 CPUtime=222.26 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 339556 0 0 0 22181 45 0 0 20 0 1 0 16623979 1543434240 365072 33554432000 4194304 5970956 140732826347984 140732826335288 5040428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376815 365072 855 434 0 370179 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1507260 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7415 /proc/meminfo: memFree=28605808/32770624 swapFree=6240/1307992 [pid=7403] ppid=7400 vsize=1507260 CPUtime=282.24 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 345528 0 0 0 28179 45 0 0 20 0 1 0 16623979 1543434240 365464 33554432000 4194304 5970956 140732826347984 140732826335288 4930640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376815 365464 855 434 0 370179 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 1507260 [startup+342.3 s] /proc/loadavg: 2.14 2.05 2.05 3/187 7416 /proc/meminfo: memFree=28604224/32770624 swapFree=6240/1308028 [pid=7403] ppid=7400 vsize=1507384 CPUtime=342.23 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 359110 0 0 0 34177 46 0 0 20 0 1 0 16623979 1543561216 365868 33554432000 4194304 5970956 140732826347984 140732826345320 5070235 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 365868 855 434 0 370210 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1507384 [startup+402.3 s] /proc/loadavg: 2.12 2.05 2.05 3/187 7417 /proc/meminfo: memFree=28599476/32770624 swapFree=6240/1308052 [pid=7403] ppid=7400 vsize=1507384 CPUtime=402.22 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 365742 0 0 0 40176 46 0 0 20 0 1 0 16623979 1543561216 366288 33554432000 4194304 5970956 140732826347984 140732826345320 4930560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 366288 855 434 0 370210 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1507384 [startup+462.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7418 /proc/meminfo: memFree=28598140/32770624 swapFree=6240/1308080 [pid=7403] ppid=7400 vsize=1507384 CPUtime=462.22 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 377966 0 0 0 46175 47 0 0 20 0 1 0 16623979 1543561216 366712 33554432000 4194304 5970956 140732826347984 140732826345544 4908922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 366712 855 434 0 370210 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1507384 [startup+522.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7419 /proc/meminfo: memFree=28596388/32770624 swapFree=6240/1308104 [pid=7403] ppid=7400 vsize=1507384 CPUtime=522.2 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 383110 0 0 0 52173 47 0 0 20 0 1 0 16623979 1543561216 367149 33554432000 4194304 5970956 140732826347984 140732826345544 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367149 855 434 0 370210 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 1507384 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7420 /proc/meminfo: memFree=28594936/32770624 swapFree=6240/1308132 [pid=7403] ppid=7400 vsize=1507384 CPUtime=582.19 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 395814 0 0 0 58172 47 0 0 20 0 1 0 16623979 1543561216 367607 33554432000 4194304 5970956 140732826347984 140732826335288 5038188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367607 855 434 0 370210 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 1507384 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.04 3/188 7535 /proc/meminfo: memFree=29209176/32770624 swapFree=6240/1308720 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1542.12 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 416519 0 0 0 154163 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5337434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1542.12 Current children cumulated vsize (KiB) 1507384 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.04 3/188 7536 /proc/meminfo: memFree=29209424/32770624 swapFree=6240/1308744 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1602.1 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 417741 0 0 0 160161 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 4964336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1602.1 Current children cumulated vsize (KiB) 1507384 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.04 3/187 7537 /proc/meminfo: memFree=29209564/32770624 swapFree=6240/1308760 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1662.1 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 418451 0 0 0 166161 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5070217 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1662.1 Current children cumulated vsize (KiB) 1507384 [startup+1722.3 s] /proc/loadavg: 2.08 2.02 2.05 3/187 7538 /proc/meminfo: memFree=29208812/32770624 swapFree=6240/1308780 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1722.09 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 419224 0 0 0 172160 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1722.09 Current children cumulated vsize (KiB) 1507384 [startup+1782.3 s] /proc/loadavg: 2.03 2.01 2.05 3/187 7539 /proc/meminfo: memFree=29208888/32770624 swapFree=6240/1308804 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1782.09 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 420343 0 0 0 178160 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5038183 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (KiB) 1507384 [startup+1842.3 s] /proc/loadavg: 2.01 2.01 2.05 3/187 7540 /proc/meminfo: memFree=29208948/32770624 swapFree=6240/1308824 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1842.08 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 420991 0 0 0 184159 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 4909030 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 1507384 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 7541 /proc/meminfo: memFree=29210692/32770624 swapFree=6240/1308856 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1902.08 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 421643 0 0 0 190159 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 4930560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1902.08 Current children cumulated vsize (KiB) 1507384 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7551 /proc/meminfo: memFree=29208880/32770624 swapFree=6240/1308884 [pid=7403] ppid=7400 vsize=1507384 CPUtime=1962.07 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 422788 0 0 0 196158 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5322040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 1962.07 Current children cumulated vsize (KiB) 1507384 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7552 /proc/meminfo: memFree=29209252/32770624 swapFree=6240/1308904 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2022.07 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 423957 0 0 0 202158 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2022.07 Current children cumulated vsize (KiB) 1507384 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7553 /proc/meminfo: memFree=29209252/32770624 swapFree=6240/1308936 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2082.07 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 424754 0 0 0 208158 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5327108 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2082.07 Current children cumulated vsize (KiB) 1507384 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7554 /proc/meminfo: memFree=29209464/32770624 swapFree=6240/1308956 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2142.06 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 426400 0 0 0 214157 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5052093 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2142.06 Current children cumulated vsize (KiB) 1507384 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7555 /proc/meminfo: memFree=29209464/32770624 swapFree=6240/1308980 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2202.06 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 427026 0 0 0 220157 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 4930640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2202.06 Current children cumulated vsize (KiB) 1507384 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7556 /proc/meminfo: memFree=29209232/32770624 swapFree=6240/1309008 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2262.05 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 427858 0 0 0 226156 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 4934460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2262.05 Current children cumulated vsize (KiB) 1507384 [startup+2322.3 s] /proc/loadavg: 2.14 2.05 2.06 3/187 7557 /proc/meminfo: memFree=29209232/32770624 swapFree=6240/1309024 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2322.04 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 429017 0 0 0 232155 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5038291 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2322.04 Current children cumulated vsize (KiB) 1507384 [startup+2382.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 7558 /proc/meminfo: memFree=29208860/32770624 swapFree=6240/1309048 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2382.04 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 430356 0 0 0 238155 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5327782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2382.04 Current children cumulated vsize (KiB) 1507384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7558 /proc/meminfo: memFree=29208860/32770624 swapFree=6240/1309056 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2400.04 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 430360 0 0 0 239955 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5337487 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1507384 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 7403 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7558 /proc/meminfo: memFree=29208860/32770624 swapFree=6240/1309056 [pid=7403] ppid=7400 vsize=1507384 CPUtime=2400.04 cores=0,2,4,6 /proc/7403/stat : 7403 (cosoco) R 7400 7403 4382 0 -1 4202496 430360 0 0 0 239955 49 0 0 20 0 1 0 16623979 1543561216 367966 33554432000 4194304 5970956 140732826347984 140732826335288 5337487 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24174592 140732826350780 140732826350915 140732826350915 140732826353614 0 /proc/7403/statm: 376846 367966 855 434 0 370210 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1507384 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.06 CPU user time (s): 2399.56 CPU system time (s): 0.501956 CPU usage (%): 99.9894 Max. virtual memory (cumulated for all children) (KiB): 1507384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.56 system time used= 0.501956 maximum resident set size= 1471912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 430388 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= 80 involuntary context switches= 123021 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.37363 second user time and 9.38406 second system time The end
Begin job on node130 at 2017-07-21 12:37:57 IDJOB=4239960 IDBENCH=115899 IDSOLVER=2621 FILE ID=node130/4239960-1500633477 RUNJOBID= node130-1500623778-4413 PBS_JOBID= 20623003 Free space on /tmp= 61960 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239960-1500633477/watcher-4239960-1500633477 -o /tmp/evaluation-result-4239960-1500633477/solver-4239960-1500633477 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239960-1500633477.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061 RANDOM SEED=1646319250 node130.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 : 1867.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.18 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 : 1600.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.18 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 : 2000.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.18 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 : 1600.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.18 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: 30073012 kB MemAvailable: 31405080 kB Buffers: 162268 kB Cached: 1447540 kB SwapCached: 0 kB Active: 955900 kB Inactive: 1316632 kB Active(anon): 665208 kB Inactive(anon): 8800 kB Active(file): 290692 kB Inactive(file): 1307832 kB Unevictable: 6240 kB Mlocked: 6240 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2476 kB Writeback: 0 kB AnonPages: 668556 kB Mapped: 34252 kB Shmem: 8852 kB Slab: 123852 kB SReclaimable: 98756 kB SUnreclaim: 25096 kB KernelStack: 3344 kB PageTables: 5940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 941584 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 610304 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61960 MiB End job on node130 at 2017-07-21 13:17:57