Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 55 | 2519.8101 | 2520.02 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml |
| MD5SUM | 7effaf54e6298c2e2ce7b82787858117 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 373 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1712 |
| Number of constraints | 1007 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1683 |
| Distribution of domain sizes | [{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 30 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}] |
| Number of extensional constraints | 837 |
| Number of intensional constraints | 136 |
| Distribution of constraint types | [{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
3.12/3.29 c SAT : Variables: 53742 -- Clauses: 41317848 3.12/3.29 c best=?? lower=0 upper=729 7.52/7.63 c 7.52/7.63 c This is cosoco 1.12 -- 7.52/7.63 c 7.52/7.63 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265931-1502566044.xml 7.52/7.63 c enable optimization 7.52/7.63 c ========================================[ Problem Statistics ]=========================================== 7.52/7.63 c | 7.52/7.63 c | Parse time : 2.81 s 7.52/7.63 c | 7.52/7.63 c | Variables: 1712 7.52/7.63 c | Domain Sizes: 2..1683 7.52/7.63 c | 7.52/7.63 c | Constraints: 1120 7.52/7.63 c | Arity: 1..31 -- Unary: 117 -- Binary: 137 -- Ternary: 108 7.52/7.63 c | 7.52/7.63 c | Types: 7.52/7.63 c | Extension: 837 (nb tuples: 1..724) -- (shared: 832) 7.52/7.63 c | Intension: 137 7.52/7.63 c | Sum: 30 7.52/7.63 c | Unary: 116 7.52/7.63 c | 7.52/7.63 c ========================================================================================================= 7.52/7.63 o 6 7.52/7.63 c 1 calls to solver: best=6 lower=7 upper=729 8.02/8.12 o 7 8.41/8.51 o 8 8.41/8.51 c 3 calls to solver: best=8 lower=9 upper=729 8.51/8.69 o 9 8.71/8.86 o 10 8.71/8.86 c 5 calls to solver: best=10 lower=11 upper=729 9.81/9.96 o 11 12.41/12.54 o 25 12.41/12.54 c 7 calls to solver: best=25 lower=26 upper=729 69.21/69.32 o 27 69.81/69.92 o 28 69.81/69.92 c 9 calls to solver: best=28 lower=29 upper=729 70.60/70.70 o 31 70.80/70.90 o 33 70.80/70.90 c 11 calls to solver: best=33 lower=34 upper=729 71.01/71.19 o 34 71.30/71.43 o 35 71.30/71.43 c 13 calls to solver: best=35 lower=36 upper=729 71.50/71.64 o 36 71.70/71.83 o 37 71.70/71.83 c 15 calls to solver: best=37 lower=38 upper=729 72.10/72.29 o 38 73.20/73.33 o 40 73.20/73.33 c 17 calls to solver: best=40 lower=41 upper=729 73.70/73.86 o 43 73.91/74.08 o 44 73.91/74.08 c 19 calls to solver: best=44 lower=45 upper=729 74.10/74.28 o 47 76.92/77.02 o 48 76.92/77.02 c 21 calls to solver: best=48 lower=49 upper=729 80.21/80.38 o 49 432.98/433.16 o 50 432.98/433.16 c 23 calls to solver: best=50 lower=51 upper=729 779.75/779.92 o 51 816.15/816.35 o 52 816.15/816.35 c 25 calls to solver: best=52 lower=53 upper=729 869.96/870.13 o 53 2114.10/2114.38 o 54 2114.10/2114.38 c 27 calls to solver: best=54 lower=55 upper=729 2128.60/2128.87 o 55 2519.79/2520.00 2519.79/2520.00 c *** INTERRUPTED *** 2519.79/2520.00 c restarts : 584 2519.79/2520.00 c conflicts : 3485171 (1383 /sec) 2519.79/2520.00 c decisions : 36130742 (14342 /sec) 2519.79/2520.00 c propagations : 1349940605 (535856 /sec) 2519.79/2520.00 c root propagations : 25736 2519.79/2520.00 c filter calls : 889831922 (353217 /sec) 2519.79/2520.00 c useless filter calls : 620063768 (69 %) 2519.79/2520.00 c 2519.79/2520.00 c clauses : 41320678 2519.79/2520.00 c SAT propagations : 210 2519.79/2520.00 c SAT conflicts : 0 (0 learnts) 2519.79/2520.00 c Memory used : 1965.80 MB 2519.79/2520.00 c CPU time : 2519.22 s 2519.79/2520.00 2519.79/2520.00 c nb Solutions = 28 2519.79/2520.00 s SATISFIABLE 2519.79/2520.00 c Best value found: 55 2519.79/2520.00 2519.79/2520.00 2519.79/2520.00 v <instantiation type='solution' cost='55'> 2519.79/2520.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][26] w[0][27] w[0][28] 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][26] w[10][27] w[10][28] 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][26] w[11][27] w[11][28] 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][26] w[12][27] w[12][28] 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][26] w[13][27] w[13][28] 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][26] w[14][27] w[14][28] 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][26] w[15][27] w[15][28] 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][26] w[16][27] w[16][28] 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][26] w[17][27] w[17][28] 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][26] w[18][27] w[18][28] 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][26] w[19][27] w[19][28] 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][26] w[1][27] w[1][28] 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][26] w[20][27] w[20][28] 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][26] w[21][27] w[21][28] 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][26] w[22][27] w[22][28] 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][26] w[23][27] w[23][28] 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][26] w[24][27] w[24][28] 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][26] w[25][27] w[25][28] 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[26][0] 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][1] 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][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] 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][1] 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][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] 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][1] 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][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][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][26] w[2][27] w[2][28] 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][26] w[3][27] w[3][28] 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][26] w[4][27] w[4][28] 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][26] w[5][27] w[5][28] 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][26] w[6][27] w[6][28] 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][26] w[7][27] w[7][28] 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][26] w[8][27] w[8][28] 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][26] w[9][27] w[9][28] 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[26] ws[27] ws[28] 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][26] x[0][27] x[0][28] 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][26] x[10][27] x[10][28] 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][26] x[11][27] x[11][28] 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][26] x[12][27] x[12][28] 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][26] x[13][27] x[13][28] 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][26] x[14][27] x[14][28] 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][26] x[15][27] x[15][28] 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][26] x[16][27] x[16][28] 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][26] x[17][27] x[17][28] 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][26] x[18][27] x[18][28] 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][26] x[19][27] x[19][28] 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][26] x[1][27] x[1][28] 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][26] x[20][27] x[20][28] 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][26] x[21][27] x[21][28] 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][26] x[22][27] x[22][28] 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][26] x[23][27] x[23][28] 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][26] x[24][27] x[24][28] 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][26] x[25][27] x[25][28] 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[26][0] 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][1] 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][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] 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][1] 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][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][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][26] x[2][27] x[2][28] 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][26] x[3][27] x[3][28] 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][26] x[4][27] x[4][28] 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][26] x[5][27] x[5][28] 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][26] x[6][27] x[6][28] 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][26] x[7][27] x[7][28] 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][26] x[8][27] x[8][28] 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][26] x[9][27] x[9][28] 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> 2519.79/2520.01 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 0 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 0 1 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 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 1 2 2 2 2 2 1 0 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 2 0 1 0 2 2 1 1 1 1 2 2 2 2 1 2 1 1 0 1 2 2 2 2 2 2 2 2 2 1 1 2 1 1 1 0 0 0 2 2 2 2 1 1 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 1 0 2 1 0 0 0 2 2 2 2 1 0 0 0 1 1 2 2 2 1 1 2 2 2 2 2 2 2 1 2 2 2 1 1 1 2 2 2 2 2 1 1 2 1 2 2 2 1 1 0 1 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 1 0 0 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 0 0 1 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 0 2 0 2 2 2 2 2 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 0 2 0 2 2 2 2 1 2 0 0 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 1 1 0 1 1 2 2 2 1 1 0 0 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 2 2 0 1 0 1 0 2 2 2 0 1 1 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 0 2 2 2 1 1 0 1 1 2 2 0 2 2 2 2 2 2 2 2 1 0 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 2 2 2 0 2 2 2 2 2 2 2 2 1 0 1 2 2 2 2 2 2 0 2 2 2 2 1 0 1 1 2 2 1 2 2 2 2 2 2 2 2 1 0 1 2 2 2 2 2 2 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 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 1 1 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 2 1 1 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 1 0 0 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 2 0 0 0 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 0 2 0 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 0 2 0 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 1 1 0 1 1 1 2 2 2 2 2 2 2 2 25 537 588 641 691 740 784 821 857 905 956 75 1007 1057 1103 1145 1186 1231 1277 1323 1346 125 179 233 284 335 387 439 489 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 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 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 1 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 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 55 </values> 2519.79/2520.01 v </instantiation> 2519.79/2520.01
OK 55
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 (15000 MiB free)
memory of node 1: 16384 MiB (15445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265931-1502566044/watcher-4265931-1502566044 -o /tmp/evaluation-result-4265931-1502566044/solver-4265931-1502566044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17157 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265931-1502566044.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=17818, runsolver pid=17815
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 1.13 0.30 0.14 3/184 17819
/proc/meminfo: memFree=31173976/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=30200 memory=6404 CPUtime=0.03 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 1794 0 0 0 3 0 0 0 20 0 1 0 58797783 30924800 1601 18446744073709551615 4194304 5972588 140726903783824 140726903780392 140329774361573 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 7550 1601 730 435 0 913 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 30200 KiB
Current children cumulated memory: 6404 KiB
[startup+0.209486 s]*
/proc/loadavg: 1.13 0.30 0.14 3/184 17819
/proc/meminfo: memFree=31166708/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=37180 memory=13536 CPUtime=0.13 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 3576 0 0 0 13 0 0 0 20 0 1 0 58797783 38072320 3384 18446744073709551615 4194304 5972588 140726903783824 140726903780392 140329774357310 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 9295 3384 797 435 0 2658 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 37180 KiB
Current children cumulated memory: 13536 KiB
[startup+0.309355 s]*
/proc/loadavg: 1.13 0.30 0.14 3/184 17819
/proc/meminfo: memFree=31137380/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=74704 memory=48864 CPUtime=0.24 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 11414 0 0 0 23 1 0 0 20 0 1 0 58797783 76496896 12216 18446744073709551615 4194304 5972588 140726903783824 140726903780392 5280489 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 18676 12216 843 435 0 12039 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 74704 KiB
Current children cumulated memory: 48864 KiB
[startup+0.700386 s]
/proc/loadavg: 1.13 0.30 0.14 3/184 17819
/proc/meminfo: memFree=31021648/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=324816 memory=262216 CPUtime=0.62 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 43801 0 0 0 55 7 0 0 20 0 1 0 58797783 332611584 65554 18446744073709551615 4194304 5972588 140726903783824 140726903780392 140329774430763 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 81204 65554 843 435 0 74567 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 324816 KiB
Current children cumulated memory: 262216 KiB
[startup+1.50038 s]
/proc/loadavg: 1.13 0.30 0.14 3/184 17819
/proc/meminfo: memFree=30751184/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=826880 memory=703364 CPUtime=1.42 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 101415 0 0 0 124 18 0 0 20 0 1 0 58797783 846725120 175841 18446744073709551615 4194304 5972588 140726903783824 140726903780616 140329774430763 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 206720 175841 843 435 0 200083 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 826880 KiB
Current children cumulated memory: 703364 KiB
[startup+3.10958 s]
/proc/loadavg: 1.13 0.30 0.14 3/184 17819
/proc/meminfo: memFree=29677056/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=1942460 memory=1559680 CPUtime=3.03 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 214174 0 0 0 264 39 0 0 20 0 1 0 58797783 1989079040 389920 18446744073709551615 4194304 5972588 140726903783824 140726903780616 140329774367640 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 485615 389920 843 435 0 478978 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1942460 KiB
Current children cumulated memory: 1559680 KiB
[startup+6.30035 s]
/proc/loadavg: 1.28 0.34 0.15 3/184 17819
/proc/meminfo: memFree=29506936/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2004208 memory=1670992 CPUtime=6.21 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 236243 0 0 0 580 41 0 0 20 0 1 0 58797783 2052308992 417748 18446744073709551615 4194304 5972588 140726903783824 140726903780584 5094232 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 501052 417748 859 435 0 494415 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 2004208 KiB
Current children cumulated memory: 1670992 KiB
[startup+12.7004 s]
/proc/loadavg: 1.33 0.37 0.16 3/184 17819
/proc/meminfo: memFree=29500548/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2008488 memory=1677236 CPUtime=12.61 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 279598 0 0 0 1218 43 0 0 20 0 1 0 58797783 2056691712 419309 18446744073709551615 4194304 5972588 140726903783824 140726903781048 4931747 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 502122 419309 860 435 0 495485 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 2008488 KiB
Current children cumulated memory: 1677236 KiB
[startup+25.5004 s]
/proc/loadavg: 1.48 0.45 0.19 3/184 17819
/proc/meminfo: memFree=29500264/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2008708 memory=1677468 CPUtime=25.41 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 288921 0 0 0 2497 44 0 0 20 0 1 0 58797783 2056916992 419367 18446744073709551615 4194304 5972588 140726903783824 140726903781048 5240367 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 502177 419367 860 435 0 495540 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2008708 KiB
Current children cumulated memory: 1677468 KiB
[startup+51.1096 s]
/proc/loadavg: 1.66 0.57 0.24 3/184 17819
/proc/meminfo: memFree=29494700/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2010452 memory=1683340 CPUtime=51.01 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 306909 0 0 0 5056 45 0 0 20 0 1 0 58797783 2058702848 420835 18446744073709551615 4194304 5972588 140726903783824 140726903781048 4935585 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 502613 420835 860 435 0 495976 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 2010452 KiB
Current children cumulated memory: 1683340 KiB
[startup+102.3 s]
/proc/loadavg: 1.85 0.79 0.33 3/181 17821
/proc/meminfo: memFree=29492572/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012744 memory=1687680 CPUtime=102.2 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 347936 0 0 0 10172 48 0 0 20 0 1 0 58797783 2061049856 421920 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5053038 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503186 421920 860 435 0 496549 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 2012744 KiB
Current children cumulated memory: 1687680 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.01 0.44 3/181 17823
/proc/meminfo: memFree=29492804/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012744 memory=1687680 CPUtime=162.2 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 377207 0 0 0 16170 50 0 0 20 0 1 0 58797783 2061049856 421920 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5040154 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503186 421920 860 435 0 496549 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 2012744 KiB
Current children cumulated memory: 1687680 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.19 0.54 3/181 17825
/proc/meminfo: memFree=29492708/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012744 memory=1687736 CPUtime=222.18 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 401765 0 0 0 22167 51 0 0 20 0 1 0 58797783 2061049856 421934 18446744073709551615 4194304 5972588 140726903783824 140726903781272 4931776 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503186 421934 860 435 0 496549 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 2012744 KiB
Current children cumulated memory: 1687736 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.34 0.63 3/181 17827
/proc/meminfo: memFree=29490512/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012744 memory=1689800 CPUtime=282.18 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 405596 0 0 0 28166 52 0 0 20 0 1 0 58797783 2061049856 422450 18446744073709551615 4194304 5972588 140726903783824 140726903781272 4934208 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503186 422450 860 435 0 496549 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 2012744 KiB
Current children cumulated memory: 1689800 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.46 0.71 3/181 17829
/proc/meminfo: memFree=29490540/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012856 memory=1689808 CPUtime=342.17 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 427467 0 0 0 34165 52 0 0 20 0 1 0 58797783 2061164544 422452 18446744073709551615 4194304 5972588 140726903783824 140726903781048 5071184 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503214 422452 860 435 0 496577 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 2012856 KiB
Current children cumulated memory: 1689808 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.56 0.79 3/181 17831
/proc/meminfo: memFree=29490268/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012856 memory=1689832 CPUtime=402.17 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 440270 0 0 0 40164 53 0 0 20 0 1 0 58797783 2061164544 422458 18446744073709551615 4194304 5972588 140726903783824 140726903781048 5240338 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503214 422458 860 435 0 496577 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 2012856 KiB
Current children cumulated memory: 1689832 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.64 0.87 3/185 17848
/proc/meminfo: memFree=29486380/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012856 memory=1689920 CPUtime=462.17 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 464401 0 0 0 46162 55 0 0 20 0 1 0 58797783 2061164544 422480 18446744073709551615 4194304 5972588 140726903783824 140726903771016 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503214 422480 860 435 0 496577 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 2012856 KiB
Current children cumulated memory: 1689920 KiB
################
# More data... #
################
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 1.77 3/181 17923
/proc/meminfo: memFree=29486136/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1689984 CPUtime=1782.11 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 512088 0 0 0 178154 57 0 0 20 0 1 0 58797783 2061283328 422496 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5040138 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 1.78 3/181 17925
/proc/meminfo: memFree=29486136/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1689984 CPUtime=1842.11 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 513194 0 0 0 184154 57 0 0 20 0 1 0 58797783 2061283328 422496 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.04 1.80 3/181 17927
/proc/meminfo: memFree=29486508/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1689984 CPUtime=1902.11 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 514755 0 0 0 190154 57 0 0 20 0 1 0 58797783 2061283328 422496 18446744073709551615 4194304 5972588 140726903783824 140726903781272 4931790 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 1.81 3/181 17929
/proc/meminfo: memFree=29486632/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1689984 CPUtime=1962.1 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 515648 0 0 0 196153 57 0 0 20 0 1 0 58797783 2061283328 422496 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 1.83 3/181 17931
/proc/meminfo: memFree=29486756/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1689984 CPUtime=2022.1 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 516548 0 0 0 202153 57 0 0 20 0 1 0 58797783 2061283328 422496 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5039159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 1.84 3/181 17933
/proc/meminfo: memFree=29486920/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1689984 CPUtime=2082.1 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 517451 0 0 0 208153 57 0 0 20 0 1 0 58797783 2061283328 422496 18446744073709551615 4194304 5972588 140726903783824 140726903781272 4931736 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422496 860 435 0 496606 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1689984 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 1.85 3/181 17935
/proc/meminfo: memFree=29487168/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690024 CPUtime=2142.09 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 519679 0 0 0 214152 57 0 0 20 0 1 0 58797783 2061283328 422506 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422506 860 435 0 496606 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690024 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 1.86 3/181 17937
/proc/meminfo: memFree=29487044/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690024 CPUtime=2202.09 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 520709 0 0 0 220152 57 0 0 20 0 1 0 58797783 2061283328 422506 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5039178 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422506 860 435 0 496606 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690024 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 1.87 3/185 17954
/proc/meminfo: memFree=29482100/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690024 CPUtime=2262.09 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 522036 0 0 0 226152 57 0 0 20 0 1 0 58797783 2061283328 422506 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5338144 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422506 860 435 0 496606 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690024 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/182 17956
/proc/meminfo: memFree=29485580/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690036 CPUtime=2322.09 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 523576 0 0 0 232152 57 0 0 20 0 1 0 58797783 2061283328 422509 18446744073709551615 4194304 5972588 140726903783824 140726903781272 4931747 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422509 860 435 0 496606 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690036 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/182 17958
/proc/meminfo: memFree=29485580/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690036 CPUtime=2382.08 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 524646 0 0 0 238151 57 0 0 20 0 1 0 58797783 2061283328 422509 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5243384 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422509 860 435 0 496606 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690036 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/182 17960
/proc/meminfo: memFree=29485828/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690036 CPUtime=2442.08 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 526203 0 0 0 244151 57 0 0 20 0 1 0 58797783 2061283328 422509 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422509 860 435 0 496606 0
Current children cumulated CPU time: 2442.08 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690036 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/182 17962
/proc/meminfo: memFree=29485828/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690036 CPUtime=2502.08 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 527394 0 0 0 250151 57 0 0 20 0 1 0 58797783 2061283328 422509 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5273149 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422509 860 435 0 496606 0
Current children cumulated CPU time: 2502.08 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690036 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.93 2.00 1.89 3/181 18024
/proc/meminfo: memFree=29487144/32770624 swapFree=67108860/67108860
[pid=17818] ppid=17815 vsize=2012972 memory=1690036 CPUtime=2519.79 cores=1,3,5,7
/proc/17818/stat : 17818 (cosoco) R 17815 17818 17093 0 -1 4202496 527633 0 0 0 251922 57 0 0 20 0 1 0 58797783 2061283328 422509 18446744073709551615 4194304 5972588 140726903783824 140726903781272 5328016 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 40255488 140726903792068 140726903792168 140726903792168 140726903795662 0
/proc/17818/statm: 503243 422509 860 435 0 496606 0
Current children cumulated CPU time: 2519.79 s
Current children cumulated vsize: 2012972 KiB
Current children cumulated memory: 1690036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 17818 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.22 s, system=0.585975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.81
CPU user time (s): 2519.22
CPU system time (s): 0.585975
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 2012972
Max. memory (cumulated for all children) (KiB): 1690036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.22
system time used= 0.585975
maximum resident set size= 1690108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527686
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= 81
involuntary context switches= 794
# summary of solver processes directly reported to runsolver:
# pid: 17818
# total CPU time (s): 2519.81
# total CPU user time (s): 2519.22
# total CPU system time (s): 0.585975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08732 second user time and 16.3666 second system time
The end
Begin job on node127 at 2017-08-12 21:13:16 IDJOB=4265931 IDBENCH=115900 IDSOLVER=2655 FILE ID=node127/4265931-1502566044 RUNJOBID= node127-1502565159-17157 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-27.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265931-1502566044/watcher-4265931-1502566044 -o /tmp/evaluation-result-4265931-1502566044/solver-4265931-1502566044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502565159-17157 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265931-1502566044.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7effaf54e6298c2e2ce7b82787858117 RANDOM SEED=1513235470 node127.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 : 5333.92 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 : 5333.92 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 : 5333.92 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 : 5333.92 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: 31176904 kB MemAvailable: 31996992 kB Buffers: 275184 kB Cached: 833788 kB SwapCached: 0 kB Active: 574044 kB Inactive: 593820 kB Active(anon): 59216 kB Inactive(anon): 24908 kB Active(file): 514828 kB Inactive(file): 568912 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2744 kB Writeback: 4 kB AnonPages: 58888 kB Mapped: 46572 kB Shmem: 25252 kB Slab: 129860 kB SReclaimable: 104368 kB SUnreclaim: 25492 kB KernelStack: 3232 kB PageTables: 5036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356612 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-12 21:55:16