Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: cosoco-sat 1.1 | No Cert. | 2400.1 | 2401.1 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml |
| MD5SUM | 72c979ceab0684897cea6dc90bd0dbab |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 783 |
| Best CPU time to get the best result obtained on this benchmark | 19994.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1190 |
| Number of constraints | 1155 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 65 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 33 |
| Distribution of constraint types | [{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.09/0.17 c SAT : Variables: 5612 -- Clauses: 168927 0.09/0.17 c best=?? lower=0 upper=58206 0.39/0.44 c 0.39/0.44 c This is cosoco 1.0 -- 0.39/0.44 c 0.39/0.44 c enable optimization 0.39/0.44 c ========================================[ Problem Statistics ]=========================================== 0.39/0.44 c | 0.39/0.44 c | Parse time : 0.16 s 0.39/0.44 c | 0.39/0.44 c | Variables: 1190 0.39/0.44 c | Domain Sizes: 1..101 0.39/0.44 c | 0.39/0.44 c | Constraints: 1156 0.39/0.44 c | Arity: 1..1122 -- Unary: 33 -- Ternary: 1056 0.39/0.44 c | 0.39/0.44 c | Types: 0.39/0.44 c | Exactly K: 66 0.39/0.44 c | Intension: 33 0.39/0.44 c | Sum: 1057 0.39/0.44 c | 0.39/0.44 c ========================================================================================================= 0.39/0.44 o 1917 0.39/0.44 c 1 calls to solver: best=1917 lower=0 upper=1916 0.49/0.57 o 1891 0.79/0.81 o 1888 0.79/0.81 c 3 calls to solver: best=1888 lower=0 upper=1887 2400.09/2401.10 2400.09/2401.10 c *** INTERRUPTED *** 2400.09/2401.10 s SATISFIABLE 2400.09/2401.10 c Best value found: 1888 2400.09/2401.10 2400.09/2401.10 2400.09/2401.10 v <instantiation type='solution' cost='1888'> 2400.09/2401.10 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] </list> 2400.09/2401.10 v <values>* 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0
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-4240938-1500641538/watcher-4240938-1500641538 -o /tmp/evaluation-result-4240938-1500641538/solver-4240938-1500641538 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240938-1500641538.xml pid=21814 running on 8 cores: 1,3,5,7,9,11,13,15 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.10 2.04 2.05 4/242 21817 /proc/meminfo: memFree=31662484/32770624 swapFree=6792/316092 [pid=21817] ppid=21814 vsize=27252 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 1003 0 0 0 1 0 0 0 20 0 1 0 17568179 27906048 802 33554432000 4194304 5970956 140734341650288 140734341646888 5137024 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 6813 802 698 434 0 177 0 [startup+0.100124 s] /proc/loadavg: 2.10 2.04 2.05 4/242 21817 /proc/meminfo: memFree=31662484/32770624 swapFree=6792/316092 [pid=21817] ppid=21814 vsize=33740 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 2731 0 0 0 9 0 0 0 20 0 1 0 17568179 34549760 2530 33554432000 4194304 5970956 140734341650288 140734341644664 139736723737573 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 8435 2530 770 434 0 1799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33740 [startup+0.200327 s] /proc/loadavg: 2.10 2.04 2.05 4/242 21817 /proc/meminfo: memFree=31662484/32770624 swapFree=6792/316092 [pid=21817] ppid=21814 vsize=43932 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 4333 0 0 0 18 1 0 0 20 0 1 0 17568179 44986368 4667 33554432000 4194304 5970956 140734341650288 140734341647208 139736723737573 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 10983 4667 843 434 0 4347 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 43932 [startup+0.300263 s] /proc/loadavg: 2.10 2.04 2.05 4/242 21817 /proc/meminfo: memFree=31662484/32770624 swapFree=6792/316092 [pid=21817] ppid=21814 vsize=46840 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 5058 0 0 0 28 1 0 0 20 0 1 0 17568179 47964160 5393 33554432000 4194304 5970956 140734341650288 140734341647064 139736723737573 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 11710 5393 843 434 0 5074 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46840 [startup+0.700153 s] /proc/loadavg: 2.10 2.04 2.05 4/242 21817 /proc/meminfo: memFree=31662484/32770624 swapFree=6792/316092 [pid=21817] ppid=21814 vsize=49624 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 5754 0 0 0 68 1 0 0 20 0 1 0 17568179 50814976 6053 33554432000 4194304 5970956 140734341650288 140734341647848 5047599 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 12406 6053 844 434 0 5770 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49624 [startup+1.50019 s] /proc/loadavg: 2.10 2.04 2.05 3/243 21818 /proc/meminfo: memFree=31640464/32770624 swapFree=6792/315984 [pid=21817] ppid=21814 vsize=50396 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 5936 0 0 0 148 1 0 0 20 0 1 0 17568179 51605504 6277 33554432000 4194304 5970956 140734341650288 140734341647064 5047044 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 12599 6277 844 434 0 5963 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50396 [startup+3.10014 s] /proc/loadavg: 2.10 2.04 2.05 3/243 21818 /proc/meminfo: memFree=31639224/32770624 swapFree=6792/315984 [pid=21817] ppid=21814 vsize=50528 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 8897 0 0 0 308 1 0 0 20 0 1 0 17568179 51740672 6367 33554432000 4194304 5970956 140734341650288 140734341647064 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 12632 6367 844 434 0 5996 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50528 [startup+6.30018 s] /proc/loadavg: 2.09 2.04 2.05 3/243 21818 /proc/meminfo: memFree=31638772/32770624 swapFree=6792/316112 [pid=21817] ppid=21814 vsize=50740 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 12778 0 0 0 628 1 0 0 20 0 1 0 17568179 51957760 6494 33554432000 4194304 5970956 140734341650288 140734341647624 5136570 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 12685 6494 844 434 0 6049 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50740 [startup+12.7002 s] /proc/loadavg: 2.09 2.04 2.05 3/243 21818 /proc/meminfo: memFree=31637440/32770624 swapFree=6792/316128 [pid=21817] ppid=21814 vsize=50852 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 16506 0 0 0 1267 1 0 0 20 0 1 0 17568179 52072448 6606 33554432000 4194304 5970956 140734341650288 140734341647624 5136803 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 12713 6606 844 434 0 6077 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 50852 [startup+25.5002 s] /proc/loadavg: 2.07 2.04 2.05 3/243 21818 /proc/meminfo: memFree=31636696/32770624 swapFree=6792/316136 [pid=21817] ppid=21814 vsize=50852 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 23845 0 0 0 2546 2 0 0 20 0 1 0 17568179 52072448 6782 33554432000 4194304 5970956 140734341650288 140734341647624 5047044 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 12713 6782 844 434 0 6077 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50852 [startup+51.1002 s] /proc/loadavg: 2.04 2.04 2.05 3/243 21818 /proc/meminfo: memFree=31633656/32770624 swapFree=6792/316144 [pid=21817] ppid=21814 vsize=53684 CPUtime=51.06 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 26639 0 0 0 5104 2 0 0 20 0 1 0 17568179 54972416 7360 33554432000 4194304 5970956 140734341650288 140734341647624 5136795 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 13421 7360 844 434 0 6785 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 53684 [startup+102.3 s] /proc/loadavg: 2.02 2.03 2.05 3/243 21819 /proc/meminfo: memFree=31634288/32770624 swapFree=6792/316180 [pid=21817] ppid=21814 vsize=53684 CPUtime=102.25 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 27297 0 0 0 10223 2 0 0 20 0 1 0 17568179 54972416 7438 33554432000 4194304 5970956 140734341650288 140734341647624 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 13421 7438 844 434 0 6785 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 53684 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 21820 /proc/meminfo: memFree=31633112/32770624 swapFree=6792/316228 [pid=21817] ppid=21814 vsize=53684 CPUtime=162.21 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 27986 0 0 0 16219 2 0 0 20 0 1 0 17568179 54972416 7481 33554432000 4194304 5970956 140734341650288 140734341647624 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 13421 7481 844 434 0 6785 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 53684 [startup+222.308 s] /proc/loadavg: 2.00 2.02 2.05 3/243 21822 /proc/meminfo: memFree=31633484/32770624 swapFree=6792/316260 [pid=21817] ppid=21814 vsize=53684 CPUtime=222.19 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 28697 0 0 0 22217 2 0 0 20 0 1 0 17568179 54972416 7516 33554432000 4194304 5970956 140734341650288 140734341647624 5045304 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 13421 7516 844 434 0 6785 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 53684 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21823 /proc/meminfo: memFree=31634064/32770624 swapFree=6792/316292 [pid=21817] ppid=21814 vsize=58104 CPUtime=282.16 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 29416 0 0 0 28214 2 0 0 20 0 1 0 17568179 59498496 7541 33554432000 4194304 5970956 140734341650288 140734341647560 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7541 844 434 0 7890 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 58104 [startup+342.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 21824 /proc/meminfo: memFree=31634304/32770624 swapFree=6792/316328 [pid=21817] ppid=21814 vsize=58104 CPUtime=342.14 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 31070 0 0 0 34212 2 0 0 20 0 1 0 17568179 59498496 7552 33554432000 4194304 5970956 140734341650288 140734341647560 5136577 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7552 844 434 0 7890 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 58104 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 21826 /proc/meminfo: memFree=31634484/32770624 swapFree=6792/316368 [pid=21817] ppid=21814 vsize=58104 CPUtime=402.11 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 32003 0 0 0 40209 2 0 0 20 0 1 0 17568179 59498496 7566 33554432000 4194304 5970956 140734341650288 140734341647560 5045448 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7566 844 434 0 7890 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 58104 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 21827 /proc/meminfo: memFree=31632620/32770624 swapFree=6792/316416 [pid=21817] ppid=21814 vsize=58104 CPUtime=462.09 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 32717 0 0 0 46207 2 0 0 20 0 1 0 17568179 59498496 7689 33554432000 4194304 5970956 140734341650288 140734341647560 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7689 844 434 0 7890 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 58104 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21835 /proc/meminfo: memFree=31633340/32770624 swapFree=6792/316452 [pid=21817] ppid=21814 vsize=58104 CPUtime=522.06 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 33147 0 0 0 52204 2 0 0 20 0 1 0 17568179 59498496 7689 33554432000 4194304 5970956 140734341650288 140734341647560 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7689 844 434 0 7890 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 58104 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21858 /proc/meminfo: memFree=31631972/32770624 swapFree=6792/316496 [pid=21817] ppid=21814 vsize=58104 CPUtime=582.03 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 33790 0 0 0 58201 2 0 0 20 0 1 0 17568179 59498496 7689 33554432000 4194304 5970956 140734341650288 140734341647560 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7689 844 434 0 7890 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 58104 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21947 /proc/meminfo: memFree=31237804/32770624 swapFree=6792/317184 [pid=21817] ppid=21814 vsize=58104 CPUtime=1541.64 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 41444 0 0 0 154162 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045736 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 58104 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 21948 /proc/meminfo: memFree=31235768/32770624 swapFree=6792/317176 [pid=21817] ppid=21814 vsize=58104 CPUtime=1601.61 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 41975 0 0 0 160159 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 58104 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22014 /proc/meminfo: memFree=31080624/32770624 swapFree=6792/317232 [pid=21817] ppid=21814 vsize=58104 CPUtime=1661.58 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 42376 0 0 0 166156 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045736 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 58104 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22022 /proc/meminfo: memFree=31018232/32770624 swapFree=6792/317280 [pid=21817] ppid=21814 vsize=58104 CPUtime=1721.56 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 42783 0 0 0 172154 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5136577 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 58104 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22023 /proc/meminfo: memFree=30991256/32770624 swapFree=6792/317280 [pid=21817] ppid=21814 vsize=58104 CPUtime=1781.53 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 43188 0 0 0 178151 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5136625 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 58104 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22024 /proc/meminfo: memFree=30985096/32770624 swapFree=6792/317280 [pid=21817] ppid=21814 vsize=58104 CPUtime=1841.51 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 43708 0 0 0 184149 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1841.51 Current children cumulated vsize (KiB) 58104 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22025 /proc/meminfo: memFree=30981000/32770624 swapFree=6792/317280 [pid=21817] ppid=21814 vsize=58104 CPUtime=1901.48 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 44118 0 0 0 190146 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5136608 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1901.48 Current children cumulated vsize (KiB) 58104 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22026 /proc/meminfo: memFree=30975996/32770624 swapFree=6792/317452 [pid=21817] ppid=21814 vsize=58104 CPUtime=1961.46 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 44521 0 0 0 196144 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5047048 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 1961.46 Current children cumulated vsize (KiB) 58104 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22028 /proc/meminfo: memFree=30975064/32770624 swapFree=6792/317524 [pid=21817] ppid=21814 vsize=58104 CPUtime=2021.44 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 45053 0 0 0 202142 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5047044 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2021.44 Current children cumulated vsize (KiB) 58104 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22029 /proc/meminfo: memFree=30974720/32770624 swapFree=6792/317524 [pid=21817] ppid=21814 vsize=58104 CPUtime=2081.42 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 45463 0 0 0 208140 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2081.42 Current children cumulated vsize (KiB) 58104 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22030 /proc/meminfo: memFree=30974032/32770624 swapFree=6792/317524 [pid=21817] ppid=21814 vsize=58104 CPUtime=2141.39 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 45868 0 0 0 214137 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2141.39 Current children cumulated vsize (KiB) 58104 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 22032 /proc/meminfo: memFree=30972440/32770624 swapFree=6792/317524 [pid=21817] ppid=21814 vsize=58104 CPUtime=2201.37 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 46277 0 0 0 220135 2 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045308 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2201.37 Current children cumulated vsize (KiB) 58104 [startup+2262.3 s] /proc/loadavg: 2.06 2.03 2.05 3/243 22033 /proc/meminfo: memFree=30973252/32770624 swapFree=6792/317640 [pid=21817] ppid=21814 vsize=58104 CPUtime=2261.35 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 46808 0 0 0 226132 3 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5136629 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2261.35 Current children cumulated vsize (KiB) 58104 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/244 22042 /proc/meminfo: memFree=30973016/32770624 swapFree=6792/317672 [pid=21817] ppid=21814 vsize=58104 CPUtime=2321.32 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 47223 0 0 0 232129 3 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045736 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2321.32 Current children cumulated vsize (KiB) 58104 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 22043 /proc/meminfo: memFree=30973244/32770624 swapFree=6792/317672 [pid=21817] ppid=21814 vsize=58104 CPUtime=2381.3 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 47637 0 0 0 238127 3 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5047048 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2381.3 Current children cumulated vsize (KiB) 58104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.1 s] /proc/loadavg: 2.01 2.02 2.05 3/244 22043 /proc/meminfo: memFree=30973244/32770624 swapFree=6792/317672 [pid=21817] ppid=21814 vsize=58104 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 48025 0 0 0 240006 3 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045637 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 58104 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 21817 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.1 s] /proc/loadavg: 2.01 2.02 2.05 3/244 22043 /proc/meminfo: memFree=30973244/32770624 swapFree=6792/317672 [pid=21817] ppid=21814 vsize=58104 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/21817/stat : 21817 (cosoco) R 21814 21817 17688 0 -1 4202496 48025 0 0 0 240006 3 0 0 20 0 1 0 17568179 59498496 7690 33554432000 4194304 5970956 140734341650288 140734341647560 5045637 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 19709952 140734341657788 140734341657923 140734341657923 140734341660622 0 /proc/21817/statm: 14526 7690 844 434 0 7890 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 58104 Child status: 1 Real time (s): 2401.1 CPU time (s): 2400.1 CPU user time (s): 2400.07 CPU system time (s): 0.032986 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 58104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.07 system time used= 0.032986 maximum resident set size= 30804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48059 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= 20 involuntary context switches= 121910 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.15464 second user time and 10.6247 second system time The end
Begin job on node112 at 2017-07-21 14:52:18 IDJOB=4240938 IDBENCH=124459 IDSOLVER=2621 FILE ID=node112/4240938-1500641538 RUNJOBID= node112-1500623784-17720 PBS_JOBID= 20623019 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n34-k5.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240938-1500641538/watcher-4240938-1500641538 -o /tmp/evaluation-result-4240938-1500641538/solver-4240938-1500641538 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240938-1500641538.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 72c979ceab0684897cea6dc90bd0dbab RANDOM SEED=1027339833 node112.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 : 8 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.09 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.09 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.09 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.09 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 : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31662548 kB MemAvailable: 31918656 kB Buffers: 141576 kB Cached: 402548 kB SwapCached: 0 kB Active: 333520 kB Inactive: 333052 kB Active(anon): 125212 kB Inactive(anon): 16960 kB Active(file): 208308 kB Inactive(file): 316092 kB Unevictable: 6792 kB Mlocked: 6800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2460 kB Writeback: 8 kB AnonPages: 129312 kB Mapped: 34764 kB Shmem: 17040 kB Slab: 128212 kB SReclaimable: 95084 kB SUnreclaim: 33128 kB KernelStack: 4240 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 404844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62020 MiB End job on node112 at 2017-07-21 15:32:19