Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco 1.1 | No Cert. | 2400.05 | 2400.31 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 373 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.19/0.25 c best=?? lower=0 upper=729 1.89/1.92 c 1.89/1.92 c This is cosoco 1.0 -- 1.89/1.92 c 1.89/1.92 c enable optimization 1.89/1.92 c ========================================[ Problem Statistics ]=========================================== 1.89/1.92 c | 1.89/1.92 c | Parse time : 0.25 s 1.89/1.92 c | 1.89/1.92 c | Variables: 1712 1.89/1.92 c | Domain Sizes: 2..1683 1.89/1.92 c | 1.89/1.92 c | Constraints: 1120 1.89/1.92 c | Arity: 1..31 -- Unary: 117 -- Binary: 137 -- Ternary: 108 1.89/1.92 c | 1.89/1.92 c | Types: 1.89/1.92 c | : 104 1.89/1.92 c | Extension: 733 (nb tuples: 1..724) -- (shared: 832) 1.89/1.92 c | Intension: 137 1.89/1.92 c | Sum: 30 1.89/1.92 c | Unary: 116 1.89/1.92 c | 1.89/1.92 c ========================================================================================================= 1.89/1.92 o 8 1.89/1.92 c 1 calls to solver: best=8 lower=9 upper=729 2.09/2.16 o 18 2.79/2.83 o 25 2.79/2.83 c 3 calls to solver: best=25 lower=26 upper=729 2.99/3.03 o 26 3.89/3.96 o 39 3.89/3.96 c 5 calls to solver: best=39 lower=40 upper=729 5.38/5.46 o 40 19.68/19.73 o 41 19.68/19.73 c 7 calls to solver: best=41 lower=42 upper=729 26.97/27.00 o 42 30.07/30.12 o 43 30.07/30.12 c 9 calls to solver: best=43 lower=44 upper=729 62.97/63.02 o 44 317.64/317.74 o 45 317.64/317.74 c 11 calls to solver: best=45 lower=46 upper=729 412.23/412.39 o 46 672.01/672.10 o 47 672.01/672.10 c 13 calls to solver: best=47 lower=48 upper=729 1216.75/1216.98 o 48 1442.63/1442.87 o 49 1442.63/1442.87 c 15 calls to solver: best=49 lower=50 upper=729 2400.04/2400.30 2400.04/2400.30 c *** INTERRUPTED *** 2400.04/2400.30 s SATISFIABLE 2400.04/2400.30 c Best value found: 49 2400.04/2400.30 2400.04/2400.30 2400.04/2400.30 v <instantiation type='solution' cost='49'> 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[0][28] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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 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 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 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 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 1 1 0 0 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-4239962-1500633717/watcher-4239962-1500633717 -o /tmp/evaluation-result-4239962-1500633717/solver-4239962-1500633717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500623785-3430 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239962-1500633717.xml pid=5511 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 2.03 2.05 3/186 5514 /proc/meminfo: memFree=31454976/32770624 swapFree=6204/414312 [pid=5514] ppid=5511 vsize=27120 CPUtime=0 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 18030301 27770880 802 33554432000 4194304 5970956 140727837407088 140727837403736 139665137560549 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 6780 802 698 434 0 144 0 [startup+0.100118 s] /proc/loadavg: 2.02 2.03 2.05 3/186 5514 /proc/meminfo: memFree=31454976/32770624 swapFree=6204/414312 [pid=5514] ppid=5511 vsize=35980 CPUtime=0.09 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 3271 0 0 0 9 0 0 0 20 0 1 0 18030301 36843520 3045 33554432000 4194304 5970956 140727837407088 140727837399424 139665137560549 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 8995 3045 746 434 0 2359 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35980 [startup+0.200347 s] /proc/loadavg: 2.02 2.03 2.05 3/186 5514 /proc/meminfo: memFree=31454976/32770624 swapFree=6204/414312 [pid=5514] ppid=5511 vsize=37088 CPUtime=0.19 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 3554 0 0 0 19 0 0 0 20 0 1 0 18030301 37978112 3389 33554432000 4194304 5970956 140727837407088 140727837400520 139665137608608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 9272 3389 792 434 0 2636 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 37088 [startup+0.300239 s] /proc/loadavg: 2.02 2.03 2.05 3/186 5514 /proc/meminfo: memFree=31454976/32770624 swapFree=6204/414312 [pid=5514] ppid=5511 vsize=44916 CPUtime=0.28 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 5560 0 0 0 28 0 0 0 20 0 1 0 18030301 45993984 5380 33554432000 4194304 5970956 140727837407088 140727837394408 5039183 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 11229 5380 848 434 0 4593 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 44916 [startup+0.700208 s] /proc/loadavg: 2.02 2.03 2.05 3/186 5514 /proc/meminfo: memFree=31454976/32770624 swapFree=6204/414312 [pid=5514] ppid=5511 vsize=50472 CPUtime=0.69 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 6949 0 0 0 68 1 0 0 20 0 1 0 18030301 51683328 6766 33554432000 4194304 5970956 140727837407088 140727837403960 139665137560549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 12618 6766 848 434 0 5982 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50472 [startup+1.50026 s] /proc/loadavg: 2.02 2.03 2.05 3/187 5515 /proc/meminfo: memFree=31425776/32770624 swapFree=6204/414316 [pid=5514] ppid=5511 vsize=59228 CPUtime=1.49 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 9166 0 0 0 148 1 0 0 20 0 1 0 18030301 60649472 8944 33554432000 4194304 5970956 140727837407088 140727837403912 5040432 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 14807 8944 848 434 0 8171 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59228 [startup+3.10025 s] /proc/loadavg: 2.02 2.03 2.05 3/187 5515 /proc/meminfo: memFree=31419824/32770624 swapFree=6204/414316 [pid=5514] ppid=5511 vsize=62456 CPUtime=3.09 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 17513 0 0 0 308 1 0 0 20 0 1 0 18030301 63954944 9793 33554432000 4194304 5970956 140727837407088 140727837404648 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 15614 9793 850 434 0 8978 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 62456 [startup+6.30019 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5515 /proc/meminfo: memFree=31417220/32770624 swapFree=6204/414316 [pid=5514] ppid=5511 vsize=64056 CPUtime=6.29 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 26036 0 0 0 627 2 0 0 20 0 1 0 18030301 65593344 10182 33554432000 4194304 5970956 140727837407088 140727837404648 4908971 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16014 10182 850 434 0 9378 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64056 [startup+12.7002 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5515 /proc/meminfo: memFree=31416716/32770624 swapFree=6204/414332 [pid=5514] ppid=5511 vsize=64056 CPUtime=12.69 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 32260 0 0 0 1267 2 0 0 20 0 1 0 18030301 65593344 10182 33554432000 4194304 5970956 140727837407088 140727837404648 5038179 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16014 10182 850 434 0 9378 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64056 [startup+25.5002 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5515 /proc/meminfo: memFree=31415972/32770624 swapFree=6204/414340 [pid=5514] ppid=5511 vsize=64456 CPUtime=25.48 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 41157 0 0 0 2546 2 0 0 20 0 1 0 18030301 66002944 10297 33554432000 4194304 5970956 140727837407088 140727837394392 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16114 10297 850 434 0 9478 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64456 [startup+51.1002 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5515 /proc/meminfo: memFree=31416148/32770624 swapFree=6204/414368 [pid=5514] ppid=5511 vsize=64592 CPUtime=51.07 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 41835 0 0 0 5105 2 0 0 20 0 1 0 18030301 66142208 10323 33554432000 4194304 5970956 140727837407088 140727837394392 5038459 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16148 10323 850 434 0 9512 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64592 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5516 /proc/meminfo: memFree=31415876/32770624 swapFree=6204/414400 [pid=5514] ppid=5511 vsize=64592 CPUtime=102.27 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 42485 0 0 0 10225 2 0 0 20 0 1 0 18030301 66142208 10336 33554432000 4194304 5970956 140727837407088 140727837404648 5039297 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16148 10336 850 434 0 9512 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64592 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5517 /proc/meminfo: memFree=31416216/32770624 swapFree=6204/414420 [pid=5514] ppid=5511 vsize=64592 CPUtime=162.26 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 43053 0 0 0 16224 2 0 0 20 0 1 0 18030301 66142208 10340 33554432000 4194304 5970956 140727837407088 140727837404648 5069920 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16148 10340 850 434 0 9512 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 64592 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5518 /proc/meminfo: memFree=31416020/32770624 swapFree=6204/414448 [pid=5514] ppid=5511 vsize=64592 CPUtime=222.26 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 43622 0 0 0 22224 2 0 0 20 0 1 0 18030301 66142208 10346 33554432000 4194304 5970956 140727837407088 140727837404648 5039176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16148 10346 850 434 0 9512 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 64592 [startup+282.3 s] /proc/loadavg: 2.11 2.04 2.05 3/187 5519 /proc/meminfo: memFree=31416064/32770624 swapFree=6204/414472 [pid=5514] ppid=5511 vsize=64592 CPUtime=282.24 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 44186 0 0 0 28222 2 0 0 20 0 1 0 18030301 66142208 10346 33554432000 4194304 5970956 140727837407088 140727837404648 4934342 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16148 10346 850 434 0 9512 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 64592 [startup+342.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 5520 /proc/meminfo: memFree=31415988/32770624 swapFree=6204/414508 [pid=5514] ppid=5511 vsize=64728 CPUtime=342.24 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 44844 0 0 0 34222 2 0 0 20 0 1 0 18030301 66281472 10379 33554432000 4194304 5970956 140727837407088 140727837394392 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16182 10379 850 434 0 9546 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 64728 [startup+402.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 5521 /proc/meminfo: memFree=31416256/32770624 swapFree=6204/414536 [pid=5514] ppid=5511 vsize=64728 CPUtime=402.23 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 45408 0 0 0 40221 2 0 0 20 0 1 0 18030301 66281472 10379 33554432000 4194304 5970956 140727837407088 140727837394392 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16182 10379 850 434 0 9546 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 64728 [startup+462.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 5522 /proc/meminfo: memFree=31416564/32770624 swapFree=6204/414568 [pid=5514] ppid=5511 vsize=64728 CPUtime=462.22 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 46055 0 0 0 46220 2 0 0 20 0 1 0 18030301 66281472 10381 33554432000 4194304 5970956 140727837407088 140727837404648 4930640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16182 10381 850 434 0 9546 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 64728 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 5530 /proc/meminfo: memFree=31416088/32770624 swapFree=6204/414588 [pid=5514] ppid=5511 vsize=64728 CPUtime=522.22 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 46603 0 0 0 52220 2 0 0 20 0 1 0 18030301 66281472 10381 33554432000 4194304 5970956 140727837407088 140727837404648 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16182 10381 850 434 0 9546 0 Current children cumulated CPU time (s) 522.22 Current children cumulated vsize (KiB) 64728 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5531 /proc/meminfo: memFree=31416132/32770624 swapFree=6204/414616 [pid=5514] ppid=5511 vsize=64728 CPUtime=582.21 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 47021 0 0 0 58219 2 0 0 20 0 1 0 18030301 66281472 10381 33554432000 4194304 5970956 140727837407088 140727837404648 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16182 10381 850 434 0 9546 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 64728 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5703 /proc/meminfo: memFree=31559996/32770624 swapFree=6204/415156 [pid=5514] ppid=5511 vsize=64860 CPUtime=1542.12 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 55855 0 0 0 154209 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4964389 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1542.12 Current children cumulated vsize (KiB) 64860 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5704 /proc/meminfo: memFree=31560064/32770624 swapFree=6204/415184 [pid=5514] ppid=5511 vsize=64860 CPUtime=1602.11 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 56268 0 0 0 160208 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5038462 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1602.11 Current children cumulated vsize (KiB) 64860 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5705 /proc/meminfo: memFree=31559796/32770624 swapFree=6204/415204 [pid=5514] ppid=5511 vsize=64860 CPUtime=1662.11 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 56685 0 0 0 166208 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4964371 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1662.11 Current children cumulated vsize (KiB) 64860 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.05 3/188 5714 /proc/meminfo: memFree=31559000/32770624 swapFree=6204/415236 [pid=5514] ppid=5511 vsize=64860 CPUtime=1722.1 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 57243 0 0 0 172207 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4964440 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1722.1 Current children cumulated vsize (KiB) 64860 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 5715 /proc/meminfo: memFree=31559552/32770624 swapFree=6204/415256 [pid=5514] ppid=5511 vsize=64860 CPUtime=1782.1 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 57646 0 0 0 178207 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4930640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1782.1 Current children cumulated vsize (KiB) 64860 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 5716 /proc/meminfo: memFree=31559836/32770624 swapFree=6204/415284 [pid=5514] ppid=5511 vsize=64860 CPUtime=1842.09 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 58043 0 0 0 184206 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5070208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1842.09 Current children cumulated vsize (KiB) 64860 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 5717 /proc/meminfo: memFree=31559824/32770624 swapFree=6204/415312 [pid=5514] ppid=5511 vsize=64860 CPUtime=1902.08 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 58599 0 0 0 190205 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5093256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1902.08 Current children cumulated vsize (KiB) 64860 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 5718 /proc/meminfo: memFree=31560404/32770624 swapFree=6204/415328 [pid=5514] ppid=5511 vsize=64860 CPUtime=1962.08 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 59000 0 0 0 196205 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 1962.08 Current children cumulated vsize (KiB) 64860 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5719 /proc/meminfo: memFree=31560528/32770624 swapFree=6204/415352 [pid=5514] ppid=5511 vsize=64860 CPUtime=2022.07 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 59426 0 0 0 202204 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5040388 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2022.07 Current children cumulated vsize (KiB) 64860 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5720 /proc/meminfo: memFree=31560184/32770624 swapFree=6204/415372 [pid=5514] ppid=5511 vsize=64860 CPUtime=2082.07 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 59987 0 0 0 208204 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4930665 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2082.07 Current children cumulated vsize (KiB) 64860 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5721 /proc/meminfo: memFree=31560244/32770624 swapFree=6204/415400 [pid=5514] ppid=5511 vsize=64860 CPUtime=2142.06 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 60376 0 0 0 214203 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2142.06 Current children cumulated vsize (KiB) 64860 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 5722 /proc/meminfo: memFree=31560292/32770624 swapFree=6204/415420 [pid=5514] ppid=5511 vsize=64860 CPUtime=2202.06 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 60758 0 0 0 220203 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4930560 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2202.06 Current children cumulated vsize (KiB) 64860 [startup+2262.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 5723 /proc/meminfo: memFree=31559924/32770624 swapFree=6204/415440 [pid=5514] ppid=5511 vsize=64860 CPUtime=2262.05 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 61136 0 0 0 226202 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4908315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2262.05 Current children cumulated vsize (KiB) 64860 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 5732 /proc/meminfo: memFree=31559340/32770624 swapFree=6204/415488 [pid=5514] ppid=5511 vsize=64860 CPUtime=2322.04 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 61738 0 0 0 232201 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2322.04 Current children cumulated vsize (KiB) 64860 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 5733 /proc/meminfo: memFree=31559660/32770624 swapFree=6204/415508 [pid=5514] ppid=5511 vsize=64860 CPUtime=2382.04 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 62143 0 0 0 238201 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2382.04 Current children cumulated vsize (KiB) 64860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.01 2.02 2.05 3/188 5733 /proc/meminfo: memFree=31559660/32770624 swapFree=6204/415516 [pid=5514] ppid=5511 vsize=64860 CPUtime=2400.04 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 62539 0 0 0 240001 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 64860 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 5514 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.01 2.02 2.05 3/188 5733 /proc/meminfo: memFree=31559660/32770624 swapFree=6204/415516 [pid=5514] ppid=5511 vsize=64860 CPUtime=2400.04 cores=1,3,5,7 /proc/5514/stat : 5514 (cosoco) R 5511 5514 3398 0 -1 4202496 62539 0 0 0 240001 3 0 0 20 0 1 0 18030301 66416640 10396 33554432000 4194304 5970956 140727837407088 140727837394392 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 25739264 140727837414593 140727837414723 140727837414723 140727837417422 0 /proc/5514/statm: 16215 10396 850 434 0 9579 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 64860 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.05 CPU user time (s): 2400.01 CPU system time (s): 0.036996 CPU usage (%): 99.9893 Max. virtual memory (cumulated for all children) (KiB): 64860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.036996 maximum resident set size= 41628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62576 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= 23 involuntary context switches= 120658 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.71701 second user time and 8.04902 second system time The end
Begin job on node105 at 2017-07-21 12:41:57 IDJOB=4239962 IDBENCH=115900 IDSOLVER=2620 FILE ID=node105/4239962-1500633717 RUNJOBID= node105-1500623785-3430 PBS_JOBID= 20623022 Free space on /tmp= 62012 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239962-1500633717/watcher-4239962-1500633717 -o /tmp/evaluation-result-4239962-1500633717/solver-4239962-1500633717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500623785-3430 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239962-1500633717.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=1751569723 node105.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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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 : 2267.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.47 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 : 2267.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.47 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.47 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 : 2267.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: 31455256 kB MemAvailable: 31862104 kB Buffers: 161856 kB Cached: 533796 kB SwapCached: 0 kB Active: 466016 kB Inactive: 431332 kB Active(anon): 204400 kB Inactive(anon): 17020 kB Active(file): 261616 kB Inactive(file): 414312 kB Unevictable: 6204 kB Mlocked: 6212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2540 kB Writeback: 0 kB AnonPages: 241996 kB Mapped: 35180 kB Shmem: 17044 kB Slab: 118360 kB SReclaimable: 93512 kB SUnreclaim: 24848 kB KernelStack: 3616 kB PageTables: 5796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 482320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 62008 MiB End job on node105 at 2017-07-21 13:21:58