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) | 52 | 2519.8201 | 2520.02 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml |
| MD5SUM | 1822b9c415adc1a9dd10b23e46d08c48 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 2519.5801 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1954 |
| Number of constraints | 1139 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 1923 |
| Distribution of domain sizes | [{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}] |
| Number of extensional constraints | 957 |
| Number of intensional constraints | 146 |
| Distribution of constraint types | [{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
4.34/4.43 c SAT : Variables: 65260 -- Clauses: 57647952 4.34/4.43 c best=?? lower=0 upper=841 11.25/11.37 c 11.25/11.37 c This is cosoco 1.12 -- 11.25/11.37 c 11.25/11.37 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265933-1502566075.xml 11.25/11.37 c enable optimization 11.25/11.37 c ========================================[ Problem Statistics ]=========================================== 11.25/11.37 c | 11.25/11.37 c | Parse time : 3.87 s 11.25/11.37 c | 11.25/11.37 c | Variables: 1954 11.25/11.37 c | Domain Sizes: 2..1923 11.25/11.37 c | 11.25/11.37 c | Constraints: 1260 11.25/11.37 c | Arity: 1..33 -- Unary: 125 -- Binary: 147 -- Ternary: 116 11.25/11.37 c | 11.25/11.37 c | Types: 11.25/11.37 c | Extension: 957 (nb tuples: 1..724) -- (shared: 952) 11.25/11.37 c | Intension: 147 11.25/11.37 c | Sum: 32 11.25/11.37 c | Unary: 124 11.25/11.37 c | 11.25/11.37 c ========================================================================================================= 11.25/11.37 o 8 11.25/11.37 c 1 calls to solver: best=8 lower=9 upper=841 11.96/12.08 o 11 12.45/12.57 o 12 12.45/12.57 c 3 calls to solver: best=12 lower=13 upper=841 13.25/13.36 o 15 15.55/15.67 o 16 15.55/15.67 c 5 calls to solver: best=16 lower=17 upper=841 15.96/16.10 o 22 53.65/53.71 o 23 53.65/53.71 c 7 calls to solver: best=23 lower=24 upper=841 103.05/103.14 o 24 103.74/103.87 o 25 103.74/103.87 c 9 calls to solver: best=25 lower=26 upper=841 105.14/105.22 o 26 105.74/105.89 o 27 105.74/105.89 c 11 calls to solver: best=27 lower=28 upper=841 106.14/106.20 o 31 112.05/112.12 o 32 112.05/112.12 c 13 calls to solver: best=32 lower=33 upper=841 113.63/113.78 o 33 122.64/122.70 o 34 122.64/122.70 c 15 calls to solver: best=34 lower=35 upper=841 124.44/124.53 o 37 166.24/166.33 o 39 166.24/166.33 c 17 calls to solver: best=39 lower=40 upper=841 171.34/171.45 o 40 190.54/190.61 o 42 190.54/190.61 c 19 calls to solver: best=42 lower=43 upper=841 207.63/207.73 o 43 370.13/370.24 o 44 370.13/370.24 c 21 calls to solver: best=44 lower=45 upper=841 389.93/390.03 o 45 438.93/439.03 o 46 438.93/439.03 c 23 calls to solver: best=46 lower=47 upper=841 536.02/536.12 o 47 1030.14/1030.31 o 48 1030.14/1030.31 c 25 calls to solver: best=48 lower=49 upper=841 1076.85/1077.08 o 49 1482.39/1482.64 o 50 1482.39/1482.64 c 27 calls to solver: best=50 lower=51 upper=841 1500.50/1500.77 o 51 2503.49/2503.78 o 52 2503.49/2503.78 c 29 calls to solver: best=52 lower=53 upper=841 2519.80/2520.00 2519.80/2520.00 c *** INTERRUPTED *** 2519.80/2520.00 c restarts : 583 2519.80/2520.00 c conflicts : 2996229 (1189 /sec) 2519.80/2520.00 c decisions : 31356329 (12448 /sec) 2519.80/2520.00 c propagations : 1224324102 (486026 /sec) 2519.80/2520.00 c root propagations : 31324 2519.80/2520.00 c filter calls : 775385778 (307809 /sec) 2519.80/2520.00 c useless filter calls : 539638126 (69 %) 2519.80/2520.00 c 2519.80/2520.00 c clauses : 57650939 2519.80/2520.00 c SAT propagations : 177 2519.80/2520.00 c SAT conflicts : 0 (0 learnts) 2519.80/2520.00 c Memory used : 2813.72 MB 2519.80/2520.00 c CPU time : 2519.05 s 2519.80/2520.00 2519.80/2520.00 c nb Solutions = 29 2519.80/2520.00 s SATISFIABLE 2519.80/2520.00 c Best value found: 52 2519.80/2520.00 2519.80/2520.00 2519.80/2520.00 v <instantiation type='solution' cost='52'> 2519.80/2520.00 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][2] w[0][30] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][2] w[10][30] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][2] w[11][30] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][2] w[12][30] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][2] w[13][30] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][2] w[14][30] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][2] w[15][30] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][2] w[16][30] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][2] w[17][30] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][2] w[18][30] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][2] w[19][30] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][2] w[1][30] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][2] w[20][30] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][2] w[21][30] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][2] w[22][30] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][2] w[23][30] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][2] w[24][30] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][2] w[25][30] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][2] w[26][30] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][2] w[27][30] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][1] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][2] w[28][30] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][1] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][2] w[29][30] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][2] w[2][30] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[30][0] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][1] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][2] w[30][30] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][2] w[3][30] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][2] w[4][30] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][2] w[5][30] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][2] w[6][30] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][2] w[7][30] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][2] w[8][30] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][2] w[9][30] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[30] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list> 2519.80/2520.01 v <values>0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 2 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 1 1 0 0 1 2 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 1 1 1 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 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 0 0 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 0 1 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 1 1 0 1 0 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 1 1 1 2 2 2 2 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 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 0 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 2 2 2 1 2 2 2 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 2 2 2 1 2 2 2 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 0 2 2 2 2 1 2 2 2 1 0 0 1 0 2 2 2 2 2 2 2 0 0 1 0 2 2 2 2 2 2 2 2 2 2 0 1 0 0 0 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 2 2 2 2 2 2 1 1 0 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 0 0 2 2 2 2 1 2 2 2 2 2 2 2 0 1 0 2 1 0 2 2 2 2 2 2 2 2 2 1 1 0 1 1 2 2 2 1 2 2 2 2 2 2 2 2 1 1 2 0 1 1 2 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 1 2 2 2 2 2 1 1 2 2 1 2 0 0 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 1 2 1 2 0 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 2 2 2 1 0 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 23 521 575 632 687 741 794 847 905 965 1025 67 1083 1137 1191 1249 1309 1367 1421 1471 1517 1565 111 1590 158 205 257 310 359 411 467 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 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 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 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 1 1 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 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 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 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 52 </values> 2519.80/2520.01 v </instantiation> 2519.80/2520.01
OK 52
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 (14152 MiB free)
memory of node 1: 16384 MiB (15306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265933-1502566075/watcher-4265933-1502566075 -o /tmp/evaluation-result-4265933-1502566075/solver-4265933-1502566075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265933-1502566075.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=8508, runsolver pid=8505
[startup+0.10016 s]*
/proc/loadavg: 0.89 0.23 0.12 3/190 8509
/proc/meminfo: memFree=30154408/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=38252 memory=14600 CPUtime=0.05 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 3843 0 0 0 5 0 0 0 20 0 1 0 104422643 39170048 3650 18446744073709551615 4194304 5972588 140735178234336 140735178230984 139770333349792 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 9563 3650 797 435 0 2926 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 38252 KiB
Current children cumulated memory: 14600 KiB
[startup+0.20968 s]*
/proc/loadavg: 0.89 0.23 0.12 3/190 8509
/proc/meminfo: memFree=30152920/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=40096 memory=16644 CPUtime=0.16 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 4324 0 0 0 16 0 0 0 20 0 1 0 104422643 41058304 4161 18446744073709551615 4194304 5972588 140735178234336 140735178230984 139770333301733 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 10024 4161 813 435 0 3387 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 16644 KiB
[startup+0.309066 s]*
/proc/loadavg: 0.89 0.23 0.12 3/190 8509
/proc/meminfo: memFree=30117044/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=87512 memory=57504 CPUtime=0.26 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 13015 0 0 0 25 1 0 0 20 0 1 0 104422643 89612288 14376 18446744073709551615 4194304 5972588 140735178234336 140735178231432 5280489 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 21878 14376 843 435 0 15241 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 87512 KiB
Current children cumulated memory: 57504 KiB
[startup+0.700385 s]
/proc/loadavg: 0.89 0.23 0.12 3/190 8509
/proc/meminfo: memFree=30008536/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=317476 memory=260372 CPUtime=0.65 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 41254 0 0 0 59 6 0 0 20 0 1 0 104422643 325095424 65093 18446744073709551615 4194304 5972588 140735178234336 140735178231432 5252461 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 79402 65093 843 435 0 72765 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 317476 KiB
Current children cumulated memory: 260372 KiB
[startup+1.50036 s]
/proc/loadavg: 0.89 0.23 0.12 3/190 8509
/proc/meminfo: memFree=29751848/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=794080 memory=675948 CPUtime=1.45 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 93536 0 0 0 130 15 0 0 20 0 1 0 104422643 813137920 168987 18446744073709551615 4194304 5972588 140735178234336 140735178231128 5252461 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 198520 168987 843 435 0 191883 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 794080 KiB
Current children cumulated memory: 675948 KiB
[startup+3.10965 s]
/proc/loadavg: 0.90 0.25 0.12 3/190 8509
/proc/meminfo: memFree=28726600/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=1863172 memory=1493088 CPUtime=3.06 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 194002 0 0 0 272 34 0 0 20 0 1 0 104422643 1907888128 373272 18446744073709551615 4194304 5972588 140735178234336 140735178231128 5252461 0 0 1 0 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 465793 373272 843 435 0 459156 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1863172 KiB
Current children cumulated memory: 1493088 KiB
[startup+6.30033 s]
/proc/loadavg: 0.90 0.25 0.12 3/190 8509
/proc/meminfo: memFree=27990640/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2293416 memory=2173036 CPUtime=6.25 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 282550 0 0 0 573 52 0 0 20 0 1 0 104422643 2348457984 543259 18446744073709551615 4194304 5972588 140735178234336 140735178230936 5099648 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 573354 543259 859 435 0 566717 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2293416 KiB
Current children cumulated memory: 2173036 KiB
[startup+12.7003 s]
/proc/loadavg: 0.98 0.28 0.13 3/190 8509
/proc/meminfo: memFree=27977744/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2306892 memory=2186712 CPUtime=12.65 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 308934 0 0 0 1212 53 0 0 20 0 1 0 104422643 2362257408 546678 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5338181 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 576723 546678 860 435 0 570086 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2306892 KiB
Current children cumulated memory: 2186712 KiB
[startup+25.5003 s]
/proc/loadavg: 1.21 0.36 0.16 3/190 8510
/proc/meminfo: memFree=27973408/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2308324 memory=2188196 CPUtime=25.45 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 322351 0 0 0 2491 54 0 0 20 0 1 0 104422643 2363723776 547049 18446744073709551615 4194304 5972588 140735178234336 140735178231096 4931680 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 577081 547049 860 435 0 570444 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 2308324 KiB
Current children cumulated memory: 2188196 KiB
[startup+51.1096 s]
/proc/loadavg: 1.48 0.49 0.21 3/190 8510
/proc/meminfo: memFree=27970492/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2310000 memory=2191856 CPUtime=51.06 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 352355 0 0 0 5051 55 0 0 20 0 1 0 104422643 2365440000 547964 18446744073709551615 4194304 5972588 140735178234336 140735178231560 4923616 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 577500 547964 860 435 0 570863 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 2310000 KiB
Current children cumulated memory: 2191856 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 0.72 0.31 3/186 8512
/proc/meminfo: memFree=27963732/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2879776 memory=2200056 CPUtime=102.24 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 379591 0 0 0 10166 58 0 0 20 0 1 0 104422643 2948890624 550014 18446744073709551615 4194304 5972588 140735178234336 140735178230936 4909439 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 719944 550014 860 435 0 713307 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 2879776 KiB
Current children cumulated memory: 2200056 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 0.96 0.41 3/185 8514
/proc/meminfo: memFree=27961420/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2880848 memory=2201384 CPUtime=162.24 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 408849 0 0 0 16164 60 0 0 20 0 1 0 104422643 2949988352 550346 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5338173 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720212 550346 860 435 0 713575 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2880848 KiB
Current children cumulated memory: 2201384 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.15 0.51 3/184 8516
/proc/meminfo: memFree=27959664/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881112 memory=2203704 CPUtime=222.23 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 435344 0 0 0 22162 61 0 0 20 0 1 0 104422643 2950258688 550926 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4931747 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720278 550926 860 435 0 713641 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2881112 KiB
Current children cumulated memory: 2203704 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.30 0.60 3/185 8519
/proc/meminfo: memFree=27957572/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881112 memory=2203704 CPUtime=282.23 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 446802 0 0 0 28161 62 0 0 20 0 1 0 104422643 2950258688 550926 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4931747 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720278 550926 860 435 0 713641 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2881112 KiB
Current children cumulated memory: 2203704 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.43 0.69 3/185 8521
/proc/meminfo: memFree=27957420/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881112 memory=2203704 CPUtime=342.22 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 476593 0 0 0 34158 64 0 0 20 0 1 0 104422643 2950258688 550926 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5039701 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720278 550926 860 435 0 713641 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 2881112 KiB
Current children cumulated memory: 2203704 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.53 0.77 3/190 8561
/proc/meminfo: memFree=27953012/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203756 CPUtime=402.22 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 496826 0 0 0 40157 65 0 0 20 0 1 0 104422643 2950393856 550939 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4935490 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550939 860 435 0 713674 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203756 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.62 0.85 3/190 8563
/proc/meminfo: memFree=27952908/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203756 CPUtime=462.21 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 516617 0 0 0 46155 66 0 0 20 0 1 0 104422643 2950393856 550939 18446744073709551615 4194304 5972588 140735178234336 140735178221528 5071193 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550939 860 435 0 713674 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203756 KiB
################
# More data... #
################
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.72 3/187 8647
/proc/meminfo: memFree=27954408/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=1782.08 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 693274 0 0 0 178133 75 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4931747 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/187 8649
/proc/meminfo: memFree=27954680/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=1842.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 694444 0 0 0 184132 75 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4935596 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/186 8652
/proc/meminfo: memFree=27954948/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=1902.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 695151 0 0 0 190132 75 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5099653 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/184 8654
/proc/meminfo: memFree=27956188/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=1962.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 696494 0 0 0 196131 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5070905 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/186 8658
/proc/meminfo: memFree=27955708/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2022.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 697289 0 0 0 202131 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5071184 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/186 8660
/proc/meminfo: memFree=27955648/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2082.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 698141 0 0 0 208131 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5040154 0 0 1 8405026 0 0 0 17 1 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2142.3 s]
/proc/loadavg: 1.87 1.96 1.80 3/186 8662
/proc/meminfo: memFree=27956240/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2142.06 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 699151 0 0 0 214130 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5053094 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2202.3 s]
/proc/loadavg: 1.92 1.95 1.80 3/188 8678
/proc/meminfo: memFree=27952144/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2202.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 699731 0 0 0 220131 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4931776 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2262.3 s]
/proc/loadavg: 1.97 1.96 1.82 3/188 8680
/proc/meminfo: memFree=27952064/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2262.07 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 700304 0 0 0 226131 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4935502 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/185 8683
/proc/meminfo: memFree=27954820/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2322.08 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 701319 0 0 0 232132 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5338173 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/185 8685
/proc/meminfo: memFree=27955148/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2203852 CPUtime=2382.08 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 701953 0 0 0 238132 76 0 0 20 0 1 0 104422643 2950393856 550963 18446744073709551615 4194304 5972588 140735178234336 140735178231784 4965342 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 550963 860 435 0 713674 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2203852 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.98 1.85 3/186 8688
/proc/meminfo: memFree=27954592/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2204404 CPUtime=2442.09 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 702592 0 0 0 244133 76 0 0 20 0 1 0 104422643 2950393856 551101 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5039701 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 551101 860 435 0 713674 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2204404 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.98 1.86 3/186 8755
/proc/meminfo: memFree=28859696/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2204404 CPUtime=2502.09 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 703720 0 0 0 250133 76 0 0 20 0 1 0 104422643 2950393856 551101 18446744073709551615 4194304 5972588 140735178234336 140735178231784 5338173 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 551101 860 435 0 713674 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2204404 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.20 2.03 1.88 3/186 8755
/proc/meminfo: memFree=28860160/32770624 swapFree=67108860/67108860
[pid=8508] ppid=8505 vsize=2881244 memory=2204404 CPUtime=2519.8 cores=1,3,5,7
/proc/8508/stat : 8508 (cosoco) R 8505 8508 8289 0 -1 4202496 704632 0 0 0 251904 76 0 0 20 0 1 0 104422643 2950393856 551101 18446744073709551615 4194304 5972588 140735178234336 140735178221528 4909660 0 0 1 8405026 0 0 0 17 5 0 0 4 0 0 8070896 8075904 22937600 140735178240452 140735178240552 140735178240552 140735178244046 0
/proc/8508/statm: 720311 551101 860 435 0 713674 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 2881244 KiB
Current children cumulated memory: 2204404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 8508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.05 s, system=0.772968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.82
CPU user time (s): 2519.05
CPU system time (s): 0.772968
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 2881244
Max. memory (cumulated for all children) (KiB): 2204404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.05
system time used= 0.772968
maximum resident set size= 2204476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704673
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= 102
involuntary context switches= 1801
# summary of solver processes directly reported to runsolver:
# pid: 8508
# total CPU time (s): 2519.82
# total CPU user time (s): 2519.05
# total CPU system time (s): 0.772968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.81492 second user time and 16.7853 second system time
The end
Begin job on node133 at 2017-08-12 21:13:47 IDJOB=4265933 IDBENCH=115913 IDSOLVER=2655 FILE ID=node133/4265933-1502566075 RUNJOBID= node133-1502565190-8354 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265933-1502566075/watcher-4265933-1502566075 -o /tmp/evaluation-result-4265933-1502566075/solver-4265933-1502566075 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265933-1502566075.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48 RANDOM SEED=1263384029 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30165808 kB MemAvailable: 31068148 kB Buffers: 307888 kB Cached: 895724 kB SwapCached: 0 kB Active: 1662964 kB Inactive: 503756 kB Active(anon): 963456 kB Inactive(anon): 41304 kB Active(file): 699508 kB Inactive(file): 462452 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2404 kB Writeback: 68 kB AnonPages: 953084 kB Mapped: 56820 kB Shmem: 41660 kB Slab: 139424 kB SReclaimable: 112432 kB SUnreclaim: 26992 kB KernelStack: 3616 kB PageTables: 6736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1493852 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-12 21:55:47