Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 54 | 2520 | 2520.01 |
| Name | StillLife/ StillLife-wastage-25_c18.xml |
| MD5SUM | 633a0f5b4e603fff9205bbaeb6c03cff |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 326 |
| Best CPU time to get the best result obtained on this benchmark | 300.557 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1486 |
| Number of constraints | 883 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1459 |
| Distribution of domain sizes | [{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 28 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 29 |
| Distribution of constraint arities | [{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}] |
| Number of extensional constraints | 725 |
| Number of intensional constraints | 126 |
| Distribution of constraint types | [{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.09 c best=?? lower=-2147483638 upper=2147483637 1.78/1.86 c 1.78/1.86 c This is cosoco 1.12 -- 1.78/1.86 c 1.78/1.86 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292907-1532298394.xml 1.78/1.86 c enable optimization 1.78/1.86 c ========================================[ Problem Statistics ]=========================================== 1.78/1.86 c | 1.78/1.86 c | Parse time : 0.08 s 1.78/1.86 c | 1.78/1.86 c | Variables: 1486 1.78/1.86 c | Domain Sizes: 2..1459 1.78/1.86 c | 1.78/1.86 c | Constraints: 988 1.78/1.86 c | Arity: 1..29 -- Unary: 109 -- Binary: 127 -- Ternary: 100 1.78/1.86 c | 1.78/1.86 c | Types: 1.78/1.86 c | (X -Y <= k): 26 1.78/1.86 c | Extension: 725 (nb tuples: 1..724) -- (shared: 720) 1.78/1.86 c | Intension: 101 1.78/1.86 c | Sum: 28 1.78/1.86 c | Unary: 108 1.78/1.86 c | 1.78/1.86 c | Objective: Maximize Intension 1.78/1.86 1.78/1.86 c ========================================================================================================= 1.78/1.86 o 13 1.78/1.86 c 1 calls to solver: best=13 lower=14 upper=2147483637 2.68/2.78 o 15 3.00/3.02 o 16 3.00/3.02 c 3 calls to solver: best=16 lower=17 upper=2147483637 3.19/3.25 o 22 3.59/3.65 o 23 3.59/3.65 c 5 calls to solver: best=23 lower=24 upper=2147483637 3.79/3.87 o 27 4.29/4.37 o 28 4.29/4.37 c 7 calls to solver: best=28 lower=29 upper=2147483637 5.49/5.55 o 29 6.19/6.26 o 30 6.19/6.26 c 9 calls to solver: best=30 lower=31 upper=2147483637 9.38/9.46 o 32 18.58/18.63 o 34 18.58/18.63 c 11 calls to solver: best=34 lower=35 upper=2147483637 23.19/23.29 o 35 42.69/42.75 o 36 42.69/42.75 c 13 calls to solver: best=36 lower=37 upper=2147483637 63.78/63.83 o 37 64.18/64.25 o 38 64.18/64.25 c 15 calls to solver: best=38 lower=39 upper=2147483637 92.58/92.69 o 39 100.38/100.40 o 40 100.38/100.40 c 17 calls to solver: best=40 lower=41 upper=2147483637 174.78/174.85 o 41 196.88/197.00 o 42 196.88/197.00 c 19 calls to solver: best=42 lower=43 upper=2147483637 638.68/638.73 o 43 658.58/658.69 o 44 658.58/658.69 c 21 calls to solver: best=44 lower=45 upper=2147483637 857.88/857.95 o 45 860.47/860.54 o 46 860.47/860.54 c 23 calls to solver: best=46 lower=47 upper=2147483637 877.77/877.81 o 47 1166.78/1166.86 o 48 1166.78/1166.86 c 25 calls to solver: best=48 lower=49 upper=2147483637 1572.28/1572.38 o 49 1603.88/1603.90 o 50 1603.88/1603.90 c 27 calls to solver: best=50 lower=51 upper=2147483637 2047.48/2047.51 o 51 2091.58/2091.68 o 52 2091.58/2091.68 c 29 calls to solver: best=52 lower=53 upper=2147483637 2206.78/2206.86 o 53 2338.98/2339.03 o 54 2338.98/2339.03 c 31 calls to solver: best=54 lower=55 upper=2147483637 2519.98/2520.01 2519.98/2520.01 c *** INTERRUPTED *** 2519.98/2520.01 c restarts : 89 2519.98/2520.01 c conflicts : 4913805 (1950 /sec) 2519.98/2520.01 c decisions : 46704009 (18534 /sec) 2519.98/2520.01 c propagations : 1758747202 (697926 /sec) 2519.98/2520.01 c root propagations : 20886 2519.98/2520.01 c filter calls : 1198346919 (475542 /sec) 2519.98/2520.01 c useless filter calls : 837886766 (69 %) 2519.98/2520.01 c Memory used : 53.94 MB 2519.98/2520.01 c CPU time : 2519.96 s 2519.98/2520.01 2519.98/2520.01 c nb Solutions = 31 2519.98/2520.01 s SATISFIABLE 2519.98/2520.01 c Best value found: 54 2519.98/2520.01 2519.98/2520.01 2519.98/2520.01 v <instantiation type='solution' cost='54'> 2519.98/2520.01 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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][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][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][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][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][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][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][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][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][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[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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][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][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][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][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][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][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][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][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][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.98/2520.01 v <values>0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 2 2 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 1 0 0 1 2 2 1 2 2 2 2 1 1 0 0 1 0 0 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 1 2 2 2 2 2 0 0 0 1 0 0 1 2 2 2 2 2 2 2 2 2 0 0 2 2 2 1 2 2 2 2 1 0 0 2 1 1 0 1 2 2 2 2 2 2 2 2 1 0 0 1 2 2 1 2 2 2 2 1 0 1 0 1 1 1 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 1 2 2 2 2 2 1 1 2 1 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 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 0 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 1 2 1 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 2 0 2 1 0 1 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 0 0 1 2 0 0 0 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 0 0 0 2 1 0 0 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 0 0 0 2 0 0 0 1 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 0 0 0 2 0 0 1 1 2 2 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 1 0 0 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 0 0 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 1 0 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 1 1 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 1 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 0 0 0 0 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 1 0 0 0 0 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 1 1 1 0 2 2 2 2 2 2 2 23 483 533 579 615 651 689 725 767 817 869 70 919 962 1000 1039 1076 1114 1134 117 164 211 261 309 350 391 436 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 54 </values> 2519.98/2520.01 v </instantiation> 2519.98/2520.01
OK 54
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 (13088 MiB free)
memory of node 1: 16384 MiB (13785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292907-1532298394/watcher-4292907-1532298394 -o /tmp/evaluation-result-4292907-1532298394/solver-4292907-1532298394 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10563 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292907-1532298394.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
Current StackSize limit: 8192 KiB
solver pid=11189, runsolver pid=11186
[startup+0.100234 s]*
/proc/loadavg: 2.07 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27505108/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=41220 memory=17720 CPUtime=0.09 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 4648 0 0 0 9 0 0 0 20 0 1 0 47402601 42209280 4430 33554432000 4194304 6142532 140726091049232 140726091036520 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 10305 4430 853 476 0 3627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41220 KiB
Current children cumulated memory: 17720 KiB
[startup+0.209876 s]*
/proc/loadavg: 2.07 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27504024/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=43200 memory=19832 CPUtime=0.2 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 5145 0 0 0 20 0 0 0 20 0 1 0 47402601 44236800 4958 33554432000 4194304 6142532 140726091049232 140726091036520 140443085798373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 10800 4958 894 476 0 4122 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43200 KiB
Current children cumulated memory: 19832 KiB
[startup+0.309697 s]*
/proc/loadavg: 2.07 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27500304/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=46028 memory=22736 CPUtime=0.3 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 5852 0 0 0 30 0 0 0 20 0 1 0 47402601 47132672 5684 33554432000 4194304 6142532 140726091049232 140726091036520 5175264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 11507 5684 894 476 0 4829 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 22736 KiB
[startup+0.700251 s]
/proc/loadavg: 2.07 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27500304/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=46424 memory=23000 CPUtime=0.68 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 5960 0 0 0 68 0 0 0 20 0 1 0 47402601 47538176 5750 33554432000 4194304 6142532 140726091049232 140726091046088 5347481 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 11606 5750 894 476 0 4928 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46424 KiB
Current children cumulated memory: 23000 KiB
[startup+1.50031 s]
/proc/loadavg: 2.07 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27499072/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=51876 memory=28544 CPUtime=1.49 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 7318 0 0 0 148 1 0 0 20 0 1 0 47402601 53121024 7136 33554432000 4194304 6142532 140726091049232 140726091046104 140443085867563 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 12969 7136 894 476 0 6291 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51876 KiB
Current children cumulated memory: 28544 KiB
[startup+3.10962 s]
/proc/loadavg: 2.07 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27492596/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=54280 memory=30920 CPUtime=3.1 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 14174 0 0 0 308 2 0 0 20 0 1 0 47402601 55582720 7730 33554432000 4194304 6142532 140726091049232 140726091036504 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13570 7730 895 476 0 6892 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54280 KiB
Current children cumulated memory: 30920 KiB
[startup+6.30023 s]
/proc/loadavg: 2.06 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27491604/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=54688 memory=31360 CPUtime=6.29 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 20820 0 0 0 627 2 0 0 20 0 1 0 47402601 56000512 7840 33554432000 4194304 6142532 140726091049232 140726091046760 5330320 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13672 7840 895 476 0 6994 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 54688 KiB
Current children cumulated memory: 31360 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27491376/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=54824 memory=31600 CPUtime=12.68 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 27434 0 0 0 1266 2 0 0 20 0 1 0 47402601 56139776 7900 33554432000 4194304 6142532 140726091049232 140726091046760 5336583 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13706 7900 895 476 0 7028 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 54824 KiB
Current children cumulated memory: 31600 KiB
[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27491392/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55096 memory=31796 CPUtime=25.49 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 40430 0 0 0 2546 3 0 0 20 0 1 0 47402601 56418304 7949 33554432000 4194304 6142532 140726091049232 140726091036504 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13774 7949 895 476 0 7096 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 55096 KiB
Current children cumulated memory: 31796 KiB
[startup+51.1093 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 11190
/proc/meminfo: memFree=27491516/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55096 memory=31876 CPUtime=51.09 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 47138 0 0 0 5106 3 0 0 20 0 1 0 47402601 56418304 7969 33554432000 4194304 6142532 140726091049232 140726091036504 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13774 7969 895 476 0 7096 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 55096 KiB
Current children cumulated memory: 31876 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/191 11192
/proc/meminfo: memFree=27489208/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31920 CPUtime=102.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 47579 0 0 0 10225 3 0 0 20 0 1 0 47402601 56553472 7980 33554432000 4194304 6142532 140726091049232 140726091036504 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7980 895 476 0 7129 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31920 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/192 11194
/proc/meminfo: memFree=27489192/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31944 CPUtime=162.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 47884 0 0 0 16225 3 0 0 20 0 1 0 47402601 56553472 7986 33554432000 4194304 6142532 140726091049232 140726091036504 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7986 895 476 0 7129 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31944 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 11202
/proc/meminfo: memFree=27488908/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31996 CPUtime=222.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 48284 0 0 0 22225 3 0 0 20 0 1 0 47402601 56553472 7999 33554432000 4194304 6142532 140726091049232 140726091036504 5130600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7999 895 476 0 7129 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31996 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 11203
/proc/meminfo: memFree=27489772/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31996 CPUtime=282.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 48587 0 0 0 28225 3 0 0 20 0 1 0 47402601 56553472 7999 33554432000 4194304 6142532 140726091049232 140726091036504 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7999 895 476 0 7129 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31996 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 11204
/proc/meminfo: memFree=27491068/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31996 CPUtime=342.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 48897 0 0 0 34225 3 0 0 20 0 1 0 47402601 56553472 7999 33554432000 4194304 6142532 140726091049232 140726091036504 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7999 895 476 0 7129 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31996 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 11206
/proc/meminfo: memFree=27490260/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31996 CPUtime=402.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 49204 0 0 0 40225 3 0 0 20 0 1 0 47402601 56553472 7999 33554432000 4194304 6142532 140726091049232 140726091036504 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7999 895 476 0 7129 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31996 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11209
/proc/meminfo: memFree=27490196/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=31996 CPUtime=462.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 49508 0 0 0 46225 3 0 0 20 0 1 0 47402601 56553472 7999 33554432000 4194304 6142532 140726091049232 140726091036504 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 7999 895 476 0 7129 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 31996 KiB
################
# More data... #
################
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/192 11253
/proc/meminfo: memFree=27490032/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=1782.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 56385 0 0 0 178225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/191 11254
/proc/meminfo: memFree=27490168/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=1842.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 56708 0 0 0 184225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 11256
/proc/meminfo: memFree=27490084/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=1902.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 56993 0 0 0 190225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5329969 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 11257
/proc/meminfo: memFree=27490148/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=1962.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 57279 0 0 0 196225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5130848 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/193 11267
/proc/meminfo: memFree=27488916/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2022.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 57590 0 0 0 202225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5017816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 11293
/proc/meminfo: memFree=27487268/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2082.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 57947 0 0 0 208225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091046760 5335940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 11294
/proc/meminfo: memFree=27488204/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2142.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 58258 0 0 0 214225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5013950 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11295
/proc/meminfo: memFree=27488320/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2202.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 58554 0 0 0 220225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11296
/proc/meminfo: memFree=27488272/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2262.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 58895 0 0 0 226225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091046760 5013887 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11298
/proc/meminfo: memFree=27488676/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2322.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 59179 0 0 0 232225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091046760 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2382.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/191 11299
/proc/meminfo: memFree=27488552/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2382.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 59537 0 0 0 238225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5013950 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2442.3 s]
/proc/loadavg: 2.31 2.15 2.09 3/191 11300
/proc/meminfo: memFree=27489240/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2442.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 59821 0 0 0 244225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5017973 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
[startup+2502.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/191 11301
/proc/meminfo: memFree=27489216/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2502.28 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 60115 0 0 0 250225 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5130955 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.10 2.08 3/192 11366
/proc/meminfo: memFree=27393940/32770624 swapFree=67108860/67108860
[pid=11189] ppid=11186 vsize=55228 memory=32048 CPUtime=2519.98 cores=1,3,5,7
/proc/11189/stat : 11189 (cosoco) R 11186 11189 10531 0 -1 4202496 60403 0 0 0 251995 3 0 0 20 0 1 0 47402601 56553472 8012 33554432000 4194304 6142532 140726091049232 140726091036504 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19681280 140726091052166 140726091052296 140726091052296 140726091055054 0
/proc/11189/statm: 13807 8012 895 476 0 7129 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 55228 KiB
Current children cumulated memory: 32048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 11189 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.96 s, system=0.036 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): 2520
CPU user time (s): 2519.96
CPU system time (s): 0.036
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 55228
Max. memory (cumulated for all children) (KiB): 32048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.036
maximum resident set size= 32112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60453
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= 19
involuntary context switches= 673
# summary of solver processes directly reported to runsolver:
# pid: 11189
# total CPU time (s): 2520
# total CPU user time (s): 2519.96
# total CPU system time (s): 0.036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00524 second user time and 16.745 second system time
The end
Begin job on node134 at 2018-07-23 00:26:34 IDJOB=4292907 IDBENCH=141034 IDSOLVER=2752 FILE ID=node134/4292907-1532298394 RUNJOBID= node134-1532293349-10563 PBS_JOBID= 21018978 Free space on /tmp= 55992 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/StillLife/StillLife-wastage-25_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292907-1532298394/watcher-4292907-1532298394 -o /tmp/evaluation-result-4292907-1532298394/solver-4292907-1532298394 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10563 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292907-1532298394.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 633a0f5b4e603fff9205bbaeb6c03cff RANDOM SEED=742205367 node134.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.68 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.68 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.68 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.68 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: 27519804 kB MemAvailable: 31971380 kB Buffers: 174808 kB Cached: 4541172 kB SwapCached: 0 kB Active: 1391064 kB Inactive: 3388696 kB Active(anon): 13072 kB Inactive(anon): 70304 kB Active(file): 1377992 kB Inactive(file): 3318392 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5484 kB Writeback: 0 kB AnonPages: 66548 kB Mapped: 38624 kB Shmem: 17056 kB Slab: 170352 kB SReclaimable: 142052 kB SUnreclaim: 28300 kB KernelStack: 3456 kB PageTables: 4780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 352368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55988 MiB End job on node134 at 2018-07-23 01:08:34