Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2 | SAT (TO) | 11 | 2400.02 | 2400.11 |
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.69/0.76 c 0.69/0.76 c This is cosoco 2.00 -- 0.69/0.76 c 0.69/0.76 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390254-1568342841.xml 0.69/0.76 c enable optimization 0.69/0.76 c ========================================[ Problem Statistics ]=========================================== 0.69/0.76 c | 0.69/0.76 c | Parse time : 0.16 s 0.69/0.76 c | 0.69/0.76 c | Variables: 1380 0.69/0.76 c | Domain Sizes: 2..16 0.69/0.76 c | 0.69/0.76 c | Constraints: 1367 0.69/0.76 c | Arity: 2..31 -- Binary: 480 -- Ternary: 870 0.69/0.76 c | 0.69/0.76 c | Types: 0.69/0.76 c | (X = Y): 30 0.69/0.76 c | All Different: 1 0.69/0.76 c | Extension: 900 (nb tuples: 4..15) -- (shared: 449) 0.69/0.76 c | Max constant: 1 0.69/0.76 c | Sum: 435 0.69/0.76 c | 0.69/0.76 c | Objective: Minimize Max constant 0.69/0.76 0.69/0.76 c ========================================================================================================= 0.69/0.76 o 15 0.69/0.76 c 1 calls to solver(id=*d): best=0 lower=15 upper=0 0.79/0.88 o 14 2.39/2.40 o 13 2.39/2.40 c 3 calls to solver(id=*d): best=0 lower=13 upper=0 6.19/6.20 o 12 9.29/9.39 o 11 9.29/9.39 c 5 calls to solver(id=*d): best=0 lower=11 upper=0 2400.00/2400.10 2400.00/2400.10 c *** INTERRUPTED *** 2400.00/2400.10 c call to solver : 5 2400.00/2400.10 c 2400.00/2400.10 c restarts : 165 2400.00/2400.10 c conflicts : 10403674 (4335 /sec) 2400.00/2400.10 c decisions : 92047113 (38353 /sec) 2400.00/2400.10 c propagations : 1736824085 (723678 /sec) 2400.00/2400.10 c root propagations : 140916 2400.00/2400.10 c filter calls : 4492146426 (1871730 /sec) 2400.00/2400.10 c useless filter calls : 3212652083 (71 %) 2400.00/2400.10 c Memory used : 47.28 MB 2400.00/2400.10 c Best bound time (wc) : 9.38658 s 2400.00/2400.10 c CPU time : 2400 s 2400.00/2400.10 c real time : 2400.1 s 2400.00/2400.10 2400.00/2400.10 c nb Solutions = 5 2400.00/2400.10 s SATISFIABLE 2400.00/2400.10 c Best value found: 11 2400.00/2400.10 2400.00/2400.10 2400.00/2400.10 v <instantiation type='solution' cost='11'> 2400.00/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.00/2400.10 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.00/2400.10 v </instantiation> 2400.00/2400.10
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 (11925 MiB free) memory of node 1: 16384 MiB (14966 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390254-1568342841/watcher-4390254-1568342841 -o /tmp/evaluation-result-4390254-1568342841/solver-4390254-1568342841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568329709-13075 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390254-1568342841.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=15503, runsolver pid=15500 Current StackSize limit: 8192 KiB [startup+0.100198 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27530868/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=34896 memory=11168 CPUtime=0.1 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 3007 0 0 0 10 0 0 0 20 0 1 0 410537132 35733504 2792 33554432000 4194304 6210612 140730966652160 140730966648696 139887777151973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 8724 2792 834 493 0 2029 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34896 KiB Current children cumulated memory: 11168 KiB [startup+0.209639 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27523528/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=43352 memory=19856 CPUtime=0.21 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 5192 0 0 0 21 0 0 0 20 0 1 0 410537132 44392448 4964 33554432000 4194304 6210612 140730966652160 140730966648696 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 10838 4964 903 493 0 4143 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 43352 KiB Current children cumulated memory: 19856 KiB [startup+0.309539 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27521700/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=43880 memory=20384 CPUtime=0.31 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 5313 0 0 0 31 0 0 0 20 0 1 0 410537132 44933120 5096 33554432000 4194304 6210612 140730966652160 140730966648696 5409293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 10970 5096 903 493 0 4275 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 43880 KiB Current children cumulated memory: 20384 KiB [startup+0.700342 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27520900/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=43880 memory=20384 CPUtime=0.69 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 5323 0 0 0 69 0 0 0 20 0 1 0 410537132 44933120 5096 33554432000 4194304 6210612 140730966652160 140730966649560 5396596 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 10970 5096 903 493 0 4275 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 43880 KiB Current children cumulated memory: 20384 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27517180/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=47604 memory=24344 CPUtime=1.49 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 6260 0 0 0 149 0 0 0 20 0 1 0 410537132 48746496 6086 33554432000 4194304 6210612 140730966652160 140730966650296 5391921 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 11901 6086 904 493 0 5206 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 47604 KiB Current children cumulated memory: 24344 KiB [startup+3.10931 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27516684/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48276 memory=24964 CPUtime=3.09 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 10812 0 0 0 309 0 0 0 20 0 1 0 410537132 49434624 6241 33554432000 4194304 6210612 140730966652160 140730966649560 5391904 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12069 6241 904 493 0 5374 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 48276 KiB Current children cumulated memory: 24964 KiB [startup+6.30034 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27516420/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48276 memory=25044 CPUtime=6.29 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 15302 0 0 0 628 1 0 0 20 0 1 0 410537132 49434624 6261 33554432000 4194304 6210612 140730966652160 140730966640040 5409264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12069 6261 904 493 0 5374 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 48276 KiB Current children cumulated memory: 25044 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15504 /proc/meminfo: memFree=27516216/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25116 CPUtime=12.69 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 19794 0 0 0 1268 1 0 0 20 0 1 0 410537132 49573888 6279 33554432000 4194304 6210612 140730966652160 140730966640040 5148383 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6279 904 493 0 5408 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25116 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.05 3/200 15506 /proc/meminfo: memFree=27514896/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25116 CPUtime=25.48 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25338 0 0 0 2547 1 0 0 20 0 1 0 410537132 49573888 6279 33554432000 4194304 6210612 140730966652160 140730966640040 5034904 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6279 904 493 0 5408 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25116 KiB [startup+51.1089 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15507 /proc/meminfo: memFree=27515100/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=51.08 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25438 0 0 0 5107 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5397192 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15511 /proc/meminfo: memFree=27515204/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=102.26 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25526 0 0 0 10225 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5082063 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+162.3 s] /proc/loadavg: 1.96 2.00 2.04 3/199 15517 /proc/meminfo: memFree=27513968/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=162.26 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25614 0 0 0 16225 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5380067 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+222.3 s] /proc/loadavg: 1.99 2.00 2.04 3/200 15529 /proc/meminfo: memFree=27512832/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=222.26 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25715 0 0 0 22225 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5409284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/200 15533 /proc/meminfo: memFree=27513664/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=282.25 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25807 0 0 0 28224 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5397222 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+342.3 s] /proc/loadavg: 2.04 2.01 2.05 3/200 15599 /proc/meminfo: memFree=27466816/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=342.25 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25892 0 0 0 34224 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5409284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.05 3/201 15604 /proc/meminfo: memFree=27466924/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=402.25 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 25982 0 0 0 40224 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5038267 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.05 3/201 15608 /proc/meminfo: memFree=27466856/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=462.25 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 26069 0 0 0 46224 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB ################ # More data... # ################ /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 1662.22 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.05 3/200 15747 /proc/meminfo: memFree=27466768/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=1722.21 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 27756 0 0 0 172220 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5034958 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 1722.21 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.05 3/199 15753 /proc/meminfo: memFree=27466608/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=1782.21 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 27843 0 0 0 178220 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5034848 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 1782.21 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 15757 /proc/meminfo: memFree=27466572/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=1842.21 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 27928 0 0 0 184220 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5080456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 1842.21 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15761 /proc/meminfo: memFree=27466448/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=1902.21 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28016 0 0 0 190220 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 1902.21 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15767 /proc/meminfo: memFree=27466572/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=1962.21 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28085 0 0 0 196220 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5034968 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 1962.21 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 15778 /proc/meminfo: memFree=27465932/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2022.2 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28169 0 0 0 202219 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2022.2 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2082.3 s] /proc/loadavg: 2.22 2.06 2.06 3/198 15782 /proc/meminfo: memFree=27467976/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2082.2 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28236 0 0 0 208219 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2082.2 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2142.3 s] /proc/loadavg: 2.37 2.15 2.09 3/199 15789 /proc/meminfo: memFree=27467032/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2142.2 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28317 0 0 0 214219 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5409297 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2142.2 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2202.3 s] /proc/loadavg: 2.14 2.13 2.09 3/199 15793 /proc/meminfo: memFree=27466568/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2202.2 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28377 0 0 0 220219 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2202.2 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2262.3 s] /proc/loadavg: 2.05 2.10 2.08 3/199 15797 /proc/meminfo: memFree=27466744/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2262.2 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28458 0 0 0 226219 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5396596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2262.2 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2322.3 s] /proc/loadavg: 2.02 2.08 2.07 3/199 15804 /proc/meminfo: memFree=27466260/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2322.2 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28563 0 0 0 232219 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5150690 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2322.2 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.07 2.07 3/199 15808 /proc/meminfo: memFree=27466320/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2382.19 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28692 0 0 0 238218 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5034968 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2382.19 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 2.01 2.07 2.07 3/199 15810 /proc/meminfo: memFree=27466096/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2400 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28756 0 0 0 239999 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5017005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 15503 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400 s, system=0.017999 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.07 2.07 3/199 15810 /proc/meminfo: memFree=27466096/32770624 swapFree=66997372/67108860 [pid=15503] ppid=15500 vsize=48412 memory=25120 CPUtime=2400 cores=0,2,4,6 /proc/15503/stat : 15503 (cosoco) R 15500 15503 13044 0 -1 4202496 28756 0 0 0 239999 1 0 0 20 0 1 0 410537132 49573888 6280 33554432000 4194304 6210612 140730966652160 140730966640040 5017005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 31379456 140730966656011 140730966656113 140730966656113 140730966659022 0 /proc/15503/statm: 12103 6280 904 493 0 5408 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 48412 KiB Current children cumulated memory: 25120 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.02 CPU user time (s): 2400 CPU system time (s): 0.017999 CPU usage (%): 99.9961 Max. virtual memory (cumulated for all children) (KiB): 48412 Max. memory (cumulated for all children) (KiB): 25120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.017999 maximum resident set size= 25188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28808 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= 714 # summary of solver processes directly reported to runsolver: # pid: 15503 # total CPU time (s): 2400.02 # total CPU user time (s): 2400 # total CPU system time (s): 0.017999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.0089 second user time and 13.2528 second system time The end
Begin job on node103 at 2019-09-13 04:46:22 IDJOB=4390254 IDBENCH=126796 IDSOLVER=2831 FILE ID=node103/4390254-1568342841 RUNJOBID= node103-1568329709-13075 PBS_JOBID= 21701158 Free space on /tmp= 57264 MiB SOLVER NAME= cosoco 2 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-4390254-1568342841/watcher-4390254-1568342841 -o /tmp/evaluation-result-4390254-1568342841/solver-4390254-1568342841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568329709-13075 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390254-1568342841.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b5169c90aef0d626aba0e990e84095c1 RANDOM SEED=1761835121 node103.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.74 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.74 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.74 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.74 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: 27537304 kB MemAvailable: 31835096 kB Buffers: 132208 kB Cached: 4420964 kB SwapCached: 8796 kB Active: 1741020 kB Inactive: 2854932 kB Active(anon): 29504 kB Inactive(anon): 54936 kB Active(file): 1711516 kB Inactive(file): 2799996 kB Unevictable: 107456 kB Mlocked: 107456 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 142856 kB Mapped: 45092 kB Shmem: 32816 kB Slab: 234324 kB SReclaimable: 204228 kB SUnreclaim: 30096 kB KernelStack: 3552 kB PageTables: 5612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 553892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 57260 MiB End job on node103 at 2019-09-13 05:26:22