Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco 1.1 | No Cert. | 2400.03 | 2400.8 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml |
| MD5SUM | f7605bb50abdbd05cc6d9fedf17196d1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 398 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1831 |
| Number of constraints | 1072 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1801 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}] |
| Number of extensional constraints | 896 |
| Number of intensional constraints | 141 |
| Distribution of constraint types | [{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.19/0.26 c best=?? lower=0 upper=784 1.78/1.85 c 1.78/1.85 c This is cosoco 1.0 -- 1.78/1.85 c 1.78/1.85 c enable optimization 1.78/1.85 c ========================================[ Problem Statistics ]=========================================== 1.78/1.85 c | 1.78/1.85 c | Parse time : 0.25 s 1.78/1.85 c | 1.78/1.85 c | Variables: 1831 1.78/1.85 c | Domain Sizes: 2..1801 1.78/1.85 c | 1.78/1.85 c | Constraints: 1189 1.78/1.85 c | Arity: 1..32 -- Unary: 121 -- Binary: 142 -- Ternary: 112 1.78/1.85 c | 1.78/1.85 c | Types: 1.78/1.85 c | : 108 1.78/1.85 c | Extension: 788 (nb tuples: 1..724) -- (shared: 891) 1.78/1.85 c | Intension: 142 1.78/1.85 c | Sum: 31 1.78/1.85 c | Unary: 120 1.78/1.85 c | 1.78/1.85 c ========================================================================================================= 1.78/1.85 o 45 1.78/1.85 c 1 calls to solver: best=45 lower=46 upper=784 3.88/3.91 o 55 4.49/4.51 o 56 4.49/4.51 c 3 calls to solver: best=56 lower=57 upper=784 8.79/8.84 o 60 1053.57/1053.98 o 62 1053.57/1053.98 c 5 calls to solver: best=62 lower=63 upper=784 1475.68/1476.29 o 63 1504.67/1505.21 o 64 1504.67/1505.21 c 7 calls to solver: best=64 lower=65 upper=784 1510.07/1510.66 o 65 1523.46/1524.00 o 66 1523.46/1524.00 c 9 calls to solver: best=66 lower=67 upper=784 1539.16/1539.75 o 69 1655.33/1655.90 o 70 1655.33/1655.90 c 11 calls to solver: best=70 lower=71 upper=784 2400.02/2400.80 2400.02/2400.80 c *** INTERRUPTED *** 2400.02/2400.80 s SATISFIABLE 2400.02/2400.80 c Best value found: 70 2400.02/2400.80 2400.02/2400.80 2400.02/2400.80 v <instantiation type='solution' cost='70'> 2400.02/2400.80 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list> 2400.02/2400.80 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 2 2 2 2 1 0 0 1 2 2 2 2 1 1 2 2 2 2 2 1 1 0 1 2 2 2 2 2 1 1 2 2 2 2 1 0 0 1 2 2 2 1 0 1 1 2 2 2 2 2 0 0 1 2 2 2 1 1 1 1 1 1 2 2 2 1 1 2 1 1 2 1 0 0 2 2 2 2 2 1 1 0 1 1 2 1 0 0 0 0 0 1 1 2 2 2 2 1 0 0 1 2 0 0 1 2 2 2 2 2 0 1 0 0 1 1 0 0 0 0 0 0 1 1 2 2 2 1 0 0 1 1 1 0 1 2 2 2 2 2 2 1 0 1 1 2 1 1 1 1 0 1 0 0 1 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 1 1 2 2 2 2 2 1 0 0 1 2 2 2 2 2 1 1 2 2 2 1 1 2 0 1 2 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2 2 2 1 0 1 1 1 2 2 0 0 0 1 2 2 2 2 1 1 2 2 1 0 1 1 1 2 2 2 2 2 2 1 1 0 0 1 1 2 2 1 1 2 2 2 2 2 1 1 2 2 1 1 0 0 1 1 2 2 1 1 2 2 1 1 1 0 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 1 0 1 2 1 0 0 0 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 1 0 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1
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-4239965-1500633846/watcher-4239965-1500633846 -o /tmp/evaluation-result-4239965-1500633846/solver-4239965-1500633846 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5656 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239965-1500633846.xml pid=6924 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.01 2.03 2.05 3/187 6927 /proc/meminfo: memFree=30783264/32770624 swapFree=6912/388952 [pid=6927] ppid=6924 vsize=27120 CPUtime=0 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 16807544 27770880 802 33554432000 4194304 5970956 140730244043968 140730244040616 140456256711653 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 6780 802 698 434 0 144 0 [startup+0.100163 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6927 /proc/meminfo: memFree=30783264/32770624 swapFree=6912/388952 [pid=6927] ppid=6924 vsize=36904 CPUtime=0.09 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 3530 0 0 0 8 1 0 0 20 0 1 0 16807544 37789696 3347 33554432000 4194304 5970956 140730244043968 140730244036304 140456256711653 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 9226 3347 782 434 0 2590 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36904 [startup+0.200387 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6927 /proc/meminfo: memFree=30783264/32770624 swapFree=6912/388952 [pid=6927] ppid=6924 vsize=38168 CPUtime=0.19 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 3841 0 0 0 18 1 0 0 20 0 1 0 16807544 39084032 3661 33554432000 4194304 5970956 140730244043968 140730244037800 140456256711653 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 9542 3661 792 434 0 2906 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 38168 [startup+0.300249 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6927 /proc/meminfo: memFree=30783264/32770624 swapFree=6912/388952 [pid=6927] ppid=6924 vsize=46496 CPUtime=0.29 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 5973 0 0 0 28 1 0 0 20 0 1 0 16807544 47611904 5778 33554432000 4194304 5970956 140730244043968 140730244031288 4930544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 11624 5778 814 434 0 4988 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46496 [startup+0.700288 s] /proc/loadavg: 2.01 2.03 2.05 3/187 6927 /proc/meminfo: memFree=30783264/32770624 swapFree=6912/388952 [pid=6927] ppid=6924 vsize=56220 CPUtime=0.69 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 8392 0 0 0 68 1 0 0 20 0 1 0 16807544 57569280 8220 33554432000 4194304 5970956 140730244043968 140730244040680 5327380 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 14055 8220 848 434 0 7419 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56220 [startup+1.50029 s] /proc/loadavg: 2.01 2.03 2.05 3/188 6928 /proc/meminfo: memFree=30750600/32770624 swapFree=6912/388976 [pid=6927] ppid=6924 vsize=62876 CPUtime=1.48 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 10071 0 0 0 147 1 0 0 20 0 1 0 16807544 64385024 9870 33554432000 4194304 5970956 140730244043968 140730244040840 5337492 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 15719 9870 848 434 0 9083 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 62876 [startup+3.10029 s] /proc/loadavg: 2.01 2.03 2.05 3/188 6928 /proc/meminfo: memFree=30744276/32770624 swapFree=6912/388976 [pid=6927] ppid=6924 vsize=65564 CPUtime=3.08 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 18770 0 0 0 307 1 0 0 20 0 1 0 16807544 67137536 10567 33554432000 4194304 5970956 140730244043968 140730244040824 5098896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 16391 10567 850 434 0 9755 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 65564 [startup+6.30028 s] /proc/loadavg: 2.00 2.03 2.05 3/188 6928 /proc/meminfo: memFree=30741364/32770624 swapFree=6912/388988 [pid=6927] ppid=6924 vsize=67992 CPUtime=6.29 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 28574 0 0 0 627 2 0 0 20 0 1 0 16807544 69623808 11196 33554432000 4194304 5970956 140730244043968 140730244031272 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 16998 11196 850 434 0 10362 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67992 [startup+12.7002 s] /proc/loadavg: 2.00 2.03 2.05 3/188 6928 /proc/meminfo: memFree=30740620/32770624 swapFree=6912/388988 [pid=6927] ppid=6924 vsize=68788 CPUtime=12.68 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 37776 0 0 0 1266 2 0 0 20 0 1 0 16807544 70438912 11367 33554432000 4194304 5970956 140730244043968 140730244041528 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17197 11367 850 434 0 10561 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 68788 [startup+25.5003 s] /proc/loadavg: 2.00 2.03 2.05 3/188 6928 /proc/meminfo: memFree=30740572/32770624 swapFree=6912/389004 [pid=6927] ppid=6924 vsize=68920 CPUtime=25.48 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 54701 0 0 0 2545 3 0 0 20 0 1 0 16807544 70574080 11404 33554432000 4194304 5970956 140730244043968 140730244040792 5070217 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17230 11404 850 434 0 10594 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 68920 [startup+51.1003 s] /proc/loadavg: 2.00 2.03 2.05 3/187 6928 /proc/meminfo: memFree=30741588/32770624 swapFree=6912/389012 [pid=6927] ppid=6924 vsize=69056 CPUtime=51.07 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 64190 0 0 0 5103 4 0 0 20 0 1 0 16807544 70713344 11464 33554432000 4194304 5970956 140730244043968 140730244040680 4908237 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17264 11464 850 434 0 10628 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69056 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6930 /proc/meminfo: memFree=30740472/32770624 swapFree=6912/389048 [pid=6927] ppid=6924 vsize=69188 CPUtime=102.27 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 73195 0 0 0 10222 5 0 0 20 0 1 0 16807544 70848512 11483 33554432000 4194304 5970956 140730244043968 140730244040840 5337492 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17297 11483 850 434 0 10661 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 69188 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 6931 /proc/meminfo: memFree=30740364/32770624 swapFree=6912/389084 [pid=6927] ppid=6924 vsize=69188 CPUtime=162.24 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 81912 0 0 0 16219 5 0 0 20 0 1 0 16807544 70848512 11488 33554432000 4194304 5970956 140730244043968 140730244040840 5337492 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17297 11488 850 434 0 10661 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 69188 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6932 /proc/meminfo: memFree=30740240/32770624 swapFree=6912/389116 [pid=6927] ppid=6924 vsize=69188 CPUtime=222.23 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 90639 0 0 0 22217 6 0 0 20 0 1 0 16807544 70848512 11492 33554432000 4194304 5970956 140730244043968 140730244040840 5327380 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17297 11492 850 434 0 10661 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 69188 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6933 /proc/meminfo: memFree=30740380/32770624 swapFree=6912/389156 [pid=6927] ppid=6924 vsize=69188 CPUtime=282.21 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 99087 0 0 0 28215 6 0 0 20 0 1 0 16807544 70848512 11492 33554432000 4194304 5970956 140730244043968 140730244040840 4930544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17297 11492 850 434 0 10661 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 69188 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6934 /proc/meminfo: memFree=30740380/32770624 swapFree=6912/389180 [pid=6927] ppid=6924 vsize=69188 CPUtime=342.19 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 107461 0 0 0 34212 7 0 0 20 0 1 0 16807544 70848512 11497 33554432000 4194304 5970956 140730244043968 140730244040840 4930560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17297 11497 850 434 0 10661 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 69188 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7067 /proc/meminfo: memFree=31404240/32770624 swapFree=6912/389812 [pid=6927] ppid=6924 vsize=69324 CPUtime=402.16 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 116120 0 0 0 40209 7 0 0 20 0 1 0 16807544 70987776 11528 33554432000 4194304 5970956 140730244043968 140730244040824 5337505 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17331 11528 850 434 0 10695 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 69324 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7068 /proc/meminfo: memFree=31401948/32770624 swapFree=6912/389852 [pid=6927] ppid=6924 vsize=69460 CPUtime=462.13 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 117291 0 0 0 46206 7 0 0 20 0 1 0 16807544 71127040 11540 33554432000 4194304 5970956 140730244043968 140730244040792 4934868 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17365 11540 850 434 0 10729 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 69460 [startup+522.3 s] /proc/loadavg: 2.09 2.04 2.05 3/187 7069 /proc/meminfo: memFree=31401948/32770624 swapFree=6912/389884 [pid=6927] ppid=6924 vsize=69460 CPUtime=522.12 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 117965 0 0 0 52205 7 0 0 20 0 1 0 16807544 71127040 11540 33554432000 4194304 5970956 140730244043968 140730244040792 4964821 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17365 11540 850 434 0 10729 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 69460 [startup+582.3 s] /proc/loadavg: 2.13 2.06 2.06 3/187 7070 /proc/meminfo: memFree=31401568/32770624 swapFree=6912/389912 [pid=6927] ppid=6924 vsize=69460 CPUtime=582.1 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 118655 0 0 0 58203 7 0 0 20 0 1 0 16807544 71127040 11542 33554432000 4194304 5970956 140730244043968 140730244040792 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17365 11542 850 434 0 10729 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 69460 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7116 /proc/meminfo: memFree=31399940/32770624 swapFree=6912/390352 [pid=6927] ppid=6924 vsize=70388 CPUtime=1481.77 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 127055 0 0 0 148170 7 0 0 20 0 1 0 16807544 72077312 11798 33554432000 4194304 5970956 140730244043968 140730244041528 4930611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17597 11798 850 434 0 10961 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 70388 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7117 /proc/meminfo: memFree=31399444/32770624 swapFree=6912/390404 [pid=6927] ppid=6924 vsize=70796 CPUtime=1541.76 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 127685 0 0 0 154169 7 0 0 20 0 1 0 16807544 72495104 11832 33554432000 4194304 5970956 140730244043968 140730244041528 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11832 850 434 0 11063 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 70796 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 7127 /proc/meminfo: memFree=31391096/32770624 swapFree=6912/390436 [pid=6927] ppid=6924 vsize=70796 CPUtime=1601.74 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 128113 0 0 0 160167 7 0 0 20 0 1 0 16807544 72495104 11874 33554432000 4194304 5970956 140730244043968 140730244041528 4908967 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11874 850 434 0 11063 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 70796 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 7128 /proc/meminfo: memFree=31390592/32770624 swapFree=6912/390464 [pid=6927] ppid=6924 vsize=70796 CPUtime=1661.73 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 128822 0 0 0 166165 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4908963 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 70796 [startup+1722.3 s] /proc/loadavg: 2.13 2.04 2.05 3/189 7129 /proc/meminfo: memFree=31390948/32770624 swapFree=6912/390496 [pid=6927] ppid=6924 vsize=70796 CPUtime=1721.71 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 129252 0 0 0 172163 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5039162 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 70796 [startup+1782.3 s] /proc/loadavg: 2.05 2.04 2.05 3/189 7130 /proc/meminfo: memFree=31391188/32770624 swapFree=6912/390540 [pid=6927] ppid=6924 vsize=70796 CPUtime=1781.7 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 129753 0 0 0 178162 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5052121 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 70796 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/189 7131 /proc/meminfo: memFree=31390944/32770624 swapFree=6912/390568 [pid=6927] ppid=6924 vsize=70796 CPUtime=1841.68 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 130173 0 0 0 184160 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5311659 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 1841.68 Current children cumulated vsize (KiB) 70796 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7132 /proc/meminfo: memFree=31391224/32770624 swapFree=6912/390596 [pid=6927] ppid=6924 vsize=70796 CPUtime=1901.66 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 130670 0 0 0 190158 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5069920 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 1901.66 Current children cumulated vsize (KiB) 70796 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7133 /proc/meminfo: memFree=31391348/32770624 swapFree=6912/390624 [pid=6927] ppid=6924 vsize=70796 CPUtime=1961.65 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 131069 0 0 0 196157 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4964389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 1961.65 Current children cumulated vsize (KiB) 70796 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7134 /proc/meminfo: memFree=31391224/32770624 swapFree=6912/390656 [pid=6927] ppid=6924 vsize=70796 CPUtime=2021.63 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 131592 0 0 0 202155 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5069936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2021.63 Current children cumulated vsize (KiB) 70796 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7135 /proc/meminfo: memFree=31391152/32770624 swapFree=6912/390692 [pid=6927] ppid=6924 vsize=70796 CPUtime=2081.62 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 132013 0 0 0 208154 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4930640 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2081.62 Current children cumulated vsize (KiB) 70796 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7136 /proc/meminfo: memFree=31391068/32770624 swapFree=6912/390720 [pid=6927] ppid=6924 vsize=70796 CPUtime=2141.59 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 132434 0 0 0 214151 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5070208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2141.59 Current children cumulated vsize (KiB) 70796 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7145 /proc/meminfo: memFree=31390416/32770624 swapFree=6912/390748 [pid=6927] ppid=6924 vsize=70796 CPUtime=2201.58 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 132945 0 0 0 220150 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 5337501 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2201.58 Current children cumulated vsize (KiB) 70796 [startup+2262.3 s] /proc/loadavg: 2.04 2.03 2.05 3/188 7146 /proc/meminfo: memFree=31390788/32770624 swapFree=6912/390780 [pid=6927] ppid=6924 vsize=70796 CPUtime=2261.56 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 133350 0 0 0 226148 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4930580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2261.56 Current children cumulated vsize (KiB) 70796 [startup+2322.3 s] /proc/loadavg: 2.08 2.04 2.05 3/188 7147 /proc/meminfo: memFree=31390656/32770624 swapFree=6912/390804 [pid=6927] ppid=6924 vsize=70796 CPUtime=2321.54 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 133764 0 0 0 232146 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4934320 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2321.54 Current children cumulated vsize (KiB) 70796 [startup+2382.3 s] /proc/loadavg: 2.03 2.03 2.05 3/188 7148 /proc/meminfo: memFree=31390160/32770624 swapFree=6912/390852 [pid=6927] ppid=6924 vsize=70796 CPUtime=2381.53 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 134284 0 0 0 238145 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4964371 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2381.53 Current children cumulated vsize (KiB) 70796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.8 s] /proc/loadavg: 2.02 2.03 2.05 3/188 7148 /proc/meminfo: memFree=31390284/32770624 swapFree=6912/390852 [pid=6927] ppid=6924 vsize=70796 CPUtime=2400.02 cores=1,3,5,7 /proc/6927/stat : 6927 (cosoco) R 6924 6927 5624 0 -1 4202496 134685 0 0 0 239994 8 0 0 20 0 1 0 16807544 72495104 11877 33554432000 4194304 5970956 140730244043968 140730244031272 4930611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 20996096 140730244052161 140730244052291 140730244052291 140730244054990 0 /proc/6927/statm: 17699 11877 850 434 0 11063 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 70796 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 6927 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.8 CPU time (s): 2400.03 CPU user time (s): 2399.95 CPU system time (s): 0.080974 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 70796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.95 system time used= 0.080974 maximum resident set size= 47552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134721 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= 32 involuntary context switches= 121329 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.83743 second user time and 8.47641 second system time The end
Begin job on node151 at 2017-07-21 12:44:06 IDJOB=4239965 IDBENCH=115904 IDSOLVER=2620 FILE ID=node151/4239965-1500633846 RUNJOBID= node151-1500626434-5656 PBS_JOBID= 20623026 Free space on /tmp= 62024 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239965-1500633846/watcher-4239965-1500633846 -o /tmp/evaluation-result-4239965-1500633846/solver-4239965-1500633846 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500626434-5656 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239965-1500633846.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1 RANDOM SEED=2051056767 node151.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.83 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.83 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.83 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: 30783824 kB MemAvailable: 31301100 kB Buffers: 240120 kB Cached: 556692 kB SwapCached: 0 kB Active: 1164344 kB Inactive: 397588 kB Active(anon): 768016 kB Inactive(anon): 8636 kB Active(file): 396328 kB Inactive(file): 388952 kB Unevictable: 6912 kB Mlocked: 6920 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2348 kB Writeback: 0 kB AnonPages: 771924 kB Mapped: 34236 kB Shmem: 8848 kB Slab: 121608 kB SReclaimable: 95664 kB SUnreclaim: 25944 kB KernelStack: 3376 kB PageTables: 6560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1034068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 714752 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62028 MiB End job on node151 at 2017-07-21 13:24:07