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.06 | 2400.21 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml |
| MD5SUM | 7965d79c566fadd70d01c63d02ba9078 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 661 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.09/0.13 c SAT : Variables: 5378 -- Clauses: 163744 0.09/0.14 c best=?? lower=0 upper=53940 0.39/0.45 c 0.39/0.45 c This is cosoco 1.0 -- 0.39/0.45 c 0.39/0.45 c enable optimization 0.39/0.45 c ========================================[ Problem Statistics ]=========================================== 0.39/0.45 c | 0.39/0.45 c | Parse time : 0.13 s 0.39/0.45 c | 0.39/0.45 c | Variables: 1122 0.39/0.45 c | Domain Sizes: 1..101 0.39/0.45 c | 0.39/0.45 c | Constraints: 1089 0.39/0.45 c | Arity: 1..1056 -- Unary: 32 -- Ternary: 992 0.39/0.45 c | 0.39/0.45 c | Types: 0.39/0.45 c | Exactly K: 64 0.39/0.45 c | Intension: 32 0.39/0.45 c | Sum: 993 0.39/0.45 c | 0.39/0.45 c ========================================================================================================= 0.39/0.45 o 1670 0.39/0.45 c 1 calls to solver: best=1670 lower=0 upper=1669 0.49/0.56 o 1618 0.59/0.67 o 1597 0.59/0.67 c 3 calls to solver: best=1597 lower=0 upper=1596 2400.04/2400.20 2400.04/2400.20 c *** INTERRUPTED *** 2400.04/2400.20 s SATISFIABLE 2400.04/2400.20 c Best value found: 1597 2400.04/2400.20 2400.04/2400.20 2400.04/2400.20 v <instantiation type='solution' cost='1597'> 2400.04/2400.20 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 2400.04/2400.20 v <values>* 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 * 0 0 0 0 0 0 0 0 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 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
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-4240899-1500640724/watcher-4240899-1500640724 -o /tmp/evaluation-result-4240899-1500640724/solver-4240899-1500640724 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500635921-32468 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240899-1500640724.xml pid=470 running on 8 cores: 4-7,12-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.00 2.02 2.03 2/238 475 /proc/meminfo: memFree=30177288/32770624 swapFree=6476/1808932 [pid=475] ppid=470 vsize=26992 CPUtime=0 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 904 0 0 0 0 0 0 0 20 0 1 0 17500431 27639808 700 33554432000 4194304 5970956 140726789581136 140726789577784 139788568674736 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 6748 700 623 434 0 112 0 [startup+0.100121 s] /proc/loadavg: 2.00 2.02 2.03 2/238 475 /proc/meminfo: memFree=30177288/32770624 swapFree=6476/1808932 [pid=475] ppid=470 vsize=33304 CPUtime=0.09 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 2608 0 0 0 9 0 0 0 20 0 1 0 17500431 34103296 2446 33554432000 4194304 5970956 140726789581136 140726789574968 139788565312412 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 8326 2446 794 434 0 1690 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33304 [startup+0.200303 s] /proc/loadavg: 2.00 2.02 2.03 2/238 475 /proc/meminfo: memFree=30177288/32770624 swapFree=6476/1808932 [pid=475] ppid=470 vsize=44252 CPUtime=0.19 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 4692 0 0 0 18 1 0 0 20 0 1 0 17500431 45314048 5039 33554432000 4194304 5970956 140726789581136 140726789578168 139788555959269 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 11063 5039 843 434 0 4427 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 44252 [startup+0.300251 s] /proc/loadavg: 2.00 2.02 2.03 2/238 475 /proc/meminfo: memFree=30177288/32770624 swapFree=6476/1808932 [pid=475] ppid=470 vsize=46896 CPUtime=0.29 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 5362 0 0 0 28 1 0 0 20 0 1 0 17500431 48021504 5699 33554432000 4194304 5970956 140726789581136 140726789578008 5136625 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 11724 5699 843 434 0 5088 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46896 [startup+0.700177 s] /proc/loadavg: 2.00 2.02 2.03 2/238 475 /proc/meminfo: memFree=30177288/32770624 swapFree=6476/1808932 [pid=475] ppid=470 vsize=47820 CPUtime=0.69 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 5594 0 0 0 68 1 0 0 20 0 1 0 17500431 48967680 5923 33554432000 4194304 5970956 140726789581136 140726789568440 5136803 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 11955 5923 843 434 0 5319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47820 [startup+1.50018 s] /proc/loadavg: 2.00 2.02 2.03 3/243 499 /proc/meminfo: memFree=30108768/32770624 swapFree=6476/1809016 [pid=475] ppid=470 vsize=48604 CPUtime=1.49 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 5775 0 0 0 148 1 0 0 20 0 1 0 17500431 49770496 6123 33554432000 4194304 5970956 140726789581136 140726789578472 5045304 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12151 6123 844 434 0 5515 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48604 [startup+3.10018 s] /proc/loadavg: 2.00 2.02 2.03 3/243 499 /proc/meminfo: memFree=30099840/32770624 swapFree=6476/1809016 [pid=475] ppid=470 vsize=48716 CPUtime=3.09 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 8853 0 0 0 308 1 0 0 20 0 1 0 17500431 49885184 6166 33554432000 4194304 5970956 140726789581136 140726789578472 5136786 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12179 6166 844 434 0 5543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48716 [startup+6.30021 s] /proc/loadavg: 2.00 2.02 2.03 3/243 499 /proc/meminfo: memFree=30095072/32770624 swapFree=6476/1808964 [pid=475] ppid=470 vsize=48824 CPUtime=6.29 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 11908 0 0 0 628 1 0 0 20 0 1 0 17500431 49995776 6181 33554432000 4194304 5970956 140726789581136 140726789578472 5047460 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12206 6181 844 434 0 5570 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48824 [startup+12.7002 s] /proc/loadavg: 2.08 2.03 2.04 3/243 499 /proc/meminfo: memFree=30093088/32770624 swapFree=6476/1808964 [pid=475] ppid=470 vsize=48824 CPUtime=12.68 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 14957 0 0 0 1267 1 0 0 20 0 1 0 17500431 49995776 6188 33554432000 4194304 5970956 140726789581136 140726789578472 5047044 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12206 6188 844 434 0 5570 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48824 [startup+25.5003 s] /proc/loadavg: 2.06 2.03 2.04 3/243 499 /proc/meminfo: memFree=30090116/32770624 swapFree=6476/1808972 [pid=475] ppid=470 vsize=48824 CPUtime=25.48 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 18260 0 0 0 2546 2 0 0 20 0 1 0 17500431 49995776 6291 33554432000 4194304 5970956 140726789581136 140726789578472 5136608 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12206 6291 844 434 0 5570 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48824 [startup+51.1003 s] /proc/loadavg: 2.04 2.03 2.04 3/243 499 /proc/meminfo: memFree=30087188/32770624 swapFree=6476/1808984 [pid=475] ppid=470 vsize=51544 CPUtime=51.08 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 19075 0 0 0 5106 2 0 0 20 0 1 0 17500431 52781056 6590 33554432000 4194304 5970956 140726789581136 140726789578408 5045692 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12886 6590 844 434 0 6250 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 51544 [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.04 3/245 511 /proc/meminfo: memFree=30084916/32770624 swapFree=6476/1809024 [pid=475] ppid=470 vsize=51652 CPUtime=102.28 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 20106 0 0 0 10226 2 0 0 20 0 1 0 17500431 52891648 6818 33554432000 4194304 5970956 140726789581136 140726789578472 5136608 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6818 844 434 0 6277 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 51652 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.04 3/245 512 /proc/meminfo: memFree=30081920/32770624 swapFree=6476/1809060 [pid=475] ppid=470 vsize=51652 CPUtime=162.27 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 21006 0 0 0 16225 2 0 0 20 0 1 0 17500431 52891648 6843 33554432000 4194304 5970956 140726789581136 140726789578472 5045308 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6843 844 434 0 6277 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 51652 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.04 3/245 513 /proc/meminfo: memFree=30080960/32770624 swapFree=6476/1809088 [pid=475] ppid=470 vsize=51652 CPUtime=222.28 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 21406 0 0 0 22226 2 0 0 20 0 1 0 17500431 52891648 6871 33554432000 4194304 5970956 140726789581136 140726789578472 5311659 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6871 844 434 0 6277 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 51652 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/245 514 /proc/meminfo: memFree=30077400/32770624 swapFree=6476/1809112 [pid=475] ppid=470 vsize=51652 CPUtime=282.27 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 21817 0 0 0 28225 2 0 0 20 0 1 0 17500431 52891648 6886 33554432000 4194304 5970956 140726789581136 140726789578472 5136570 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6886 844 434 0 6277 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 51652 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/245 515 /proc/meminfo: memFree=30077168/32770624 swapFree=6476/1809140 [pid=475] ppid=470 vsize=51652 CPUtime=342.26 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 22243 0 0 0 34224 2 0 0 20 0 1 0 17500431 52891648 6901 33554432000 4194304 5970956 140726789581136 140726789578472 5045728 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6901 844 434 0 6277 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 51652 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/243 516 /proc/meminfo: memFree=30077244/32770624 swapFree=6476/1809164 [pid=475] ppid=470 vsize=51652 CPUtime=402.26 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 22666 0 0 0 40224 2 0 0 20 0 1 0 17500431 52891648 6910 33554432000 4194304 5970956 140726789581136 140726789578472 5045308 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6910 844 434 0 6277 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 51652 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/243 517 /proc/meminfo: memFree=30077120/32770624 swapFree=6476/1809188 [pid=475] ppid=470 vsize=51652 CPUtime=462.25 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 23104 0 0 0 46223 2 0 0 20 0 1 0 17500431 52891648 6918 33554432000 4194304 5970956 140726789581136 140726789578472 5044841 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6918 844 434 0 6277 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 51652 [startup+522.3 s] /proc/loadavg: 2.09 2.04 2.05 3/243 518 /proc/meminfo: memFree=30076856/32770624 swapFree=6476/1809216 [pid=475] ppid=470 vsize=51652 CPUtime=522.25 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 23543 0 0 0 52223 2 0 0 20 0 1 0 17500431 52891648 6924 33554432000 4194304 5970956 140726789581136 140726789578472 5136608 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6924 844 434 0 6277 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 51652 [startup+582.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 519 /proc/meminfo: memFree=30076932/32770624 swapFree=6476/1809244 [pid=475] ppid=470 vsize=51652 CPUtime=582.25 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 23982 0 0 0 58223 2 0 0 20 0 1 0 17500431 52891648 6928 33554432000 4194304 5970956 140726789581136 140726789578472 5045308 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6928 844 434 0 6277 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 51652 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.08 2.03 2.05 3/246 578 /proc/meminfo: memFree=30073932/32770624 swapFree=6476/1809708 [pid=475] ppid=470 vsize=51652 CPUtime=1482.19 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 29816 0 0 0 148217 2 0 0 20 0 1 0 17500431 52891648 6984 33554432000 4194304 5970956 140726789581136 140726789578472 5045304 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6984 844 434 0 6277 0 Current children cumulated CPU time (s) 1482.19 Current children cumulated vsize (KiB) 51652 [startup+1542.31 s] /proc/loadavg: 2.08 2.04 2.05 3/246 579 /proc/meminfo: memFree=30074340/32770624 swapFree=6476/1809732 [pid=475] ppid=470 vsize=51652 CPUtime=1542.2 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 30328 0 0 0 154218 2 0 0 20 0 1 0 17500431 52891648 6988 33554432000 4194304 5970956 140726789581136 140726789578472 5045736 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6988 844 434 0 6277 0 Current children cumulated CPU time (s) 1542.2 Current children cumulated vsize (KiB) 51652 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.05 3/244 580 /proc/meminfo: memFree=30074196/32770624 swapFree=6476/1809760 [pid=475] ppid=470 vsize=51652 CPUtime=1602.19 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 30564 0 0 0 160217 2 0 0 20 0 1 0 17500431 52891648 6988 33554432000 4194304 5970956 140726789581136 140726789578472 5047599 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6988 844 434 0 6277 0 Current children cumulated CPU time (s) 1602.19 Current children cumulated vsize (KiB) 51652 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 581 /proc/meminfo: memFree=30074812/32770624 swapFree=6476/1809796 [pid=475] ppid=470 vsize=51652 CPUtime=1662.18 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 31074 0 0 0 166216 2 0 0 20 0 1 0 17500431 52891648 6994 33554432000 4194304 5970956 140726789581136 140726789578472 5136786 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6994 844 434 0 6277 0 Current children cumulated CPU time (s) 1662.18 Current children cumulated vsize (KiB) 51652 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 583 /proc/meminfo: memFree=30074772/32770624 swapFree=6476/1809820 [pid=475] ppid=470 vsize=51652 CPUtime=1722.18 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 31315 0 0 0 172216 2 0 0 20 0 1 0 17500431 52891648 6994 33554432000 4194304 5970956 140726789581136 140726789578472 5045308 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 6994 844 434 0 6277 0 Current children cumulated CPU time (s) 1722.18 Current children cumulated vsize (KiB) 51652 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 584 /proc/meminfo: memFree=30075336/32770624 swapFree=6476/1809860 [pid=475] ppid=470 vsize=51652 CPUtime=1782.17 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 31835 0 0 0 178215 2 0 0 20 0 1 0 17500431 52891648 7005 33554432000 4194304 5970956 140726789581136 140726789578472 5136608 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7005 844 434 0 6277 0 Current children cumulated CPU time (s) 1782.17 Current children cumulated vsize (KiB) 51652 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 586 /proc/meminfo: memFree=30075492/32770624 swapFree=6476/1809884 [pid=475] ppid=470 vsize=51652 CPUtime=1842.17 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 31999 0 0 0 184215 2 0 0 20 0 1 0 17500431 52891648 7005 33554432000 4194304 5970956 140726789581136 140726789578472 5136608 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7005 844 434 0 6277 0 Current children cumulated CPU time (s) 1842.17 Current children cumulated vsize (KiB) 51652 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 595 /proc/meminfo: memFree=30072176/32770624 swapFree=6476/1809920 [pid=475] ppid=470 vsize=51652 CPUtime=1902.17 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 32534 0 0 0 190215 2 0 0 20 0 1 0 17500431 52891648 7011 33554432000 4194304 5970956 140726789581136 140726789578472 5136608 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7011 844 434 0 6277 0 Current children cumulated CPU time (s) 1902.17 Current children cumulated vsize (KiB) 51652 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 596 /proc/meminfo: memFree=30072556/32770624 swapFree=6476/1809948 [pid=475] ppid=470 vsize=51652 CPUtime=1962.16 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 32811 0 0 0 196214 2 0 0 20 0 1 0 17500431 52891648 7011 33554432000 4194304 5970956 140726789581136 140726789578472 5045333 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7011 844 434 0 6277 0 Current children cumulated CPU time (s) 1962.16 Current children cumulated vsize (KiB) 51652 [startup+2022.3 s] /proc/loadavg: 2.10 2.04 2.05 3/244 597 /proc/meminfo: memFree=30071684/32770624 swapFree=6476/1809976 [pid=475] ppid=470 vsize=51652 CPUtime=2022.16 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 33078 0 0 0 202214 2 0 0 20 0 1 0 17500431 52891648 7011 33554432000 4194304 5970956 140726789581136 140726789578472 5045308 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7011 844 434 0 6277 0 Current children cumulated CPU time (s) 2022.16 Current children cumulated vsize (KiB) 51652 [startup+2082.3 s] /proc/loadavg: 2.04 2.04 2.05 3/244 598 /proc/meminfo: memFree=30072196/32770624 swapFree=6476/1810004 [pid=475] ppid=470 vsize=51652 CPUtime=2082.16 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 33620 0 0 0 208214 2 0 0 20 0 1 0 17500431 52891648 7017 33554432000 4194304 5970956 140726789581136 140726789578472 5047497 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7017 844 434 0 6277 0 Current children cumulated CPU time (s) 2082.16 Current children cumulated vsize (KiB) 51652 [startup+2142.3 s] /proc/loadavg: 2.01 2.03 2.05 3/244 599 /proc/meminfo: memFree=30072276/32770624 swapFree=6476/1810032 [pid=475] ppid=470 vsize=51652 CPUtime=2142.15 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 33974 0 0 0 214213 2 0 0 20 0 1 0 17500431 52891648 7017 33554432000 4194304 5970956 140726789581136 140726789578472 5045640 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7017 844 434 0 6277 0 Current children cumulated CPU time (s) 2142.15 Current children cumulated vsize (KiB) 51652 [startup+2202.31 s] /proc/loadavg: 2.00 2.03 2.05 3/243 600 /proc/meminfo: memFree=30072432/32770624 swapFree=6476/1810056 [pid=475] ppid=470 vsize=51652 CPUtime=2202.16 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 34230 0 0 0 220214 2 0 0 20 0 1 0 17500431 52891648 7017 33554432000 4194304 5970956 140726789581136 140726789578472 5045304 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7017 844 434 0 6277 0 Current children cumulated CPU time (s) 2202.16 Current children cumulated vsize (KiB) 51652 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 601 /proc/meminfo: memFree=30072692/32770624 swapFree=6476/1810088 [pid=475] ppid=470 vsize=51652 CPUtime=2262.15 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 34483 0 0 0 226213 2 0 0 20 0 1 0 17500431 52891648 7017 33554432000 4194304 5970956 140726789581136 140726789578472 5045736 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7017 844 434 0 6277 0 Current children cumulated CPU time (s) 2262.15 Current children cumulated vsize (KiB) 51652 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 602 /proc/meminfo: memFree=30072084/32770624 swapFree=6476/1810124 [pid=475] ppid=470 vsize=51652 CPUtime=2322.14 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 35013 0 0 0 232212 2 0 0 20 0 1 0 17500431 52891648 7021 33554432000 4194304 5970956 140726789581136 140726789578472 5045333 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7021 844 434 0 6277 0 Current children cumulated CPU time (s) 2322.14 Current children cumulated vsize (KiB) 51652 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 603 /proc/meminfo: memFree=30072660/32770624 swapFree=6476/1810156 [pid=475] ppid=470 vsize=51652 CPUtime=2382.14 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 35267 0 0 0 238212 2 0 0 20 0 1 0 17500431 52891648 7021 33554432000 4194304 5970956 140726789581136 140726789578472 5136620 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7021 844 434 0 6277 0 Current children cumulated CPU time (s) 2382.14 Current children cumulated vsize (KiB) 51652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.00 2.01 2.05 3/243 603 /proc/meminfo: memFree=30072660/32770624 swapFree=6476/1810148 [pid=475] ppid=470 vsize=51652 CPUtime=2400.04 cores=4-7,12-15 /proc/475/stat : 475 (cosoco) R 470 475 29507 0 -1 4202496 35458 0 0 0 240002 2 0 0 20 0 1 0 17500431 52891648 7021 33554432000 4194304 5970956 140726789581136 140726789578472 5045304 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 39727104 140726789588156 140726789588291 140726789588291 140726789590990 0 /proc/475/statm: 12913 7021 844 434 0 6277 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 51652 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 475 sig 9 ??? kill -475 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.06 CPU user time (s): 2400.03 CPU system time (s): 0.028998 CPU usage (%): 99.9938 Max. virtual memory (cumulated for all children) (KiB): 51652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.028998 maximum resident set size= 28128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35490 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= 120660 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.2063 second user time and 10.4192 second system time The end
Begin job on node144 at 2017-07-21 14:38:44 IDJOB=4240899 IDBENCH=124395 IDSOLVER=2621 FILE ID=node144/4240899-1500640724 RUNJOBID= node144-1500635921-32468 PBS_JOBID= 20622990 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240899-1500640724/watcher-4240899-1500640724 -o /tmp/evaluation-result-4240899-1500640724/solver-4240899-1500640724 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500635921-32468 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240899-1500640724.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=1435870229 node144.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 : 1867.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 : 5333.16 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 : 2133.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 : 5333.16 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 : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.16 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 : 1867.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 : 5333.16 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 : 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 : 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 : 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 : 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 : 2133.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 : 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 : 2400.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 : 5333.16 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 : 1600.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 : 5333.16 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 : 1867.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 : 5333.16 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 : 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 : 5333.16 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 : 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 : 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 : 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 : 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 : 2133.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 : 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 : 2133.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: 30182108 kB MemAvailable: 31992276 kB Buffers: 161200 kB Cached: 1927216 kB SwapCached: 0 kB Active: 328848 kB Inactive: 1817760 kB Active(anon): 61216 kB Inactive(anon): 8828 kB Active(file): 267632 kB Inactive(file): 1808932 kB Unevictable: 6476 kB Mlocked: 6484 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2448 kB Writeback: 0 kB AnonPages: 66500 kB Mapped: 30660 kB Shmem: 8844 kB Slab: 132252 kB SReclaimable: 98880 kB SUnreclaim: 33372 kB KernelStack: 4256 kB PageTables: 4684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 318148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62016 MiB End job on node144 at 2017-07-21 15:18:44