Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 8 | 2520.08 | 2519.8 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml |
MD5SUM | 9a57509d02107f3cf02e1da9240cc9e8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 9.7368 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 6 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.20/0.22 c 0.20/0.22 c This is cosoco 2.00 -- 0.20/0.22 c 0.20/0.22 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408215-1569813077.xml 0.20/0.22 c enable optimization 0.20/0.22 c ========================================[ Problem Statistics ]=========================================== 0.20/0.22 c | 0.20/0.22 c | Parse time : 0.16 s 0.20/0.22 c | 0.20/0.22 c | Variables: 1380 0.20/0.22 c | Domain Sizes: 2..16 0.20/0.22 c | 0.20/0.22 c | Constraints: 1367 0.20/0.22 c | Arity: 2..31 -- Binary: 480 -- Ternary: 870 0.20/0.22 c | 0.20/0.22 c | Types: 0.20/0.22 c | (X = Y): 30 0.20/0.22 c | All Different: 1 0.20/0.22 c | Extension: 900 (nb tuples: 3..15) -- (shared: 446) 0.20/0.22 c | Max constant: 1 0.20/0.22 c | Sum: 435 0.20/0.22 c | 0.20/0.22 c | Objective: Minimize Max constant 0.20/0.22 0.20/0.22 c ========================================================================================================= 0.20/0.22 o 15 0.20/0.22 c 1 calls to solver(id=*d): best=0 lower=15 upper=0 0.20/0.25 o 11 34.00/34.06 o 10 34.00/34.06 c 3 calls to solver(id=*d): best=0 lower=10 upper=0 265.02/265.09 o 9 266.31/266.39 o 8 266.31/266.39 c 5 calls to solver(id=*d): best=0 lower=8 upper=0 2520.07/2519.80 2520.07/2519.80 c *** INTERRUPTED *** 2520.07/2519.80 c call to solver : 5 2520.07/2519.80 c 2520.07/2519.80 c restarts : 286 2520.07/2519.80 c conflicts : 14637090 (5808 /sec) 2520.07/2519.80 c decisions : 73852334 (29306 /sec) 2520.07/2519.80 c propagations : 2562683847 (1016916 /sec) 2520.07/2519.80 c root propagations : 38286 2520.07/2519.80 c filter calls : 6672531742 (2647772 /sec) 2520.07/2519.80 c useless filter calls : 4733978906 (70 %) 2520.07/2519.80 c Memory used : 47.90 MB 2520.07/2519.80 c Best bound time (wc) : 266.39 s 2520.07/2519.80 c CPU time : 2520.05 s 2520.07/2519.80 c real time : 2519.8 s 2520.07/2519.80 2520.07/2519.80 c nb Solutions = 5 2520.07/2519.80 s SATISFIABLE 2520.07/2519.80 c Best value found: 8 2520.07/2519.80 2520.07/2519.80 2520.07/2519.80 v <instantiation type='solution' cost='8'> 2520.07/2519.80 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> 2520.07/2519.80 v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 1 1 1 2 3 3 3 3 3 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 0 0 0 0 0 1 2 2 2 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 2 2 2 2 2 1 1 1 2 2 2 2 2 2 0 1 2 2 2 2 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 2 0 0 0 0 0 1 1 1 1 1 4 4 4 4 4 1 2 2 3 4 4 4 4 4 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 1 1 1 1 2 2 3 3 3 0 2 2 2 2 2 0 1 2 2 2 2 2 2 2 0 2 2 3 3 3 0 0 0 0 0 0 0 1 2 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 0 2 2 2 2 3 0 0 0 1 1 1 1 1 2 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 1 4 4 4 4 4 1 1 2 2 2 2 2 3 3 0 3 3 3 3 3 0 0 0 0 0 1 1 2 3 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 1 1 1 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 1 1 1 2 2 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 5 14 8 11 7 2 13 1 12 6 0 3 4 10 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 4 8 7 7 6 4 8 8 8 7 7 7 8 8 8 </values> 2520.07/2519.80 v </instantiation> 2520.07/2519.80
OK 8
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (535 MiB free) memory of node 1: 16384 MiB (15645 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408215-1569813077/watcher-4408215-1569813077 -o /tmp/evaluation-result-4408215-1569813077/solver-4408215-1569813077 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31155 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408215-1569813077.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=3215, runsolver pid=3212 [startup+0.100238 s]* /proc/loadavg: 2.14 2.12 2.08 3/204 3216 /proc/meminfo: memFree=16561568/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=34904 memory=11184 CPUtime=0.1 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 3008 0 0 0 10 0 0 0 20 0 1 0 557556215 35741696 2796 33554432000 4194304 6211132 140726409415328 140726409411864 139757902928869 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 8726 2796 836 493 0 2031 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34904 KiB Current children cumulated memory: 11184 KiB [startup+0.209977 s]* /proc/loadavg: 2.14 2.12 2.08 3/204 3216 /proc/meminfo: memFree=16552268/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=44532 memory=21192 CPUtime=0.2 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 5482 0 0 0 20 0 0 0 20 0 1 0 557556215 45600768 5298 33554432000 4194304 6211132 140726409415328 140726409411864 139757902928869 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11133 5298 908 493 0 4438 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 44532 KiB Current children cumulated memory: 21192 KiB [startup+0.309955 s]* /proc/loadavg: 2.14 2.12 2.08 3/204 3216 /proc/meminfo: memFree=16546316/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24360 CPUtime=0.3 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 6274 0 0 0 30 0 0 0 20 0 1 0 557556215 48857088 6090 33554432000 4194304 6211132 140726409415328 140726409411864 5409471 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6090 909 493 0 5233 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24360 KiB [startup+0.700283 s] /proc/loadavg: 2.14 2.12 2.08 3/204 3216 /proc/meminfo: memFree=16544456/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24360 CPUtime=0.68 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 6274 0 0 0 68 0 0 0 20 0 1 0 557556215 48857088 6090 33554432000 4194304 6211132 140726409415328 140726409413464 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6090 909 493 0 5233 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24360 KiB [startup+1.50028 s] /proc/loadavg: 2.14 2.12 2.08 3/204 3216 /proc/meminfo: memFree=16539076/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24360 CPUtime=1.49 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 6274 0 0 0 149 0 0 0 20 0 1 0 557556215 48857088 6090 33554432000 4194304 6211132 140726409415328 140726409413464 5035312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6090 909 493 0 5233 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24360 KiB [startup+3.10946 s] /proc/loadavg: 1.97 2.08 2.07 3/204 3216 /proc/meminfo: memFree=16517116/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24448 CPUtime=3.09 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 9028 0 0 0 309 0 0 0 20 0 1 0 557556215 48857088 6112 33554432000 4194304 6211132 140726409415328 140726409413464 5035326 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6112 909 493 0 5233 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24448 KiB [startup+6.30027 s] /proc/loadavg: 1.97 2.08 2.07 4/203 3216 /proc/meminfo: memFree=16486452/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24448 CPUtime=6.29 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 14077 0 0 0 629 0 0 0 20 0 1 0 557556215 48857088 6112 33554432000 4194304 6211132 140726409415328 140726409413464 5409476 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6112 909 493 0 5233 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24448 KiB [startup+12.7003 s] /proc/loadavg: 1.97 2.08 2.07 4/203 3216 /proc/meminfo: memFree=16424512/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24448 CPUtime=12.7 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 18171 0 0 0 1269 1 0 0 20 0 1 0 557556215 48857088 6112 33554432000 4194304 6211132 140726409415328 140726409413464 5017472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6112 909 493 0 5233 0 Current children cumulated CPU time: 12.7 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24448 KiB [startup+25.5002 s] /proc/loadavg: 1.98 2.08 2.07 4/203 3216 /proc/meminfo: memFree=16288388/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=47712 memory=24448 CPUtime=25.49 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 25362 0 0 0 2548 1 0 0 20 0 1 0 557556215 48857088 6112 33554432000 4194304 6211132 140726409415328 140726409413464 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 11928 6112 909 493 0 5233 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 47712 KiB Current children cumulated memory: 24448 KiB [startup+51.1093 s] /proc/loadavg: 1.99 2.07 2.07 3/203 3219 /proc/meminfo: memFree=16018672/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=48384 memory=25188 CPUtime=51.1 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 30527 0 0 0 5109 1 0 0 20 0 1 0 557556215 49545216 6297 33554432000 4194304 6211132 140726409415328 140726409403208 5035270 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12096 6297 909 493 0 5401 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 48384 KiB Current children cumulated memory: 25188 KiB [startup+102.3 s] /proc/loadavg: 2.66 2.21 2.11 3/204 3285 /proc/meminfo: memFree=30931360/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=48384 memory=25188 CPUtime=102.29 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34097 0 0 0 10228 1 0 0 20 0 1 0 557556215 49545216 6297 33554432000 4194304 6211132 140726409415328 140726409403208 5035344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12096 6297 909 493 0 5401 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 48384 KiB Current children cumulated memory: 25188 KiB [startup+162.3 s] /proc/loadavg: 2.26 2.18 2.11 3/204 3293 /proc/meminfo: memFree=31469624/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=48384 memory=25192 CPUtime=162.3 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34224 0 0 0 16229 1 0 0 20 0 1 0 557556215 49545216 6298 33554432000 4194304 6211132 140726409415328 140726409403208 5035216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12096 6298 909 493 0 5401 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 48384 KiB Current children cumulated memory: 25192 KiB [startup+222.3 s] /proc/loadavg: 2.10 2.15 2.10 3/201 3297 /proc/meminfo: memFree=31469488/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=48384 memory=25192 CPUtime=222.3 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34357 0 0 0 22229 1 0 0 20 0 1 0 557556215 49545216 6298 33554432000 4194304 6211132 140726409415328 140726409403208 5148716 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12096 6298 909 493 0 5401 0 Current children cumulated CPU time: 222.3 s Current children cumulated vsize: 48384 KiB Current children cumulated memory: 25192 KiB [startup+282.3 s] /proc/loadavg: 2.04 2.12 2.10 3/200 3303 /proc/meminfo: memFree=31469328/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25564 CPUtime=282.31 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34565 0 0 0 28230 1 0 0 20 0 1 0 557556215 50221056 6391 33554432000 4194304 6211132 140726409415328 140726409403208 5035232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6391 909 493 0 5566 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25564 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.10 2.09 3/200 3307 /proc/meminfo: memFree=31468648/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=342.32 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34721 0 0 0 34231 1 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5389476 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.08 2.09 3/200 3311 /proc/meminfo: memFree=31469268/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=402.32 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34721 0 0 0 40231 1 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5397258 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.07 2.08 3/199 3317 /proc/meminfo: memFree=31469332/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=462.33 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 34877 0 0 0 46232 1 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5409493 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB ################ # More data... # ################ /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 1722.48 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 3442 /proc/meminfo: memFree=31468988/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=1782.49 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 36677 0 0 0 178247 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 1782.49 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 3446 /proc/meminfo: memFree=31468628/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=1842.49 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 36677 0 0 0 184247 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 1842.49 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 3452 /proc/meminfo: memFree=31468600/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=1902.5 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 36808 0 0 0 190248 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5380302 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 1902.5 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 3456 /proc/meminfo: memFree=31468628/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=1962.51 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 36831 0 0 0 196249 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5409497 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 1962.51 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 3460 /proc/meminfo: memFree=31468616/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2022.51 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 36977 0 0 0 202249 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5409476 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2022.51 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3466 /proc/meminfo: memFree=31468304/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2082.52 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 36988 0 0 0 208250 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5186208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2082.52 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3470 /proc/meminfo: memFree=31468772/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2142.53 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37111 0 0 0 214251 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5396791 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2142.53 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3474 /proc/meminfo: memFree=31468732/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2202.53 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37111 0 0 0 220251 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5409508 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2202.53 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3480 /proc/meminfo: memFree=31468644/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2262.54 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37234 0 0 0 226252 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5149680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2262.54 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3484 /proc/meminfo: memFree=31468616/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2322.55 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37267 0 0 0 232253 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5009314 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2322.55 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 3496 /proc/meminfo: memFree=31468796/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2382.55 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37392 0 0 0 238253 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5186344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2382.55 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 3502 /proc/meminfo: memFree=31469552/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2442.56 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37400 0 0 0 244254 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2442.56 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 3506 /proc/meminfo: memFree=31469396/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2502.57 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37527 0 0 0 250255 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5151169 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2502.57 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.00 2.01 2.05 3/201 3509 /proc/meminfo: memFree=31469100/32770624 swapFree=67002192/67108860 [pid=3215] ppid=3212 vsize=49044 memory=25756 CPUtime=2520.07 cores=1,3,5,7 /proc/3215/stat : 3215 (cosoco) R 3212 3215 31123 0 -1 4202496 37527 0 0 0 252005 2 0 0 20 0 1 0 557556215 50221056 6439 33554432000 4194304 6211132 140726409415328 140726409403208 5149152 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24698880 140726409421835 140726409421937 140726409421937 140726409424846 0 /proc/3215/statm: 12261 6439 909 493 0 5566 0 Current children cumulated CPU time: 2520.07 s Current children cumulated vsize: 49044 KiB Current children cumulated memory: 25756 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 3215 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.06 s, system=0.023002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2519.8 CPU time (s): 2520.08 CPU user time (s): 2520.06 CPU system time (s): 0.023002 CPU usage (%): 100.011 Max. virtual memory (cumulated for all children) (KiB): 49044 Max. memory (cumulated for all children) (KiB): 25756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.06 system time used= 0.023002 maximum resident set size= 25820 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37581 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24 involuntary context switches= 645 # summary of solver processes directly reported to runsolver: # pid: 3215 # total CPU time (s): 2520.08 # total CPU user time (s): 2520.06 # total CPU system time (s): 0.023002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.72309 second user time and 16.4531 second system time The end
Begin job on node136 at 2019-09-30 05:10:31 IDJOB=4408215 IDBENCH=140480 IDSOLVER=2874 FILE ID=node136/4408215-1569813077 RUNJOBID= node136-1569787347-31155 PBS_JOBID= 21705824 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbo-30-15-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408215-1569813077/watcher-4408215-1569813077 -o /tmp/evaluation-result-4408215-1569813077/solver-4408215-1569813077 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31155 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408215-1569813077.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8 RANDOM SEED=1262183509 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16570408 kB MemAvailable: 16922048 kB Buffers: 96916 kB Cached: 576084 kB SwapCached: 3864 kB Active: 15370024 kB Inactive: 213072 kB Active(anon): 14902412 kB Inactive(anon): 89412 kB Active(file): 467612 kB Inactive(file): 123660 kB Unevictable: 106792 kB Mlocked: 106792 kB SwapTotal: 67108860 kB SwapFree: 67002192 kB Dirty: 2852 kB Writeback: 0 kB AnonPages: 15027352 kB Mapped: 28484 kB Shmem: 72848 kB Slab: 182444 kB SReclaimable: 152404 kB SUnreclaim: 30040 kB KernelStack: 3840 kB PageTables: 34604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 15565772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62024 MiB End job on node136 at 2019-09-30 05:52:31