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) | 57895 | 2400.05 | 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-4397577-1568575202.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.02 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.13 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.21/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.57 o 62860 3.00/3.07 o 62610 3.00/3.07 c 7 calls to solver(id=0): best=62610 lower=0 upper=62609 3.59/3.61 o 62390 4.39/4.49 o 62305 4.39/4.49 c 9 calls to solver(id=0): best=62305 lower=0 upper=62304 4.89/4.96 o 62175 5.39/5.42 o 61275 5.39/5.42 c 11 calls to solver(id=0): best=61275 lower=0 upper=61274 5.79/5.88 o 60875 6.29/6.34 o 60845 6.29/6.34 c 13 calls to solver(id=0): best=60845 lower=0 upper=60844 6.69/6.79 o 60685 7.19/7.25 o 60675 7.19/7.25 c 15 calls to solver(id=0): best=60675 lower=0 upper=60674 7.69/7.71 o 60585 8.10/8.17 o 60485 8.10/8.17 c 17 calls to solver(id=0): best=60485 lower=0 upper=60484 8.59/8.64 o 60445 9.10/9.13 o 60380 9.10/9.13 c 19 calls to solver(id=0): best=60380 lower=0 upper=60379 9.59/9.62 o 60340 12.39/12.45 o 60215 12.39/12.45 c 21 calls to solver(id=0): best=60215 lower=0 upper=60214 13.69/13.79 o 58740 20.59/20.64 o 58695 20.59/20.64 c 23 calls to solver(id=0): best=58695 lower=0 upper=58694 55.28/55.37 o 58500 218.77/218.82 o 58425 218.77/218.82 c 25 calls to solver(id=0): best=58425 lower=0 upper=58424 575.35/575.49 o 57935 1394.80/1394.96 o 57895 1394.80/1394.96 c 27 calls to solver(id=0): best=57895 lower=0 upper=57894 2400.04/2400.20 2400.04/2400.20 c *** INTERRUPTED *** 2400.04/2400.20 c call to solver : 27 2400.04/2400.20 c 2400.04/2400.20 c restarts : 912 2400.04/2400.20 c conflicts : 8616114 (3590 /sec) 2400.04/2400.20 c decisions : 24526918 (10219 /sec) 2400.04/2400.20 c propagations : 4018883321 (1674504 /sec) 2400.04/2400.20 c root propagations : 165 2400.04/2400.20 c filter calls : 996859294 (415350 /sec) 2400.04/2400.20 c useless filter calls : 552728593 (55 %) 2400.04/2400.20 c Memory used : 30.73 MB 2400.04/2400.20 c Best bound time (wc) : 1394.96 s 2400.04/2400.20 c CPU time : 2400.04 s 2400.04/2400.20 c real time : 2400.2 s 2400.04/2400.20 2400.04/2400.20 c nb Solutions = 27 2400.04/2400.20 s SATISFIABLE 2400.04/2400.20 c Best value found: 57895 2400.04/2400.20 2400.04/2400.20 2400.04/2400.20 v <instantiation type='solution' cost='57895'> 2400.04/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.04/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.04/2400.20 v </instantiation> 2400.04/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 (15214 MiB free)
memory of node 1: 16384 MiB (15577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397577-1568575202/watcher-4397577-1568575202 -o /tmp/evaluation-result-4397577-1568575202/solver-4397577-1568575202 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23144 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397577-1568575202.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23916, runsolver pid=23913
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 1.98 1.99 1.86 3/206 23917
/proc/meminfo: memFree=31526888/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31328 memory=7640 CPUtime=0.1 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 2131 0 0 0 10 0 0 0 20 0 1 0 433442886 32079872 1910 33554432000 4194304 6211092 140732165507984 140732165504520 5037783 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7832 1910 871 493 0 1137 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 7640 KiB
[startup+0.209944 s]*
/proc/loadavg: 1.98 1.99 1.86 3/206 23917
/proc/meminfo: memFree=31526640/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=7904 CPUtime=0.21 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 2163 0 0 0 21 0 0 0 20 0 1 0 433442886 32215040 1976 33554432000 4194304 6211092 140732165507984 140732165504520 5038964 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 1976 872 493 0 1170 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7904 KiB
[startup+0.309545 s]*
/proc/loadavg: 1.98 1.99 1.86 3/206 23917
/proc/meminfo: memFree=31526640/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=7904 CPUtime=0.31 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 2166 0 0 0 31 0 0 0 20 0 1 0 433442886 32215040 1976 33554432000 4194304 6211092 140732165507984 140732165504520 5250284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 1976 872 493 0 1170 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7904 KiB
[startup+0.700337 s]
/proc/loadavg: 1.98 1.99 1.86 3/206 23917
/proc/meminfo: memFree=31526640/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=7904 CPUtime=0.69 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 2166 0 0 0 69 0 0 0 20 0 1 0 433442886 32215040 1976 33554432000 4194304 6211092 140732165507984 140732165504520 5039026 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 1976 872 493 0 1170 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7904 KiB
[startup+1.50033 s]
/proc/loadavg: 1.98 1.99 1.86 3/206 23917
/proc/meminfo: memFree=31526840/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=7904 CPUtime=1.49 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 2166 0 0 0 149 0 0 0 20 0 1 0 433442886 32215040 1976 33554432000 4194304 6211092 140732165507984 140732165506120 5079027 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 1976 872 493 0 1170 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 7904 KiB
[startup+3.10949 s]
/proc/loadavg: 1.82 1.95 1.85 3/206 23917
/proc/meminfo: memFree=31526348/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8020 CPUtime=3.1 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 3211 0 0 0 310 0 0 0 20 0 1 0 433442886 32215040 2005 33554432000 4194304 6211092 140732165507984 140732165506120 5250224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2005 872 493 0 1170 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8020 KiB
[startup+6.30033 s]
/proc/loadavg: 1.82 1.95 1.85 3/206 23917
/proc/meminfo: memFree=31526348/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8028 CPUtime=6.29 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 4256 0 0 0 629 0 0 0 20 0 1 0 433442886 32215040 2007 33554432000 4194304 6211092 140732165507984 140732165495864 5157562 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2007 872 493 0 1170 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8028 KiB
[startup+12.7003 s]
/proc/loadavg: 1.84 1.95 1.85 3/206 23918
/proc/meminfo: memFree=31526380/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8028 CPUtime=12.69 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 5301 0 0 0 1269 0 0 0 20 0 1 0 433442886 32215040 2007 33554432000 4194304 6211092 140732165507984 140732165506120 5250287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2007 872 493 0 1170 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8028 KiB
[startup+25.5003 s]
/proc/loadavg: 1.87 1.96 1.85 3/206 23918
/proc/meminfo: memFree=31526596/32770624 swapFree=67010780/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=25.49 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 7166 0 0 0 2549 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039038 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+51.1093 s]
/proc/loadavg: 1.92 1.96 1.86 3/206 23925
/proc/meminfo: memFree=31525212/32770624 swapFree=67010784/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=51.09 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 8004 0 0 0 5109 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039137 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+102.3 s]
/proc/loadavg: 1.92 1.95 1.86 3/206 23929
/proc/meminfo: memFree=31524664/32770624 swapFree=67010784/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=102.28 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 9078 0 0 0 10228 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165506120 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 1.97 1.87 3/205 23933
/proc/meminfo: memFree=31525024/32770624 swapFree=67010784/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=162.27 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 9394 0 0 0 16227 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165506120 5250298 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 1.99 1.89 3/205 23939
/proc/meminfo: memFree=31525060/32770624 swapFree=67010784/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=222.27 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 9939 0 0 0 22227 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5394178 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.89 3/204 23943
/proc/meminfo: memFree=31524336/32770624 swapFree=67010784/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=282.27 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 10253 0 0 0 28227 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/205 23948
/proc/meminfo: memFree=31524384/32770624 swapFree=67010784/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=342.26 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 10566 0 0 0 34226 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5250287 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/205 23955
/proc/meminfo: memFree=31524448/32770624 swapFree=67010788/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=402.26 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 10890 0 0 0 40226 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/205 23959
/proc/meminfo: memFree=31524408/32770624 swapFree=67010788/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=462.26 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 11206 0 0 0 46226 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
################
# More data... #
################
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1602.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+1662.3 s]
/proc/loadavg: 2.12 2.12 2.05 3/205 24072
/proc/meminfo: memFree=31524336/32770624 swapFree=67010796/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=1662.19 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 17579 0 0 0 166219 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039145 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 2.05 3/205 24077
/proc/meminfo: memFree=31523964/32770624 swapFree=67010796/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=1722.18 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 17861 0 0 0 172218 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039193 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.05 3/205 24081
/proc/meminfo: memFree=31524956/32770624 swapFree=67010796/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=1782.18 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 18140 0 0 0 178218 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 24087
/proc/meminfo: memFree=31524468/32770624 swapFree=67010796/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=1842.17 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 18418 0 0 0 184217 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5079076 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/205 24096
/proc/meminfo: memFree=31523880/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=1902.17 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 18696 0 0 0 190217 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5155804 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/205 24100
/proc/meminfo: memFree=31523760/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=1962.17 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 19010 0 0 0 196217 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/204 24106
/proc/meminfo: memFree=31523524/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2022.16 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 19286 0 0 0 202216 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5081978 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/204 24110
/proc/meminfo: memFree=31523300/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2082.16 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 19563 0 0 0 208216 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 24114
/proc/meminfo: memFree=31523116/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2142.16 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 19842 0 0 0 214216 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039047 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 24122
/proc/meminfo: memFree=31523584/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2202.15 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 20120 0 0 0 220215 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/204 24190
/proc/meminfo: memFree=31087040/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2262.15 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 20396 0 0 0 226215 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5078848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/204 24194
/proc/meminfo: memFree=31081780/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2322.14 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 20710 0 0 0 232214 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5075221 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 24201
/proc/meminfo: memFree=31060768/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2382.14 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 20987 0 0 0 238214 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039104 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 24201
/proc/meminfo: memFree=31060784/32770624 swapFree=67010800/67108860
[pid=23916] ppid=23913 vsize=31460 memory=8032 CPUtime=2400.04 cores=0,2,4,6
/proc/23916/stat : 23916 (cosoco) R 23913 23916 23113 0 -1 4202496 21263 0 0 0 240004 0 0 0 20 0 1 0 433442886 32215040 2008 33554432000 4194304 6211092 140732165507984 140732165495864 5039029 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39997440 140732165510155 140732165510257 140732165510257 140732165513166 0
/proc/23916/statm: 7865 2008 872 493 0 1170 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 31460 KiB
Current children cumulated memory: 8032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 23916 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.006999 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.05
CPU user time (s): 2400.04
CPU system time (s): 0.006999
CPU usage (%): 99.9937
Max. virtual memory (cumulated for all children) (KiB): 31460
Max. memory (cumulated for all children) (KiB): 8032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.006999
maximum resident set size= 8096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21341
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= 708
# summary of solver processes directly reported to runsolver:
# pid: 23916
# total CPU time (s): 2400.05
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.006999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.7025 second user time and 16.0601 second system time
The end
Begin job on node132 at 2019-09-15 21:19:12 IDJOB=4397577 IDBENCH=123145 IDSOLVER=2849 FILE ID=node132/4397577-1568575202 RUNJOBID= node132-1568572734-23144 PBS_JOBID= 21703322 Free space on /tmp= 61620 MiB SOLVER NAME= cosoco 2.0 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-4397577-1568575202/watcher-4397577-1568575202 -o /tmp/evaluation-result-4397577-1568575202/solver-4397577-1568575202 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23144 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397577-1568575202.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a905f95d8410023ab58daf573045c33 RANDOM SEED=1007110592 node132.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.95 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.95 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.95 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.95 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: 31531436 kB MemAvailable: 31913280 kB Buffers: 94136 kB Cached: 564524 kB SwapCached: 5996 kB Active: 407680 kB Inactive: 260160 kB Active(anon): 6068 kB Inactive(anon): 32172 kB Active(file): 401612 kB Inactive(file): 227988 kB Unevictable: 109604 kB Mlocked: 109604 kB SwapTotal: 67108860 kB SwapFree: 67010780 kB Dirty: 2852 kB Writeback: 4 kB AnonPages: 114456 kB Mapped: 36232 kB Shmem: 20572 kB Slab: 165640 kB SReclaimable: 136160 kB SUnreclaim: 29480 kB KernelStack: 3632 kB PageTables: 6140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507016 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: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61620 MiB End job on node132 at 2019-09-15 21:59:13