Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 9 | 2400.1 | 2399.8 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-15-30-1.xml |
| MD5SUM | fbcd0bfcb2f1b8042d526b590f2e61a5 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 44.0818 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1410 |
| Number of constraints | 1381 |
| Number of domains | 9 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":900},{"size":3,"count":30},{"size":4,"count":150},{"size":5,"count":150},{"size":6,"count":60},{"size":7,"count":30},{"size":8,"count":30},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":885},{"degree":16,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":2,"count":465},{"arity":3,"count":885},{"arity":16,"count":30},{"arity":30,"count":1}] |
| 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":30},{"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.10/0.21 c 0.10/0.21 c This is cosoco 2.00 -- 0.10/0.21 c 0.10/0.21 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408801-1569809753.xml 0.10/0.21 c enable optimization 0.10/0.21 c ========================================[ Problem Statistics ]=========================================== 0.10/0.21 c | 0.10/0.21 c | Parse time : 0.16 s 0.10/0.21 c | 0.10/0.21 c | Variables: 1410 0.10/0.21 c | Domain Sizes: 2..31 0.10/0.21 c | 0.10/0.21 c | Constraints: 1382 0.10/0.21 c | Arity: 2..30 -- Binary: 465 -- Ternary: 885 0.10/0.21 c | 0.10/0.21 c | Types: 0.10/0.21 c | (X = Y): 15 0.10/0.21 c | All Different: 1 0.10/0.21 c | Extension: 900 (nb tuples: 5..30) -- (shared: 444) 0.10/0.21 c | Max constant: 1 0.10/0.21 c | Sum: 465 0.10/0.21 c | 0.10/0.21 c | Objective: Minimize Max constant 0.10/0.21 0.10/0.21 c ========================================================================================================= 0.10/0.21 o 13 0.10/0.21 c 1 calls to solver(id=*d): best=0 lower=13 upper=0 0.31/0.34 o 12 115.00/115.10 o 11 115.00/115.10 c 3 calls to solver(id=*d): best=0 lower=11 upper=0 546.34/546.30 o 10 615.06/615.02 o 9 615.06/615.02 c 5 calls to solver(id=*d): best=0 lower=9 upper=0 2400.09/2399.80 2400.09/2399.80 c *** INTERRUPTED *** 2400.09/2399.80 c call to solver : 5 2400.09/2399.80 c 2400.09/2399.80 c restarts : 333 2400.09/2399.80 c conflicts : 14911395 (6213 /sec) 2400.09/2399.80 c decisions : 90225389 (37593 /sec) 2400.09/2399.80 c propagations : 1646963081 (686213 /sec) 2400.09/2399.80 c root propagations : 450 2400.09/2399.80 c filter calls : 3703511009 (1543081 /sec) 2400.09/2399.80 c useless filter calls : 2537525092 (68 %) 2400.09/2399.80 c Memory used : 48.61 MB 2400.09/2399.80 c Best bound time (wc) : 615.019 s 2400.09/2399.80 c CPU time : 2400.08 s 2400.09/2399.80 c real time : 2399.8 s 2400.09/2399.80 2400.09/2399.80 c nb Solutions = 5 2400.09/2399.80 s SATISFIABLE 2400.09/2399.80 c Best value found: 9 2400.09/2399.80 2400.09/2399.80 2400.09/2399.80 v <instantiation type='solution' cost='9'> 2400.09/2399.80 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] 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][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] 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][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] 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][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] 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][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] 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][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] 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[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] 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[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] 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][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] 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][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] 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][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] 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][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] 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][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] 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][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] 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][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] 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][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] 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][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] 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][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] 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][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] 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][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] 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][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] 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[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] 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[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] 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][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] 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][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] 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][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] 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][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] 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][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] 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][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] 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][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] 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[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] 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][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] 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][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] 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][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] 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][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] 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][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] 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][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] 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[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] 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[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] 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][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] 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][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] 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][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] 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][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] 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][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] 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][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] 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][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] 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[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2400.09/2399.80 v <values>0 0 0 0 0 0 0 0 1 2 2 0 2 2 2 2 2 2 3 3 3 3 0 0 0 0 0 0 0 0 0 2 2 2 2 2 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 4 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 0 2 2 3 3 3 3 3 3 3 4 0 4 4 4 4 4 4 4 4 4 4 0 0 0 0 1 1 1 1 0 3 3 4 4 4 4 5 5 5 5 1 5 5 5 5 5 5 5 5 5 5 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 2 2 0 3 3 3 3 4 4 4 4 4 4 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 4 5 5 0 0 0 0 0 0 0 0 0 3 3 3 4 4 4 4 4 4 4 0 5 5 5 5 5 6 6 6 6 6 0 1 1 1 1 1 2 3 1 3 3 3 3 3 3 3 3 3 3 1 3 3 3 3 3 3 3 3 3 3 2 2 2 2 2 3 3 3 0 2 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 3 3 3 3 3 0 0 0 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 3 3 3 0 0 0 0 0 0 0 0 0 1 2 2 2 2 3 3 3 3 3 0 3 3 3 3 3 3 3 3 4 4 0 0 0 1 1 1 1 1 0 2 2 2 2 3 3 4 5 5 6 1 6 7 7 7 7 7 7 7 7 7 1 2 2 2 2 2 2 2 0 1 1 1 2 2 2 2 2 2 2 0 2 2 2 3 3 4 4 4 4 4 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 2 2 2 2 2 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 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 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 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 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 0 0 1 1 1 1 1 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 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 29 25 23 20 4 11 16 12 19 24 13 3 1 21 9 18 22 2 8 15 17 0 26 10 5 27 28 6 7 14 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 1 0 1 0 0 0 1 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 0 1 0 0 1 0 0 0 1 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 0 1 1 0 1 1 1 0 0 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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 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 1 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 1 0 0 0 0 0 0 0 0 2 9 9 8 8 9 9 9 9 9 9 4 8 9 8 9 9 8 6 5 4 2 5 6 6 7 9 9 9 9 </values> 2400.09/2399.80 v </instantiation> 2400.09/2399.80
OK 9
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 (15122 MiB free)
memory of node 1: 16384 MiB (15167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408801-1569809753/watcher-4408801-1569809753 -o /tmp/evaluation-result-4408801-1569809753/solver-4408801-1569809753 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408801-1569809753.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28885, runsolver pid=28882
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=31009404/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=35180 memory=11588 CPUtime=0.1 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 3075 0 0 0 10 0 0 0 20 0 1 0 557232717 36024320 2897 33554432000 4194304 6211132 140729356172544 140729356169080 139800520943520 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 8795 2897 836 493 0 2100 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35180 KiB
Current children cumulated memory: 11588 KiB
[startup+0.209655 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30999360/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=46560 memory=23332 CPUtime=0.21 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 6001 0 0 0 20 1 0 0 20 0 1 0 557232717 47677440 5833 33554432000 4194304 6211132 140729356172544 140729356169080 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 11640 5833 910 493 0 4945 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46560 KiB
Current children cumulated memory: 23332 KiB
[startup+0.309732 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30997500/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=46824 memory=23332 CPUtime=0.31 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 6048 0 0 0 30 1 0 0 20 0 1 0 557232717 47947776 5833 33554432000 4194304 6211132 140729356172544 140729356169080 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 11706 5833 910 493 0 5011 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 23332 KiB
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30995740/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48300 memory=24916 CPUtime=0.69 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 6431 0 0 0 68 1 0 0 20 0 1 0 557232717 49459200 6229 33554432000 4194304 6211132 140729356172544 140729356170680 5035263 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12075 6229 911 493 0 5380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 24916 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30995260/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48300 memory=24916 CPUtime=1.49 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 6431 0 0 0 148 1 0 0 20 0 1 0 557232717 49459200 6229 33554432000 4194304 6211132 140729356172544 140729356170680 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12075 6229 911 493 0 5380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 24916 KiB
[startup+3.10916 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30995308/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48300 memory=25072 CPUtime=3.1 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 9934 0 0 0 309 1 0 0 20 0 1 0 557232717 49459200 6268 33554432000 4194304 6211132 140729356172544 140729356170680 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12075 6268 911 493 0 5380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 25072 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30995424/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48300 memory=25072 CPUtime=6.29 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 13706 0 0 0 628 1 0 0 20 0 1 0 557232717 49459200 6268 33554432000 4194304 6211132 140729356172544 140729356170680 5082358 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12075 6268 911 493 0 5380 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 25072 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28886
/proc/meminfo: memFree=30994960/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48300 memory=25072 CPUtime=12.69 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 17342 0 0 0 1268 1 0 0 20 0 1 0 557232717 49459200 6268 33554432000 4194304 6211132 140729356172544 140729356170680 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12075 6268 911 493 0 5380 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 25072 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28887
/proc/meminfo: memFree=30995048/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48300 memory=25088 CPUtime=25.48 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 20378 0 0 0 2547 1 0 0 20 0 1 0 557232717 49459200 6272 33554432000 4194304 6211132 140729356172544 140729356170680 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12075 6272 911 493 0 5380 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 48300 KiB
Current children cumulated memory: 25088 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28889
/proc/meminfo: memFree=30995192/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48700 memory=25416 CPUtime=51.09 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 20934 0 0 0 5108 1 0 0 20 0 1 0 557232717 49868800 6354 33554432000 4194304 6211132 140729356172544 140729356169944 5409497 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12175 6354 911 493 0 5480 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 48700 KiB
Current children cumulated memory: 25416 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28893
/proc/meminfo: memFree=30994048/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=48700 memory=25416 CPUtime=102.29 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 21638 0 0 0 10228 1 0 0 20 0 1 0 557232717 49868800 6354 33554432000 4194304 6211132 140729356172544 140729356169944 5035252 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12175 6354 911 493 0 5480 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 48700 KiB
Current children cumulated memory: 25416 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 28897
/proc/meminfo: memFree=30994288/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49364 memory=26136 CPUtime=162.3 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 22545 0 0 0 16229 1 0 0 20 0 1 0 557232717 50548736 6534 33554432000 4194304 6211132 140729356172544 140729356160424 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12341 6534 911 493 0 5646 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 26136 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28904
/proc/meminfo: memFree=30993872/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49364 memory=26136 CPUtime=222.3 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 22897 0 0 0 22229 1 0 0 20 0 1 0 557232717 50548736 6534 33554432000 4194304 6211132 140729356172544 140729356160424 5148608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12341 6534 911 493 0 5646 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 26136 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28908
/proc/meminfo: memFree=30993468/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49364 memory=26136 CPUtime=282.31 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 22898 0 0 0 28230 1 0 0 20 0 1 0 557232717 50548736 6534 33554432000 4194304 6211132 140729356172544 140729356160424 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12341 6534 911 493 0 5646 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 26136 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28912
/proc/meminfo: memFree=30994236/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49364 memory=26136 CPUtime=342.32 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 23250 0 0 0 34231 1 0 0 20 0 1 0 557232717 50548736 6534 33554432000 4194304 6211132 140729356172544 140729356160424 5148711 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12341 6534 911 493 0 5646 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 26136 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28923
/proc/meminfo: memFree=30992988/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49364 memory=26136 CPUtime=402.33 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 23251 0 0 0 40232 1 0 0 20 0 1 0 557232717 50548736 6534 33554432000 4194304 6211132 140729356172544 140729356160424 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12341 6534 911 493 0 5646 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 26136 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28990
/proc/meminfo: memFree=30983556/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49364 memory=26136 CPUtime=462.33 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 23604 0 0 0 46232 1 0 0 20 0 1 0 557232717 50548736 6534 33554432000 4194304 6211132 140729356172544 140729356160424 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12341 6534 911 493 0 5646 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 26136 KiB
################
# More data... #
################
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1602.49 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 29138
/proc/meminfo: memFree=30982744/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=1662.5 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 27318 0 0 0 166248 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1662.5 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 29142
/proc/meminfo: memFree=30982672/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=1722.5 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 27320 0 0 0 172248 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5396424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1722.5 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 29146
/proc/meminfo: memFree=30982344/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=1782.51 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 27630 0 0 0 178249 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1782.51 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 29152
/proc/meminfo: memFree=30982864/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=1842.52 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 27682 0 0 0 184250 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5035312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1842.52 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29156
/proc/meminfo: memFree=30982512/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=1902.53 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 27990 0 0 0 190251 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1902.53 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29160
/proc/meminfo: memFree=30982324/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=1962.54 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 28044 0 0 0 196252 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5039038 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 1962.54 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29166
/proc/meminfo: memFree=30982736/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2022.54 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 28318 0 0 0 202252 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2022.54 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29170
/proc/meminfo: memFree=30982960/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2082.55 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 28405 0 0 0 208253 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2082.55 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29174
/proc/meminfo: memFree=30982392/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2142.56 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 28702 0 0 0 214254 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2142.56 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29185
/proc/meminfo: memFree=30982448/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2202.56 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 28713 0 0 0 220254 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29196
/proc/meminfo: memFree=30983064/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2262.57 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 29021 0 0 0 226255 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5038992 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2322.3 s]
/proc/loadavg: 2.17 2.06 2.06 3/200 29200
/proc/meminfo: memFree=30983192/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2322.58 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 29021 0 0 0 232256 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5039572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
[startup+2382.3 s]
/proc/loadavg: 2.18 2.08 2.06 3/200 29206
/proc/meminfo: memFree=30983152/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2382.59 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 29382 0 0 0 238257 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5150211 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2382.59 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.19 2.09 2.06 3/200 29207
/proc/meminfo: memFree=30983036/32770624 swapFree=66957812/67108860
[pid=28885] ppid=28882 vsize=49772 memory=26576 CPUtime=2400.09 cores=1,3,5,7
/proc/28885/stat : 28885 (cosoco) R 28882 28885 24360 0 -1 4202496 29382 0 0 0 240007 2 0 0 20 0 1 0 557232717 50966528 6644 33554432000 4194304 6211132 140729356172544 140729356160424 5038947 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 8761344 140729356174347 140729356174449 140729356174449 140729356177358 0
/proc/28885/statm: 12443 6644 911 493 0 5748 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 49772 KiB
Current children cumulated memory: 26576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.8 s]
# the end of solver process 28885 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.08 s, system=0.022002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.022002
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 49772
Max. memory (cumulated for all children) (KiB): 26576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.022002
maximum resident set size= 26640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29436
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= 631
# summary of solver processes directly reported to runsolver:
# pid: 28885
# total CPU time (s): 2400.1
# total CPU user time (s): 2400.08
# total CPU system time (s): 0.022002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45313 second user time and 15.2428 second system time
The end
Begin job on node105 at 2019-09-30 03:14:08 IDJOB=4408801 IDBENCH=140476 IDSOLVER=2875 FILE ID=node105/4408801-1569809753 RUNJOBID= node105-1569783690-24392 PBS_JOBID= 21705838 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbo-15-30-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408801-1569809753/watcher-4408801-1569809753 -o /tmp/evaluation-result-4408801-1569809753/solver-4408801-1569809753 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408801-1569809753.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbcd0bfcb2f1b8042d526b590f2e61a5 RANDOM SEED=83174681 node105.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.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.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.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.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.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.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31017412 kB MemAvailable: 31833500 kB Buffers: 221184 kB Cached: 934000 kB SwapCached: 48112 kB Active: 506808 kB Inactive: 699448 kB Active(anon): 18576 kB Inactive(anon): 111896 kB Active(file): 488232 kB Inactive(file): 587552 kB Unevictable: 110516 kB Mlocked: 110516 kB SwapTotal: 67108860 kB SwapFree: 66957812 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 125276 kB Mapped: 27992 kB Shmem: 70784 kB Slab: 141060 kB SReclaimable: 112280 kB SUnreclaim: 28780 kB KernelStack: 3760 kB PageTables: 5472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 561616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 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 node105 at 2019-09-30 03:54:08