Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 8 | 2400.05 | 2400.01 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml |
| MD5SUM | 9a57509d02107f3cf02e1da9240cc9e8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 9.25888 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1380 |
| Number of constraints | 1366 |
| Number of domains | 6 |
| Minimum domain size | 2 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
| Number of extensional constraints | 450 |
| Number of intensional constraints | 450 |
| Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.20/0.21 c 0.20/0.21 c This is cosoco 2.00 -- 0.20/0.21 c 0.20/0.21 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397635-1568591265.xml 0.20/0.21 c enable optimization 0.20/0.21 c ========================================[ Problem Statistics ]=========================================== 0.20/0.21 c | 0.20/0.21 c | Parse time : 0.15 s 0.20/0.21 c | 0.20/0.21 c | Variables: 1380 0.20/0.21 c | Domain Sizes: 2..16 0.20/0.21 c | 0.20/0.21 c | Constraints: 1367 0.20/0.21 c | Arity: 2..31 -- Binary: 480 -- Ternary: 870 0.20/0.21 c | 0.20/0.21 c | Types: 0.20/0.21 c | (X = Y): 30 0.20/0.21 c | All Different: 1 0.20/0.21 c | Extension: 900 (nb tuples: 3..15) -- (shared: 446) 0.20/0.21 c | Max constant: 1 0.20/0.21 c | Sum: 435 0.20/0.21 c | 0.20/0.21 c | Objective: Minimize Max constant 0.20/0.21 0.20/0.21 c ========================================================================================================= 0.20/0.22 o 15 0.20/0.22 c 1 calls to solver(id=*d): best=0 lower=15 upper=0 0.20/0.25 o 11 33.49/33.50 o 10 33.49/33.50 c 3 calls to solver(id=*d): best=0 lower=10 upper=0 341.01/341.08 o 9 342.90/342.97 o 8 342.90/342.97 c 5 calls to solver(id=*d): best=0 lower=8 upper=0 2400.04/2400.00 2400.04/2400.00 c *** INTERRUPTED *** 2400.04/2400.00 c call to solver : 5 2400.04/2400.00 c 2400.04/2400.00 c restarts : 285 2400.04/2400.00 c conflicts : 12980059 (5408 /sec) 2400.04/2400.00 c decisions : 65412680 (27255 /sec) 2400.04/2400.00 c propagations : 2268067149 (945023 /sec) 2400.04/2400.00 c root propagations : 38286 2400.04/2400.00 c filter calls : 5918606281 (2466073 /sec) 2400.04/2400.00 c useless filter calls : 4202492809 (71 %) 2400.04/2400.00 c Memory used : 47.90 MB 2400.04/2400.00 c Best bound time (wc) : 342.973 s 2400.04/2400.00 c CPU time : 2400.01 s 2400.04/2400.00 c real time : 2400 s 2400.04/2400.00 2400.04/2400.00 c nb Solutions = 5 2400.04/2400.00 s SATISFIABLE 2400.04/2400.00 c Best value found: 8 2400.04/2400.00 2400.04/2400.00 2400.04/2400.00 v <instantiation type='solution' cost='8'> 2400.04/2400.00 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[20][0] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[21][0] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[22][0] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[23][0] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[24][0] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[25][0] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[26][0] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[27][0] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[28][0] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[29][0] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[20][0] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[21][0] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[22][0] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[23][0] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[24][0] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[25][0] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[26][0] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[27][0] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[28][0] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[29][0] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2400.04/2400.00 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 1 1 1 2 3 3 3 3 3 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 0 0 0 0 0 1 2 2 2 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 2 2 2 2 2 1 1 1 2 2 2 2 2 2 0 1 2 2 2 2 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 2 0 0 0 0 0 1 1 1 1 1 4 4 4 4 4 1 2 2 3 4 4 4 4 4 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 1 1 1 1 2 2 3 3 3 0 2 2 2 2 2 0 1 2 2 2 2 2 2 2 0 2 2 3 3 3 0 0 0 0 0 0 0 1 2 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 0 2 2 2 2 3 0 0 0 1 1 1 1 1 2 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 1 4 4 4 4 4 1 1 2 2 2 2 2 3 3 0 3 3 3 3 3 0 0 0 0 0 1 1 2 3 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 1 1 1 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 1 1 1 2 2 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 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 1 1 1 1 0 0 0 5 14 8 11 7 2 13 1 12 6 0 3 4 10 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 1 0 0 0 4 8 7 7 6 4 8 8 8 7 7 7 8 8 8 </values> 2400.04/2400.00 v </instantiation> 2400.04/2400.00
OK 8
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 (1633 MiB free)
memory of node 1: 16384 MiB (15516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397635-1568591265/watcher-4397635-1568591265 -o /tmp/evaluation-result-4397635-1568591265/solver-4397635-1568591265 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568572745-21075 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397635-1568591265.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24246, runsolver pid=24243
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17552620/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=35036 memory=11444 CPUtime=0.1 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 3025 0 0 0 10 0 0 0 20 0 1 0 435391345 35876864 2861 33554432000 4194304 6211092 140723797742032 140723797738568 139814251887589 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 8759 2861 836 493 0 2064 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 11444 KiB
[startup+0.20962 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17543692/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=45724 memory=22512 CPUtime=0.2 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 5785 0 0 0 20 0 0 0 20 0 1 0 435391345 46821376 5562 33554432000 4194304 6211092 140723797742032 140723797738568 139814251887589 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11431 5562 908 493 0 4736 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45724 KiB
Current children cumulated memory: 22512 KiB
[startup+0.309584 s]*
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17537740/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24360 CPUtime=0.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 6274 0 0 0 30 0 0 0 20 0 1 0 435391345 48857088 6090 33554432000 4194304 6211092 140723797742032 140723797738568 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6090 909 493 0 5233 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24360 KiB
[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17536004/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24360 CPUtime=0.69 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 6274 0 0 0 69 0 0 0 20 0 1 0 435391345 48857088 6090 33554432000 4194304 6211092 140723797742032 140723797738568 5392078 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6090 909 493 0 5233 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24360 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17530920/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24360 CPUtime=1.49 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 6274 0 0 0 149 0 0 0 20 0 1 0 435391345 48857088 6090 33554432000 4194304 6211092 140723797742032 140723797740168 5380384 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6090 909 493 0 5233 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24360 KiB
[startup+3.10904 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17511444/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24448 CPUtime=3.1 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 10139 0 0 0 309 1 0 0 20 0 1 0 435391345 48857088 6112 33554432000 4194304 6211092 140723797742032 140723797740168 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6112 909 493 0 5233 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24448 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17480040/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24448 CPUtime=6.29 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 14215 0 0 0 628 1 0 0 20 0 1 0 435391345 48857088 6112 33554432000 4194304 6211092 140723797742032 140723797740168 5396756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6112 909 493 0 5233 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24448 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24247
/proc/meminfo: memFree=17418728/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24448 CPUtime=12.69 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 18309 0 0 0 1268 1 0 0 20 0 1 0 435391345 48857088 6112 33554432000 4194304 6211092 140723797742032 140723797740168 5017688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6112 909 493 0 5233 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24448 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24248
/proc/meminfo: memFree=17287376/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=47712 memory=24448 CPUtime=25.49 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 25511 0 0 0 2548 1 0 0 20 0 1 0 435391345 48857088 6112 33554432000 4194304 6211092 140723797742032 140723797740168 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 11928 6112 909 493 0 5233 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 24448 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24250
/proc/meminfo: memFree=17023616/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=48384 memory=25188 CPUtime=51.09 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 30664 0 0 0 5108 1 0 0 20 0 1 0 435391345 49545216 6297 33554432000 4194304 6211092 140723797742032 140723797729912 5396412 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12096 6297 909 493 0 5401 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 25188 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24254
/proc/meminfo: memFree=16510832/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=48384 memory=25188 CPUtime=102.29 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 34227 0 0 0 10228 1 0 0 20 0 1 0 435391345 49545216 6297 33554432000 4194304 6211092 140723797742032 140723797729912 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12096 6297 909 493 0 5401 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 25188 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24258
/proc/meminfo: memFree=15903760/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=48384 memory=25188 CPUtime=162.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 37800 0 0 0 16228 2 0 0 20 0 1 0 435391345 49545216 6297 33554432000 4194304 6211092 140723797742032 140723797729912 5038813 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12096 6297 909 493 0 5401 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 25188 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24272
/proc/meminfo: memFree=15296500/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=48384 memory=25188 CPUtime=222.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 41550 0 0 0 22228 2 0 0 20 0 1 0 435391345 49545216 6297 33554432000 4194304 6211092 140723797742032 140723797729912 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12096 6297 909 493 0 5401 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 25188 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24276
/proc/meminfo: memFree=14692108/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=48384 memory=25188 CPUtime=282.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 45202 0 0 0 28228 2 0 0 20 0 1 0 435391345 49545216 6297 33554432000 4194304 6211092 140723797742032 140723797729912 5017472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12096 6297 909 493 0 5401 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 48384 KiB
Current children cumulated memory: 25188 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24280
/proc/meminfo: memFree=14085028/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=48780 memory=25576 CPUtime=342.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 49843 0 0 0 34228 2 0 0 20 0 1 0 435391345 49950720 6394 33554432000 4194304 6211092 140723797742032 140723797729912 5409439 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12195 6394 909 493 0 5500 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 48780 KiB
Current children cumulated memory: 25576 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24286
/proc/meminfo: memFree=13480964/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25752 CPUtime=402.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 53978 0 0 0 40228 2 0 0 20 0 1 0 435391345 50221056 6438 33554432000 4194304 6211092 140723797742032 140723797729912 5039210 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6438 909 493 0 5566 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25752 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/200 24290
/proc/meminfo: memFree=12876360/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25752 CPUtime=462.3 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 57546 0 0 0 46228 2 0 0 20 0 1 0 435391345 50221056 6438 33554432000 4194304 6211092 140723797742032 140723797729912 5035270 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6438 909 493 0 5566 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25752 KiB
################
# More data... #
################
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1602.31 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 24554
/proc/meminfo: memFree=27811552/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=1662.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 73337 0 0 0 166229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5148578 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1662.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 24558
/proc/meminfo: memFree=27811104/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=1722.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 73817 0 0 0 172229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 24562
/proc/meminfo: memFree=27811948/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=1782.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 74336 0 0 0 178229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5409424 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 24568
/proc/meminfo: memFree=27811336/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=1842.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 74790 0 0 0 184229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5397368 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 24572
/proc/meminfo: memFree=27812012/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=1902.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 75243 0 0 0 190229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5250260 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24576
/proc/meminfo: memFree=27812300/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=1962.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 75762 0 0 0 196229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5038999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24590
/proc/meminfo: memFree=27811080/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2022.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 76217 0 0 0 202229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5148687 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24594
/proc/meminfo: memFree=27811700/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2082.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 76738 0 0 0 208229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5038999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24598
/proc/meminfo: memFree=27811788/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2142.32 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 77237 0 0 0 214229 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5039022 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24604
/proc/meminfo: memFree=27811420/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2202.33 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 77737 0 0 0 220230 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5151087 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 24608
/proc/meminfo: memFree=27811596/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2262.33 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 78255 0 0 0 226230 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5035326 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24613
/proc/meminfo: memFree=27811384/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2322.33 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 78698 0 0 0 232230 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5035232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24619
/proc/meminfo: memFree=27811048/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2382.33 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 79142 0 0 0 238230 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5409444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 24619
/proc/meminfo: memFree=27811040/32770624 swapFree=66999956/67108860
[pid=24246] ppid=24243 vsize=49044 memory=25756 CPUtime=2400.04 cores=1,3,5,7
/proc/24246/stat : 24246 (cosoco) R 24243 24246 21043 0 -1 4202496 79542 0 0 0 240001 3 0 0 20 0 1 0 435391345 50221056 6439 33554432000 4194304 6211092 140723797742032 140723797729912 5409444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 25325568 140723797750795 140723797750897 140723797750897 140723797753806 0
/proc/24246/statm: 12261 6439 909 493 0 5566 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 49044 KiB
Current children cumulated memory: 25756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 24246 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.039 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.05
CPU user time (s): 2400.01
CPU system time (s): 0.039
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 49044
Max. memory (cumulated for all children) (KiB): 25756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.039
maximum resident set size= 25820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79599
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= 24
involuntary context switches= 611
# summary of solver processes directly reported to runsolver:
# pid: 24246
# total CPU time (s): 2400.05
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66066 second user time and 15.1185 second system time
The end
Begin job on node123 at 2019-09-16 01:47:06 IDJOB=4397635 IDBENCH=140480 IDSOLVER=2850 FILE ID=node123/4397635-1568591265 RUNJOBID= node123-1568572745-21075 PBS_JOBID= 21703327 Free space on /tmp= 59184 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbo-30-15-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397635-1568591265/watcher-4397635-1568591265 -o /tmp/evaluation-result-4397635-1568591265/solver-4397635-1568591265 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568572745-21075 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397635-1568591265.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8 RANDOM SEED=19483692 node123.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.49 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.49 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.49 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.49 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: 17561608 kB MemAvailable: 21518640 kB Buffers: 170016 kB Cached: 4060216 kB SwapCached: 7360 kB Active: 11653700 kB Inactive: 2917248 kB Active(anon): 10333176 kB Inactive(anon): 56912 kB Active(file): 1320524 kB Inactive(file): 2860336 kB Unevictable: 107816 kB Mlocked: 107816 kB SwapTotal: 67108860 kB SwapFree: 66999956 kB Dirty: 2772 kB Writeback: 60 kB AnonPages: 10440116 kB Mapped: 48856 kB Shmem: 40884 kB Slab: 213756 kB SReclaimable: 184016 kB SUnreclaim: 29740 kB KernelStack: 3568 kB PageTables: 25640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 10913876 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1859584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 59180 MiB End job on node123 at 2019-09-16 02:27:06