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.03 | 2400.41 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
| MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 2519.5801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1954 |
| Number of constraints | 1139 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1923 |
| Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
| Number of extensional constraints | 957 |
| Number of intensional constraints | 146 |
| Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
4.39/4.41 c SAT : Variables: 65260 -- Clauses: 57647952 4.39/4.41 c best=?? lower=0 upper=841 11.19/11.26 c 11.19/11.26 c This is cosoco 1.0 -- 11.19/11.26 c 11.19/11.26 c enable optimization 11.19/11.26 c ========================================[ Problem Statistics ]=========================================== 11.19/11.26 c | 11.19/11.26 c | Parse time : 3.88 s 11.19/11.26 c | 11.19/11.26 c | Variables: 1954 11.19/11.26 c | Domain Sizes: 2..1923 11.19/11.26 c | 11.19/11.26 c | Constraints: 1260 11.19/11.26 c | Arity: 1..33 -- Unary: 125 -- Binary: 147 -- Ternary: 116 11.19/11.26 c | 11.19/11.26 c | Types: 11.19/11.26 c | : 112 11.19/11.26 c | Extension: 845 (nb tuples: 1..724) -- (shared: 952) 11.19/11.26 c | Intension: 147 11.19/11.26 c | Sum: 32 11.19/11.26 c | Unary: 124 11.19/11.26 c | 11.19/11.26 c ========================================================================================================= 11.19/11.26 o 8 11.19/11.26 c 1 calls to solver: best=8 lower=9 upper=841 11.88/11.96 o 11 12.38/12.44 o 12 12.38/12.44 c 3 calls to solver: best=12 lower=13 upper=841 13.19/13.23 o 15 15.49/15.51 o 16 15.49/15.51 c 5 calls to solver: best=16 lower=17 upper=841 15.89/15.94 o 22 53.18/53.22 o 23 53.18/53.22 c 7 calls to solver: best=23 lower=24 upper=841 102.27/102.34 o 24 102.97/103.07 o 25 102.97/103.07 c 9 calls to solver: best=25 lower=26 upper=841 104.37/104.43 o 26 104.97/105.09 o 27 104.97/105.09 c 11 calls to solver: best=27 lower=28 upper=841 105.37/105.41 o 31 111.27/111.38 o 32 111.27/111.38 c 13 calls to solver: best=32 lower=33 upper=841 112.97/113.06 o 33 121.96/122.06 o 34 121.96/122.06 c 15 calls to solver: best=34 lower=35 upper=841 123.86/123.91 o 37 166.06/166.13 o 39 166.06/166.13 c 17 calls to solver: best=39 lower=40 upper=841 171.16/171.29 o 40 190.56/190.61 o 42 190.56/190.61 c 19 calls to solver: best=42 lower=43 upper=841 207.86/207.92 o 43 372.03/372.17 o 44 372.03/372.17 c 21 calls to solver: best=44 lower=45 upper=841 392.03/392.17 o 45 441.43/441.59 o 46 441.43/441.59 c 23 calls to solver: best=46 lower=47 upper=841 539.61/539.75 o 47 1090.41/1090.63 o 48 1090.41/1090.63 c 25 calls to solver: best=48 lower=49 upper=841 1139.30/1139.52 o 49 1570.72/1571.07 o 50 1570.72/1571.07 c 27 calls to solver: best=50 lower=51 upper=841 1590.02/1590.37 o 51 2400.01/2400.40 2400.01/2400.40 c *** INTERRUPTED *** 2400.01/2400.40 s SATISFIABLE 2400.01/2400.40 c Best value found: 51 2400.01/2400.40 2400.01/2400.40 2400.01/2400.40 v <instantiation type='solution' cost='51'> 2400.01/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[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] z </list> 2400.01/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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 1 1 0 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239978-1500633793/watcher-4239978-1500633793 -o /tmp/evaluation-result-4239978-1500633793/solver-4239978-1500633793 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239978-1500633793.xml pid=6275 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 2.02 2.05 3/186 6278 /proc/meminfo: memFree=30322296/32770624 swapFree=6264/19120 [pid=6278] ppid=6275 vsize=27120 CPUtime=0 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 16655881 27770880 802 33554432000 4194304 5970956 140733369315280 140733369311928 140530271140837 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 6780 802 698 434 0 144 0 [startup+0.100157 s] /proc/loadavg: 2.02 2.02 2.05 3/186 6278 /proc/meminfo: memFree=30322296/32770624 swapFree=6264/19120 [pid=6278] ppid=6275 vsize=38384 CPUtime=0.09 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 3886 0 0 0 9 0 0 0 20 0 1 0 16655881 39305216 3716 33554432000 4194304 5970956 140733369315280 140733369309112 140530271140837 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 9596 3716 792 434 0 2960 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38384 [startup+0.20034 s] /proc/loadavg: 2.02 2.02 2.05 3/186 6278 /proc/meminfo: memFree=30322296/32770624 swapFree=6264/19120 [pid=6278] ppid=6275 vsize=40188 CPUtime=0.19 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 4360 0 0 0 19 0 0 0 20 0 1 0 16655881 41152512 4145 33554432000 4194304 5970956 140733369315280 140733369308712 140530271140837 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 10047 4145 806 434 0 3411 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 40188 [startup+0.300287 s] /proc/loadavg: 2.02 2.02 2.05 3/186 6278 /proc/meminfo: memFree=30322296/32770624 swapFree=6264/19120 [pid=6278] ppid=6275 vsize=87776 CPUtime=0.29 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 13024 0 0 0 27 2 0 0 20 0 1 0 16655881 89882624 14888 33554432000 4194304 5970956 140733369315280 140733369312104 5251805 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 21944 14888 839 434 0 15308 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 87776 [startup+0.700326 s] /proc/loadavg: 2.02 2.02 2.05 3/186 6278 /proc/meminfo: memFree=30322296/32770624 swapFree=6264/19120 [pid=6278] ppid=6275 vsize=322380 CPUtime=0.69 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 41866 0 0 0 62 7 0 0 20 0 1 0 16655881 330117120 67749 33554432000 4194304 5970956 140733369315280 140733369312104 140530271210027 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 80595 67749 839 434 0 73959 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 322380 [startup+1.5003 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6279 /proc/meminfo: memFree=29843108/32770624 swapFree=6264/19120 [pid=6278] ppid=6275 vsize=799880 CPUtime=1.49 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 94399 0 0 0 132 17 0 0 20 0 1 0 16655881 819077120 171900 33554432000 4194304 5970956 140733369315280 140733369312104 140530271210027 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 199970 171900 839 434 0 193334 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 799880 [startup+3.10032 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6279 /proc/meminfo: memFree=29276340/32770624 swapFree=6264/19148 [pid=6278] ppid=6275 vsize=1864612 CPUtime=3.08 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 194212 0 0 0 271 37 0 0 20 0 1 0 16655881 1909362688 374543 33554432000 4194304 5970956 140733369315280 140733369312104 140530271210027 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 466153 374543 839 434 0 459517 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1864612 [startup+6.3003 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6279 /proc/meminfo: memFree=28152876/32770624 swapFree=6264/19156 [pid=6278] ppid=6275 vsize=2293848 CPUtime=6.29 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 281819 0 0 0 576 53 0 0 20 0 1 0 16655881 2348900352 542740 33554432000 4194304 5970956 140733369315280 140733369312152 4908284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 573462 542740 853 434 0 566826 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 2293848 [startup+12.7003 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6279 /proc/meminfo: memFree=28135584/32770624 swapFree=6264/19164 [pid=6278] ppid=6275 vsize=2306768 CPUtime=12.68 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 308210 0 0 0 1214 54 0 0 20 0 1 0 16655881 2362130432 546040 33554432000 4194304 5970956 140733369315280 140733369302584 5040398 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 576692 546040 855 434 0 570056 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 2306768 [startup+25.5004 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6279 /proc/meminfo: memFree=28132460/32770624 swapFree=6264/19176 [pid=6278] ppid=6275 vsize=2308456 CPUtime=25.48 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 327484 0 0 0 2493 55 0 0 20 0 1 0 16655881 2363858944 546955 33554432000 4194304 5970956 140733369315280 140733369312616 4923017 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 577114 546955 855 434 0 570478 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 2308456 [startup+51.1004 s] /proc/loadavg: 2.09 2.04 2.05 3/187 6279 /proc/meminfo: memFree=28129140/32770624 swapFree=6264/19188 [pid=6278] ppid=6275 vsize=2309892 CPUtime=51.08 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 351703 0 0 0 5052 56 0 0 20 0 1 0 16655881 2365329408 547825 33554432000 4194304 5970956 140733369315280 140733369312616 5039473 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 577473 547825 855 434 0 570837 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 2309892 [startup+102.3 s] /proc/loadavg: 2.10 2.05 2.05 3/187 6280 /proc/meminfo: memFree=28120284/32770624 swapFree=6264/19224 [pid=6278] ppid=6275 vsize=2879916 CPUtime=102.27 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 384199 0 0 0 10169 58 0 0 20 0 1 0 16655881 2949033984 549993 33554432000 4194304 5970956 140733369315280 140733369312152 4930672 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 719979 549993 855 434 0 713343 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 2879916 [startup+162.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6281 /proc/meminfo: memFree=28118540/32770624 swapFree=6264/19276 [pid=6278] ppid=6275 vsize=2880728 CPUtime=162.26 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 408014 0 0 0 16166 60 0 0 20 0 1 0 16655881 2949865472 550202 33554432000 4194304 5970956 140733369315280 140733369312840 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720182 550202 855 434 0 713546 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 2880728 [startup+222.306 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6282 /proc/meminfo: memFree=28118404/32770624 swapFree=6264/19316 [pid=6278] ppid=6275 vsize=2881008 CPUtime=222.26 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 434527 0 0 0 22164 62 0 0 20 0 1 0 16655881 2950152192 550284 33554432000 4194304 5970956 140733369315280 140733369312840 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720252 550284 855 434 0 713616 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 2881008 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6283 /proc/meminfo: memFree=28116896/32770624 swapFree=6264/19352 [pid=6278] ppid=6275 vsize=2881008 CPUtime=282.25 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 446065 0 0 0 28162 63 0 0 20 0 1 0 16655881 2950152192 550284 33554432000 4194304 5970956 140733369315280 140733369312840 5052085 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720252 550284 855 434 0 713616 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 2881008 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6284 /proc/meminfo: memFree=28117228/32770624 swapFree=6264/19388 [pid=6278] ppid=6275 vsize=2881120 CPUtime=342.23 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 472874 0 0 0 34159 64 0 0 20 0 1 0 16655881 2950266880 550287 33554432000 4194304 5970956 140733369315280 140733369312616 4930640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550287 855 434 0 713644 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 2881120 [startup+402.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 6285 /proc/meminfo: memFree=28117804/32770624 swapFree=6264/19424 [pid=6278] ppid=6275 vsize=2881120 CPUtime=402.23 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 495992 0 0 0 40157 66 0 0 20 0 1 0 16655881 2950266880 550294 33554432000 4194304 5970956 140733369315280 140733369312840 5327380 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550294 855 434 0 713644 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 2881120 [startup+462.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 6293 /proc/meminfo: memFree=28117064/32770624 swapFree=6264/19472 [pid=6278] ppid=6275 vsize=2881120 CPUtime=462.23 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 515932 0 0 0 46156 67 0 0 20 0 1 0 16655881 2950266880 550294 33554432000 4194304 5970956 140733369315280 140733369302584 4964366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550294 855 434 0 713644 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 2881120 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 6294 /proc/meminfo: memFree=28118116/32770624 swapFree=6264/19508 [pid=6278] ppid=6275 vsize=2881120 CPUtime=522.21 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 523057 0 0 0 52154 67 0 0 20 0 1 0 16655881 2950266880 550294 33554432000 4194304 5970956 140733369315280 140733369302584 4908967 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550294 855 434 0 713644 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 2881120 [startup+582.3 s] /proc/loadavg: 2.14 2.05 2.05 3/187 6295 /proc/meminfo: memFree=28117964/32770624 swapFree=6264/19544 [pid=6278] ppid=6275 vsize=2881120 CPUtime=582.21 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 547586 0 0 0 58152 69 0 0 20 0 1 0 16655881 2950266880 550296 33554432000 4194304 5970956 140733369315280 140733369312840 5327380 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550296 855 434 0 713644 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 2881120 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6342 /proc/meminfo: memFree=28114284/32770624 swapFree=6264/20056 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1482.04 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 692749 0 0 0 148125 79 0 0 20 0 1 0 16655881 2950266880 550825 33554432000 4194304 5970956 140733369315280 140733369312840 4930650 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550825 855 434 0 713644 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 2881120 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6343 /proc/meminfo: memFree=28114568/32770624 swapFree=6264/20092 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1542.03 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 699282 0 0 0 154124 79 0 0 20 0 1 0 16655881 2950266880 550829 33554432000 4194304 5970956 140733369315280 140733369312840 4930611 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550829 855 434 0 713644 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 2881120 [startup+1602.3 s] /proc/loadavg: 2.04 2.03 2.05 3/186 6344 /proc/meminfo: memFree=28115760/32770624 swapFree=6264/20120 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1602.01 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 714322 0 0 0 160121 80 0 0 20 0 1 0 16655881 2950266880 550834 33554432000 4194304 5970956 140733369315280 140733369312840 5337472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550834 855 434 0 713644 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 2881120 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 6354 /proc/meminfo: memFree=28114072/32770624 swapFree=6264/20128 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1662 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 715508 0 0 0 166120 80 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 5039135 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 2881120 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 6355 /proc/meminfo: memFree=28114504/32770624 swapFree=6264/20156 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1722 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 716591 0 0 0 172120 80 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4934357 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 2881120 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 6356 /proc/meminfo: memFree=28114252/32770624 swapFree=6264/20184 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1782 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 718247 0 0 0 178119 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 5327383 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 2881120 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 6357 /proc/meminfo: memFree=28114212/32770624 swapFree=6264/20224 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1841.99 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 719336 0 0 0 184118 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4930544 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 1841.99 Current children cumulated vsize (KiB) 2881120 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 6358 /proc/meminfo: memFree=28114296/32770624 swapFree=6264/20260 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1901.98 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 720512 0 0 0 190117 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 1901.98 Current children cumulated vsize (KiB) 2881120 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6359 /proc/meminfo: memFree=28114608/32770624 swapFree=6264/20288 [pid=6278] ppid=6275 vsize=2881120 CPUtime=1961.97 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 722320 0 0 0 196116 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 5337487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 1961.97 Current children cumulated vsize (KiB) 2881120 [startup+2022.3 s] /proc/loadavg: 2.08 2.03 2.05 3/187 6360 /proc/meminfo: memFree=28114096/32770624 swapFree=6264/20320 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2021.96 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 723191 0 0 0 202115 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4930560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2021.96 Current children cumulated vsize (KiB) 2881120 [startup+2082.3 s] /proc/loadavg: 2.10 2.04 2.05 3/187 6361 /proc/meminfo: memFree=28114408/32770624 swapFree=6264/20348 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2081.96 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 725040 0 0 0 208115 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2081.96 Current children cumulated vsize (KiB) 2881120 [startup+2142.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 6422 /proc/meminfo: memFree=18744576/32770624 swapFree=6264/20488 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2141.94 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 726221 0 0 0 214113 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4934366 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2141.94 Current children cumulated vsize (KiB) 2881120 [startup+2202.31 s] /proc/loadavg: 3.67 2.48 2.19 2/188 6424 /proc/meminfo: memFree=8728904/32770624 swapFree=6264/5966636 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2201.94 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 726961 0 0 0 220113 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4908171 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2201.94 Current children cumulated vsize (KiB) 2881120 [startup+2262.3 s] /proc/loadavg: 4.51 2.94 2.37 2/189 6433 /proc/meminfo: memFree=4059156/32770624 swapFree=6264/10463104 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2261.93 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 728555 0 0 0 226112 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 5038188 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2261.93 Current children cumulated vsize (KiB) 2881120 [startup+2322.3 s] /proc/loadavg: 4.82 3.31 2.53 2/189 6434 /proc/meminfo: memFree=187384/32770624 swapFree=6268/14224148 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2321.92 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 729275 0 0 0 232111 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 5039162 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2321.92 Current children cumulated vsize (KiB) 2881120 [startup+2382.3 s] /proc/loadavg: 5.22 3.71 2.72 3/189 6435 /proc/meminfo: memFree=199044/32770624 swapFree=6268/14264292 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2381.91 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 730016 0 0 0 238110 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 5052062 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2381.91 Current children cumulated vsize (KiB) 2881120 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 5.22 3.81 2.77 2/189 6436 /proc/meminfo: memFree=197392/32770624 swapFree=6268/14225712 [pid=6278] ppid=6275 vsize=2881120 CPUtime=2400.01 cores=1,3,5,7 /proc/6278/stat : 6278 (cosoco) R 6275 6278 3975 0 -1 4202496 730213 0 0 0 239920 81 0 0 20 0 1 0 16655881 2950266880 550836 33554432000 4194304 5970956 140733369315280 140733369312840 4908504 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 18522112 140733369320636 140733369320771 140733369320771 140733369323470 0 /proc/6278/statm: 720280 550836 855 434 0 713644 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 2881120 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 6278 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.03 CPU user time (s): 2399.2 CPU system time (s): 0.825884 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 2881120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.2 system time used= 0.825884 maximum resident set size= 2203392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 730246 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= 84 involuntary context switches= 120677 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.64534 second user time and 9.63403 second system time The end
Begin job on node131 at 2017-07-21 12:43:13 IDJOB=4239978 IDBENCH=115913 IDSOLVER=2621 FILE ID=node131/4239978-1500633793 RUNJOBID= node131-1500623778-4007 PBS_JOBID= 20623002 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239978-1500633793/watcher-4239978-1500633793 -o /tmp/evaluation-result-4239978-1500633793/solver-4239978-1500633793 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239978-1500633793.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=2125964108 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2400.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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 : 2668.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 : 2133.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: 30322912 kB MemAvailable: 30322492 kB Buffers: 96668 kB Cached: 176868 kB SwapCached: 0 kB Active: 1929760 kB Inactive: 82204 kB Active(anon): 1687156 kB Inactive(anon): 63084 kB Active(file): 242604 kB Inactive(file): 19120 kB Unevictable: 6264 kB Mlocked: 6264 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2468 kB Writeback: 0 kB AnonPages: 1744828 kB Mapped: 34756 kB Shmem: 8852 kB Slab: 132940 kB SReclaimable: 107384 kB SUnreclaim: 25556 kB KernelStack: 3360 kB PageTables: 8032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2313316 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 675840 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= 52060 MiB End job on node131 at 2017-07-21 13:23:14