Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 57895 | 2400.09 | 2400.2 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-kra32.xml |
| MD5SUM | 6a905f95d8410023ab58daf573045c33 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 57895 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1056 |
| Number of constraints | 166 |
| Number of domains | 2 |
| Minimum domain size | 14 |
| Maximum domain size | 32 |
| Distribution of domain sizes | [{"size":14,"count":165},{"size":32,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":0,"count":859},{"degree":1,"count":2},{"degree":2,"count":168},{"degree":4,"count":2},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":2},{"degree":11,"count":1},{"degree":12,"count":1},{"degree":13,"count":3},{"degree":15,"count":5},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":4},{"degree":21,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":3,"count":165},{"arity":32,"count":1}] |
| Number of extensional constraints | 165 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":165},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.08 c 0.00/0.08 c This is cosoco 2.00 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -stick HOME/instance-4394702-1568332764.xml 0.00/0.08 c enable optimization 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.01 s 0.00/0.08 c | 0.00/0.08 c | Variables: 1056 0.00/0.08 c | Domain Sizes: 14..32 0.00/0.08 c | 0.00/0.08 c | Constraints: 167 0.00/0.08 c | Arity: 3..165 -- Ternary: 165 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | All Different: 1 0.00/0.08 c | Extension: 165 (nb tuples: 992..992) -- (shared: 164) 0.00/0.08 c | Sum: 1 0.00/0.08 c | 0.00/0.08 c | Objective: Minimize Sum 0.00/0.08 0.00/0.08 c ========================================================================================================= 0.00/0.08 o 64905 0.00/0.08 c 1 calls to solver(id=0): best=64905 lower=0 upper=64904 0.10/0.14 o 64815 0.10/0.18 o 63555 0.10/0.18 c 3 calls to solver(id=0): best=63555 lower=0 upper=63554 0.20/0.28 o 62935 2.19/2.21 o 62895 2.19/2.21 c 5 calls to solver(id=0): best=62895 lower=0 upper=62894 2.49/2.56 o 62860 2.99/3.05 o 62610 2.99/3.05 c 7 calls to solver(id=0): best=62610 lower=0 upper=62609 3.49/3.59 o 62390 4.39/4.47 o 62305 4.39/4.47 c 9 calls to solver(id=0): best=62305 lower=0 upper=62304 4.89/4.94 o 62175 5.29/5.39 o 61275 5.29/5.39 c 11 calls to solver(id=0): best=61275 lower=0 upper=61274 5.79/5.85 o 60875 6.29/6.30 o 60845 6.29/6.30 c 13 calls to solver(id=0): best=60845 lower=0 upper=60844 6.69/6.76 o 60685 7.19/7.22 o 60675 7.19/7.22 c 15 calls to solver(id=0): best=60675 lower=0 upper=60674 7.58/7.67 o 60585 8.09/8.13 o 60485 8.09/8.13 c 17 calls to solver(id=0): best=60485 lower=0 upper=60484 8.48/8.59 o 60445 8.99/9.08 o 60380 8.99/9.08 c 19 calls to solver(id=0): best=60380 lower=0 upper=60379 9.48/9.57 o 60340 12.28/12.39 o 60215 12.28/12.39 c 21 calls to solver(id=0): best=60215 lower=0 upper=60214 13.68/13.71 o 58740 20.48/20.53 o 58695 20.48/20.53 c 23 calls to solver(id=0): best=58695 lower=0 upper=58694 54.58/54.67 o 58500 215.87/215.90 o 58425 215.87/215.90 c 25 calls to solver(id=0): best=58425 lower=0 upper=58424 569.65/569.73 o 57935 1385.22/1385.34 o 57895 1385.22/1385.34 c 27 calls to solver(id=0): best=57895 lower=0 upper=57894 2400.08/2400.20 2400.08/2400.20 c *** INTERRUPTED *** 2400.08/2400.20 c call to solver : 27 2400.08/2400.20 c 2400.08/2400.20 c restarts : 912 2400.08/2400.20 c conflicts : 8653466 (3606 /sec) 2400.08/2400.20 c decisions : 24622399 (10259 /sec) 2400.08/2400.20 c propagations : 4046843976 (1686133 /sec) 2400.08/2400.20 c root propagations : 165 2400.08/2400.20 c filter calls : 1003422263 (418080 /sec) 2400.08/2400.20 c useless filter calls : 555893579 (55 %) 2400.08/2400.20 c Memory used : 30.73 MB 2400.08/2400.20 c Best bound time (wc) : 1385.34 s 2400.08/2400.20 c CPU time : 2400.07 s 2400.08/2400.20 c real time : 2400.2 s 2400.08/2400.20 2400.08/2400.20 c nb Solutions = 27 2400.08/2400.20 s SATISFIABLE 2400.08/2400.20 c Best value found: 57895 2400.08/2400.20 2400.08/2400.20 2400.08/2400.20 v <instantiation type='solution' cost='57895'> 2400.08/2400.20 v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 2400.08/2400.20 v <values>* 150 150 * * * 265 150 * * 100 100 150 50 200 315 * 215 * * * * 165 * * 165 50 265 250 265 100 * * * 200 50 * * 215 100 * * * * 100 100 * * * 165 * * * * * * * * * * * * * * * * * 150 * * 415 100 * * * * * 200 50 * * * * * * * * * * * * * * * * * * * * * 215 * 265 50 * * 100 * 150 150 100 * * * * 50 * * * * * * * * * * * * * * * * * * * * 100 * * * * 165 * * * 100 * * * * * * * * * * * * * * * * * * * * 250 165 * * * * * 265 * * * 100 * 265 * * * * * * * * * * * * * * * * * * * 315 150 * * * * 215 * * * 150 * * * * * * * * * * * * * * * * * * * * * * 165 * * * * 100 * * * 165 * * * * * * * * * * * * * * * * * * * * * * * * * * * 265 * * 50 100 50 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 215 * * * * * * * * * * * * * * * * * * * * * * * 150 * * * * * * * 100 * * * * * * * * * * * * 150 50 * * 115 365 50 * * 100 * 250 150 100 315 * 215 * * * * 165 * * 265 50 165 150 165 * * * * * * * * * * * * * * * 100 250 * * * * * 50 * * * * * * * * * * * * * * * * * * * * * * * * * 150 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 200 * * * * * * * * * * * * * * * * * * * * * * * * * * * 50 * * * 115 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 150 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 100 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 215 215 * * 50 200 215 * * 165 * 315 215 265 150 * 50 * * * * * * * 100 115 100 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 215 315 * * 150 100 215 * * 165 * 215 115 265 150 * 50 * * * * * * * * 215 200 315 100 * * * 100 100 * * 165 315 100 * * 50 * 200 100 150 265 * 165 * * * * * * * * * 215 200 215 * * * 315 115 * * 50 300 215 * * 265 * 415 315 165 250 * 150 * * * * * * * * * * * * * * * 100 * 50 * * 315 100 * * 150 * 200 200 * * * * * * * * * * * * * * * 215 150 50 * * 215 * * * 200 115 * * 165 * 315 215 * * * * * * * * * * * * * * * * * * * * 250 100 * * 165 150 * * 100 * * 50 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 250 100 * * * * 50 * * * * * * * * * * * * 3 10 0 9 27 17 31 5 25 28 6 1 15 7 4 30 29 22 26 13 14 19 18 24 20 23 2 16 8 21 11 12 </values> 2400.08/2400.20 v </instantiation> 2400.08/2400.20
OK 57895
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 (8405 MiB free)
memory of node 1: 16384 MiB (15757 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394702-1568332764/watcher-4394702-1568332764 -o /tmp/evaluation-result-4394702-1568332764/solver-4394702-1568332764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394702-1568332764.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=9493, runsolver pid=9490
[startup+0.100951 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9494
/proc/meminfo: memFree=24738920/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31328 memory=7644 CPUtime=0.1 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 2129 0 0 0 10 0 0 0 20 0 1 0 409549009 32079872 1911 33554432000 4194304 6210612 140731455841296 140731455829176 5038764 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7832 1911 866 493 0 1137 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 7644 KiB
[startup+0.209596 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9494
/proc/meminfo: memFree=24738548/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=7908 CPUtime=0.2 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 2161 0 0 0 20 0 0 0 20 0 1 0 409549009 32215040 1977 33554432000 4194304 6210612 140731455841296 140731455829176 5038603 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 1977 867 493 0 1170 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7908 KiB
[startup+0.309027 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9494
/proc/meminfo: memFree=24738548/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=7908 CPUtime=0.3 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 2164 0 0 0 30 0 0 0 20 0 1 0 409549009 32215040 1977 33554432000 4194304 6210612 140731455841296 140731455829176 5409301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 1977 867 493 0 1170 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7908 KiB
[startup+0.700281 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9494
/proc/meminfo: memFree=24738548/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=7908 CPUtime=0.69 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 2164 0 0 0 69 0 0 0 20 0 1 0 409549009 32215040 1977 33554432000 4194304 6210612 140731455841296 140731455829176 5082008 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 1977 867 493 0 1170 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7908 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9494
/proc/meminfo: memFree=24738548/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=7908 CPUtime=1.49 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 2164 0 0 0 149 0 0 0 20 0 1 0 409549009 32215040 1977 33554432000 4194304 6210612 140731455841296 140731455829176 5078927 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 1977 867 493 0 1170 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7908 KiB
[startup+3.10909 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9494
/proc/meminfo: memFree=24738288/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8008 CPUtime=3.1 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 3209 0 0 0 310 0 0 0 20 0 1 0 409549009 32215040 2002 33554432000 4194304 6210612 140731455841296 140731455839432 5038817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2002 867 493 0 1170 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8008 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9495
/proc/meminfo: memFree=24738556/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8016 CPUtime=6.29 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 4254 0 0 0 629 0 0 0 20 0 1 0 409549009 32215040 2004 33554432000 4194304 6210612 140731455841296 140731455839432 5038661 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2004 867 493 0 1170 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8016 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9495
/proc/meminfo: memFree=24738332/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8016 CPUtime=12.68 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 6344 0 0 0 1268 0 0 0 20 0 1 0 409549009 32215040 2004 33554432000 4194304 6210612 140731455841296 140731455839432 5037490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2004 867 493 0 1170 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8016 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9495
/proc/meminfo: memFree=24738332/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8016 CPUtime=25.48 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 7390 0 0 0 2548 0 0 0 20 0 1 0 409549009 32215040 2004 33554432000 4194304 6210612 140731455841296 140731455829176 5038622 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2004 867 493 0 1170 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8016 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9497
/proc/meminfo: memFree=24738060/32770624 swapFree=67018252/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=51.09 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 7835 0 0 0 5109 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038960 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9509
/proc/meminfo: memFree=24738052/32770624 swapFree=67018260/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=102.28 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 8823 0 0 0 10228 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455839432 5038773 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 9540
/proc/meminfo: memFree=24736480/32770624 swapFree=67018284/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=162.27 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 9255 0 0 0 16227 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455839432 5185897 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9544
/proc/meminfo: memFree=24736892/32770624 swapFree=67018284/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=222.27 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 9805 0 0 0 22227 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038849 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9548
/proc/meminfo: memFree=24737332/32770624 swapFree=67018284/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=282.27 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 10183 0 0 0 28227 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5185901 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 9554
/proc/meminfo: memFree=24737476/32770624 swapFree=67018284/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=342.27 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 10664 0 0 0 34227 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5078516 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9558
/proc/meminfo: memFree=24737484/32770624 swapFree=67018284/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=402.26 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 11099 0 0 0 40226 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9625
/proc/meminfo: memFree=24796788/32770624 swapFree=67018284/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=462.26 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 11409 0 0 0 46226 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5192938 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
################
# More data... #
################
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 9737
/proc/meminfo: memFree=24794268/32770624 swapFree=67018324/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=1662.2 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 19703 0 0 0 166220 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5249727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1662.2 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 9741
/proc/meminfo: memFree=24793988/32770624 swapFree=67018324/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=1722.2 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 20094 0 0 0 172220 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 9748
/proc/meminfo: memFree=24794236/32770624 swapFree=67018328/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=1782.2 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 20474 0 0 0 178220 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 9752
/proc/meminfo: memFree=24794064/32770624 swapFree=67018328/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=1842.2 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 20854 0 0 0 184220 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038622 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 9763
/proc/meminfo: memFree=24793652/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=1902.19 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 21236 0 0 0 190219 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5039282 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 9769
/proc/meminfo: memFree=24794084/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=1962.19 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 21648 0 0 0 196219 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5078724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9773
/proc/meminfo: memFree=24794108/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2022.19 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 22024 0 0 0 202219 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9777
/proc/meminfo: memFree=24794416/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2082.18 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 22403 0 0 0 208218 0 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9783
/proc/meminfo: memFree=24793476/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2142.19 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 22788 0 0 0 214218 1 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038654 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9787
/proc/meminfo: memFree=24793492/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2202.19 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 23159 0 0 0 220218 1 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038831 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9791
/proc/meminfo: memFree=24793040/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2262.18 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 23590 0 0 0 226217 1 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5155416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9797
/proc/meminfo: memFree=24793600/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2322.18 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 23970 0 0 0 232217 1 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038624 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9801
/proc/meminfo: memFree=24793216/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2382.18 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 24346 0 0 0 238217 1 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5038576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9801
/proc/meminfo: memFree=24793236/32770624 swapFree=67018332/67108860
[pid=9493] ppid=9490 vsize=31460 memory=8024 CPUtime=2400.08 cores=1,3,5,7
/proc/9493/stat : 9493 (cosoco) R 9490 9493 7017 0 -1 4202496 24347 0 0 0 240007 1 0 0 20 0 1 0 409549009 32215040 2006 33554432000 4194304 6210612 140731455841296 140731455829176 5155436 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 32477184 140731455845387 140731455845489 140731455845489 140731455848398 0
/proc/9493/statm: 7865 2006 867 493 0 1170 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 9493 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.07 s, system=0.011999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.09
CPU user time (s): 2400.07
CPU system time (s): 0.011999
CPU usage (%): 99.9952
Max. virtual memory (cumulated for all children) (KiB): 31460
Max. memory (cumulated for all children) (KiB): 8024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.011999
maximum resident set size= 8092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24433
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= 7
involuntary context switches= 645
# summary of solver processes directly reported to runsolver:
# pid: 9493
# total CPU time (s): 2400.09
# total CPU user time (s): 2400.07
# total CPU system time (s): 0.011999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.22704 second user time and 15.5046 second system time
The end
Begin job on node150 at 2019-09-13 01:58:44 IDJOB=4394702 IDBENCH=123145 IDSOLVER=2830 FILE ID=node150/4394702-1568332764 RUNJOBID= node150-1568323911-7049 PBS_JOBID= 21701149 Free space on /tmp= 55028 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-kra32.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394702-1568332764/watcher-4394702-1568332764 -o /tmp/evaluation-result-4394702-1568332764/solver-4394702-1568332764 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394702-1568332764.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a905f95d8410023ab58daf573045c33 RANDOM SEED=651950945 node150.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.79 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.79 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.79 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.79 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: 24742948 kB MemAvailable: 31777012 kB Buffers: 159920 kB Cached: 7022844 kB SwapCached: 10620 kB Active: 1213356 kB Inactive: 6076060 kB Active(anon): 74076 kB Inactive(anon): 54924 kB Active(file): 1139280 kB Inactive(file): 6021136 kB Unevictable: 109524 kB Mlocked: 109524 kB SwapTotal: 67108860 kB SwapFree: 67018252 kB Dirty: 2912 kB Writeback: 0 kB AnonPages: 142624 kB Mapped: 37948 kB Shmem: 13600 kB Slab: 332404 kB SReclaimable: 302108 kB SUnreclaim: 30296 kB KernelStack: 3808 kB PageTables: 6016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 589964 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 55024 MiB End job on node150 at 2019-09-13 02:38:45