Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.1 | SAT (TO) | 47 | 252.032 | 252.00999 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml |
| MD5SUM | e0f1e7fd363778103a4292aa9d177ae8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 289 |
| Best CPU time to get the best result obtained on this benchmark | 251.842 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1379 |
| Number of constraints | 824 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1353 |
| Distribution of domain sizes | [{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 28 |
| Distribution of constraint arities | [{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}] |
| Number of extensional constraints | 672 |
| Number of intensional constraints | 121 |
| Distribution of constraint types | [{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.10/0.17 c best=?? lower=0 upper=576 1.19/1.21 c 1.19/1.21 c This is cosoco 1.1 -- 1.19/1.21 c 1.19/1.21 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258816-1502636131.xml 1.19/1.21 c enable optimization 1.19/1.21 c ========================================[ Problem Statistics ]=========================================== 1.19/1.21 c | 1.19/1.21 c | Parse time : 0.17 s 1.19/1.21 c | 1.19/1.21 c | Variables: 1379 1.19/1.21 c | Domain Sizes: 2..1353 1.19/1.21 c | 1.19/1.21 c | Constraints: 925 1.19/1.21 c | Arity: 1..28 -- Unary: 105 -- Binary: 122 -- Ternary: 96 1.19/1.21 c | 1.19/1.21 c | Types: 1.19/1.21 c | Extension: 672 (nb tuples: 1..724) -- (shared: 667) 1.19/1.21 c | Intension: 122 1.19/1.21 c | Sum: 27 1.19/1.21 c | Unary: 104 1.19/1.21 c | 1.19/1.21 c ========================================================================================================= 1.19/1.21 o 6 1.19/1.21 c 1 calls to solver: best=6 lower=7 upper=576 1.29/1.33 o 7 1.39/1.45 o 8 1.39/1.45 c 3 calls to solver: best=8 lower=9 upper=576 1.49/1.58 o 11 1.69/1.70 o 12 1.69/1.70 c 5 calls to solver: best=12 lower=13 upper=576 1.79/1.84 o 15 2.00/2.01 o 16 2.00/2.01 c 7 calls to solver: best=16 lower=17 upper=576 2.19/2.25 o 17 2.39/2.47 o 18 2.39/2.47 c 9 calls to solver: best=18 lower=19 upper=576 2.59/2.60 o 28 2.79/2.83 o 31 2.79/2.83 c 11 calls to solver: best=31 lower=32 upper=576 3.49/3.54 o 32 4.10/4.19 o 33 4.10/4.19 c 13 calls to solver: best=33 lower=34 upper=576 4.69/4.73 o 34 5.10/5.15 o 35 5.10/5.15 c 15 calls to solver: best=35 lower=36 upper=576 5.79/5.81 o 38 7.39/7.47 o 39 7.39/7.47 c 17 calls to solver: best=39 lower=40 upper=576 7.89/7.97 o 41 10.89/10.98 o 43 10.89/10.98 c 19 calls to solver: best=43 lower=44 upper=576 12.79/12.81 o 44 79.20/79.25 o 45 79.20/79.25 c 21 calls to solver: best=45 lower=46 upper=576 91.70/91.78 o 46 154.41/154.42 o 47 154.41/154.42 c 23 calls to solver: best=47 lower=48 upper=576 252.02/252.00 252.02/252.00 c *** INTERRUPTED *** 252.02/252.00 c restarts : 62 252.02/252.00 c conflicts : 384689 (1527 /sec) 252.02/252.00 c decisions : 4073291 (16164 /sec) 252.02/252.00 c propagations : 117529320 (466404 /sec) 252.02/252.00 c root propagations : 18664 252.02/252.00 c filter calls : 83758002 (332386 /sec) 252.02/252.00 c useless filter calls : 58847523 (70 %) 252.02/252.00 c Memory used : 51.91 MB 252.02/252.00 c CPU time : 251.99 s 252.02/252.00 252.02/252.00 c nb Solutions = 23 252.02/252.00 s SATISFIABLE 252.02/252.00 c Best value found: 47 252.02/252.00 252.02/252.00 252.02/252.00 v <instantiation type='solution' cost='47'> 252.02/252.00 v <list>w[0][0] 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][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] 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[10][0] 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][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] 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[11][0] 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][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] 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[12][0] 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][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] 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[13][0] 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][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] 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[14][0] 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][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] 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[15][0] 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][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] 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[16][0] 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][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] 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[17][0] 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][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] 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[18][0] 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][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] 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[19][0] 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][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] 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[1][0] 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][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] 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[20][0] 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][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] 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[21][0] 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][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] 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[22][0] 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][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] 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[23][0] 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][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] 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[24][0] 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][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] 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[25][0] 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][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] 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[2][0] 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][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] 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[3][0] 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][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] 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[4][0] 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][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] 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[5][0] 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][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] 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[6][0] 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][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] 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[7][0] 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][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] 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[8][0] 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][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] 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[9][0] 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][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] 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][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] 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[10][0] 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][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] 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[11][0] 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][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] 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[12][0] 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][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] 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[13][0] 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][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] 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[14][0] 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][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] 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[15][0] 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][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] 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[16][0] 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][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] 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[17][0] 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][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] 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[18][0] 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][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] 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[19][0] 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][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] 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[1][0] 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][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] 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[20][0] 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][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] 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[21][0] 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][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] 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[22][0] 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][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] 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[23][0] 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][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] 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[24][0] 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][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] 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[25][0] 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][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] 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[2][0] 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][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] 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[3][0] 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][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] 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[4][0] 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][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] 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[5][0] 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][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] 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[6][0] 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][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] 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[7][0] 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][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] 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[8][0] 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][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] 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[9][0] 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][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 252.02/252.00 v <values>0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 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 1 2 2 0 1 1 0 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 0 0 0 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 0 1 0 0 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 0 1 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 0 1 1 1 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 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 0 0 0 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 1 1 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 0 0 0 1 1 1 2 2 1 1 2 2 2 2 2 2 2 2 1 2 1 1 1 2 2 0 0 0 0 0 2 1 2 1 0 0 1 2 2 2 2 2 2 1 1 0 0 0 0 2 2 1 1 0 1 1 2 1 2 1 0 0 1 2 2 2 2 2 2 1 0 0 0 1 0 2 2 2 0 1 0 2 2 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 1 0 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 1 0 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 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 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 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 2 2 2 2 2 2 2 2 19 466 510 551 593 637 679 720 764 812 862 54 908 948 983 1012 1042 1060 89 132 176 220 268 318 368 418 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 47 </values> 252.02/252.00 v </instantiation> 252.02/252.00
OK 47
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13535 MiB free)
memory of node 1: 16384 MiB (14664 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258816-1502636131/watcher-4258816-1502636131 -o /tmp/evaluation-result-4258816-1502636131/solver-4258816-1502636131 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502635273-10383 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258816-1502636131.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10413, runsolver pid=10410
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 3.88 4.67 3.61 5/189 10414
/proc/meminfo: memFree=28851904/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=33896 memory=10236 CPUtime=0.1 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 2754 0 0 0 10 0 0 0 20 0 1 0 96694034 34709504 2559 33554432000 4194304 5972556 140729654274064 140729654270712 140179584981989 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 8474 2559 797 435 0 1837 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 10236 KiB
[startup+0.209629 s]*
/proc/loadavg: 3.88 4.67 3.61 4/189 10414
/proc/meminfo: memFree=28790236/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=40384 memory=17052 CPUtime=0.21 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 4430 0 0 0 21 0 0 0 20 0 1 0 96694034 41353216 4263 33554432000 4194304 5972556 140729654274064 140729654270712 140179584981989 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 10096 4263 854 435 0 3459 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40384 KiB
Current children cumulated memory: 17052 KiB
[startup+0.309387 s]*
/proc/loadavg: 3.88 4.67 3.61 4/189 10414
/proc/meminfo: memFree=28783912/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=43040 memory=19692 CPUtime=0.3 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 5112 0 0 0 30 0 0 0 20 0 1 0 96694034 44072960 4923 33554432000 4194304 5972556 140729654274064 140729654270712 140179584981989 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 10760 4923 854 435 0 4123 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 19692 KiB
[startup+0.700296 s]
/proc/loadavg: 3.88 4.67 3.61 4/189 10414
/proc/meminfo: memFree=28747664/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=47288 memory=23916 CPUtime=0.69 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 6159 0 0 0 68 1 0 0 20 0 1 0 96694034 48422912 5979 33554432000 4194304 5972556 140729654274064 140729654270776 5099632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 11822 5979 854 435 0 5185 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47288 KiB
Current children cumulated memory: 23916 KiB
[startup+1.50033 s]
/proc/loadavg: 3.88 4.67 3.61 4/189 10414
/proc/meminfo: memFree=28740984/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=51420 memory=28140 CPUtime=1.49 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 7194 0 0 0 148 1 0 0 20 0 1 0 96694034 52654080 7035 33554432000 4194304 5972556 140729654274064 140729654270776 4935486 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 12855 7035 855 435 0 6218 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51420 KiB
Current children cumulated memory: 28140 KiB
[startup+3.10935 s]
/proc/loadavg: 3.88 4.67 3.61 4/189 10414
/proc/meminfo: memFree=28717696/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=52352 memory=29164 CPUtime=3.1 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 12661 0 0 0 309 1 0 0 20 0 1 0 96694034 53608448 7291 33554432000 4194304 5972556 140729654274064 140729654270776 5319824 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13088 7291 855 435 0 6451 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52352 KiB
Current children cumulated memory: 29164 KiB
[startup+6.30022 s]
/proc/loadavg: 3.81 4.65 3.60 4/189 10414
/proc/meminfo: memFree=28716756/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=52752 memory=29544 CPUtime=6.29 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 18986 0 0 0 628 1 0 0 20 0 1 0 96694034 54018048 7386 33554432000 4194304 5972556 140729654274064 140729654271512 4966072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13188 7386 855 435 0 6551 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 52752 KiB
Current children cumulated memory: 29544 KiB
[startup+12.7002 s]
/proc/loadavg: 3.75 4.62 3.60 5/189 10414
/proc/meminfo: memFree=28711672/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=52884 memory=29668 CPUtime=12.69 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 24867 0 0 0 1267 2 0 0 20 0 1 0 96694034 54153216 7417 33554432000 4194304 5972556 140729654274064 140729654261256 4931768 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13221 7417 855 435 0 6584 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 52884 KiB
Current children cumulated memory: 29668 KiB
[startup+25.5003 s]
/proc/loadavg: 3.58 4.54 3.59 4/189 10414
/proc/meminfo: memFree=28639612/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=52884 memory=29696 CPUtime=25.5 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 34162 0 0 0 2547 3 0 0 20 0 1 0 96694034 54153216 7424 33554432000 4194304 5972556 140729654274064 140729654271512 5053053 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13221 7424 855 435 0 6584 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 52884 KiB
Current children cumulated memory: 29696 KiB
[startup+51.1092 s]
/proc/loadavg: 3.10 4.35 3.55 4/189 10414
/proc/meminfo: memFree=28581564/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=53016 memory=29712 CPUtime=51.11 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 41656 0 0 0 5108 3 0 0 20 0 1 0 96694034 54288384 7428 33554432000 4194304 5972556 140729654274064 140729654271512 5109297 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13254 7428 855 435 0 6617 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 53016 KiB
Current children cumulated memory: 29712 KiB
[startup+102.3 s]
/proc/loadavg: 2.48 3.99 3.47 5/189 10415
/proc/meminfo: memFree=28561232/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=53016 memory=29816 CPUtime=102.3 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 47600 0 0 0 10227 3 0 0 20 0 1 0 96694034 54288384 7454 33554432000 4194304 5972556 140729654274064 140729654271512 4931792 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13254 7454 855 435 0 6617 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 53016 KiB
Current children cumulated memory: 29816 KiB
[startup+162.3 s]
/proc/loadavg: 2.18 3.63 3.38 4/189 10416
/proc/meminfo: memFree=28548764/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=53148 memory=29868 CPUtime=162.31 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 53406 0 0 0 16228 3 0 0 20 0 1 0 96694034 54423552 7467 33554432000 4194304 5972556 140729654274064 140729654261256 4931731 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13287 7467 855 435 0 6650 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 29868 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 3.33 3.29 4/189 10417
/proc/meminfo: memFree=28541552/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=53148 memory=29880 CPUtime=222.31 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 58369 0 0 0 22227 4 0 0 20 0 1 0 96694034 54423552 7470 33554432000 4194304 5972556 140729654274064 140729654261256 4909586 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13287 7470 855 435 0 6650 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 29880 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.04 3.20 3.25 4/188 10418
/proc/meminfo: memFree=28541584/32770624 swapFree=67108860/67108860
[pid=10413] ppid=10410 vsize=53148 memory=29880 CPUtime=252.02 cores=1,3,5,7
/proc/10413/stat : 10413 (cosoco) R 10410 10413 4973 0 -1 4202496 58638 0 0 0 25198 4 0 0 20 0 1 0 96694034 54423552 7470 33554432000 4194304 5972556 140729654274064 140729654261256 4935486 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 17862656 140729654281377 140729654281507 140729654281507 140729654284238 0
/proc/10413/statm: 13287 7470 855 435 0 6650 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 53148 KiB
Current children cumulated memory: 29880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 10413 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.991 s, system=0.041005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.01
CPU time (s): 252.032
CPU user time (s): 251.991
CPU system time (s): 0.041005
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 53148
Max. memory (cumulated for all children) (KiB): 29880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.991
system time used= 0.041005
maximum resident set size= 29948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58684
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= 18
involuntary context switches= 65
# summary of solver processes directly reported to runsolver:
# pid: 10413
# total CPU time (s): 252.032
# total CPU user time (s): 251.991
# total CPU system time (s): 0.041005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.918614 second user time and 1.66205 second system time
The end
Begin job on node151 at 2017-08-13 16:41:13 IDJOB=4258816 IDBENCH=115885 IDSOLVER=2644 FILE ID=node151/4258816-1502636131 RUNJOBID= node151-1502635273-10383 PBS_JOBID= 20628306 Free space on /tmp= 61752 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258816-1502636131/watcher-4258816-1502636131 -o /tmp/evaluation-result-4258816-1502636131/solver-4258816-1502636131 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502635273-10383 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4258816-1502636131.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=1483273155 node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.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 : 5332.95 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 : 2668.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 : 5332.95 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 : 2668.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 : 2668.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 : 5332.95 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 : 2668.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: 28877428 kB MemAvailable: 31996024 kB Buffers: 241204 kB Cached: 3169092 kB SwapCached: 0 kB Active: 848788 kB Inactive: 2613552 kB Active(anon): 54912 kB Inactive(anon): 25044 kB Active(file): 793876 kB Inactive(file): 2588508 kB Unevictable: 7024 kB Mlocked: 7024 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4608 kB Writeback: 0 kB AnonPages: 69020 kB Mapped: 44012 kB Shmem: 25224 kB Slab: 130916 kB SReclaimable: 104092 kB SUnreclaim: 26824 kB KernelStack: 3472 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61752 MiB End job on node151 at 2017-08-13 16:45:25