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.04 | 2400.41 |
| 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 |
3.19/3.25 c SAT : Variables: 53742 -- Clauses: 41317848 3.19/3.25 c best=?? lower=0 upper=729 7.99/8.01 c 7.99/8.01 c This is cosoco 1.0 -- 7.99/8.01 c 7.99/8.01 c enable optimization 7.99/8.01 c ========================================[ Problem Statistics ]=========================================== 7.99/8.01 c | 7.99/8.01 c | Parse time : 2.82 s 7.99/8.01 c | 7.99/8.01 c | Variables: 1712 7.99/8.01 c | Domain Sizes: 2..1683 7.99/8.01 c | 7.99/8.01 c | Constraints: 1120 7.99/8.01 c | Arity: 1..31 -- Unary: 117 -- Binary: 137 -- Ternary: 108 7.99/8.01 c | 7.99/8.01 c | Types: 7.99/8.01 c | : 104 7.99/8.01 c | Extension: 733 (nb tuples: 1..724) -- (shared: 832) 7.99/8.01 c | Intension: 137 7.99/8.01 c | Sum: 30 7.99/8.01 c | Unary: 116 7.99/8.01 c | 7.99/8.01 c ========================================================================================================= 7.99/8.01 o 6 7.99/8.01 c 1 calls to solver: best=6 lower=7 upper=729 8.49/8.57 o 7 8.99/9.01 o 8 8.99/9.01 c 3 calls to solver: best=8 lower=9 upper=729 9.19/9.20 o 9 9.39/9.40 o 10 9.39/9.40 c 5 calls to solver: best=10 lower=11 upper=729 10.58/10.62 o 11 13.39/13.49 o 25 13.39/13.49 c 7 calls to solver: best=25 lower=26 upper=729 72.37/72.45 o 27 72.96/73.06 o 28 72.96/73.06 c 9 calls to solver: best=28 lower=29 upper=729 73.77/73.86 o 31 73.97/74.05 o 33 73.97/74.05 c 11 calls to solver: best=33 lower=34 upper=729 74.27/74.35 o 34 74.47/74.59 o 35 74.47/74.59 c 13 calls to solver: best=35 lower=36 upper=729 74.67/74.80 o 36 74.87/74.99 o 37 74.87/74.99 c 15 calls to solver: best=37 lower=38 upper=729 75.36/75.46 o 38 76.46/76.51 o 40 76.46/76.51 c 17 calls to solver: best=40 lower=41 upper=729 76.97/77.04 o 43 77.16/77.26 o 44 77.16/77.26 c 19 calls to solver: best=44 lower=45 upper=729 77.36/77.46 o 47 80.16/80.24 o 48 80.16/80.24 c 21 calls to solver: best=48 lower=49 upper=729 83.57/83.67 o 49 443.57/443.76 o 50 443.57/443.76 c 23 calls to solver: best=50 lower=51 upper=729 802.52/802.78 o 51 840.22/840.47 o 52 840.22/840.47 c 25 calls to solver: best=52 lower=53 upper=729 895.91/896.10 o 53 2185.05/2185.43 o 54 2185.05/2185.43 c 27 calls to solver: best=54 lower=55 upper=729 2200.14/2200.52 o 55 2400.02/2400.40 2400.02/2400.40 c *** INTERRUPTED *** 2400.02/2400.40 s SATISFIABLE 2400.02/2400.40 c Best value found: 55 2400.02/2400.40 2400.02/2400.40 2400.02/2400.40 v <instantiation type='solution' cost='55'> 2400.02/2400.40 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.02/2400.40 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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
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-4239963-1500633480/watcher-4239963-1500633480 -o /tmp/evaluation-result-4239963-1500633480/solver-4239963-1500633480 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4006 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239963-1500633480.xml pid=6072 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6075 /proc/meminfo: memFree=32008348/32770624 swapFree=6264/18828 [pid=6075] ppid=6072 vsize=27120 CPUtime=0 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 16624597 27770880 802 33554432000 4194304 5970956 140722045473088 140722045469688 140666954611685 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 6780 802 698 434 0 144 0 [startup+0.100175 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6075 /proc/meminfo: memFree=32008348/32770624 swapFree=6264/18828 [pid=6075] ppid=6072 vsize=36088 CPUtime=0.09 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 3301 0 0 0 9 0 0 0 20 0 1 0 16624597 36954112 3142 33554432000 4194304 5970956 140722045473088 140722045465424 5170574 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 9022 3142 792 434 0 2386 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36088 [startup+0.200426 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6075 /proc/meminfo: memFree=32008348/32770624 swapFree=6264/18828 [pid=6075] ppid=6072 vsize=37600 CPUtime=0.19 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 3709 0 0 0 19 0 0 0 20 0 1 0 16624597 38502400 3534 33554432000 4194304 5970956 140722045473088 140722045466520 140666954611685 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 9400 3534 806 434 0 2764 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 37600 [startup+0.30034 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6075 /proc/meminfo: memFree=32008348/32770624 swapFree=6264/18828 [pid=6075] ppid=6072 vsize=87132 CPUtime=0.29 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 13301 0 0 0 27 2 0 0 20 0 1 0 16624597 89223168 15129 33554432000 4194304 5970956 140722045473088 140722045469912 140666954680875 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 21783 15129 839 434 0 15147 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 87132 [startup+0.700349 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6075 /proc/meminfo: memFree=32008348/32770624 swapFree=6264/18828 [pid=6075] ppid=6072 vsize=336532 CPUtime=0.69 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 45197 0 0 0 60 9 0 0 20 0 1 0 16624597 344608768 71065 33554432000 4194304 5970956 140722045473088 140722045469912 140666954617752 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 84133 71065 839 434 0 77497 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 336532 [startup+1.50035 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6076 /proc/meminfo: memFree=31505320/32770624 swapFree=6264/18808 [pid=6075] ppid=6072 vsize=837088 CPUtime=1.49 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 103468 0 0 0 128 21 0 0 20 0 1 0 16624597 857178112 180434 33554432000 4194304 5970956 140722045473088 140722045469912 140666954680875 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 209306 180434 839 434 0 202670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 837088 [startup+3.10035 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6076 /proc/meminfo: memFree=30911332/32770624 swapFree=6264/18808 [pid=6075] ppid=6072 vsize=1951444 CPUtime=3.09 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 215424 0 0 0 268 41 0 0 20 0 1 0 16624597 1998278656 394192 33554432000 4194304 5970956 140722045473088 140722045469912 140666954680875 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 487861 394192 839 434 0 481225 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1951444 [startup+6.30034 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6076 /proc/meminfo: memFree=30340384/32770624 swapFree=6264/18832 [pid=6075] ppid=6072 vsize=2004064 CPUtime=6.29 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 238263 0 0 0 586 43 0 0 20 0 1 0 16624597 2052161536 417675 33554432000 4194304 5970956 140722045473088 140722045470088 4930560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 501016 417675 853 434 0 494380 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 2004064 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6076 /proc/meminfo: memFree=30333068/32770624 swapFree=6264/18840 [pid=6075] ppid=6072 vsize=2007800 CPUtime=12.69 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 281554 0 0 0 1224 45 0 0 20 0 1 0 16624597 2055987200 418625 33554432000 4194304 5970956 140722045473088 140722045470648 5040409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 501950 418625 855 434 0 495314 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 2007800 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6076 /proc/meminfo: memFree=30330028/32770624 swapFree=6264/18848 [pid=6075] ppid=6072 vsize=2008472 CPUtime=25.49 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 295302 0 0 0 2503 46 0 0 20 0 1 0 16624597 2056675328 419304 33554432000 4194304 5970956 140722045473088 140722045470424 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 502118 419304 855 434 0 495482 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 2008472 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6076 /proc/meminfo: memFree=30325096/32770624 swapFree=6264/18864 [pid=6075] ppid=6072 vsize=2010260 CPUtime=51.07 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 315494 0 0 0 5061 46 0 0 20 0 1 0 16624597 2058506240 420253 33554432000 4194304 5970956 140722045473088 140722045470424 4930544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 502565 420253 855 434 0 495929 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 2010260 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6077 /proc/meminfo: memFree=30317712/32770624 swapFree=6264/18908 [pid=6075] ppid=6072 vsize=2012536 CPUtime=102.27 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 357088 0 0 0 10177 50 0 0 20 0 1 0 16624597 2060836864 421865 33554432000 4194304 5970956 140722045473088 140722045470648 5322040 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503134 421865 855 434 0 496498 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 2012536 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6146 /proc/meminfo: memFree=30305316/32770624 swapFree=6264/18996 [pid=6075] ppid=6072 vsize=2012536 CPUtime=162.24 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 391388 0 0 0 16173 51 0 0 20 0 1 0 16624597 2060836864 421865 33554432000 4194304 5970956 140722045473088 140722045470648 4930648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503134 421865 855 434 0 496498 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 2012536 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6147 /proc/meminfo: memFree=30305608/32770624 swapFree=6264/19048 [pid=6075] ppid=6072 vsize=2012672 CPUtime=222.23 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 411379 0 0 0 22171 52 0 0 20 0 1 0 16624597 2060976128 421879 33554432000 4194304 5970956 140722045473088 140722045469960 5093233 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503168 421879 855 434 0 496532 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 2012672 [startup+282.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 6148 /proc/meminfo: memFree=30305312/32770624 swapFree=6264/19080 [pid=6075] ppid=6072 vsize=2012672 CPUtime=282.22 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 419531 0 0 0 28169 53 0 0 20 0 1 0 16624597 2060976128 421885 33554432000 4194304 5970956 140722045473088 140722045469960 5052093 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503168 421885 855 434 0 496532 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 2012672 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6279 /proc/meminfo: memFree=28132088/32770624 swapFree=6264/19176 [pid=6075] ppid=6072 vsize=2012672 CPUtime=342.19 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 436271 0 0 0 34166 53 0 0 20 0 1 0 16624597 2060976128 421886 33554432000 4194304 5970956 140722045473088 140722045469960 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503168 421886 855 434 0 496532 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 2012672 [startup+402.3 s] /proc/loadavg: 2.12 2.05 2.05 3/187 6280 /proc/meminfo: memFree=28123928/32770624 swapFree=6264/19220 [pid=6075] ppid=6072 vsize=2012672 CPUtime=402.18 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 452307 0 0 0 40164 54 0 0 20 0 1 0 16624597 2060976128 421886 33554432000 4194304 5970956 140722045473088 140722045469960 4964340 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503168 421886 855 434 0 496532 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 2012672 [startup+462.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 6281 /proc/meminfo: memFree=28119368/32770624 swapFree=6264/19268 [pid=6075] ppid=6072 vsize=2012672 CPUtime=462.18 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 472447 0 0 0 46163 55 0 0 20 0 1 0 16624597 2060976128 421907 33554432000 4194304 5970956 140722045473088 140722045460392 4930654 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503168 421907 855 434 0 496532 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 2012672 [startup+522.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 6282 /proc/meminfo: memFree=28117800/32770624 swapFree=6264/19312 [pid=6075] ppid=6072 vsize=2012796 CPUtime=522.16 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 479722 0 0 0 52161 55 0 0 20 0 1 0 16624597 2061103104 421911 33554432000 4194304 5970956 140722045473088 140722045470424 5327364 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 421911 855 434 0 496563 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 2012796 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6283 /proc/meminfo: memFree=28118812/32770624 swapFree=6264/19348 [pid=6075] ppid=6072 vsize=2012796 CPUtime=582.15 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 485615 0 0 0 58159 56 0 0 20 0 1 0 16624597 2061103104 421921 33554432000 4194304 5970956 140722045473088 140722045470424 4934028 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 421921 855 434 0 496563 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 2012796 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.04 2.04 2.05 3/188 6337 /proc/meminfo: memFree=28115952/32770624 swapFree=6264/19892 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1482.03 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 521824 0 0 0 148146 57 0 0 20 0 1 0 16624597 2061103104 421926 33554432000 4194304 5970956 140722045473088 140722045470648 4965059 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 421926 855 434 0 496563 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 2012796 [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.05 3/188 6338 /proc/meminfo: memFree=28116660/32770624 swapFree=6264/19936 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1542.03 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 523395 0 0 0 154146 57 0 0 20 0 1 0 16624597 2061103104 421926 33554432000 4194304 5970956 140722045473088 140722045470648 4930640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 421926 855 434 0 496563 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 2012796 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.05 3/188 6339 /proc/meminfo: memFree=28116316/32770624 swapFree=6264/19964 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1602.02 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 524366 0 0 0 160145 57 0 0 20 0 1 0 16624597 2061103104 421926 33554432000 4194304 5970956 140722045473088 140722045470648 5337509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 421926 855 434 0 496563 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 2012796 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 6340 /proc/meminfo: memFree=28114820/32770624 swapFree=6264/19992 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1662.01 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 526105 0 0 0 166144 57 0 0 20 0 1 0 16624597 2061103104 422438 33554432000 4194304 5970956 140722045473088 140722045470648 5070237 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422438 855 434 0 496563 0 Current children cumulated CPU time (s) 1662.01 Current children cumulated vsize (KiB) 2012796 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6341 /proc/meminfo: memFree=28114772/32770624 swapFree=6264/20024 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1722 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 527103 0 0 0 172143 57 0 0 20 0 1 0 16624597 2061103104 422438 33554432000 4194304 5970956 140722045473088 140722045470648 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422438 855 434 0 496563 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 2012796 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6342 /proc/meminfo: memFree=28114300/32770624 swapFree=6264/20048 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1781.99 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 528867 0 0 0 178142 57 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 4908985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 1781.99 Current children cumulated vsize (KiB) 2012796 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6343 /proc/meminfo: memFree=28114332/32770624 swapFree=6264/20088 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1841.99 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 529976 0 0 0 184141 58 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 4908952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 1841.99 Current children cumulated vsize (KiB) 2012796 [startup+1902.3 s] /proc/loadavg: 2.05 2.03 2.05 3/186 6344 /proc/meminfo: memFree=28115772/32770624 swapFree=6264/20112 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1901.98 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 531042 0 0 0 190140 58 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 1901.98 Current children cumulated vsize (KiB) 2012796 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 6354 /proc/meminfo: memFree=28114392/32770624 swapFree=6264/20120 [pid=6075] ppid=6072 vsize=2012796 CPUtime=1961.98 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 531979 0 0 0 196140 58 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 5322024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 1961.98 Current children cumulated vsize (KiB) 2012796 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 6355 /proc/meminfo: memFree=28114644/32770624 swapFree=6264/20152 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2021.97 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 533471 0 0 0 202139 58 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 5039683 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 2021.97 Current children cumulated vsize (KiB) 2012796 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 6356 /proc/meminfo: memFree=28114448/32770624 swapFree=6264/20176 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2081.96 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 534379 0 0 0 208138 58 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 2081.96 Current children cumulated vsize (KiB) 2012796 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 6357 /proc/meminfo: memFree=28114228/32770624 swapFree=6264/20220 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2141.95 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 535278 0 0 0 214137 58 0 0 20 0 1 0 16624597 2061103104 422439 33554432000 4194304 5970956 140722045473088 140722045470648 4930560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422439 855 434 0 496563 0 Current children cumulated CPU time (s) 2141.95 Current children cumulated vsize (KiB) 2012796 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/188 6358 /proc/meminfo: memFree=28114188/32770624 swapFree=6264/20252 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2201.95 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 537395 0 0 0 220137 58 0 0 20 0 1 0 16624597 2061103104 422452 33554432000 4194304 5970956 140722045473088 140722045470648 5038696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422452 855 434 0 496563 0 Current children cumulated CPU time (s) 2201.95 Current children cumulated vsize (KiB) 2012796 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6359 /proc/meminfo: memFree=28114732/32770624 swapFree=6264/20280 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2261.93 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 538426 0 0 0 226135 58 0 0 20 0 1 0 16624597 2061103104 422452 33554432000 4194304 5970956 140722045473088 140722045470648 4930611 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422452 855 434 0 496563 0 Current children cumulated CPU time (s) 2261.93 Current children cumulated vsize (KiB) 2012796 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6360 /proc/meminfo: memFree=28114096/32770624 swapFree=6264/20316 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2321.93 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 539412 0 0 0 232135 58 0 0 20 0 1 0 16624597 2061103104 422452 33554432000 4194304 5970956 140722045473088 140722045470648 5069735 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422452 855 434 0 496563 0 Current children cumulated CPU time (s) 2321.93 Current children cumulated vsize (KiB) 2012796 [startup+2382.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 6361 /proc/meminfo: memFree=28114408/32770624 swapFree=6264/20344 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2381.92 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 541358 0 0 0 238134 58 0 0 20 0 1 0 16624597 2061103104 422455 33554432000 4194304 5970956 140722045473088 140722045470648 4934335 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422455 855 434 0 496563 0 Current children cumulated CPU time (s) 2381.92 Current children cumulated vsize (KiB) 2012796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 2.09 2.04 2.05 3/187 6361 /proc/meminfo: memFree=28114424/32770624 swapFree=6264/20356 [pid=6075] ppid=6072 vsize=2012796 CPUtime=2400.02 cores=0,2,4,6 /proc/6075/stat : 6075 (cosoco) R 6072 6075 3975 0 -1 4202496 541779 0 0 0 239944 58 0 0 20 0 1 0 16624597 2061103104 422455 33554432000 4194304 5970956 140722045473088 140722045470648 4934489 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27549696 140722045478076 140722045478211 140722045478211 140722045480910 0 /proc/6075/statm: 503199 422455 855 434 0 496563 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 2012796 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 6075 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.41 CPU time (s): 2400.04 CPU user time (s): 2399.44 CPU system time (s): 0.595923 CPU usage (%): 99.9846 Max. virtual memory (cumulated for all children) (KiB): 2012796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.44 system time used= 0.595923 maximum resident set size= 1689868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 541810 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= 106 involuntary context switches= 120682 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.72036 second user time and 8.8341 second system time The end
Begin job on node131 at 2017-07-21 12:38:00 IDJOB=4239963 IDBENCH=115900 IDSOLVER=2621 FILE ID=node131/4239963-1500633480 RUNJOBID= node131-1500623778-4006 PBS_JOBID= 20623002 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239963-1500633480/watcher-4239963-1500633480 -o /tmp/evaluation-result-4239963-1500633480/solver-4239963-1500633480 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4006 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239963-1500633480.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=433530372 node131.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 : 2000.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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.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.50 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 : 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 : 2133.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.50 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.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 32009200 kB MemAvailable: 32008852 kB Buffers: 96400 kB Cached: 176472 kB SwapCached: 0 kB Active: 250012 kB Inactive: 81912 kB Active(anon): 7056 kB Inactive(anon): 63084 kB Active(file): 242956 kB Inactive(file): 18828 kB Unevictable: 6264 kB Mlocked: 6264 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2324 kB Writeback: 0 kB AnonPages: 86780 kB Mapped: 34056 kB Shmem: 8852 kB Slab: 132848 kB SReclaimable: 107408 kB SUnreclaim: 25440 kB KernelStack: 3568 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 62020 MiB End job on node131 at 2017-07-21 13:18:01