Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2 | SAT (TO) | 8 | 2400.04 | 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 | 8.14485 |
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.22 c 0.20/0.22 c This is cosoco 2.00 -- 0.20/0.22 c 0.20/0.22 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390189-1568342215.xml 0.20/0.22 c enable optimization 0.20/0.22 c ========================================[ Problem Statistics ]=========================================== 0.20/0.22 c | 0.20/0.22 c | Parse time : 0.15 s 0.20/0.22 c | 0.20/0.22 c | Variables: 1380 0.20/0.22 c | Domain Sizes: 2..16 0.20/0.22 c | 0.20/0.22 c | Constraints: 1367 0.20/0.22 c | Arity: 2..31 -- Binary: 480 -- Ternary: 870 0.20/0.22 c | 0.20/0.22 c | Types: 0.20/0.22 c | (X = Y): 30 0.20/0.22 c | All Different: 1 0.20/0.22 c | Extension: 900 (nb tuples: 3..15) -- (shared: 446) 0.20/0.22 c | Max constant: 1 0.20/0.22 c | Sum: 435 0.20/0.22 c | 0.20/0.22 c | Objective: Minimize Max constant 0.20/0.22 0.20/0.22 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 26.28/26.39 o 10 26.28/26.39 c 3 calls to solver(id=*d): best=0 lower=10 upper=0 241.77/241.86 o 9 243.08/243.18 o 8 243.08/243.18 c 5 calls to solver(id=*d): best=0 lower=8 upper=0 2400.03/2400.10 2400.03/2400.10 c *** INTERRUPTED *** 2400.03/2400.10 c call to solver : 5 2400.03/2400.10 c 2400.03/2400.10 c restarts : 286 2400.03/2400.10 c conflicts : 14004770 (5835 /sec) 2400.03/2400.10 c decisions : 70389775 (29329 /sec) 2400.03/2400.10 c propagations : 2443146744 (1017967 /sec) 2400.03/2400.10 c root propagations : 38286 2400.03/2400.10 c filter calls : 6372987563 (2655384 /sec) 2400.03/2400.10 c useless filter calls : 4526607987 (71 %) 2400.03/2400.10 c Memory used : 47.88 MB 2400.03/2400.10 c Best bound time (wc) : 243.181 s 2400.03/2400.10 c CPU time : 2400.02 s 2400.03/2400.10 c real time : 2400.1 s 2400.03/2400.10 2400.03/2400.10 c nb Solutions = 5 2400.03/2400.10 s SATISFIABLE 2400.03/2400.10 c Best value found: 8 2400.03/2400.10 2400.03/2400.10 2400.03/2400.10 v <instantiation type='solution' cost='8'> 2400.03/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.03/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.03/2400.11 v </instantiation> 2400.03/2400.11
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 (14433 MiB free) memory of node 1: 16384 MiB (15240 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390189-1568342215/watcher-4390189-1568342215 -o /tmp/evaluation-result-4390189-1568342215/solver-4390189-1568342215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5300 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390189-1568342215.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=6822, runsolver pid=6819 Current StackSize limit: 8192 KiB [startup+0.100438 s]* /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30378444/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=34772 memory=11028 CPUtime=0.09 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 2979 0 0 0 9 0 0 0 20 0 1 0 410472080 35606528 2757 33554432000 4194304 6210612 140725399786576 140725399780808 140560218401765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 8693 2757 834 493 0 1998 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 34772 KiB Current children cumulated memory: 11028 KiB [startup+0.209741 s]* /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30370684/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=43996 memory=20656 CPUtime=0.2 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 5334 0 0 0 20 0 0 0 20 0 1 0 410472080 45051904 5164 33554432000 4194304 6210612 140725399786576 140725399780808 140560218401765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 10999 5164 903 493 0 4304 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 43996 KiB Current children cumulated memory: 20656 KiB [startup+0.309685 s]* /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30365476/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24352 CPUtime=0.31 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 6266 0 0 0 30 1 0 0 20 0 1 0 410472080 48844800 6088 33554432000 4194304 6210612 140725399786576 140725399780808 5409305 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6088 904 493 0 5230 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24352 KiB [startup+0.700234 s] /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30365476/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24352 CPUtime=0.69 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 6266 0 0 0 68 1 0 0 20 0 1 0 410472080 48844800 6088 33554432000 4194304 6210612 140725399786576 140725399780808 5391921 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6088 904 493 0 5230 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24352 KiB [startup+1.50023 s] /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30365112/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24352 CPUtime=1.49 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 6266 0 0 0 148 1 0 0 20 0 1 0 410472080 48844800 6088 33554432000 4194304 6210612 140725399786576 140725399784712 5148752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6088 904 493 0 5230 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24352 KiB [startup+3.10921 s] /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30364404/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24420 CPUtime=3.09 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 8996 0 0 0 308 1 0 0 20 0 1 0 410472080 48844800 6105 33554432000 4194304 6210612 140725399786576 140725399784712 5409284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6105 904 493 0 5230 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24420 KiB [startup+6.30022 s] /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30364120/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24420 CPUtime=6.29 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 11909 0 0 0 628 1 0 0 20 0 1 0 410472080 48844800 6105 33554432000 4194304 6210612 140725399786576 140725399784712 5034958 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6105 904 493 0 5230 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24420 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.07 2.05 3/202 6823 /proc/meminfo: memFree=30364148/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24428 CPUtime=12.68 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 14841 0 0 0 1267 1 0 0 20 0 1 0 410472080 48844800 6107 33554432000 4194304 6210612 140725399786576 140725399784712 5391904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6107 904 493 0 5230 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24428 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.06 2.05 3/202 6825 /proc/meminfo: memFree=30364148/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=47700 memory=24428 CPUtime=25.48 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 15666 0 0 0 2547 1 0 0 20 0 1 0 410472080 48844800 6107 33554432000 4194304 6210612 140725399786576 140725399784712 5017201 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 11925 6107 904 493 0 5230 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 47700 KiB Current children cumulated memory: 24428 KiB [startup+51.1091 s] /proc/loadavg: 2.00 2.06 2.05 3/202 6826 /proc/meminfo: memFree=30362724/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=48500 memory=25188 CPUtime=51.09 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 16397 0 0 0 5108 1 0 0 20 0 1 0 410472080 49664000 6297 33554432000 4194304 6210612 140725399786576 140725399774456 5409236 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12125 6297 904 493 0 5430 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25188 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.05 2.05 3/203 6831 /proc/meminfo: memFree=30363324/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=48500 memory=25188 CPUtime=102.28 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 16862 0 0 0 10227 1 0 0 20 0 1 0 410472080 49664000 6297 33554432000 4194304 6210612 140725399786576 140725399774456 5409284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12125 6297 904 493 0 5430 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25188 KiB [startup+162.3 s] /proc/loadavg: 2.44 2.15 2.08 3/203 6837 /proc/meminfo: memFree=30362896/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=48500 memory=25188 CPUtime=162.27 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 17343 0 0 0 16226 1 0 0 20 0 1 0 410472080 49664000 6297 33554432000 4194304 6210612 140725399786576 140725399774456 5409264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12125 6297 904 493 0 5430 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25188 KiB [startup+222.3 s] /proc/loadavg: 2.36 2.19 2.10 3/203 6841 /proc/meminfo: memFree=30362692/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=48500 memory=25188 CPUtime=222.27 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 17811 0 0 0 22226 1 0 0 20 0 1 0 410472080 49664000 6297 33554432000 4194304 6210612 140725399786576 140725399774456 5397075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12125 6297 904 493 0 5430 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 48500 KiB Current children cumulated memory: 25188 KiB [startup+282.3 s] /proc/loadavg: 2.13 2.16 2.10 3/204 6853 /proc/meminfo: memFree=30362248/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25728 CPUtime=282.27 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 18601 0 0 0 28226 1 0 0 20 0 1 0 410472080 50204672 6432 33554432000 4194304 6210612 140725399786576 140725399774456 5034918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6432 904 493 0 5562 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25728 KiB [startup+342.3 s] /proc/loadavg: 2.05 2.13 2.09 3/204 6859 /proc/meminfo: memFree=30362500/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=342.27 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 19101 0 0 0 34226 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5249899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+402.3 s] /proc/loadavg: 2.02 2.11 2.08 3/203 6863 /proc/meminfo: memFree=30362320/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=402.27 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 19600 0 0 0 40226 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5038927 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+462.3 s] /proc/loadavg: 2.01 2.09 2.08 3/203 6867 /proc/meminfo: memFree=30361860/32770624 swapFree=66916352/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=462.27 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 20096 0 0 0 46226 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5017296 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB ################ # More data... # ################ /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 1662.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.05 3/203 7068 /proc/meminfo: memFree=30090116/32770624 swapFree=66916356/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=1722.24 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 30249 0 0 0 172223 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.05 3/203 7074 /proc/meminfo: memFree=30089160/32770624 swapFree=66916356/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=1782.24 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 30746 0 0 0 178223 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5034915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/203 7078 /proc/meminfo: memFree=30089380/32770624 swapFree=66916356/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=1842.24 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 31185 0 0 0 184223 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5034969 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/203 7082 /proc/meminfo: memFree=30089800/32770624 swapFree=66916356/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=1902.24 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 31626 0 0 0 190223 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5409279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/203 7088 /proc/meminfo: memFree=30088512/32770624 swapFree=66916356/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=1962.23 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 32157 0 0 0 196222 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5016891 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 1962.23 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/203 7093 /proc/meminfo: memFree=30088920/32770624 swapFree=66916356/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2022.23 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 32633 0 0 0 202222 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5389284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2022.23 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/204 7105 /proc/meminfo: memFree=30089100/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2082.23 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 33132 0 0 0 208222 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5149821 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2082.23 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/204 7111 /proc/meminfo: memFree=30085768/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2142.23 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 33563 0 0 0 214222 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5409301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/204 7115 /proc/meminfo: memFree=30088268/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2202.23 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 33993 0 0 0 220222 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5396244 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2202.23 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/204 7119 /proc/meminfo: memFree=30088508/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2262.22 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 34422 0 0 0 226221 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2262.22 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/204 7126 /proc/meminfo: memFree=30087436/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2322.22 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 34920 0 0 0 232221 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5409284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2322.22 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/203 7130 /proc/meminfo: memFree=30087740/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2382.22 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 35337 0 0 0 238221 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5078599 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2382.22 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 2.01 2.02 2.05 3/203 7130 /proc/meminfo: memFree=30087464/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2400.03 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 35753 0 0 0 240002 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5389857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 6822 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.02 s, system=0.018999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 2.01 2.02 2.05 3/203 7130 /proc/meminfo: memFree=30087464/32770624 swapFree=66916360/67108860 [pid=6822] ppid=6819 vsize=49028 memory=25760 CPUtime=2400.03 cores=1,3,5,7 /proc/6822/stat : 6822 (cosoco) R 6819 6822 5268 0 -1 4202496 35753 0 0 0 240002 1 0 0 20 0 1 0 410472080 50204672 6440 33554432000 4194304 6210612 140725399786576 140725399774456 5389857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 19431424 140725399790603 140725399790705 140725399790705 140725399793614 0 /proc/6822/statm: 12257 6440 904 493 0 5562 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25760 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.04 CPU user time (s): 2400.02 CPU system time (s): 0.018999 CPU usage (%): 99.9972 Max. virtual memory (cumulated for all children) (KiB): 49028 Max. memory (cumulated for all children) (KiB): 25760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.02 system time used= 0.018999 maximum resident set size= 25828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35808 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= 23 involuntary context switches= 609 # summary of solver processes directly reported to runsolver: # pid: 6822 # total CPU time (s): 2400.04 # total CPU user time (s): 2400.02 # total CPU system time (s): 0.018999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.76461 second user time and 15.4277 second system time The end
Begin job on node134 at 2019-09-13 04:36:14 IDJOB=4390189 IDBENCH=126789 IDSOLVER=2831 FILE ID=node134/4390189-1568342215 RUNJOBID= node134-1568335411-5300 PBS_JOBID= 21701162 Free space on /tmp= 56116 MiB SOLVER NAME= cosoco 2 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-4390189-1568342215/watcher-4390189-1568342215 -o /tmp/evaluation-result-4390189-1568342215/solver-4390189-1568342215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5300 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390189-1568342215.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0da4913a631570f2aab16967eaf6c11a RANDOM SEED=978674344 node134.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.76 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.76 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.76 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.76 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: 30385352 kB MemAvailable: 31782288 kB Buffers: 155380 kB Cached: 1505936 kB SwapCached: 90796 kB Active: 393704 kB Inactive: 1371072 kB Active(anon): 36644 kB Inactive(anon): 106496 kB Active(file): 357060 kB Inactive(file): 1264576 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916352 kB Dirty: 2800 kB Writeback: 4 kB AnonPages: 124956 kB Mapped: 44608 kB Shmem: 30804 kB Slab: 212284 kB SReclaimable: 182268 kB SUnreclaim: 30016 kB KernelStack: 3568 kB PageTables: 5584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539412 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 56112 MiB End job on node134 at 2019-09-13 05:16:14