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.13 | 2400.79 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml |
| MD5SUM | 3de3ac871f1e1c584be6c245f66daf9e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 516 |
| Best CPU time to get the best result obtained on this benchmark | 2519.78 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2347 |
| Number of constraints | 1352 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 2313 |
| Distribution of domain sizes | [{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 35 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}] |
| Number of extensional constraints | 1152 |
| Number of intensional constraints | 161 |
| Distribution of constraint types | [{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
7.38/7.45 c SAT : Variables: 85447 -- Clauses: 91441923 7.38/7.45 c best=?? lower=0 upper=1024 18.08/18.17 c 18.08/18.17 c This is cosoco 1.0 -- 18.08/18.17 c 18.08/18.17 c enable optimization 18.08/18.17 c ========================================[ Problem Statistics ]=========================================== 18.08/18.17 c | 18.08/18.17 c | Parse time : 6.54 s 18.08/18.17 c | 18.08/18.17 c | Variables: 2347 18.08/18.17 c | Domain Sizes: 2..2313 18.08/18.17 c | 18.08/18.17 c | Constraints: 1485 18.08/18.17 c | Arity: 1..36 -- Unary: 137 -- Binary: 162 -- Ternary: 128 18.08/18.17 c | 18.08/18.17 c | Types: 18.08/18.17 c | : 124 18.08/18.17 c | Extension: 1028 (nb tuples: 1..724) -- (shared: 1147) 18.08/18.17 c | Intension: 162 18.08/18.17 c | Sum: 35 18.08/18.17 c | Unary: 136 18.08/18.17 c | 18.08/18.17 c ========================================================================================================= 18.08/18.17 o 17 18.08/18.17 c 1 calls to solver: best=17 lower=18 upper=1024 19.68/19.75 o 18 92.86/92.92 o 19 92.86/92.92 c 3 calls to solver: best=19 lower=20 upper=1024 102.26/102.32 o 20 149.45/149.54 o 21 149.45/149.54 c 5 calls to solver: best=21 lower=22 upper=1024 149.85/149.91 o 28 150.75/150.83 o 37 150.75/150.83 c 7 calls to solver: best=37 lower=38 upper=1024 151.45/151.58 o 39 154.84/154.95 o 40 154.84/154.95 c 9 calls to solver: best=40 lower=41 upper=1024 156.15/156.21 o 42 156.74/156.80 o 46 156.74/156.80 c 11 calls to solver: best=46 lower=47 upper=1024 157.25/157.34 o 47 161.34/161.42 o 59 161.34/161.42 c 13 calls to solver: best=59 lower=60 upper=1024 161.84/161.96 o 61 165.54/165.61 o 69 165.54/165.61 c 15 calls to solver: best=69 lower=70 upper=1024 166.84/166.93 o 70 287.41/287.54 o 71 287.41/287.54 c 17 calls to solver: best=71 lower=72 upper=1024 2400.03/2400.70 2400.03/2400.70 c *** INTERRUPTED *** 2400.03/2400.70 s SATISFIABLE 2400.03/2400.70 c Best value found: 71 2400.03/2400.70 2400.03/2400.70 2400.03/2400.70 v <instantiation type='solution' cost='71'> 2400.03/2400.70 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z </list> 2400.03/2400.70 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 1 1 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 1 0 0 1 2 2 2 2 1 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-4239987-1500634331/watcher-4239987-1500634331 -o /tmp/evaluation-result-4239987-1500634331/solver-4239987-1500634331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239987-1500634331.xml pid=21087 running on 8 cores: 1,3,5,7,9,11,13,15 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.01 2.02 2.05 2/243 21090 /proc/meminfo: memFree=25038692/32770624 swapFree=6792/311180 [pid=21090] ppid=21087 vsize=27384 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1038 0 0 0 0 0 0 0 20 0 1 0 16847509 28041216 867 33554432000 4194304 5970956 140722012519904 140722012515176 140313520589797 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 6846 867 704 434 0 210 0 [startup+0.100118 s] /proc/loadavg: 2.01 2.02 2.05 2/243 21090 /proc/meminfo: memFree=25038692/32770624 swapFree=6792/311180 [pid=21090] ppid=21087 vsize=42524 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 4924 0 0 0 8 1 0 0 20 0 1 0 16847509 43544576 4716 33554432000 4194304 5970956 140722012519904 140722012512240 140313520589797 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 10631 4716 792 434 0 3995 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42524 [startup+0.20031 s] /proc/loadavg: 2.01 2.02 2.05 2/243 21090 /proc/meminfo: memFree=25038692/32770624 swapFree=6792/311180 [pid=21090] ppid=21087 vsize=44364 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 5380 0 0 0 18 1 0 0 20 0 1 0 16847509 45428736 5206 33554432000 4194304 5970956 140722012519904 140722012513736 140313520589797 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 11091 5206 792 434 0 4455 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 44364 [startup+0.300222 s] /proc/loadavg: 2.01 2.02 2.05 2/243 21090 /proc/meminfo: memFree=25038692/32770624 swapFree=6792/311180 [pid=21090] ppid=21087 vsize=81596 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 12833 0 0 0 27 2 0 0 20 0 1 0 16847509 83554304 13648 33554432000 4194304 5970956 140722012519904 140722012517032 140313520658987 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 20399 13648 839 434 0 13763 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 81596 [startup+0.700268 s] /proc/loadavg: 2.01 2.02 2.05 2/243 21090 /proc/meminfo: memFree=25038692/32770624 swapFree=6792/311180 [pid=21090] ppid=21087 vsize=341120 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 44106 0 0 0 62 7 0 0 20 0 1 0 16847509 349306880 66409 33554432000 4194304 5970956 140722012519904 140722012517032 140313520595864 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 85280 66409 839 434 0 78644 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 341120 [startup+1.50026 s] /proc/loadavg: 2.01 2.02 2.05 3/244 21091 /proc/meminfo: memFree=24567996/32770624 swapFree=6792/311204 [pid=21090] ppid=21087 vsize=848360 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 99656 0 0 0 132 17 0 0 20 0 1 0 16847509 868720640 169478 33554432000 4194304 5970956 140722012519904 140722012516728 140313520659440 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 212090 169478 839 434 0 205454 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 848360 [startup+3.10026 s] /proc/loadavg: 2.01 2.02 2.05 3/244 21091 /proc/meminfo: memFree=24005936/32770624 swapFree=6792/311204 [pid=21090] ppid=21087 vsize=1975368 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 206276 0 0 0 271 38 0 0 20 0 1 0 16847509 2022776832 371894 33554432000 4194304 5970956 140722012519904 140722012516728 140313520658987 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 493842 371960 839 434 0 487206 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1975368 [startup+6.30026 s] /proc/loadavg: 2.01 2.02 2.05 3/244 21091 /proc/meminfo: memFree=22348992/32770624 swapFree=6792/311216 [pid=21090] ppid=21087 vsize=3527124 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 410759 0 0 0 552 76 0 0 20 0 1 0 16847509 3611774976 769857 33554432000 4194304 5970956 140722012519904 140722012516728 5251805 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 881781 769857 839 434 0 875145 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 3527124 [startup+12.7003 s] /proc/loadavg: 2.01 2.02 2.05 3/244 21091 /proc/meminfo: memFree=21374220/32770624 swapFree=6792/311224 [pid=21090] ppid=21087 vsize=4013084 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 499021 0 0 0 1177 91 0 0 20 0 1 0 16847509 4109398016 915178 33554432000 4194304 5970956 140722012519904 140722012517240 5337509 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1003271 915178 853 434 0 996635 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4013084 [startup+25.5003 s] /proc/loadavg: 2.08 2.03 2.05 3/244 21091 /proc/meminfo: memFree=21357028/32770624 swapFree=6792/311240 [pid=21090] ppid=21087 vsize=4027744 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 522274 0 0 0 2455 93 0 0 20 0 1 0 16847509 4124409856 919367 33554432000 4194304 5970956 140722012519904 140722012516776 5038618 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1006936 919367 855 434 0 1000300 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 4027744 [startup+51.1004 s] /proc/loadavg: 2.06 2.03 2.05 3/244 21091 /proc/meminfo: memFree=21353188/32770624 swapFree=6792/311248 [pid=21090] ppid=21087 vsize=4029436 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 538395 0 0 0 5013 94 0 0 20 0 1 0 16847509 4126142464 920283 33554432000 4194304 5970956 140722012519904 140722012517240 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1007359 920283 855 434 0 1000723 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 4029436 [startup+102.3 s] /proc/loadavg: 2.10 2.04 2.05 3/244 21092 /proc/meminfo: memFree=21345832/32770624 swapFree=6792/311296 [pid=21090] ppid=21087 vsize=4034812 CPUtime=102.26 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 566135 0 0 0 10130 96 0 0 20 0 1 0 16847509 4131647488 922126 33554432000 4194304 5970956 140722012519904 140722012516776 4930560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1008703 922126 855 434 0 1002067 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 4034812 [startup+162.3 s] /proc/loadavg: 2.04 2.03 2.05 3/244 21093 /proc/meminfo: memFree=21336888/32770624 swapFree=6792/311344 [pid=21090] ppid=21087 vsize=4039428 CPUtime=162.24 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 597262 0 0 0 16126 98 0 0 20 0 1 0 16847509 4136374272 924323 33554432000 4194304 5970956 140722012519904 140722012517464 5272668 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009857 924323 855 434 0 1003221 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 4039428 [startup+222.308 s] /proc/loadavg: 2.01 2.03 2.05 3/243 21095 /proc/meminfo: memFree=21334480/32770624 swapFree=6792/311400 [pid=21090] ppid=21087 vsize=4039684 CPUtime=222.23 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 624049 0 0 0 22123 100 0 0 20 0 1 0 16847509 4136636416 924893 33554432000 4194304 5970956 140722012519904 140722012517240 5319868 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009921 924893 855 434 0 1003285 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 4039684 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 21096 /proc/meminfo: memFree=21334344/32770624 swapFree=6792/311440 [pid=21090] ppid=21087 vsize=4039684 CPUtime=282.21 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 648075 0 0 0 28120 101 0 0 20 0 1 0 16847509 4136636416 924893 33554432000 4194304 5970956 140722012519904 140722012517240 5040409 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009921 924893 855 434 0 1003285 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 4039684 [startup+342.3 s] /proc/loadavg: 2.08 2.03 2.05 3/243 21097 /proc/meminfo: memFree=21333592/32770624 swapFree=6792/311484 [pid=21090] ppid=21087 vsize=4039796 CPUtime=342.19 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 668260 0 0 0 34116 103 0 0 20 0 1 0 16847509 4136751104 924916 33554432000 4194304 5970956 140722012519904 140722012517240 4930654 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 924916 855 434 0 1003313 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 4039796 [startup+402.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 21099 /proc/meminfo: memFree=21333820/32770624 swapFree=6792/311516 [pid=21090] ppid=21087 vsize=4039796 CPUtime=402.18 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 683896 0 0 0 40114 104 0 0 20 0 1 0 16847509 4136751104 924916 33554432000 4194304 5970956 140722012519904 140722012517240 4930544 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 924916 855 434 0 1003313 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 4039796 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 21100 /proc/meminfo: memFree=21331272/32770624 swapFree=6792/311552 [pid=21090] ppid=21087 vsize=4039796 CPUtime=462.17 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 698174 0 0 0 46112 105 0 0 20 0 1 0 16847509 4136751104 925429 33554432000 4194304 5970956 140722012519904 140722012517240 4930544 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 925429 855 434 0 1003313 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 4039796 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 21109 /proc/meminfo: memFree=21330608/32770624 swapFree=6792/311600 [pid=21090] ppid=21087 vsize=4039796 CPUtime=522.15 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 716477 0 0 0 52109 106 0 0 20 0 1 0 16847509 4136751104 925429 33554432000 4194304 5970956 140722012519904 140722012517240 4930611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 925429 855 434 0 1003313 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 4039796 [startup+582.3 s] /proc/loadavg: 2.15 2.05 2.06 3/245 21133 /proc/meminfo: memFree=21328528/32770624 swapFree=6792/311644 [pid=21090] ppid=21087 vsize=4039796 CPUtime=582.13 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 731456 0 0 0 58106 107 0 0 20 0 1 0 16847509 4136751104 925429 33554432000 4194304 5970956 140722012519904 140722012517240 5322040 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 925429 855 434 0 1003313 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 4039796 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 1.93 2.00 2.04 3/243 21223 /proc/meminfo: memFree=28008640/32770624 swapFree=6792/311948 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1541.89 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 949667 0 0 0 154067 122 0 0 20 0 1 0 16847509 4136751104 925430 33554432000 4194304 5970956 140722012519904 140722012517240 4930654 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 925430 855 434 0 1003313 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 4039796 [startup+1602.3 s] /proc/loadavg: 1.97 2.00 2.04 3/243 21224 /proc/meminfo: memFree=27677588/32770624 swapFree=6792/312320 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1601.86 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 959319 0 0 0 160063 123 0 0 20 0 1 0 16847509 4136751104 926892 33554432000 4194304 5970956 140722012519904 140722012517240 4930611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 926892 855 434 0 1003313 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 4039796 [startup+1662.3 s] /proc/loadavg: 1.99 2.00 2.04 3/243 21225 /proc/meminfo: memFree=27669244/32770624 swapFree=6792/312384 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1661.85 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 972177 0 0 0 166061 124 0 0 20 0 1 0 16847509 4136751104 928765 33554432000 4194304 5970956 140722012519904 140722012517240 4930672 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 928765 855 434 0 1003313 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 4039796 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 21234 /proc/meminfo: memFree=27661644/32770624 swapFree=6792/312420 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1721.83 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 976335 0 0 0 172059 124 0 0 20 0 1 0 16847509 4136751104 930521 33554432000 4194304 5970956 140722012519904 140722012517240 4930640 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 930521 855 434 0 1003313 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 4039796 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 21235 /proc/meminfo: memFree=27653624/32770624 swapFree=6792/312420 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1781.81 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 985224 0 0 0 178056 125 0 0 20 0 1 0 16847509 4136751104 932509 33554432000 4194304 5970956 140722012519904 140722012517240 4930611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 932509 855 434 0 1003313 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 4039796 [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 21236 /proc/meminfo: memFree=27645864/32770624 swapFree=6792/312420 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1841.79 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 988584 0 0 0 184054 125 0 0 20 0 1 0 16847509 4136751104 934491 33554432000 4194304 5970956 140722012519904 140722012517240 4930640 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 934491 855 434 0 1003313 0 Current children cumulated CPU time (s) 1841.79 Current children cumulated vsize (KiB) 4039796 [startup+1902.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 21237 /proc/meminfo: memFree=27637904/32770624 swapFree=6792/312420 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1901.77 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 999352 0 0 0 190051 126 0 0 20 0 1 0 16847509 4136751104 936420 33554432000 4194304 5970956 140722012519904 140722012517240 4930611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 936420 855 434 0 1003313 0 Current children cumulated CPU time (s) 1901.77 Current children cumulated vsize (KiB) 4039796 [startup+1962.3 s] /proc/loadavg: 2.03 2.01 2.05 3/244 21238 /proc/meminfo: memFree=27630240/32770624 swapFree=6792/312572 [pid=21090] ppid=21087 vsize=4039796 CPUtime=1961.74 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1003535 0 0 0 196048 126 0 0 20 0 1 0 16847509 4136751104 938395 33554432000 4194304 5970956 140722012519904 140722012517240 4930654 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 938395 855 434 0 1003313 0 Current children cumulated CPU time (s) 1961.74 Current children cumulated vsize (KiB) 4039796 [startup+2022.3 s] /proc/loadavg: 2.01 2.01 2.05 3/243 21240 /proc/meminfo: memFree=27621744/32770624 swapFree=6792/312572 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2021.73 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1014634 0 0 0 202046 127 0 0 20 0 1 0 16847509 4136751104 940516 33554432000 4194304 5970956 140722012519904 140722012517240 5038350 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 940516 855 434 0 1003313 0 Current children cumulated CPU time (s) 2021.73 Current children cumulated vsize (KiB) 4039796 [startup+2082.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 21241 /proc/meminfo: memFree=27613616/32770624 swapFree=6792/312572 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2081.72 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1018169 0 0 0 208044 128 0 0 20 0 1 0 16847509 4136751104 942580 33554432000 4194304 5970956 140722012519904 140722012517240 4930611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 942580 855 434 0 1003313 0 Current children cumulated CPU time (s) 2081.72 Current children cumulated vsize (KiB) 4039796 [startup+2142.3 s] /proc/loadavg: 2.09 2.04 2.05 3/243 21242 /proc/meminfo: memFree=27604896/32770624 swapFree=6792/312572 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2141.7 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1022904 0 0 0 214042 128 0 0 20 0 1 0 16847509 4136751104 944648 33554432000 4194304 5970956 140722012519904 140722012517240 4930544 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 944648 855 434 0 1003313 0 Current children cumulated CPU time (s) 2141.7 Current children cumulated vsize (KiB) 4039796 [startup+2202.31 s] /proc/loadavg: 2.03 2.03 2.05 3/243 21244 /proc/meminfo: memFree=27596100/32770624 swapFree=6792/312572 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2201.69 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1031085 0 0 0 220040 129 0 0 20 0 1 0 16847509 4136751104 946763 33554432000 4194304 5970956 140722012519904 140722012517240 4930654 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 946763 855 434 0 1003313 0 Current children cumulated CPU time (s) 2201.69 Current children cumulated vsize (KiB) 4039796 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 21245 /proc/meminfo: memFree=27587828/32770624 swapFree=6792/312792 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2261.66 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1037314 0 0 0 226037 129 0 0 20 0 1 0 16847509 4136751104 948980 33554432000 4194304 5970956 140722012519904 140722012517240 5039186 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 948980 855 434 0 1003313 0 Current children cumulated CPU time (s) 2261.66 Current children cumulated vsize (KiB) 4039796 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 21253 /proc/meminfo: memFree=27579024/32770624 swapFree=6792/312804 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2321.64 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1049086 0 0 0 232034 130 0 0 20 0 1 0 16847509 4136751104 951050 33554432000 4194304 5970956 140722012519904 140722012517240 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 951050 855 434 0 1003313 0 Current children cumulated CPU time (s) 2321.64 Current children cumulated vsize (KiB) 4039796 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 21254 /proc/meminfo: memFree=27569624/32770624 swapFree=6792/312804 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2381.63 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1053649 0 0 0 238032 131 0 0 20 0 1 0 16847509 4136751104 953269 33554432000 4194304 5970956 140722012519904 140722012517240 4930611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 953269 855 434 0 1003313 0 Current children cumulated CPU time (s) 2381.63 Current children cumulated vsize (KiB) 4039796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.7 s] /proc/loadavg: 2.07 2.03 2.05 3/243 21254 /proc/meminfo: memFree=27566632/32770624 swapFree=6792/312804 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1053839 0 0 0 239872 131 0 0 20 0 1 0 16847509 4136751104 954010 33554432000 4194304 5970956 140722012519904 140722012517240 4964397 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 954010 855 434 0 1003313 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 4039796 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 21090 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.7 s] /proc/loadavg: 2.07 2.03 2.05 3/243 21254 /proc/meminfo: memFree=27566632/32770624 swapFree=6792/312804 [pid=21090] ppid=21087 vsize=4039796 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15 /proc/21090/stat : 21090 (cosoco) R 21087 21090 17688 0 -1 4202496 1053839 0 0 0 239872 131 0 0 20 0 1 0 16847509 4136751104 954010 33554432000 4194304 5970956 140722012519904 140722012517240 4964397 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 15650816 140722012525756 140722012525891 140722012525891 140722012528590 0 /proc/21090/statm: 1009949 954010 855 434 0 1003313 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 4039796 Child status: 1 Real time (s): 2400.79 CPU time (s): 2400.13 CPU user time (s): 2398.73 CPU system time (s): 1.40064 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 4039816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.73 system time used= 1.40064 maximum resident set size= 3816088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1053913 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= 83 involuntary context switches= 120642 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.98249 second user time and 10.7986 second system time The end
Begin job on node112 at 2017-07-21 12:52:11 IDJOB=4239987 IDBENCH=115918 IDSOLVER=2621 FILE ID=node112/4239987-1500634331 RUNJOBID= node112-1500623784-17720 PBS_JOBID= 20623019 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239987-1500634331/watcher-4239987-1500634331 -o /tmp/evaluation-result-4239987-1500634331/solver-4239987-1500634331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239987-1500634331.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e RANDOM SEED=421077995 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.09 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 : 8 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 : 8 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 : 5334.09 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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 : 5334.09 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 : 8 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 : 8 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 : 5334.09 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 : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 25038756 kB MemAvailable: 25288876 kB Buffers: 138756 kB Cached: 391364 kB SwapCached: 0 kB Active: 6955292 kB Inactive: 319948 kB Active(anon): 6748060 kB Inactive(anon): 8768 kB Active(file): 207232 kB Inactive(file): 311180 kB Unevictable: 6792 kB Mlocked: 6800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2464 kB Writeback: 92 kB AnonPages: 6751664 kB Mapped: 34720 kB Shmem: 8848 kB Slab: 128032 kB SReclaimable: 95084 kB SUnreclaim: 32948 kB KernelStack: 4224 kB PageTables: 18644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8057312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1406976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62016 MiB End job on node112 at 2017-07-21 13:32:12