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 | 2520.07 | 2520.01 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-15-30-1.xml |
| MD5SUM | 274e3e67607724bfcca0861611bdfa28 |
| 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 | 69.7539 |
| 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-4408401-1569795713.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: 4..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.30/0.33 o 12 110.79/110.83 o 11 110.79/110.83 c 3 calls to solver(id=*d): best=0 lower=11 upper=0 538.60/538.60 o 10 607.20/607.23 o 9 607.20/607.23 c 5 calls to solver(id=*d): best=0 lower=9 upper=0 2520.06/2520.01 2520.06/2520.01 c *** INTERRUPTED *** 2520.06/2520.01 c call to solver : 5 2520.06/2520.01 c 2520.06/2520.01 c restarts : 333 2520.06/2520.01 c conflicts : 15834781 (6284 /sec) 2520.06/2520.01 c decisions : 94276934 (37411 /sec) 2520.06/2520.01 c propagations : 1798171901 (713546 /sec) 2520.06/2520.01 c root propagations : 450 2520.06/2520.01 c filter calls : 4032480874 (1600159 /sec) 2520.06/2520.01 c useless filter calls : 2739764358 (67 %) 2520.06/2520.01 c Memory used : 48.59 MB 2520.06/2520.01 c Best bound time (wc) : 607.228 s 2520.06/2520.01 c CPU time : 2520.05 s 2520.06/2520.01 c real time : 2520.01 s 2520.06/2520.01 2520.06/2520.01 c nb Solutions = 5 2520.06/2520.01 s SATISFIABLE 2520.06/2520.01 c Best value found: 9 2520.06/2520.01 2520.06/2520.01 2520.06/2520.01 v <instantiation type='solution' cost='9'> 2520.06/2520.01 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> 2520.06/2520.01 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> 2520.06/2520.01 v </instantiation> 2520.06/2520.01
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 (13888 MiB free)
memory of node 1: 16384 MiB (14064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408401-1569795713/watcher-4408401-1569795713 -o /tmp/evaluation-result-4408401-1569795713/solver-4408401-1569795713 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23555 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408401-1569795713.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=25183, runsolver pid=25180
[startup+0.100156 s]*
/proc/loadavg: 2.08 2.04 2.05 3/200 25184
/proc/meminfo: memFree=28615428/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=35180 memory=11588 CPUtime=0.1 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 3078 0 0 0 10 0 0 0 20 0 1 0 555507677 36024320 2897 33554432000 4194304 6211132 140726777345328 140726777341864 140515629652965 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/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.209718 s]*
/proc/loadavg: 2.08 2.04 2.05 3/200 25184
/proc/meminfo: memFree=28604640/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=46556 memory=23332 CPUtime=0.2 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 5996 0 0 0 20 0 0 0 20 0 1 0 555507677 47673344 5833 33554432000 4194304 6211132 140726777345328 140726777341864 5035232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 11639 5833 910 493 0 4944 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 23332 KiB
[startup+0.309713 s]*
/proc/loadavg: 2.08 2.04 2.05 3/200 25184
/proc/meminfo: memFree=28603152/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=46824 memory=23332 CPUtime=0.3 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 6042 0 0 0 30 0 0 0 20 0 1 0 555507677 47947776 5833 33554432000 4194304 6211132 140726777345328 140726777341864 5409476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 11706 5833 910 493 0 5011 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 23332 KiB
[startup+0.700274 s]
/proc/loadavg: 2.08 2.04 2.05 3/200 25184
/proc/meminfo: memFree=28601664/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48288 memory=24916 CPUtime=0.69 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 6426 0 0 0 69 0 0 0 20 0 1 0 555507677 49446912 6229 33554432000 4194304 6211132 140726777345328 140726777341864 5409493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12072 6229 911 493 0 5377 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 24916 KiB
[startup+1.50027 s]
/proc/loadavg: 2.08 2.04 2.05 3/200 25184
/proc/meminfo: memFree=28601352/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48288 memory=24916 CPUtime=1.49 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 6426 0 0 0 149 0 0 0 20 0 1 0 555507677 49446912 6229 33554432000 4194304 6211132 140726777345328 140726777343464 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12072 6229 911 493 0 5377 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 24916 KiB
[startup+3.10914 s]
/proc/loadavg: 2.08 2.04 2.05 3/200 25184
/proc/meminfo: memFree=28601320/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48288 memory=25056 CPUtime=3.1 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 9928 0 0 0 309 1 0 0 20 0 1 0 555507677 49446912 6264 33554432000 4194304 6211132 140726777345328 140726777343464 5078899 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12072 6264 911 493 0 5377 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 25056 KiB
[startup+6.30026 s]
/proc/loadavg: 2.16 2.06 2.06 3/200 25184
/proc/meminfo: memFree=28600496/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48288 memory=25056 CPUtime=6.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 13721 0 0 0 628 1 0 0 20 0 1 0 555507677 49446912 6264 33554432000 4194304 6211132 140726777345328 140726777343464 5392113 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12072 6264 911 493 0 5377 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 25056 KiB
[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.06 3/200 25185
/proc/meminfo: memFree=28600904/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48288 memory=25056 CPUtime=12.69 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 14398 0 0 0 1268 1 0 0 20 0 1 0 555507677 49446912 6264 33554432000 4194304 6211132 140726777345328 140726777343464 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12072 6264 911 493 0 5377 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 25056 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 2.05 2.05 3/200 25185
/proc/meminfo: memFree=28600900/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48288 memory=25072 CPUtime=25.48 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 15695 0 0 0 2547 1 0 0 20 0 1 0 555507677 49446912 6268 33554432000 4194304 6211132 140726777345328 140726777343464 5035283 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12072 6268 911 493 0 5377 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 48288 KiB
Current children cumulated memory: 25072 KiB
[startup+51.1091 s]
/proc/loadavg: 2.07 2.05 2.05 3/200 25187
/proc/meminfo: memFree=28600076/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48684 memory=25428 CPUtime=51.09 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 16227 0 0 0 5108 1 0 0 20 0 1 0 555507677 49852416 6357 33554432000 4194304 6211132 140726777345328 140726777342728 5008971 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12171 6357 911 493 0 5476 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 48684 KiB
Current children cumulated memory: 25428 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/201 25192
/proc/meminfo: memFree=28599596/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=48684 memory=25428 CPUtime=102.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 16933 0 0 0 10228 1 0 0 20 0 1 0 555507677 49852416 6357 33554432000 4194304 6211132 140726777345328 140726777342728 5409493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12171 6357 911 493 0 5476 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 48684 KiB
Current children cumulated memory: 25428 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 25196
/proc/meminfo: memFree=28598988/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49348 memory=26132 CPUtime=162.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 17864 0 0 0 16228 1 0 0 20 0 1 0 555507677 50532352 6533 33554432000 4194304 6211132 140726777345328 140726777333208 5035283 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12337 6533 911 493 0 5642 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 26132 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 25202
/proc/meminfo: memFree=28599360/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49348 memory=26132 CPUtime=222.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 18152 0 0 0 22228 1 0 0 20 0 1 0 555507677 50532352 6533 33554432000 4194304 6211132 140726777345328 140726777333208 5017170 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12337 6533 911 493 0 5642 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 26132 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 25207
/proc/meminfo: memFree=28599156/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49348 memory=26132 CPUtime=282.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 18439 0 0 0 28228 1 0 0 20 0 1 0 555507677 50532352 6533 33554432000 4194304 6211132 140726777345328 140726777333208 5392096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12337 6533 911 493 0 5642 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 26132 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 25211
/proc/meminfo: memFree=28599380/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49348 memory=26132 CPUtime=342.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 18727 0 0 0 34228 1 0 0 20 0 1 0 555507677 50532352 6533 33554432000 4194304 6211132 140726777345328 140726777333208 5409476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12337 6533 911 493 0 5642 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 26132 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25217
/proc/meminfo: memFree=28599332/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49348 memory=26132 CPUtime=402.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 19016 0 0 0 40228 1 0 0 20 0 1 0 555507677 50532352 6533 33554432000 4194304 6211132 140726777345328 140726777333208 5079440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12337 6533 911 493 0 5642 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 26132 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25222
/proc/meminfo: memFree=28599416/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49348 memory=26132 CPUtime=462.29 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 19267 0 0 0 46228 1 0 0 20 0 1 0 555507677 50532352 6533 33554432000 4194304 6211132 140726777345328 140726777333208 5409476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12337 6533 911 493 0 5642 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 49348 KiB
Current children cumulated memory: 26132 KiB
################
# More data... #
################
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25407
/proc/meminfo: memFree=26222444/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=1782.33 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 25967 0 0 0 178232 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25413
/proc/meminfo: memFree=26221968/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=1842.33 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 26219 0 0 0 184232 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5391318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25417
/proc/meminfo: memFree=26222212/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=1902.33 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 26471 0 0 0 190232 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5409485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25421
/proc/meminfo: memFree=26221092/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=1962.33 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 26767 0 0 0 196232 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5409476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25427
/proc/meminfo: memFree=26221020/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2022.33 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 27011 0 0 0 202232 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5017472 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25432
/proc/meminfo: memFree=26221068/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2082.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 27316 0 0 0 208233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5193742 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25436
/proc/meminfo: memFree=26221152/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2142.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 27586 0 0 0 214233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5396768 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25442
/proc/meminfo: memFree=26221364/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2202.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 27856 0 0 0 220233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5409476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25447
/proc/meminfo: memFree=26220860/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2262.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 28125 0 0 0 226233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5409476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25451
/proc/meminfo: memFree=26220592/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2322.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 28394 0 0 0 232233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5149015 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25464
/proc/meminfo: memFree=26220984/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2382.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 28691 0 0 0 238233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5039022 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25493
/proc/meminfo: memFree=26220892/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2442.34 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 28954 0 0 0 244233 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5392115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
[startup+2502.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/199 25497
/proc/meminfo: memFree=26220280/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2502.35 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 29217 0 0 0 250234 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5392113 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.32 2.14 2.09 3/199 25500
/proc/meminfo: memFree=26221348/32770624 swapFree=66966908/67108860
[pid=25183] ppid=25180 vsize=49756 memory=26568 CPUtime=2520.06 cores=1,3,5,7
/proc/25183/stat : 25183 (cosoco) R 25180 25183 23523 0 -1 4202496 29479 0 0 0 252005 1 0 0 20 0 1 0 555507677 50950144 6642 33554432000 4194304 6211132 140726777345328 140726777333208 5389425 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38690816 140726777353227 140726777353329 140726777353329 140726777356238 0
/proc/25183/statm: 12439 6642 911 493 0 5744 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 26568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25183 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.05 s, system=0.02 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.02
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 49756
Max. memory (cumulated for all children) (KiB): 26568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.02
maximum resident set size= 26632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29535
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= 642
# summary of solver processes directly reported to runsolver:
# pid: 25183
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.05
# total CPU system time (s): 0.02
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.23848 second user time and 15.8066 second system time
The end
Begin job on node145 at 2019-09-30 00:21:10 IDJOB=4408401 IDBENCH=126778 IDSOLVER=2874 FILE ID=node145/4408401-1569795713 RUNJOBID= node145-1569787350-23555 PBS_JOBID= 21705820 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-30-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408401-1569795713/watcher-4408401-1569795713 -o /tmp/evaluation-result-4408401-1569795713/solver-4408401-1569795713 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1569787350-23555 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408401-1569795713.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28 RANDOM SEED=843305118 node145.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.59 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.59 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.59 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.59 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: 28622660 kB MemAvailable: 31825620 kB Buffers: 226732 kB Cached: 3301736 kB SwapCached: 32484 kB Active: 1319716 kB Inactive: 2248684 kB Active(anon): 25968 kB Inactive(anon): 95744 kB Active(file): 1293748 kB Inactive(file): 2152940 kB Unevictable: 108364 kB Mlocked: 108364 kB SwapTotal: 67108860 kB SwapFree: 66966908 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 116240 kB Mapped: 28344 kB Shmem: 73436 kB Slab: 174052 kB SReclaimable: 144212 kB SUnreclaim: 29840 kB KernelStack: 3504 kB PageTables: 5468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 570676 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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 node145 at 2019-09-30 01:03:10