Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 55 | 2520.0801 | 2520.02 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml |
| MD5SUM | a21a0b86f7fa853bf556b3925b3cd061 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 345 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1597 |
| Number of constraints | 944 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1569 |
| Distribution of domain sizes | [{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}] |
| Number of extensional constraints | 780 |
| Number of intensional constraints | 131 |
| Distribution of constraint types | [{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
2.70/2.84 c SAT : Variables: 48529 -- Clauses: 34676247 2.70/2.85 c best=?? lower=0 upper=676 6.10/6.28 c 6.10/6.28 c This is cosoco 1.12 -- 6.10/6.28 c 6.10/6.28 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265930-1502566044.xml 6.10/6.28 c enable optimization 6.10/6.28 c ========================================[ Problem Statistics ]=========================================== 6.10/6.28 c | 6.10/6.28 c | Parse time : 2.39 s 6.10/6.28 c | 6.10/6.28 c | Variables: 1597 6.10/6.28 c | Domain Sizes: 2..1569 6.10/6.28 c | 6.10/6.28 c | Constraints: 1053 6.10/6.28 c | Arity: 1..30 -- Unary: 113 -- Binary: 132 -- Ternary: 104 6.10/6.28 c | 6.10/6.28 c | Types: 6.10/6.28 c | Extension: 780 (nb tuples: 1..724) -- (shared: 775) 6.10/6.28 c | Intension: 132 6.10/6.28 c | Sum: 29 6.10/6.28 c | Unary: 112 6.10/6.28 c | 6.10/6.28 c ========================================================================================================= 6.10/6.28 o 4 6.10/6.28 c 1 calls to solver: best=4 lower=5 upper=676 6.59/6.73 o 5 7.09/7.27 o 6 7.09/7.27 c 3 calls to solver: best=6 lower=7 upper=676 7.70/7.83 o 7 8.00/8.13 o 10 8.00/8.13 c 5 calls to solver: best=10 lower=11 upper=676 10.59/10.71 o 16 10.69/10.88 o 20 10.69/10.88 c 7 calls to solver: best=20 lower=21 upper=676 11.01/11.18 o 21 11.29/11.48 o 22 11.29/11.48 c 9 calls to solver: best=22 lower=23 upper=676 12.09/12.25 o 23 13.00/13.13 o 24 13.00/13.13 c 11 calls to solver: best=24 lower=25 upper=676 60.69/60.85 o 26 62.69/62.83 o 31 62.69/62.83 c 13 calls to solver: best=31 lower=32 upper=676 68.29/68.47 o 40 69.19/69.34 o 42 69.19/69.34 c 15 calls to solver: best=42 lower=43 upper=676 81.29/81.45 o 43 116.49/116.62 o 44 116.49/116.62 c 17 calls to solver: best=44 lower=45 upper=676 123.69/123.87 o 45 133.69/133.89 o 46 133.69/133.89 c 19 calls to solver: best=46 lower=47 upper=676 151.50/151.66 o 47 221.91/222.06 o 49 221.91/222.06 c 21 calls to solver: best=49 lower=50 upper=676 332.42/332.54 o 50 336.32/336.47 o 51 336.32/336.47 c 23 calls to solver: best=51 lower=52 upper=676 455.43/455.59 o 52 640.64/640.71 o 53 640.64/640.71 c 25 calls to solver: best=53 lower=54 upper=676 974.88/974.93 o 54 1416.02/1416.06 o 55 1416.02/1416.06 c 27 calls to solver: best=55 lower=56 upper=676 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 584 2520.06/2520.00 c conflicts : 3339635 (1326 /sec) 2520.06/2520.00 c decisions : 33538529 (13312 /sec) 2520.06/2520.00 c propagations : 1153858695 (457983 /sec) 2520.06/2520.00 c root propagations : 23208 2520.06/2520.00 c filter calls : 790291692 (313678 /sec) 2520.06/2520.00 c useless filter calls : 551894385 (69 %) 2520.06/2520.00 c 2520.06/2520.00 c clauses : 34679047 2520.06/2520.00 c SAT propagations : 260 2520.06/2520.00 c SAT conflicts : 0 (0 learnts) 2520.06/2520.00 c Memory used : 1472.07 MB 2520.06/2520.00 c CPU time : 2519.43 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 27 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 55 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='55'> 2520.06/2520.00 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2520.06/2520.00 v <values>0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 2 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 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 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 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 1 0 0 0 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 2 1 1 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 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 1 2 2 2 1 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 1 0 0 0 0 1 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 1 0 1 2 2 2 2 2 2 1 2 2 2 2 1 1 2 2 2 2 0 2 2 2 2 1 0 0 0 0 1 2 2 2 2 2 2 0 2 2 2 1 0 0 1 2 2 2 0 2 2 2 2 1 0 0 0 0 2 2 2 2 2 2 2 0 2 2 2 1 0 0 1 2 2 2 0 2 2 2 2 2 1 1 1 1 1 2 2 2 2 2 2 1 2 2 2 2 0 0 2 2 2 2 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 0 1 1 1 1 0 0 1 1 1 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 2 1 0 0 0 0 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 1 0 2 0 0 1 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 1 1 2 2 2 1 0 0 0 0 0 0 1 2 0 2 2 2 2 2 2 2 2 2 2 0 2 1 1 0 1 2 2 1 0 0 1 0 0 1 1 2 1 2 2 2 2 2 2 2 2 2 2 1 2 1 0 1 1 2 2 1 1 2 1 2 2 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 1 2 2 2 2 2 1 1 2 1 2 2 2 1 1 2 2 2 2 2 2 1 0 1 1 2 2 2 1 2 2 2 2 1 0 0 1 1 2 2 1 0 0 1 2 2 2 2 2 2 1 1 2 2 2 2 1 2 2 2 2 1 0 0 1 22 440 492 546 600 654 706 753 802 851 902 64 949 990 1027 1068 1116 1164 1212 1236 106 150 186 221 266 313 354 394 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 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 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 55 </values> 2520.06/2520.00 v </instantiation> 2520.06/2520.00
OK 55
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15023 MiB free)
memory of node 1: 16384 MiB (13119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265930-1502566044/watcher-4265930-1502566044 -o /tmp/evaluation-result-4265930-1502566044/solver-4265930-1502566044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502565153-966 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265930-1502566044.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=1311, runsolver pid=1308
Current StackSize limit: 8192 KiB
[startup+0.108486 s]*
/proc/loadavg: 0.93 0.26 0.13 3/184 1312
/proc/meminfo: memFree=28815452/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=29936 memory=5896 CPUtime=0.01 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 1700 0 0 0 1 0 0 0 20 0 1 0 58825117 30654464 1474 18446744073709551615 4194304 5972588 140726309471200 140726309465496 139938114100197 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 7484 1474 730 435 0 847 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 5896 KiB
[startup+0.209261 s]*
/proc/loadavg: 0.93 0.26 0.13 3/184 1312
/proc/meminfo: memFree=28810080/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=35652 memory=12140 CPUtime=0.11 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 3220 0 0 0 11 0 0 0 20 0 1 0 58825117 36507648 3035 18446744073709551615 4194304 5972588 140726309471200 140726309465496 139938114100197 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 8913 3035 797 435 0 2276 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12140 KiB
[startup+0.309046 s]*
/proc/loadavg: 0.93 0.26 0.13 3/184 1312
/proc/meminfo: memFree=28793144/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=59104 memory=32224 CPUtime=0.21 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 7731 0 0 0 20 1 0 0 20 0 1 0 58825117 60522496 8056 18446744073709551615 4194304 5972588 140726309471200 140726309465000 5280335 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 14776 8056 843 435 0 8139 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59104 KiB
Current children cumulated memory: 32224 KiB
[startup+0.700322 s]
/proc/loadavg: 0.93 0.26 0.13 3/184 1312
/proc/meminfo: memFree=28678844/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=322132 memory=250968 CPUtime=0.59 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 42488 0 0 0 52 7 0 0 20 0 1 0 58825117 329863168 62742 18446744073709551615 4194304 5972588 140726309471200 140726309467992 139938114169387 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 80533 62742 843 435 0 73896 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 322132 KiB
Current children cumulated memory: 250968 KiB
[startup+1.50032 s]
/proc/loadavg: 0.93 0.26 0.13 3/184 1312
/proc/meminfo: memFree=28399236/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=837980 memory=697292 CPUtime=1.4 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 102953 0 0 0 123 17 0 0 20 0 1 0 58825117 858091520 174323 18446744073709551615 4194304 5972588 140726309471200 140726309467992 139938114100197 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 209495 174323 843 435 0 202858 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 837980 KiB
Current children cumulated memory: 697292 KiB
[startup+3.10913 s]
/proc/loadavg: 1.02 0.29 0.14 3/184 1312
/proc/meminfo: memFree=27385460/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1490384 memory=1434232 CPUtime=3.01 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 204846 0 0 0 265 36 0 0 20 0 1 0 58825117 1526153216 358558 18446744073709551615 4194304 5972588 140726309471200 140726309467992 5041374 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 372596 358558 859 435 0 365959 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1490384 KiB
Current children cumulated memory: 1434232 KiB
[startup+6.30026 s]
/proc/loadavg: 1.02 0.29 0.14 3/184 1312
/proc/meminfo: memFree=27373880/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1502076 memory=1446144 CPUtime=6.2 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 221657 0 0 0 583 37 0 0 20 0 1 0 58825117 1538125824 361536 18446744073709551615 4194304 5972588 140726309471200 140726309468424 4935502 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 375519 361536 859 435 0 368882 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1502076 KiB
Current children cumulated memory: 1446144 KiB
[startup+12.7003 s]
/proc/loadavg: 1.17 0.35 0.16 3/184 1312
/proc/meminfo: memFree=27370764/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1503960 memory=1447976 CPUtime=12.59 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 241360 0 0 0 1221 38 0 0 20 0 1 0 58825117 1540055040 361994 18446744073709551615 4194304 5972588 140726309471200 140726309468648 5328036 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 375990 361994 860 435 0 369353 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 1503960 KiB
Current children cumulated memory: 1447976 KiB
[startup+25.5003 s]
/proc/loadavg: 1.30 0.40 0.18 3/184 1313
/proc/meminfo: memFree=27368404/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1504332 memory=1450360 CPUtime=25.39 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 254179 0 0 0 2500 39 0 0 20 0 1 0 58825117 1540435968 362590 18446744073709551615 4194304 5972588 140726309471200 140726309468424 5099648 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376083 362590 860 435 0 369446 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1504332 KiB
Current children cumulated memory: 1450360 KiB
[startup+51.1091 s]
/proc/loadavg: 1.54 0.53 0.23 3/184 1313
/proc/meminfo: memFree=27364588/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1505028 memory=1453156 CPUtime=51 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 276377 0 0 0 5059 41 0 0 20 0 1 0 58825117 1541148672 363289 18446744073709551615 4194304 5972588 140726309471200 140726309467960 4931784 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376257 363289 860 435 0 369620 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1505028 KiB
Current children cumulated memory: 1453156 KiB
[startup+102.3 s]
/proc/loadavg: 1.76 0.76 0.32 3/181 1315
/proc/meminfo: memFree=27361664/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507284 memory=1457412 CPUtime=102.19 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 301827 0 0 0 10177 42 0 0 20 0 1 0 58825117 1543458816 364353 18446744073709551615 4194304 5972588 140726309471200 140726309468424 5039349 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376821 364353 860 435 0 370184 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 1507284 KiB
Current children cumulated memory: 1457412 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 0.99 0.43 3/181 1317
/proc/meminfo: memFree=27358716/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507284 memory=1457440 CPUtime=162.2 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 325760 0 0 0 16176 44 0 0 20 0 1 0 58825117 1543458816 364360 18446744073709551615 4194304 5972588 140726309471200 140726309468648 5322696 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376821 364360 860 435 0 370184 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 1507284 KiB
Current children cumulated memory: 1457440 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.17 0.53 3/181 1319
/proc/meminfo: memFree=27355448/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507284 memory=1459516 CPUtime=222.2 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 342648 0 0 0 22175 45 0 0 20 0 1 0 58825117 1543458816 364879 18446744073709551615 4194304 5972588 140726309471200 140726309468648 5322696 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376821 364879 860 435 0 370184 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 1507284 KiB
Current children cumulated memory: 1459516 KiB
[startup+282.3 s]
/proc/loadavg: 2.28 1.42 0.65 3/181 1321
/proc/meminfo: memFree=27352544/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507284 memory=1459544 CPUtime=282.21 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 350834 0 0 0 28175 46 0 0 20 0 1 0 58825117 1543458816 364886 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4931680 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376821 364886 860 435 0 370184 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1507284 KiB
Current children cumulated memory: 1459544 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 1.53 0.74 3/181 1323
/proc/meminfo: memFree=27351688/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507284 memory=1459552 CPUtime=342.22 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 368972 0 0 0 34175 47 0 0 20 0 1 0 58825117 1543458816 364888 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5099619 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376821 364888 860 435 0 370184 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 1507284 KiB
Current children cumulated memory: 1459552 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 1.61 0.82 3/181 1325
/proc/meminfo: memFree=27351360/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1459572 CPUtime=402.22 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 377086 0 0 0 40175 47 0 0 20 0 1 0 58825117 1543577600 364893 18446744073709551615 4194304 5972588 140726309471200 140726309468424 4931776 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 364893 860 435 0 370213 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1459572 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 1.70 0.90 3/185 1342
/proc/meminfo: memFree=27344372/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1459572 CPUtime=462.22 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 396251 0 0 0 46174 48 0 0 20 0 1 0 58825117 1543577600 364893 18446744073709551615 4194304 5972588 140726309471200 140726309468648 5328036 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 364893 860 435 0 370213 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1459572 KiB
################
# More data... #
################
/proc/1311/statm: 376850 366185 860 435 0 370213 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1464740 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/181 1417
/proc/meminfo: memFree=27334796/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1466452 CPUtime=1782.31 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 578790 0 0 0 178169 62 0 0 20 0 1 0 58825117 1543577600 366613 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5070704 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 366613 860 435 0 370213 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1466452 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 1419
/proc/meminfo: memFree=27333324/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1468176 CPUtime=1842.31 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 581148 0 0 0 184169 62 0 0 20 0 1 0 58825117 1543577600 367044 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5099648 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 367044 860 435 0 370213 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1468176 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/181 1421
/proc/meminfo: memFree=27331368/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1469972 CPUtime=1902.31 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 585994 0 0 0 190169 62 0 0 20 0 1 0 58825117 1543577600 367493 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4931747 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 367493 860 435 0 370213 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1469972 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/181 1423
/proc/meminfo: memFree=27329720/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1471768 CPUtime=1962.31 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 588664 0 0 0 196169 62 0 0 20 0 1 0 58825117 1543577600 367942 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4931680 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 367942 860 435 0 370213 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1471768 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/181 1425
/proc/meminfo: memFree=27329748/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2022.3 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 591308 0 0 0 202168 62 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4934322 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/181 1427
/proc/meminfo: memFree=27329272/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2082.32 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 592392 0 0 0 208169 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4909654 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/181 1429
/proc/meminfo: memFree=27328928/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2142.32 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 593125 0 0 0 214169 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4931766 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/181 1431
/proc/meminfo: memFree=27328844/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2202.33 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 593865 0 0 0 220170 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4931747 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/184 1447
/proc/meminfo: memFree=27325208/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2262.33 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 595021 0 0 0 226170 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5070704 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 1449
/proc/meminfo: memFree=27328488/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2322.34 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 595799 0 0 0 232171 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 4931747 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.00 1.87 3/181 1451
/proc/meminfo: memFree=27328568/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2382.34 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 596874 0 0 0 238171 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5040138 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.00 1.87 3/181 1453
/proc/meminfo: memFree=27328940/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2442.35 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 597990 0 0 0 244172 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5338177 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/181 1580
/proc/meminfo: memFree=29738608/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2502.35 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 599065 0 0 0 250172 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5040248 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.00 1.88 3/181 1581
/proc/meminfo: memFree=29738468/32770624 swapFree=67108860/67108860
[pid=1311] ppid=1308 vsize=1507400 memory=1472084 CPUtime=2520.06 cores=0,2,4,6
/proc/1311/stat : 1311 (cosoco) R 1308 1311 897 0 -1 4202496 599172 0 0 0 251943 63 0 0 20 0 1 0 58825117 1543577600 368021 18446744073709551615 4194304 5972588 140726309471200 140726309458392 5328030 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 32055296 140726309478852 140726309478952 140726309478952 140726309482446 0
/proc/1311/statm: 376850 368021 860 435 0 370213 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 1507400 KiB
Current children cumulated memory: 1472084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 1311 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.43 s, system=0.641055 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2520.08
CPU user time (s): 2519.43
CPU system time (s): 0.641055
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1507400
Max. memory (cumulated for all children) (KiB): 1472084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 0.641055
maximum resident set size= 1472156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 599226
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= 92
involuntary context switches= 1964
# summary of solver processes directly reported to runsolver:
# pid: 1311
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.43
# total CPU system time (s): 0.641055
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6436 second user time and 13.7455 second system time
The end
Begin job on node125 at 2017-08-12 21:13:18 IDJOB=4265930 IDBENCH=115899 IDSOLVER=2655 FILE ID=node125/4265930-1502566044 RUNJOBID= node125-1502565153-966 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-26.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265930-1502566044/watcher-4265930-1502566044 -o /tmp/evaluation-result-4265930-1502566044/solver-4265930-1502566044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502565153-966 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265930-1502566044.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061 RANDOM SEED=177137309 node125.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.07 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.07 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.07 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.07 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: 28818544 kB MemAvailable: 29605268 kB Buffers: 273160 kB Cached: 803556 kB SwapCached: 0 kB Active: 2967892 kB Inactive: 556544 kB Active(anon): 2448268 kB Inactive(anon): 24908 kB Active(file): 519624 kB Inactive(file): 531636 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2468 kB Writeback: 0 kB AnonPages: 2447540 kB Mapped: 46812 kB Shmem: 25252 kB Slab: 127800 kB SReclaimable: 102596 kB SUnreclaim: 25204 kB KernelStack: 3248 kB PageTables: 9676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2850048 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 532480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node125 at 2017-08-12 21:55:19