Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco 1.1 | No Cert. | 2400.03 | 2400.6 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml |
| MD5SUM | bb36812fd58cb568268e8c9b807d30b9 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 853 |
| Best CPU time to get the best result obtained on this benchmark | 2400.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1332 |
| Number of constraints | 1295 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 69 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 35 |
| Distribution of constraint arities | [{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 35 |
| Distribution of constraint types | [{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.09/0.16 c best=?? lower=0 upper=65216 0.49/0.56 c 0.49/0.56 c This is cosoco 1.0 -- 0.49/0.56 c 0.49/0.56 c enable optimization 0.49/0.56 c ========================================[ Problem Statistics ]=========================================== 0.49/0.56 c | 0.49/0.56 c | Parse time : 0.16 s 0.49/0.56 c | 0.49/0.56 c | Variables: 1332 0.49/0.56 c | Domain Sizes: 1..101 0.49/0.56 c | 0.49/0.56 c | Constraints: 1296 0.49/0.56 c | Arity: 1..1260 -- Unary: 35 -- Ternary: 1190 0.49/0.56 c | 0.49/0.56 c | Types: 0.49/0.56 c | Exactly K: 70 0.49/0.56 c | Intension: 35 0.49/0.56 c | Sum: 1191 0.49/0.56 c | 0.49/0.56 c ========================================================================================================= 0.49/0.56 o 2193 0.49/0.56 c 1 calls to solver: best=2193 lower=0 upper=2192 0.69/0.72 o 2167 0.79/0.88 o 2163 0.79/0.88 c 3 calls to solver: best=2163 lower=0 upper=2162 0.99/1.05 o 2078 1.19/1.21 o 2028 1.19/1.21 c 5 calls to solver: best=2028 lower=0 upper=2027 1.29/1.37 o 2020 1.49/1.55 o 2002 1.49/1.55 c 7 calls to solver: best=2002 lower=0 upper=2001 2400.02/2400.60 2400.02/2400.60 c *** INTERRUPTED *** 2400.02/2400.60 s SATISFIABLE 2400.02/2400.60 c Best value found: 2002 2400.02/2400.60 2400.02/2400.60 2400.02/2400.60 v <instantiation type='solution' cost='2002'> 2400.02/2400.60 v <list>x[0][0] x[0][1] 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[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][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][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] 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[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][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][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] 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[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][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][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] 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[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][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][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] 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[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][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][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] 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[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][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][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] 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[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][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][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] 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[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][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][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] 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[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][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][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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][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][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] 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[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][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][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] 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[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][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][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] 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[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][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][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] 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[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][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][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] 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[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][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][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] 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[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][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][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] 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[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][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][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] 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[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][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][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] 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[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][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][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] 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[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][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][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] 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[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][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][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] 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[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][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][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] 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[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][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][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] 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[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][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][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] 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[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][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][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] 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[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][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][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] 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[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][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][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] 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[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][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][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[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][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][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] 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][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][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] 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][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][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28]
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240907-1500640816/watcher-4240907-1500640816 -o /tmp/evaluation-result-4240907-1500640816/solver-4240907-1500640816 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3188 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240907-1500640816.xml pid=6912 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6915 /proc/meminfo: memFree=31526000/32770624 swapFree=7224/452360 [pid=6915] ppid=6912 vsize=26992 CPUtime=0 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 959 0 0 0 0 0 0 0 20 0 1 0 17358020 27639808 766 33554432000 4194304 5970956 140734158048176 140734158044824 140703951048434 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 6748 766 684 434 0 112 0 [startup+0.100178 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6915 /proc/meminfo: memFree=31526000/32770624 swapFree=7224/452360 [pid=6915] ppid=6912 vsize=35204 CPUtime=0.09 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 3103 0 0 0 9 0 0 0 20 0 1 0 17358020 36048896 2930 33554432000 4194304 5970956 140734158048176 140734158042552 140703941110757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 8801 2930 788 434 0 2165 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35204 [startup+0.200407 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6915 /proc/meminfo: memFree=31526000/32770624 swapFree=7224/452360 [pid=6915] ppid=6912 vsize=36140 CPUtime=0.19 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 3356 0 0 0 19 0 0 0 20 0 1 0 17358020 37007360 3194 33554432000 4194304 5970956 140734158048176 140734158035496 140703941106494 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 9035 3194 837 434 0 2399 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36140 [startup+0.300318 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6915 /proc/meminfo: memFree=31526000/32770624 swapFree=7224/452360 [pid=6915] ppid=6912 vsize=39584 CPUtime=0.29 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 4220 0 0 0 29 0 0 0 20 0 1 0 17358020 40534016 4052 33554432000 4194304 5970956 140734158048176 140734158044920 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 9896 4052 837 434 0 3260 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39584 [startup+0.700284 s] /proc/loadavg: 2.00 2.01 2.05 3/186 6915 /proc/meminfo: memFree=31526000/32770624 swapFree=7224/452360 [pid=6915] ppid=6912 vsize=42100 CPUtime=0.69 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 4858 0 0 0 69 0 0 0 20 0 1 0 17358020 43110400 4646 33554432000 4194304 5970956 140734158048176 140734158045048 140703941110757 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 10525 4646 838 434 0 3889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42100 [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6916 /proc/meminfo: memFree=31509976/32770624 swapFree=7224/452556 [pid=6915] ppid=6912 vsize=43308 CPUtime=1.49 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 5156 0 0 0 149 0 0 0 20 0 1 0 17358020 44347392 4976 33554432000 4194304 5970956 140734158048176 140734158045736 5047107 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 10827 4976 838 434 0 4191 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43308 [startup+3.10028 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6916 /proc/meminfo: memFree=31508960/32770624 swapFree=7224/452556 [pid=6915] ppid=6912 vsize=43968 CPUtime=3.09 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 8671 0 0 0 309 0 0 0 20 0 1 0 17358020 45023232 5156 33554432000 4194304 5970956 140734158048176 140734158045048 5136625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 10992 5156 838 434 0 4356 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43968 [startup+6.30027 s] /proc/loadavg: 2.08 2.03 2.05 3/187 6916 /proc/meminfo: memFree=31508324/32770624 swapFree=7224/452568 [pid=6915] ppid=6912 vsize=44236 CPUtime=6.28 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 12061 0 0 0 628 0 0 0 20 0 1 0 17358020 45297664 5221 33554432000 4194304 5970956 140734158048176 140734158044920 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5221 838 434 0 4423 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 44236 [startup+12.7003 s] /proc/loadavg: 2.08 2.03 2.05 3/187 6916 /proc/meminfo: memFree=31507816/32770624 swapFree=7224/452568 [pid=6915] ppid=6912 vsize=44236 CPUtime=12.68 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 15367 0 0 0 1268 0 0 0 20 0 1 0 17358020 45297664 5230 33554432000 4194304 5970956 140734158048176 140734158044920 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5230 838 434 0 4423 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44236 [startup+25.5003 s] /proc/loadavg: 2.06 2.03 2.05 3/187 6916 /proc/meminfo: memFree=31508032/32770624 swapFree=7224/452580 [pid=6915] ppid=6912 vsize=44236 CPUtime=25.47 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 15812 0 0 0 2547 0 0 0 20 0 1 0 17358020 45297664 5239 33554432000 4194304 5970956 140734158048176 140734158044920 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5239 838 434 0 4423 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 44236 [startup+51.1003 s] /proc/loadavg: 2.12 2.04 2.05 3/187 6916 /proc/meminfo: memFree=31507536/32770624 swapFree=7224/452588 [pid=6915] ppid=6912 vsize=44236 CPUtime=51.07 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 16056 0 0 0 5107 0 0 0 20 0 1 0 17358020 45297664 5245 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5245 838 434 0 4423 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44236 [startup+102.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 6978 /proc/meminfo: memFree=31430740/32770624 swapFree=7224/452644 [pid=6915] ppid=6912 vsize=44236 CPUtime=102.26 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 16285 0 0 0 10226 0 0 0 20 0 1 0 17358020 45297664 5245 33554432000 4194304 5970956 140734158048176 140734158044920 5047599 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5245 838 434 0 4423 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44236 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.04 3/187 6979 /proc/meminfo: memFree=31342956/32770624 swapFree=7224/452708 [pid=6915] ppid=6912 vsize=44236 CPUtime=162.24 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 16516 0 0 0 16224 0 0 0 20 0 1 0 17358020 45297664 5245 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5245 838 434 0 4423 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 44236 [startup+222.306 s] /proc/loadavg: 2.06 2.03 2.05 3/187 6980 /proc/meminfo: memFree=31339868/32770624 swapFree=7224/452744 [pid=6915] ppid=6912 vsize=44236 CPUtime=222.23 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 16744 0 0 0 22223 0 0 0 20 0 1 0 17358020 45297664 5245 33554432000 4194304 5970956 140734158048176 140734158044920 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5245 838 434 0 4423 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44236 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 6982 /proc/meminfo: memFree=31338440/32770624 swapFree=7224/452780 [pid=6915] ppid=6912 vsize=44236 CPUtime=282.21 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 16963 0 0 0 28221 0 0 0 20 0 1 0 17358020 45297664 5246 33554432000 4194304 5970956 140734158048176 140734158044920 5136629 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5246 838 434 0 4423 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44236 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 6984 /proc/meminfo: memFree=31339208/32770624 swapFree=7224/452808 [pid=6915] ppid=6912 vsize=44236 CPUtime=342.2 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 17182 0 0 0 34220 0 0 0 20 0 1 0 17358020 45297664 5246 33554432000 4194304 5970956 140734158048176 140734158044920 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5246 838 434 0 4423 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44236 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6984 /proc/meminfo: memFree=31337668/32770624 swapFree=7224/452840 [pid=6915] ppid=6912 vsize=44236 CPUtime=402.18 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 17396 0 0 0 40218 0 0 0 20 0 1 0 17358020 45297664 5246 33554432000 4194304 5970956 140734158048176 140734158044920 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5246 838 434 0 4423 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 44236 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 6986 /proc/meminfo: memFree=31337168/32770624 swapFree=7224/452868 [pid=6915] ppid=6912 vsize=44236 CPUtime=462.17 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 17620 0 0 0 46217 0 0 0 20 0 1 0 17358020 45297664 5246 33554432000 4194304 5970956 140734158048176 140734158044920 5045486 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5246 838 434 0 4423 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 44236 [startup+522.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 6986 /proc/meminfo: memFree=31337400/32770624 swapFree=7224/452904 [pid=6915] ppid=6912 vsize=44236 CPUtime=522.16 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 17835 0 0 0 52216 0 0 0 20 0 1 0 17358020 45297664 5246 33554432000 4194304 5970956 140734158048176 140734158044920 5047460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5246 838 434 0 4423 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 44236 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.05 3/186 6987 /proc/meminfo: memFree=31338940/32770624 swapFree=7224/452932 [pid=6915] ppid=6912 vsize=44236 CPUtime=582.14 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 18050 0 0 0 58214 0 0 0 20 0 1 0 17358020 45297664 5246 33554432000 4194304 5970956 140734158048176 140734158044920 5136615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5246 838 434 0 4423 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 44236 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7041 /proc/meminfo: memFree=31336036/32770624 swapFree=7224/453448 [pid=6915] ppid=6912 vsize=44236 CPUtime=1481.94 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 21010 0 0 0 148193 1 0 0 20 0 1 0 17358020 45297664 5247 33554432000 4194304 5970956 140734158048176 140734158044920 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5247 838 434 0 4423 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 44236 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7042 /proc/meminfo: memFree=31336316/32770624 swapFree=7224/453472 [pid=6915] ppid=6912 vsize=44236 CPUtime=1541.93 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 21180 0 0 0 154192 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136803 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 44236 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7043 /proc/meminfo: memFree=31336380/32770624 swapFree=7224/453504 [pid=6915] ppid=6912 vsize=44236 CPUtime=1601.91 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 21352 0 0 0 160190 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 44236 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7044 /proc/meminfo: memFree=31336816/32770624 swapFree=7224/453528 [pid=6915] ppid=6912 vsize=44236 CPUtime=1661.89 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 21569 0 0 0 166188 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 44236 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7045 /proc/meminfo: memFree=31336680/32770624 swapFree=7224/453572 [pid=6915] ppid=6912 vsize=44236 CPUtime=1721.88 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 21746 0 0 0 172187 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 44236 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7046 /proc/meminfo: memFree=31336900/32770624 swapFree=7224/453596 [pid=6915] ppid=6912 vsize=44236 CPUtime=1781.87 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 21924 0 0 0 178186 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 44236 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7054 /proc/meminfo: memFree=31335928/32770624 swapFree=7224/453640 [pid=6915] ppid=6912 vsize=44236 CPUtime=1841.85 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 22102 0 0 0 184184 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1841.85 Current children cumulated vsize (KiB) 44236 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7055 /proc/meminfo: memFree=31335976/32770624 swapFree=7224/453676 [pid=6915] ppid=6912 vsize=44236 CPUtime=1901.84 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 22320 0 0 0 190183 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1901.84 Current children cumulated vsize (KiB) 44236 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7056 /proc/meminfo: memFree=31336104/32770624 swapFree=7224/453700 [pid=6915] ppid=6912 vsize=44236 CPUtime=1961.82 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 22498 0 0 0 196181 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 1961.82 Current children cumulated vsize (KiB) 44236 [startup+2022.3 s] /proc/loadavg: 2.05 2.03 2.05 3/187 7057 /proc/meminfo: memFree=31335856/32770624 swapFree=7224/453740 [pid=6915] ppid=6912 vsize=44236 CPUtime=2021.81 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 22676 0 0 0 202180 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2021.81 Current children cumulated vsize (KiB) 44236 [startup+2082.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7058 /proc/meminfo: memFree=31336112/32770624 swapFree=7224/453768 [pid=6915] ppid=6912 vsize=44236 CPUtime=2081.8 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 22893 0 0 0 208179 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2081.8 Current children cumulated vsize (KiB) 44236 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 7059 /proc/meminfo: memFree=31336048/32770624 swapFree=7224/453800 [pid=6915] ppid=6912 vsize=44236 CPUtime=2141.78 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 23069 0 0 0 214177 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2141.78 Current children cumulated vsize (KiB) 44236 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7060 /proc/meminfo: memFree=31336304/32770624 swapFree=7224/453828 [pid=6915] ppid=6912 vsize=44236 CPUtime=2201.77 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 23245 0 0 0 220176 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5046384 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2201.77 Current children cumulated vsize (KiB) 44236 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7061 /proc/meminfo: memFree=31336000/32770624 swapFree=7224/453856 [pid=6915] ppid=6912 vsize=44236 CPUtime=2261.75 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 23421 0 0 0 226174 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136634 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2261.75 Current children cumulated vsize (KiB) 44236 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7062 /proc/meminfo: memFree=31336008/32770624 swapFree=7224/453896 [pid=6915] ppid=6912 vsize=44236 CPUtime=2321.74 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 23597 0 0 0 232173 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5045692 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2321.74 Current children cumulated vsize (KiB) 44236 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7063 /proc/meminfo: memFree=31335920/32770624 swapFree=7224/453924 [pid=6915] ppid=6912 vsize=44236 CPUtime=2381.72 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 23773 0 0 0 238171 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136803 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2381.72 Current children cumulated vsize (KiB) 44236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 2.05 3/188 7072 /proc/meminfo: memFree=31335240/32770624 swapFree=7224/453948 [pid=6915] ppid=6912 vsize=44236 CPUtime=2400.02 cores=0,2,4,6 /proc/6915/stat : 6915 (cosoco) R 6912 6915 3157 0 -1 4202496 23944 0 0 0 240001 1 0 0 20 0 1 0 17358020 45297664 5249 33554432000 4194304 5970956 140734158048176 140734158044920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 11776000 140734158050497 140734158050627 140734158050627 140734158053326 0 /proc/6915/statm: 11059 5249 838 434 0 4423 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 44236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6915 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.03 CPU user time (s): 2400.01 CPU system time (s): 0.012996 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 44236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.012996 maximum resident set size= 21040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23977 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 123031 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.97699 second user time and 8.08745 second system time The end
Begin job on node126 at 2017-07-21 14:40:16 IDJOB=4240907 IDBENCH=124412 IDSOLVER=2620 FILE ID=node126/4240907-1500640816 RUNJOBID= node126-1500623778-3188 PBS_JOBID= 20623007 Free space on /tmp= 61988 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240907-1500640816/watcher-4240907-1500640816 -o /tmp/evaluation-result-4240907-1500640816/solver-4240907-1500640816 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3188 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240907-1500640816.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=1063963354 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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 : 5334.03 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 : 2000.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 : 5334.03 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 : 1600.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 : 1867.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 : 5334.03 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 : 1600.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 : 2267.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 : 5334.03 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 : 1600.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: 31527004 kB MemAvailable: 32004268 kB Buffers: 163172 kB Cached: 602376 kB SwapCached: 0 kB Active: 351180 kB Inactive: 469400 kB Active(anon): 57852 kB Inactive(anon): 17040 kB Active(file): 293328 kB Inactive(file): 452360 kB Unevictable: 7224 kB Mlocked: 7224 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2344 kB Writeback: 0 kB AnonPages: 62028 kB Mapped: 34148 kB Shmem: 17040 kB Slab: 119816 kB SReclaimable: 94820 kB SUnreclaim: 24996 kB KernelStack: 3344 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 337812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 61984 MiB End job on node126 at 2017-07-21 15:20:17