Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 11 | 2400.07 | 2399.9 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml |
| MD5SUM | b5169c90aef0d626aba0e990e84095c1 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 24.2857 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1380 |
| Number of constraints | 1366 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":450},{"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.68/0.76 c 0.68/0.76 c This is cosoco 2.00 -- 0.68/0.76 c 0.68/0.76 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397714-1568580281.xml 0.68/0.76 c enable optimization 0.68/0.76 c ========================================[ Problem Statistics ]=========================================== 0.68/0.76 c | 0.68/0.76 c | Parse time : 0.16 s 0.68/0.76 c | 0.68/0.76 c | Variables: 1380 0.68/0.76 c | Domain Sizes: 2..16 0.68/0.76 c | 0.68/0.76 c | Constraints: 1367 0.68/0.76 c | Arity: 2..31 -- Binary: 480 -- Ternary: 870 0.68/0.76 c | 0.68/0.76 c | Types: 0.68/0.76 c | (X = Y): 30 0.68/0.76 c | All Different: 1 0.68/0.76 c | Extension: 900 (nb tuples: 4..15) -- (shared: 449) 0.68/0.76 c | Max constant: 1 0.68/0.76 c | Sum: 435 0.68/0.76 c | 0.68/0.76 c | Objective: Minimize Max constant 0.68/0.76 0.68/0.76 c ========================================================================================================= 0.68/0.76 o 15 0.68/0.76 c 1 calls to solver(id=*d): best=0 lower=15 upper=0 0.79/0.87 o 14 2.28/2.36 o 13 2.28/2.36 c 3 calls to solver(id=*d): best=0 lower=13 upper=0 6.09/6.14 o 12 9.18/9.24 o 11 9.18/9.24 c 5 calls to solver(id=*d): best=0 lower=11 upper=0 2400.06/2399.90 2400.06/2399.90 c *** INTERRUPTED *** 2400.06/2399.90 c call to solver : 5 2400.06/2399.90 c 2400.06/2399.90 c restarts : 165 2400.06/2399.90 c conflicts : 10263582 (4276 /sec) 2400.06/2399.90 c decisions : 90694730 (37789 /sec) 2400.06/2399.90 c propagations : 1711016510 (712910 /sec) 2400.06/2399.90 c root propagations : 140916 2400.06/2399.90 c filter calls : 4426572655 (1844371 /sec) 2400.06/2399.90 c useless filter calls : 3166784146 (71 %) 2400.06/2399.90 c Memory used : 47.28 MB 2400.06/2399.90 c Best bound time (wc) : 9.23579 s 2400.06/2399.90 c CPU time : 2400.04 s 2400.06/2399.90 c real time : 2399.9 s 2400.06/2399.90 2400.06/2399.90 c nb Solutions = 5 2400.06/2399.90 s SATISFIABLE 2400.06/2399.90 c Best value found: 11 2400.06/2399.90 2400.06/2399.90 2400.06/2399.90 v <instantiation type='solution' cost='11'> 2400.06/2399.90 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.06/2399.90 v <values>0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 2 2 2 2 2 0 0 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 0 1 1 2 2 2 2 0 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 1 1 1 2 2 2 2 2 2 0 1 1 1 1 2 0 0 0 0 0 0 1 1 1 0 1 2 2 2 2 0 0 0 0 0 0 0 1 1 0 2 2 2 2 2 0 1 1 1 2 2 2 2 2 0 2 2 2 2 2 0 1 2 2 2 2 2 2 2 0 2 2 2 2 2 0 1 1 2 2 2 2 2 2 0 1 1 1 2 2 0 0 0 0 0 0 0 0 1 0 1 2 2 2 2 1 1 1 1 1 1 1 1 1 0 1 1 1 2 2 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 1 2 2 2 0 0 0 0 0 1 1 1 1 0 2 2 2 2 2 0 0 0 0 0 0 0 0 1 0 2 2 2 2 2 0 0 0 0 1 1 1 2 2 1 2 2 2 2 2 1 1 1 1 1 2 2 2 2 0 2 2 2 2 2 0 0 0 0 0 0 1 2 2 1 2 2 2 2 2 1 1 1 1 1 1 2 2 2 0 2 2 2 2 2 0 0 0 1 1 1 1 2 2 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 1 1 1 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 1 1 1 1 2 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 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 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 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 0 0 0 0 0 0 0 1 1 0 0 0 12 1 6 8 13 4 14 9 0 10 3 5 7 2 11 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 1 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 1 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 1 1 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 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 4 11 10 10 8 4 7 10 11 10 11 11 11 11 11 </values> 2400.06/2399.90 v </instantiation> 2400.06/2399.90
OK 11
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 (14461 MiB free)
memory of node 1: 16384 MiB (14865 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397714-1568580281/watcher-4397714-1568580281 -o /tmp/evaluation-result-4397714-1568580281/solver-4397714-1568580281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568572745-8030 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397714-1568580281.xml
running on 4 cores: 0,2,4,6
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=9377, runsolver pid=9374
Current StackSize limit: 8192 KiB
[startup+0.100504 s]*
/proc/loadavg: 2.92 2.22 2.11 3/205 9378
/proc/meminfo: memFree=30011372/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=34636 memory=11048 CPUtime=0.09 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 2926 0 0 0 9 0 0 0 20 0 1 0 434268938 35467264 2762 33554432000 4194304 6211092 140730220732432 140730220725736 139690769690717 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 8659 2762 836 493 0 1964 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34636 KiB
Current children cumulated memory: 11048 KiB
[startup+0.210226 s]*
/proc/loadavg: 2.92 2.22 2.11 3/205 9378
/proc/meminfo: memFree=30005064/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=42164 memory=18824 CPUtime=0.2 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 4904 0 0 0 20 0 0 0 20 0 1 0 434268938 43175936 4706 33554432000 4194304 6211092 140730220732432 140730220725736 139690766195685 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 10541 4706 908 493 0 3846 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42164 KiB
Current children cumulated memory: 18824 KiB
[startup+0.309916 s]*
/proc/loadavg: 2.92 2.22 2.11 3/204 9378
/proc/meminfo: memFree=30006892/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=43880 memory=20408 CPUtime=0.3 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 5318 0 0 0 30 0 0 0 20 0 1 0 434268938 44933120 5102 33554432000 4194304 6211092 140730220732432 140730220725736 5035320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 10970 5102 908 493 0 4275 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 20408 KiB
[startup+0.700271 s]
/proc/loadavg: 2.92 2.22 2.11 3/204 9378
/proc/meminfo: memFree=29998396/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=43880 memory=20408 CPUtime=0.68 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 5328 0 0 0 68 0 0 0 20 0 1 0 434268938 44933120 5102 33554432000 4194304 6211092 140730220732432 140730220729832 5149120 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 10970 5102 908 493 0 4275 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43880 KiB
Current children cumulated memory: 20408 KiB
[startup+1.50032 s]
/proc/loadavg: 2.92 2.22 2.11 3/204 9378
/proc/meminfo: memFree=29992912/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=47604 memory=24368 CPUtime=1.49 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 6265 0 0 0 148 1 0 0 20 0 1 0 434268938 48746496 6092 33554432000 4194304 6211092 140730220732432 140730220729832 5409461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 11901 6092 909 493 0 5206 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47604 KiB
Current children cumulated memory: 24368 KiB
[startup+3.10981 s]
/proc/loadavg: 2.92 2.22 2.11 3/204 9378
/proc/meminfo: memFree=29961824/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48276 memory=24988 CPUtime=3.09 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 10816 0 0 0 308 1 0 0 20 0 1 0 434268938 49434624 6247 33554432000 4194304 6211092 140730220732432 140730220720312 5409444 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12069 6247 909 493 0 5374 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48276 KiB
Current children cumulated memory: 24988 KiB
[startup+6.30023 s]
/proc/loadavg: 3.09 2.27 2.13 3/203 9381
/proc/meminfo: memFree=31135516/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48276 memory=25068 CPUtime=6.28 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 15305 0 0 0 627 1 0 0 20 0 1 0 434268938 49434624 6267 33554432000 4194304 6211092 140730220732432 140730220720312 5409444 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12069 6267 909 493 0 5374 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48276 KiB
Current children cumulated memory: 25068 KiB
[startup+12.7002 s]
/proc/loadavg: 3.08 2.28 2.13 3/203 9381
/proc/meminfo: memFree=31136064/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25140 CPUtime=12.68 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 19796 0 0 0 1267 1 0 0 20 0 1 0 434268938 49573888 6285 33554432000 4194304 6211092 140730220732432 140730220720312 5392081 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6285 909 493 0 5408 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25140 KiB
[startup+25.5002 s]
/proc/loadavg: 2.98 2.30 2.14 3/203 9442
/proc/meminfo: memFree=31197512/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25140 CPUtime=25.49 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 26775 0 0 0 2547 2 0 0 20 0 1 0 434268938 49573888 6285 33554432000 4194304 6211092 140730220732432 140730220720312 5409461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6285 909 493 0 5408 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25140 KiB
[startup+51.1097 s]
/proc/loadavg: 2.64 2.28 2.14 3/203 9444
/proc/meminfo: memFree=31197248/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25140 CPUtime=51.09 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 30287 0 0 0 5107 2 0 0 20 0 1 0 434268938 49573888 6285 33554432000 4194304 6211092 140730220732432 140730220720312 5008831 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6285 909 493 0 5408 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25140 KiB
[startup+102.3 s]
/proc/loadavg: 2.24 2.22 2.13 3/203 9448
/proc/meminfo: memFree=31195936/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=102.28 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 33804 0 0 0 10226 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5250272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+162.3 s]
/proc/loadavg: 2.58 2.30 2.16 3/203 9452
/proc/meminfo: memFree=31196652/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=162.29 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 34288 0 0 0 16227 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5148679 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+222.3 s]
/proc/loadavg: 2.24 2.26 2.15 3/203 9458
/proc/meminfo: memFree=31196428/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=222.29 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 34768 0 0 0 22227 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5149217 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.22 2.14 3/203 9463
/proc/meminfo: memFree=31196764/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=282.3 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 34787 0 0 0 28228 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5392081 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.18 2.13 3/204 9468
/proc/meminfo: memFree=31196320/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=342.3 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 35269 0 0 0 34228 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.14 2.13 3/204 9481
/proc/meminfo: memFree=31195900/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=402.3 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 35270 0 0 0 40228 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.12 2.12 3/204 9485
/proc/meminfo: memFree=31196356/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=462.31 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 35748 0 0 0 46229 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
################
# More data... #
################
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 1662.4 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 9628
/proc/meminfo: memFree=31195816/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=1722.41 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 40528 0 0 0 172239 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5035232 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 9632
/proc/meminfo: memFree=31195940/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=1782.41 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 40971 0 0 0 178239 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 9638
/proc/meminfo: memFree=31196124/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=1842.42 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 41008 0 0 0 184240 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5250289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9642
/proc/meminfo: memFree=31195612/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=1902.42 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 41478 0 0 0 190240 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5151066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9647
/proc/meminfo: memFree=31196080/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=1962.43 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 41488 0 0 0 196241 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5250234 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/203 9653
/proc/meminfo: memFree=31196164/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2022.43 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 41960 0 0 0 202241 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/203 9657
/proc/meminfo: memFree=31196268/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2082.44 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 41960 0 0 0 208242 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/203 9661
/proc/meminfo: memFree=31195932/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2142.44 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 42422 0 0 0 214242 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5396756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 9675
/proc/meminfo: memFree=31195320/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2202.45 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 42425 0 0 0 220243 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 9679
/proc/meminfo: memFree=31195988/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2262.45 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 42881 0 0 0 226243 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 9683
/proc/meminfo: memFree=31195896/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2322.45 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 42930 0 0 0 232243 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5017476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 9689
/proc/meminfo: memFree=31195844/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2382.46 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 43438 0 0 0 238244 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5409465 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 9689
/proc/meminfo: memFree=31196180/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2400.06 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 43438 0 0 0 240004 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5389966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 9377 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.029002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 9689
/proc/meminfo: memFree=31196180/32770624 swapFree=67004408/67108860
[pid=9377] ppid=9374 vsize=48412 memory=25144 CPUtime=2400.06 cores=0,2,4,6
/proc/9377/stat : 9377 (cosoco) R 9374 9377 7999 0 -1 4202496 43438 0 0 0 240004 2 0 0 20 0 1 0 434268938 49573888 6286 33554432000 4194304 6211092 140730220732432 140730220720312 5389966 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 35676160 140730220737547 140730220737649 140730220737649 140730220740558 0
/proc/9377/statm: 12103 6286 909 493 0 5408 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 48412 KiB
Current children cumulated memory: 25144 KiB
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.07
CPU user time (s): 2400.04
CPU system time (s): 0.029002
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 48412
Max. memory (cumulated for all children) (KiB): 25144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.029002
maximum resident set size= 25208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43483
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= 664
# summary of solver processes directly reported to runsolver:
# pid: 9377
# total CPU time (s): 2400.07
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.029002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4482 second user time and 11.6102 second system time
The end
Begin job on node133 at 2019-09-15 22:44:03 IDJOB=4397714 IDBENCH=126796 IDSOLVER=2850 FILE ID=node133/4397714-1568580281 RUNJOBID= node133-1568572745-8030 PBS_JOBID= 21703321 Free space on /tmp= 59032 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-15-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397714-1568580281/watcher-4397714-1568580281 -o /tmp/evaluation-result-4397714-1568580281/solver-4397714-1568580281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568572745-8030 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397714-1568580281.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b5169c90aef0d626aba0e990e84095c1 RANDOM SEED=1142553565 node133.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.18 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.18 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.18 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.18 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: 30033616 kB MemAvailable: 31814788 kB Buffers: 217352 kB Cached: 1846276 kB SwapCached: 3260 kB Active: 525032 kB Inactive: 1610956 kB Active(anon): 96660 kB Inactive(anon): 24400 kB Active(file): 428372 kB Inactive(file): 1586556 kB Unevictable: 111236 kB Mlocked: 111236 kB SwapTotal: 67108860 kB SwapFree: 67004408 kB Dirty: 905712 kB Writeback: 80124 kB AnonPages: 181808 kB Mapped: 49944 kB Shmem: 39960 kB Slab: 193476 kB SReclaimable: 164156 kB SUnreclaim: 29320 kB KernelStack: 3536 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 604444 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59572 MiB End job on node133 at 2019-09-15 23:24:14