Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 8 | 2400.06 | 2400.11 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml |
MD5SUM | 0da4913a631570f2aab16967eaf6c11a |
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 | 42.8149 |
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-4397469-1568577589.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.21 o 15 0.20/0.22 c 1 calls to solver(id=*d): best=0 lower=15 upper=0 0.20/0.24 o 11 33.49/33.58 o 10 33.49/33.59 c 3 calls to solver(id=*d): best=0 lower=10 upper=0 250.57/250.61 o 9 251.87/251.93 o 8 251.87/251.93 c 5 calls to solver(id=*d): best=0 lower=8 upper=0 2400.05/2400.10 2400.05/2400.10 c *** INTERRUPTED *** 2400.05/2400.10 c call to solver : 5 2400.05/2400.10 c 2400.05/2400.10 c restarts : 286 2400.05/2400.10 c conflicts : 13909267 (5795 /sec) 2400.05/2400.10 c decisions : 70081573 (29200 /sec) 2400.05/2400.10 c propagations : 2427964858 (1011634 /sec) 2400.05/2400.10 c root propagations : 38286 2400.05/2400.10 c filter calls : 6334281916 (2639237 /sec) 2400.05/2400.10 c useless filter calls : 4499105370 (71 %) 2400.05/2400.10 c Memory used : 47.88 MB 2400.05/2400.10 c Best bound time (wc) : 251.931 s 2400.05/2400.10 c CPU time : 2400.04 s 2400.05/2400.10 c real time : 2400.1 s 2400.05/2400.10 2400.05/2400.10 c nb Solutions = 5 2400.05/2400.10 s SATISFIABLE 2400.05/2400.10 c Best value found: 8 2400.05/2400.10 2400.05/2400.10 2400.05/2400.10 v <instantiation type='solution' cost='8'> 2400.05/2400.10 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.05/2400.10 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.05/2400.10 v </instantiation> 2400.05/2400.10
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 (14590 MiB free) memory of node 1: 16384 MiB (15153 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397469-1568577589/watcher-4397469-1568577589 -o /tmp/evaluation-result-4397469-1568577589/solver-4397469-1568577589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568569106-4725 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397469-1568577589.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 Current StackSize limit: 8192 KiB solver pid=5467, runsolver pid=5464 [startup+0.10016 s]* /proc/loadavg: 2.00 2.01 1.95 3/198 5468 /proc/meminfo: memFree=30450776/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=34904 memory=11184 CPUtime=0.1 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 3009 0 0 0 10 0 0 0 20 0 1 0 434013399 35741696 2796 33554432000 4194304 6211092 140721823169376 140721823165912 139660359810021 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 8726 2796 836 493 0 2031 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34904 KiB Current children cumulated memory: 11184 KiB [startup+0.209546 s]* /proc/loadavg: 2.00 2.01 1.95 3/198 5468 /proc/meminfo: memFree=30442592/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=45052 memory=21720 CPUtime=0.2 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 5626 0 0 0 20 0 0 0 20 0 1 0 434013399 46133248 5430 33554432000 4194304 6211092 140721823169376 140721823165912 139660359810021 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11263 5430 908 493 0 4568 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 45052 KiB Current children cumulated memory: 21720 KiB [startup+0.309504 s]* /proc/loadavg: 2.00 2.01 1.95 3/198 5468 /proc/meminfo: memFree=30437756/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24360 CPUtime=0.3 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 6272 0 0 0 30 0 0 0 20 0 1 0 434013399 48844800 6090 33554432000 4194304 6211092 140721823169376 140721823165912 5035286 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6090 909 493 0 5230 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24360 KiB [startup+0.700282 s] /proc/loadavg: 2.00 2.01 1.95 3/198 5468 /proc/meminfo: memFree=30437756/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24360 CPUtime=0.68 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 6272 0 0 0 68 0 0 0 20 0 1 0 434013399 48844800 6090 33554432000 4194304 6211092 140721823169376 140721823165912 5035216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6090 909 493 0 5230 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24360 KiB [startup+1.50027 s] /proc/loadavg: 2.00 2.01 1.95 3/198 5468 /proc/meminfo: memFree=30437556/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24360 CPUtime=1.48 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 6272 0 0 0 148 0 0 0 20 0 1 0 434013399 48844800 6090 33554432000 4194304 6211092 140721823169376 140721823167512 5396756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6090 909 493 0 5230 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24360 KiB [startup+3.10908 s] /proc/loadavg: 2.00 2.01 1.95 3/198 5468 /proc/meminfo: memFree=30437556/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24440 CPUtime=3.1 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 10107 0 0 0 309 1 0 0 20 0 1 0 434013399 48844800 6110 33554432000 4194304 6211092 140721823169376 140721823167512 5409444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6110 909 493 0 5230 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24440 KiB [startup+6.30027 s] /proc/loadavg: 1.92 2.00 1.95 3/198 5532 /proc/meminfo: memFree=30427236/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24440 CPUtime=6.29 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 14152 0 0 0 628 1 0 0 20 0 1 0 434013399 48844800 6110 33554432000 4194304 6211092 140721823169376 140721823167512 5035283 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6110 909 493 0 5230 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24440 KiB [startup+12.7003 s] /proc/loadavg: 1.93 2.00 1.95 3/198 5532 /proc/meminfo: memFree=30424204/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24440 CPUtime=12.69 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 18212 0 0 0 1268 1 0 0 20 0 1 0 434013399 48844800 6110 33554432000 4194304 6211092 140721823169376 140721823167512 5397368 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6110 909 493 0 5230 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24440 KiB [startup+25.5003 s] /proc/loadavg: 1.95 2.00 1.95 3/198 5532 /proc/meminfo: memFree=30424252/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=47700 memory=24440 CPUtime=25.49 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 25401 0 0 0 2548 1 0 0 20 0 1 0 434013399 48844800 6110 33554432000 4194304 6211092 140721823169376 140721823167512 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 11925 6110 909 493 0 5230 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24440 KiB [startup+51.1089 s] /proc/loadavg: 1.96 2.00 1.95 3/198 5535 /proc/meminfo: memFree=30421248/32770624 swapFree=66999088/67108860 [pid=5467] ppid=5464 vsize=48500 memory=25208 CPUtime=51.09 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 27660 0 0 0 5108 1 0 0 20 0 1 0 434013399 49664000 6302 33554432000 4194304 6211092 140721823169376 140721823157256 5409444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12125 6302 909 493 0 5430 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25208 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.00 1.95 3/199 5547 /proc/meminfo: memFree=30420620/32770624 swapFree=66999092/67108860 [pid=5467] ppid=5464 vsize=48500 memory=25208 CPUtime=102.28 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 28103 0 0 0 10227 1 0 0 20 0 1 0 434013399 49664000 6302 33554432000 4194304 6211092 140721823169376 140721823157256 5250467 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12125 6302 909 493 0 5430 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25208 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.95 3/199 5573 /proc/meminfo: memFree=30420308/32770624 swapFree=66999100/67108860 [pid=5467] ppid=5464 vsize=48500 memory=25208 CPUtime=162.28 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 28560 0 0 0 16227 1 0 0 20 0 1 0 434013399 49664000 6302 33554432000 4194304 6211092 140721823169376 140721823157256 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12125 6302 909 493 0 5430 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25208 KiB [startup+222.3 s] /proc/loadavg: 2.04 2.01 1.96 3/200 5580 /proc/meminfo: memFree=30420048/32770624 swapFree=66999100/67108860 [pid=5467] ppid=5464 vsize=48500 memory=25208 CPUtime=222.28 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 29009 0 0 0 22227 1 0 0 20 0 1 0 434013399 49664000 6302 33554432000 4194304 6211092 140721823169376 140721823157256 5389424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12125 6302 909 493 0 5430 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25208 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.96 3/200 5584 /proc/meminfo: memFree=30418956/32770624 swapFree=66999100/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25596 CPUtime=282.27 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 29811 0 0 0 28226 1 0 0 20 0 1 0 434013399 50204672 6399 33554432000 4194304 6211092 140721823169376 140721823157256 5390005 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6399 909 493 0 5562 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25596 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.96 3/200 5588 /proc/meminfo: memFree=30420132/32770624 swapFree=66999100/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=342.27 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 30057 0 0 0 34226 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5017373 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+402.3 s] /proc/loadavg: 2.04 2.03 1.97 3/199 5594 /proc/meminfo: memFree=30419484/32770624 swapFree=66999100/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=402.27 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 30303 0 0 0 40226 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5035326 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+462.3 s] /proc/loadavg: 2.01 2.02 1.97 3/199 5598 /proc/meminfo: memFree=30420064/32770624 swapFree=66999100/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=462.27 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 30548 0 0 0 46226 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5148599 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB ################ # More data... # ################ /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 1662.25 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5737 /proc/meminfo: memFree=30419052/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=1722.25 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 35627 0 0 0 172224 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5392078 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 1722.25 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5742 /proc/meminfo: memFree=30419584/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=1782.25 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 35872 0 0 0 178224 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5148651 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 1782.25 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5748 /proc/meminfo: memFree=30418616/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=1842.25 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 36102 0 0 0 184224 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5392083 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 1842.25 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.02 3/199 5760 /proc/meminfo: memFree=30418932/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=1902.25 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 36332 0 0 0 190224 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5409444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 1902.25 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.02 3/199 5764 /proc/meminfo: memFree=30419396/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=1962.25 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 36577 0 0 0 196224 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5392081 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 1962.25 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.02 3/199 5770 /proc/meminfo: memFree=30419548/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2022.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 36816 0 0 0 202223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.02 3/199 5774 /proc/meminfo: memFree=30420004/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2082.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 37063 0 0 0 208223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5409444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2082.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.02 3/199 5778 /proc/meminfo: memFree=30419336/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2142.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 37284 0 0 0 214223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5149292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2142.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5784 /proc/meminfo: memFree=30418984/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2202.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 37497 0 0 0 220223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5788 /proc/meminfo: memFree=30419788/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2262.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 37726 0 0 0 226223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5035326 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5792 /proc/meminfo: memFree=30419564/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2322.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 37972 0 0 0 232223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5389955 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2322.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5798 /proc/meminfo: memFree=30418972/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2382.24 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 38197 0 0 0 238223 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5409444 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2382.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5798 /proc/meminfo: memFree=30419440/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2400.05 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 38422 0 0 0 240004 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5186242 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 5467 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.04 s, system=0.019999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 2.00 2.01 2.02 3/198 5798 /proc/meminfo: memFree=30419440/32770624 swapFree=66999116/67108860 [pid=5467] ppid=5464 vsize=49028 memory=25780 CPUtime=2400.05 cores=1,3,5,7 /proc/5467/stat : 5467 (cosoco) R 5464 5467 4693 0 -1 4202496 38422 0 0 0 240004 1 0 0 20 0 1 0 434013399 50204672 6445 33554432000 4194304 6211092 140721823169376 140721823157256 5186242 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24121344 140721823171595 140721823171697 140721823171697 140721823174606 0 /proc/5467/statm: 12257 6445 909 493 0 5562 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25780 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.06 CPU user time (s): 2400.04 CPU system time (s): 0.019999 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 49028 Max. memory (cumulated for all children) (KiB): 25780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.04 system time used= 0.019999 maximum resident set size= 25844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38475 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= 25 involuntary context switches= 607 # summary of solver processes directly reported to runsolver: # pid: 5467 # total CPU time (s): 2400.06 # total CPU user time (s): 2400.04 # total CPU system time (s): 0.019999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.36997 second user time and 15.1101 second system time The end
Begin job on node106 at 2019-09-15 20:58:30 IDJOB=4397469 IDBENCH=126789 IDSOLVER=2849 FILE ID=node106/4397469-1568577589 RUNJOBID= node106-1568569106-4725 PBS_JOBID= 21703334 Free space on /tmp= 59108 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-15-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397469-1568577589/watcher-4397469-1568577589 -o /tmp/evaluation-result-4397469-1568577589/solver-4397469-1568577589 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568569106-4725 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397469-1568577589.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0da4913a631570f2aab16967eaf6c11a RANDOM SEED=1662273607 node106.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.79 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.79 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.79 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.79 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: 30457604 kB MemAvailable: 31892584 kB Buffers: 201048 kB Cached: 1524296 kB SwapCached: 8256 kB Active: 483048 kB Inactive: 1257144 kB Active(anon): 17004 kB Inactive(anon): 41332 kB Active(file): 466044 kB Inactive(file): 1215812 kB Unevictable: 108852 kB Mlocked: 108852 kB SwapTotal: 67108860 kB SwapFree: 66999088 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 130240 kB Mapped: 43376 kB Shmem: 34868 kB Slab: 167236 kB SReclaimable: 137920 kB SUnreclaim: 29316 kB KernelStack: 3536 kB PageTables: 6092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530116 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59108 MiB End job on node106 at 2019-09-15 21:38:31