Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 7851 | 251.976 | 252.01 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2564 |
| Best CPU time to get the best result obtained on this benchmark | 252.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.10/0.18 c best=?? lower=0 upper=29019 0.31/0.35 c 0.31/0.35 c This is cosoco 1.12 -- 0.31/0.35 c 0.31/0.35 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301257-1532878258.xml 0.31/0.35 c enable optimization 0.31/0.35 c ========================================[ Problem Statistics ]=========================================== 0.31/0.35 c | 0.31/0.35 c | Parse time : 0.17 s 0.31/0.35 c | 0.31/0.35 c | Variables: 834 0.31/0.35 c | Domain Sizes: 1..29 0.31/0.35 c | 0.31/0.35 c | Constraints: 2183 0.31/0.35 c | Arity: 1..190 -- Unary: 32 -- Binary: 814 -- Ternary: 676 0.31/0.35 c | 0.31/0.35 c | Types: 0.31/0.35 c | At least: 362 0.31/0.35 c | Exactly K variable: 132 0.31/0.35 c | Extension: 516 (nb tuples: 0..17) -- (shared: 493) 0.31/0.35 c | Intension: 266 0.31/0.35 c | MDD: 826 0.31/0.35 c | Sum: 49 0.31/0.35 c | Unary: 32 0.31/0.35 c | 0.31/0.35 c | Objective: Minimize Sum 0.31/0.35 0.31/0.35 c ========================================================================================================= 0.31/0.35 o 8937 0.31/0.35 c 1 calls to solver: best=8937 lower=0 upper=8936 0.69/0.74 o 8848 1.00/1.02 o 8739 1.00/1.02 c 3 calls to solver: best=8739 lower=0 upper=8738 1.29/1.38 o 8661 1.39/1.41 o 8464 1.39/1.41 c 5 calls to solver: best=8464 lower=0 upper=8463 1.59/1.62 o 8462 1.59/1.67 o 8459 1.59/1.67 c 7 calls to solver: best=8459 lower=0 upper=8458 1.69/1.73 o 8362 1.69/1.78 o 8263 1.69/1.78 c 9 calls to solver: best=8263 lower=0 upper=8262 1.79/1.82 o 8259 1.79/1.86 o 8165 1.79/1.86 c 11 calls to solver: best=8165 lower=0 upper=8164 4.69/4.71 o 8091 4.89/4.94 o 8078 4.89/4.94 c 13 calls to solver: best=8078 lower=0 upper=8077 7.28/7.36 o 8072 7.38/7.43 o 8071 7.38/7.43 c 15 calls to solver: best=8071 lower=0 upper=8070 7.38/7.48 o 7971 7.48/7.55 o 7970 7.48/7.55 c 17 calls to solver: best=7970 lower=0 upper=7969 7.58/7.60 o 7880 7.68/7.75 o 7879 7.68/7.75 c 19 calls to solver: best=7879 lower=0 upper=7878 99.58/99.69 o 7869 205.97/206.01 o 7851 205.97/206.01 c 21 calls to solver: best=7851 lower=0 upper=7850 251.96/252.00 251.96/252.00 c *** INTERRUPTED *** 251.96/252.00 c restarts : 70 251.96/252.00 c conflicts : 814847 (3234 /sec) 251.96/252.00 c decisions : 4772666 (18942 /sec) 251.96/252.00 c propagations : 134771434 (534894 /sec) 251.96/252.00 c root propagations : 998 251.96/252.00 c filter calls : 274603638 (1089874 /sec) 251.96/252.00 c useless filter calls : 201153938 (73 %) 251.96/252.00 c Memory used : 42.25 MB 251.96/252.00 c CPU time : 251.959 s 251.96/252.00 251.96/252.00 c nb Solutions = 21 251.96/252.00 s SATISFIABLE 251.96/252.00 c Best value found: 7851 251.96/252.00 251.96/252.00 251.96/252.00 v <instantiation type='solution' cost='7851'> 251.96/252.00 v <list>cc[0][0] cc[0][1] cc[0][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[1][0] cc[1][1] cc[1][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cf[0] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[1] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cn[0] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[1] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[5] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[6] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[7] cn[8] cn[9] ds[0][0] ds[0][1] ds[0][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[1][0] ds[1][1] ds[1][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ps[0][0] ps[0][1] ps[0][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] 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[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] 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[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] 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[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] 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[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] 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[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] 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[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] 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[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] 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[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] 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[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] 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[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] 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[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] 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[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] 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[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] 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[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] 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[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] 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[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] 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[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] 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[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] 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[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] 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[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] 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[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] 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[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] 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[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] 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[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] 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[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] 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[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] 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] </list> 251.96/252.00 v <values>1 0 0 1 0 0 1 200 0 0 400 0 3 400 0 1 200 0 1 300 0 6 500 0 3 300 0 0 300 0 0 300 0 2 0 0 2 300 0 0 300 0 2 200 0 2 300 0 6 300 0 7 400 0 2 500 0 100 400 0 4 200 0 3 0 0 5 0 0 0 200 0 200 300 0 0 300 0 1 300 0 3 500 0 2 0 0 0 1 1 1 0 2 2 2 1 2 0 1 0 0 0 0 0 2 2 2 0 0 0 0 0 0 2 3 2 0 0 2 2 0 0 0 0 0 3 3 0 0 3 3 0 2 0 1 2 3 0 0 0 0 3 1 1 0 0 0 0 0 0 0 0 3 3 3 3 0 2 0 0 2 1 1 1 0 0 3 0 0 0 0 0 0 0 0 3 3 0 3 3 0 0 0 1 0 0 3 0 0 0 6 4 6 6 4 6 7 2 7 6 0 10 9 0 7 8 1 7 9 1 6 12 0 4 10 1 5 7 1 8 6 1 9 9 4 3 8 1 7 6 1 9 7 2 7 8 2 6 12 1 3 11 0 5 8 1 7 6 1 9 9 4 3 9 4 3 12 3 1 6 1 9 4 1 11 6 1 9 7 1 8 9 1 6 16 0 12 16 0 12 16 0 12 11 6 11 17 0 11 16 0 12 17 0 11 16 0 12 13 5 10 4 12 12 16 0 12 15 2 11 16 1 11 5 13 10 12 4 12 17 1 10 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 1 2 0 0 2 0 2 2 0 1 1 2 1 0 1 2 0 0 0 2 2 0 2 0 0 1 1 2 2 0 2 1 1 0 0 2 2 0 0 0 0 2 1 2 2 0 2 1 2 2 2 2 0 0 0 0 2 2 2 0 2 0 2 2 2 2 2 0 0 0 0 0 2 0 2 0 2 0 0 2 2 0 2 0 0 2 0 2 0 0 2 2 0 2 0 1 2 0 2 0 0 2 0 2 0 0 0 2 0 2 0 1 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 2 2 0 0 0 0 2 2 2 0 0 0 0 1 0 2 0 2 0 0 2 0 2 0 2 2 1 0 0 2 2 2 0 0 0 2 2 0 2 0 2 2 1 0 2 2 2 2 0 2 0 0 2 0 2 0 0 1 1 0 1 0 1 0 0 0 0 2 2 0 2 0 2 2 2 0 2 0 1 0 0 0 0 2 0 2 2 2 0 2 2 2 2 0 1 0 2 2 2 0 0 2 0 2 0 2 1 2 0 0 1 0 2 2 2 0 0 2 0 2 2 0 1 2 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 2 2 0 2 0 2 1 2 0 0 0 0 0 2 0 2 2 2 0 2 0 2 2 2 0 0 0 0 1 2 2 2 2 2 0 0 0 0 1 0 2 0 2 1 1 0 2 0 1 0 0 0 0 0 1 0 2 0 2 1 1 0 2 0 1 0 0 0 0 0 1 0 0 0 0 2 1 0 0 0 1 0 0 0 2 2 1 0 0 2 0 2 2 2 0 2 2 0 2 0 2 2 1 2 0 2 0 2 2 2 0 2 2 2 2 2 2 2 2 2 0 2 0 0 2 0 0 2 1 2 0 2 2 0 2 2 2 0 2 0 2 0 0 2 1 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 1 0 0 </values> 251.96/252.00 v </instantiation> 251.96/252.00
OK 7851
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11641 MiB free)
memory of node 1: 16384 MiB (11546 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301257-1532878258/watcher-4301257-1532878258 -o /tmp/evaluation-result-4301257-1532878258/solver-4301257-1532878258 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301257-1532878258.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19642, runsolver pid=19639
[startup+0.100111 s]*
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23739016/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=33884 memory=10420 CPUtime=0.1 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 2790 0 0 0 10 0 0 0 20 0 1 0 105388946 34697216 2605 33554432000 4194304 6142532 140720833259264 140720833255896 5801078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 8471 2605 850 476 0 1793 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33884 KiB
Current children cumulated memory: 10420 KiB
[startup+0.20984 s]*
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23731484/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=41392 memory=18056 CPUtime=0.21 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 4711 0 0 0 21 0 0 0 20 0 1 0 105388946 42385408 4514 33554432000 4194304 6142532 140720833259264 140720833255896 5001200 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10348 4514 899 476 0 3670 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41392 KiB
Current children cumulated memory: 18056 KiB
[startup+0.309872 s]*
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23729736/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=42464 memory=19112 CPUtime=0.31 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 4971 0 0 0 31 0 0 0 20 0 1 0 105388946 43483136 4778 33554432000 4194304 6142532 140720833259264 140720833256088 5367440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10616 4778 899 476 0 3938 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42464 KiB
Current children cumulated memory: 19112 KiB
[startup+0.700235 s]
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23729176/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=42728 memory=19376 CPUtime=0.69 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 5052 0 0 0 69 0 0 0 20 0 1 0 105388946 43753472 4844 33554432000 4194304 6142532 140720833259264 140720833256088 5335934 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10682 4844 899 476 0 4004 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 19376 KiB
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23729176/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=42992 memory=19640 CPUtime=1.49 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 5118 0 0 0 149 0 0 0 20 0 1 0 105388946 44023808 4910 33554432000 4194304 6142532 140720833259264 140720833246536 5146740 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10748 4910 900 476 0 4070 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42992 KiB
Current children cumulated memory: 19640 KiB
[startup+3.10955 s]
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23728928/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43124 memory=19888 CPUtime=3.1 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 8591 0 0 0 310 0 0 0 20 0 1 0 105388946 44158976 4972 33554432000 4194304 6142532 140720833259264 140720833246536 5215653 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10781 4972 900 476 0 4103 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43124 KiB
Current children cumulated memory: 19888 KiB
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23728840/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=19988 CPUtime=6.28 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 13106 0 0 0 628 0 0 0 20 0 1 0 105388946 44294144 4997 33554432000 4194304 6142532 140720833259264 140720833246536 5215601 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 4997 900 476 0 4136 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 19988 KiB
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 1.90 3/191 19643
/proc/meminfo: memFree=23728824/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20028 CPUtime=12.68 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 17082 0 0 0 1268 0 0 0 20 0 1 0 105388946 44294144 5007 33554432000 4194304 6142532 140720833259264 140720833246536 5138182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5007 900 476 0 4136 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20028 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.90 3/191 19643
/proc/meminfo: memFree=23729184/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20028 CPUtime=25.49 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 25006 0 0 0 2548 1 0 0 20 0 1 0 105388946 44294144 5007 33554432000 4194304 6142532 140720833259264 140720833246536 5215819 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5007 900 476 0 4136 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20028 KiB
[startup+51.1095 s]
/proc/loadavg: 2.06 2.03 1.91 3/191 19643
/proc/meminfo: memFree=23728764/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20044 CPUtime=51.09 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 29014 0 0 0 5108 1 0 0 20 0 1 0 105388946 44294144 5011 33554432000 4194304 6142532 140720833259264 140720833246536 5335940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5011 900 476 0 4136 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20044 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/191 19644
/proc/meminfo: memFree=23728196/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20064 CPUtime=102.28 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 33043 0 0 0 10227 1 0 0 20 0 1 0 105388946 44294144 5016 33554432000 4194304 6142532 140720833259264 140720833256792 5001204 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5016 900 476 0 4136 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20064 KiB
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 1.92 3/191 19706
/proc/meminfo: memFree=27271888/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20072 CPUtime=162.27 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 36990 0 0 0 16226 1 0 0 20 0 1 0 105388946 44294144 5018 33554432000 4194304 6142532 140720833259264 140720833256792 5124000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5018 900 476 0 4136 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20072 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/191 19707
/proc/meminfo: memFree=27265376/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20076 CPUtime=222.26 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 37475 0 0 0 22225 1 0 0 20 0 1 0 105388946 44294144 5019 33554432000 4194304 6142532 140720833259264 140720833246536 5335940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5019 900 476 0 4136 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20076 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.02 2.03 1.93 3/190 19707
/proc/meminfo: memFree=27266052/32770624 swapFree=67108860/67108860
[pid=19642] ppid=19639 vsize=43256 memory=20080 CPUtime=251.96 cores=0,2,4,6
/proc/19642/stat : 19642 (cosoco) R 19639 19642 15034 0 -1 4202496 37910 0 0 0 25195 1 0 0 20 0 1 0 105388946 44294144 5020 33554432000 4194304 6142532 140720833259264 140720833246536 5140579 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37572608 140720833262731 140720833262861 140720833262861 140720833265614 0
/proc/19642/statm: 10814 5020 900 476 0 4136 0
Current children cumulated CPU time: 251.96 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 20080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 19642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.96 s, system=0.015998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.01
CPU time (s): 251.976
CPU user time (s): 251.96
CPU system time (s): 0.015998
CPU usage (%): 99.9863
Max. virtual memory (cumulated for all children) (KiB): 43256
Max. memory (cumulated for all children) (KiB): 20080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.96
system time used= 0.015998
maximum resident set size= 20144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37961
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= 22
involuntary context switches= 224
# summary of solver processes directly reported to runsolver:
# pid: 19642
# total CPU time (s): 251.976
# total CPU user time (s): 251.96
# total CPU system time (s): 0.015998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.968574 second user time and 1.66313 second system time
The end
Begin job on node135 at 2018-07-29 17:30:58 IDJOB=4301257 IDBENCH=141044 IDSOLVER=2774 FILE ID=node135/4301257-1532878258 RUNJOBID= node135-1532876486-18603 PBS_JOBID= 21022499 Free space on /tmp= 52716 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301257-1532878258/watcher-4301257-1532878258 -o /tmp/evaluation-result-4301257-1532878258/solver-4301257-1532878258 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301257-1532878258.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=1608477096 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23745792 kB MemAvailable: 28290524 kB Buffers: 214832 kB Cached: 4568440 kB SwapCached: 0 kB Active: 5219560 kB Inactive: 3258784 kB Active(anon): 3646112 kB Inactive(anon): 76904 kB Active(file): 1573448 kB Inactive(file): 3181880 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 3712092 kB Mapped: 45848 kB Shmem: 25248 kB Slab: 239068 kB SReclaimable: 210476 kB SUnreclaim: 28592 kB KernelStack: 3632 kB PageTables: 12780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4046736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52712 MiB End job on node135 at 2018-07-29 17:35:10