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) | 53 | 2519.8201 | 2520.01 |
| 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 | 297 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| 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 |
1.79/1.91 c SAT : Variables: 39135 -- Clauses: 23950587 1.79/1.91 c best=?? lower=0 upper=576 3.49/3.63 c 3.49/3.63 c This is cosoco 1.12 -- 3.49/3.63 c 3.49/3.63 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265929-1502566038.xml 3.49/3.63 c enable optimization 3.49/3.63 c ========================================[ Problem Statistics ]=========================================== 3.49/3.63 c | 3.49/3.63 c | Parse time : 1.59 s 3.49/3.63 c | 3.49/3.63 c | Variables: 1379 3.49/3.63 c | Domain Sizes: 2..1353 3.49/3.63 c | 3.49/3.63 c | Constraints: 925 3.49/3.63 c | Arity: 1..28 -- Unary: 105 -- Binary: 122 -- Ternary: 96 3.49/3.63 c | 3.49/3.63 c | Types: 3.49/3.63 c | Extension: 672 (nb tuples: 1..724) -- (shared: 667) 3.49/3.63 c | Intension: 122 3.49/3.63 c | Sum: 27 3.49/3.63 c | Unary: 104 3.49/3.63 c | 3.49/3.63 c ========================================================================================================= 3.49/3.63 o 11 3.49/3.63 c 1 calls to solver: best=11 lower=12 upper=576 3.60/3.75 o 12 3.90/4.03 o 13 3.90/4.03 c 3 calls to solver: best=13 lower=14 upper=576 4.79/4.91 o 20 5.09/5.23 o 21 5.09/5.23 c 5 calls to solver: best=21 lower=22 upper=576 27.19/27.30 o 23 49.90/50.04 o 24 49.90/50.04 c 7 calls to solver: best=24 lower=25 upper=576 52.79/52.92 o 26 52.90/53.03 o 27 52.90/53.03 c 9 calls to solver: best=27 lower=28 upper=576 53.09/53.20 o 29 53.59/53.71 o 31 53.59/53.71 c 11 calls to solver: best=31 lower=32 upper=576 54.19/54.38 o 32 57.59/57.71 o 33 57.59/57.71 c 13 calls to solver: best=33 lower=34 upper=576 61.90/62.09 o 34 64.59/64.73 o 36 64.59/64.73 c 15 calls to solver: best=36 lower=37 upper=576 72.99/73.18 o 37 79.08/79.23 o 38 79.08/79.23 c 17 calls to solver: best=38 lower=39 upper=576 82.48/82.63 o 40 99.99/100.19 o 41 99.99/100.19 c 19 calls to solver: best=41 lower=42 upper=576 102.88/103.10 o 42 131.07/131.29 o 43 131.07/131.29 c 21 calls to solver: best=43 lower=44 upper=576 142.97/143.11 o 45 345.84/346.08 o 49 345.84/346.08 c 23 calls to solver: best=49 lower=50 upper=576 583.83/584.02 o 50 1524.59/1524.87 o 51 1524.59/1524.87 c 25 calls to solver: best=51 lower=52 upper=576 2396.09/2396.35 o 53 2519.81/2520.00 2519.81/2520.00 c *** INTERRUPTED *** 2519.81/2520.00 c restarts : 587 2519.81/2520.00 c conflicts : 4545691 (1804 /sec) 2519.81/2520.00 c decisions : 39785584 (15791 /sec) 2519.81/2520.00 c propagations : 1393559781 (553113 /sec) 2519.81/2520.00 c root propagations : 18664 2519.81/2520.00 c filter calls : 1012936116 (402041 /sec) 2519.81/2520.00 c useless filter calls : 705474498 (69 %) 2519.81/2520.00 c 2519.81/2520.00 c clauses : 23953368 2519.81/2520.00 c SAT propagations : 102 2519.81/2520.00 c SAT conflicts : 0 (0 learnts) 2519.81/2520.00 c Memory used : 1126.95 MB 2519.81/2520.00 c CPU time : 2519.48 s 2519.81/2520.00 2519.81/2520.00 c nb Solutions = 26 2519.81/2520.00 s SATISFIABLE 2519.81/2520.00 c Best value found: 53 2519.81/2520.00 2519.81/2520.00 2519.81/2520.00 v <instantiation type='solution' cost='53'> 2519.81/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][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> 2519.81/2520.01 v <values>0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 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 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 1 1 0 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 0 0 1 2 2 1 1 0 0 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 1 2 2 1 0 0 1 0 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 2 1 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 1 1 0 1 1 0 1 1 0 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 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 0 0 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 2 2 1 0 0 1 0 2 1 2 2 1 1 2 2 1 0 0 1 2 2 2 2 2 2 1 1 1 1 0 0 1 2 2 1 2 1 0 0 1 2 1 0 0 1 1 2 2 2 2 2 1 0 0 0 0 0 2 2 2 1 2 1 0 0 1 2 2 1 1 2 1 2 2 2 2 2 1 0 0 0 0 1 1 2 2 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 0 0 1 1 2 2 2 2 2 1 2 2 2 2 2 1 1 2 2 2 2 2 2 1 0 0 1 1 0 2 2 2 2 2 2 0 2 2 2 2 2 1 0 1 2 2 2 2 2 2 0 2 1 1 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 1 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 0 0 2 1 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 0 0 2 1 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 22 458 502 546 594 644 690 729 766 804 844 66 886 926 960 987 1018 1036 108 148 186 228 274 318 362 410 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 53 </values> 2519.81/2520.01 v </instantiation> 2519.81/2520.01
OK 53
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 (15029 MiB free)
memory of node 1: 16384 MiB (15304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265929-1502566038/watcher-4265929-1502566038 -o /tmp/evaluation-result-4265929-1502566038/solver-4265929-1502566038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8353 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265929-1502566038.xml
running on 4 cores: 0,2,4,6
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=8383, runsolver pid=8376
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 0.00 0.01 0.05 2/190 8384
/proc/meminfo: memFree=31061988/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=28052 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 1212 0 0 0 0 0 0 0 20 0 1 0 104419030 28725248 1030 18446744073709551615 4194304 5972588 140733003678672 140733003675320 139868168625125 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 7013 1030 710 435 0 376 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 28052 KiB
Current children cumulated memory: 4120 KiB
[startup+0.209878 s]*
/proc/loadavg: 0.00 0.01 0.05 4/190 8384
/proc/meminfo: memFree=31030196/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=33896 memory=10504 CPUtime=0.11 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 2788 0 0 0 11 0 0 0 20 0 1 0 104419030 34709504 2560 18446744073709551615 4194304 5972588 140733003678672 140733003675320 139868169372408 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 8474 2560 797 435 0 1837 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 10504 KiB
[startup+0.309598 s]*
/proc/loadavg: 0.00 0.01 0.05 4/190 8384
/proc/meminfo: memFree=30955544/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=66616 memory=40484 CPUtime=0.21 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 8802 0 0 0 20 1 0 0 20 0 1 0 104419030 68214784 10121 18446744073709551615 4194304 5972588 140733003678672 140733003675320 5280489 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 16654 10121 843 435 0 10017 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66616 KiB
Current children cumulated memory: 40484 KiB
[startup+0.700409 s]
/proc/loadavg: 0.00 0.01 0.05 4/190 8384
/proc/meminfo: memFree=30832220/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=305172 memory=250032 CPUtime=0.59 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 38166 0 0 0 52 7 0 0 20 0 1 0 104419030 312496128 62508 18446744073709551615 4194304 5972588 140733003678672 140733003675464 139868168694315 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 76326 62508 843 435 0 69689 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 305172 KiB
Current children cumulated memory: 250032 KiB
[startup+1.50041 s]
/proc/loadavg: 0.00 0.01 0.05 4/190 8384
/proc/meminfo: memFree=30320936/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=779856 memory=673008 CPUtime=1.39 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 89739 0 0 0 123 16 0 0 20 0 1 0 104419030 798572544 168252 18446744073709551615 4194304 5972588 140733003678672 140733003675464 139868168694315 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 194964 168252 843 435 0 188327 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 779856 KiB
Current children cumulated memory: 673008 KiB
[startup+3.10963 s]
/proc/loadavg: 0.00 0.01 0.05 4/190 8384
/proc/meminfo: memFree=28904004/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1148116 memory=893352 CPUtime=3 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 122197 0 0 0 277 23 0 0 20 0 1 0 104419030 1175670784 223338 18446744073709551615 4194304 5972588 140733003678672 140733003675464 4935471 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 287029 223338 859 435 0 280392 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 1148116 KiB
Current children cumulated memory: 893352 KiB
[startup+6.30038 s]
/proc/loadavg: 0.16 0.05 0.06 4/190 8384
/proc/meminfo: memFree=27501156/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1151504 memory=898880 CPUtime=6.19 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 145769 0 0 0 595 24 0 0 20 0 1 0 104419030 1179140096 224720 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4931680 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 287876 224720 860 435 0 281239 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1151504 KiB
Current children cumulated memory: 898880 KiB
[startup+12.7004 s]
/proc/loadavg: 0.31 0.08 0.07 4/190 8384
/proc/meminfo: memFree=24712524/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1152292 memory=899692 CPUtime=12.59 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 165511 0 0 0 1234 25 0 0 20 0 1 0 104419030 1179947008 224923 18446744073709551615 4194304 5972588 140733003678672 140733003675432 5094372 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288073 224923 860 435 0 281436 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1152292 KiB
Current children cumulated memory: 899692 KiB
[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 4/190 8384
/proc/meminfo: memFree=18777148/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1152412 memory=901804 CPUtime=25.4 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 174586 0 0 0 2514 26 0 0 20 0 1 0 104419030 1180069888 225451 18446744073709551615 4194304 5972588 140733003678672 140733003675896 5099653 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288103 225451 860 435 0 281466 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1152412 KiB
Current children cumulated memory: 901804 KiB
[startup+51.1098 s]
/proc/loadavg: 1.07 0.30 0.14 3/190 8509
/proc/meminfo: memFree=27975160/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153064 memory=904580 CPUtime=51 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 209279 0 0 0 5073 27 0 0 20 0 1 0 104419030 1180737536 226145 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4931776 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288266 226145 860 435 0 281629 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1153064 KiB
Current children cumulated memory: 904580 KiB
[startup+102.3 s]
/proc/loadavg: 1.59 0.57 0.24 3/190 8511
/proc/meminfo: memFree=27966552/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153600 memory=905104 CPUtime=102.18 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 235926 0 0 0 10189 29 0 0 20 0 1 0 104419030 1181286400 226276 18446744073709551615 4194304 5972588 140733003678672 140733003665864 4965365 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288400 226276 860 435 0 281763 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 1153600 KiB
Current children cumulated memory: 905104 KiB
[startup+162.3 s]
/proc/loadavg: 1.85 0.83 0.35 3/186 8513
/proc/meminfo: memFree=27961444/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153732 memory=905228 CPUtime=162.16 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 253054 0 0 0 16187 29 0 0 20 0 1 0 104419030 1181421568 226307 18446744073709551615 4194304 5972588 140733003678672 140733003676120 4935463 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288433 226307 860 435 0 281796 0
Current children cumulated CPU time: 162.16 s
Current children cumulated vsize: 1153732 KiB
Current children cumulated memory: 905228 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.45 3/184 8515
/proc/meminfo: memFree=27961760/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153732 memory=905228 CPUtime=222.16 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 258129 0 0 0 22186 30 0 0 20 0 1 0 104419030 1181421568 226307 18446744073709551615 4194304 5972588 140733003678672 140733003676120 5039164 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288433 226307 860 435 0 281796 0
Current children cumulated CPU time: 222.16 s
Current children cumulated vsize: 1153732 KiB
Current children cumulated memory: 905228 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/184 8517
/proc/meminfo: memFree=27957568/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153732 memory=907312 CPUtime=282.15 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 263950 0 0 0 28185 30 0 0 20 0 1 0 104419030 1181421568 226828 18446744073709551615 4194304 5972588 140733003678672 140733003676120 4931776 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288433 226828 860 435 0 281796 0
Current children cumulated CPU time: 282.15 s
Current children cumulated vsize: 1153732 KiB
Current children cumulated memory: 907312 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/185 8520
/proc/meminfo: memFree=27957400/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153732 memory=907380 CPUtime=342.14 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 270965 0 0 0 34184 30 0 0 20 0 1 0 104419030 1181421568 226845 18446744073709551615 4194304 5972588 140733003678672 140733003676120 4965365 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288433 226845 860 435 0 281796 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 1153732 KiB
Current children cumulated memory: 907380 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.47 0.73 3/186 8545
/proc/meminfo: memFree=27956112/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153864 memory=907532 CPUtime=402.14 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 281604 0 0 0 40183 31 0 0 20 0 1 0 104419030 1181556736 226883 18446744073709551615 4194304 5972588 140733003678672 140733003665864 4931747 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288466 226883 860 435 0 281829 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 1153864 KiB
Current children cumulated memory: 907532 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/190 8562
/proc/meminfo: memFree=27952956/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153864 memory=907536 CPUtime=462.13 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 282305 0 0 0 46182 31 0 0 20 0 1 0 104419030 1181556736 226884 18446744073709551615 4194304 5972588 140733003678672 140733003665864 5099648 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288466 226884 860 435 0 281829 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 1153864 KiB
Current children cumulated memory: 907536 KiB
################
# More data... #
################
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.71 3/187 8646
/proc/meminfo: memFree=27954244/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=1782.08 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 301850 0 0 0 178176 32 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4935164 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/187 8648
/proc/meminfo: memFree=27954552/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=1842.08 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 302966 0 0 0 184176 32 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4935502 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/186 8650
/proc/meminfo: memFree=27954964/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=1902.08 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 303593 0 0 0 190176 32 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4931747 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/186 8653
/proc/meminfo: memFree=27955228/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=1962.07 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 304244 0 0 0 196175 32 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4965365 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/184 8655
/proc/meminfo: memFree=27956292/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2022.07 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 305335 0 0 0 202175 32 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4931776 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/186 8659
/proc/meminfo: memFree=27955744/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2082.07 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 305938 0 0 0 208174 33 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 5099648 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2142.3 s]
/proc/loadavg: 1.92 1.97 1.80 3/186 8661
/proc/meminfo: memFree=27955808/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2142.07 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 306564 0 0 0 214174 33 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4909654 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2202.3 s]
/proc/loadavg: 1.86 1.94 1.80 3/186 8662
/proc/meminfo: memFree=27956116/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2202.08 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 307491 0 0 0 220175 33 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4965382 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2262.3 s]
/proc/loadavg: 1.95 1.96 1.81 3/188 8678
/proc/meminfo: memFree=27952436/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2262.08 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 308130 0 0 0 226175 33 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2322.3 s]
/proc/loadavg: 1.98 1.96 1.82 3/186 8681
/proc/meminfo: memFree=27954980/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2322.09 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 308833 0 0 0 232176 33 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4931727 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/185 8683
/proc/meminfo: memFree=27955128/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908716 CPUtime=2382.09 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 309694 0 0 0 238176 33 0 0 20 0 1 0 104419030 1181687808 227179 18446744073709551615 4194304 5972588 140733003678672 140733003675896 4965342 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227179 860 435 0 281861 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908716 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/185 8685
/proc/meminfo: memFree=27955280/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908732 CPUtime=2442.09 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 310814 0 0 0 244176 33 0 0 20 0 1 0 104419030 1181687808 227183 18446744073709551615 4194304 5972588 140733003678672 140733003676120 5312315 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227183 860 435 0 281861 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908732 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.98 1.86 3/186 8688
/proc/meminfo: memFree=27954840/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908732 CPUtime=2502.1 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 311525 0 0 0 250177 33 0 0 20 0 1 0 104419030 1181687808 227183 18446744073709551615 4194304 5972588 140733003678672 140733003676120 5040138 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227183 860 435 0 281861 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908732 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.98 1.86 3/186 8691
/proc/meminfo: memFree=27954288/32770624 swapFree=67108860/67108860
[pid=8383] ppid=8376 vsize=1153992 memory=908732 CPUtime=2519.81 cores=0,2,4,6
/proc/8383/stat : 8383 (cosoco) R 8376 8383 8289 0 -1 4202496 311767 0 0 0 251948 33 0 0 20 0 1 0 104419030 1181687808 227183 18446744073709551615 4194304 5972588 140733003678672 140733003676120 4931696 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 30859264 140733003682244 140733003682344 140733003682344 140733003685838 0
/proc/8383/statm: 288498 227183 860 435 0 281861 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 1153992 KiB
Current children cumulated memory: 908732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8383 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.48 s, system=0.339994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.82
CPU user time (s): 2519.48
CPU system time (s): 0.339994
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 1153992
Max. memory (cumulated for all children) (KiB): 908732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.339994
maximum resident set size= 908804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311819
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= 2817
# summary of solver processes directly reported to runsolver:
# pid: 8383
# total CPU time (s): 2519.82
# total CPU user time (s): 2519.48
# total CPU system time (s): 0.339994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12866 second user time and 16.4757 second system time
The end
Begin job on node133 at 2017-08-12 21:13:11 IDJOB=4265929 IDBENCH=115885 IDSOLVER=2655 FILE ID=node133/4265929-1502566038 RUNJOBID= node133-1502565190-8353 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265929-1502566038/watcher-4265929-1502566038 -o /tmp/evaluation-result-4265929-1502566038/solver-4265929-1502566038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8353 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265929-1502566038.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8 RANDOM SEED=1684807169 node133.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.17 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.17 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.17 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.17 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: 31063212 kB MemAvailable: 31965440 kB Buffers: 307888 kB Cached: 895236 kB SwapCached: 0 kB Active: 764352 kB Inactive: 503956 kB Active(anon): 65112 kB Inactive(anon): 41308 kB Active(file): 699240 kB Inactive(file): 462648 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 0 kB Writeback: 5044 kB AnonPages: 64016 kB Mapped: 53748 kB Shmem: 41664 kB Slab: 139124 kB SReclaimable: 112352 kB SUnreclaim: 26772 kB KernelStack: 3232 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341752 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-12 21:55:11