Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 9512 | 2520.07 | 2520.01 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml |
| MD5SUM | ee3f8a7d47c87a95d16b6f1492d4a345 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9512 |
| Best CPU time to get the best result obtained on this benchmark | 2520.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1806 |
| Number of constraints | 862 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":8,"count":861},{"size":42,"count":42}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 42 |
| Distribution of variable degrees | [{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":3,"count":861},{"arity":42,"count":1}] |
| Number of extensional constraints | 861 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":861},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c best=?? lower=0 upper=37310 0.69/0.78 c 0.69/0.78 c This is cosoco 1.12 -- 0.69/0.78 c 0.69/0.78 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298878-1532772026.xml 0.69/0.78 c enable optimization 0.69/0.78 c ========================================[ Problem Statistics ]=========================================== 0.69/0.78 c | 0.69/0.78 c | Parse time : 0.05 s 0.69/0.78 c | 0.69/0.78 c | Variables: 1806 0.69/0.78 c | Domain Sizes: 8..42 0.69/0.78 c | 0.69/0.78 c | Constraints: 863 0.69/0.78 c | Arity: 3..861 -- Ternary: 861 0.69/0.78 c | 0.69/0.78 c | Types: 0.69/0.78 c | All Different: 1 0.69/0.78 c | Extension: 861 (nb tuples: 1722..1722) -- (shared: 860) 0.69/0.78 c | Sum: 1 0.69/0.78 c | 0.69/0.78 c | Objective: Minimize Sum 0.69/0.78 0.69/0.78 c ========================================================================================================= 0.69/0.78 o 10273 0.69/0.78 c 1 calls to solver: best=10273 lower=0 upper=10272 1.10/1.15 o 10234 1.49/1.53 o 10224 1.49/1.53 c 3 calls to solver: best=10224 lower=0 upper=10223 1.89/1.94 o 10027 2.29/2.34 o 9882 2.29/2.34 c 5 calls to solver: best=9882 lower=0 upper=9881 2.69/2.75 o 9855 5.59/5.61 o 9840 5.59/5.61 c 7 calls to solver: best=9840 lower=0 upper=9839 9.29/9.36 o 9822 13.29/13.30 o 9785 13.29/13.30 c 9 calls to solver: best=9785 lower=0 upper=9784 14.79/14.86 o 9775 16.00/16.10 o 9631 16.00/16.10 c 11 calls to solver: best=9631 lower=0 upper=9630 87.78/87.85 o 9572 126.78/126.85 o 9555 126.78/126.85 c 13 calls to solver: best=9555 lower=0 upper=9554 253.39/253.49 o 9538 881.40/881.44 o 9515 881.40/881.44 c 15 calls to solver: best=9515 lower=0 upper=9514 2184.44/2184.49 o 9512 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 75 2520.06/2520.00 c conflicts : 1297000 (515 /sec) 2520.06/2520.00 c decisions : 10612035 (4211 /sec) 2520.06/2520.00 c propagations : 729349365 (289422 /sec) 2520.06/2520.00 c root propagations : 103322 2520.06/2520.00 c filter calls : 448161215 (177840 /sec) 2520.06/2520.00 c useless filter calls : 362487223 (80 %) 2520.06/2520.00 c Memory used : 56.14 MB 2520.06/2520.00 c CPU time : 2520.02 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 16 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 9512 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='9512'> 2520.06/2520.00 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][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] 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][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] 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][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] 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][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] 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][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] 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][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] 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][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] 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][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] 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][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] 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][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] 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][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] 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][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] 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][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] 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][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] 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][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] 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][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] 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][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] 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][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] 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][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] 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][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] 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][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] 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][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] 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][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] 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][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] 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][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][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][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][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][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] 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][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] 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][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] 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][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] 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][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] 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][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] 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[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[4] x[5] x[6] x[7] x[8] x[9] </list> 2520.06/2520.00 v <values>* 3 10 4 0 0 2 2 2 0 0 0 5 5 5 3 0 4 0 2 2 0 2 0 5 1 10 4 1 0 2 2 0 0 0 2 5 1 2 2 5 0 * * 10 0 3 0 1 0 0 0 3 * 0 5 0 2 2 5 5 0 1 5 * 5 0 1 2 1 0 5 0 0 5 * 2 10 * * * * * * * * * 0 10 5 10 5 5 1 1 * 2 5 10 2 3 3 0 2 0 2 * 5 2 10 0 0 0 0 4 2 0 * 2 0 * * * * * * * * * * 5 5 0 0 1 0 0 * 0 0 2 5 5 0 5 5 1 1 * 2 4 5 2 0 0 10 2 10 5 * 2 0 * * * * * * * * * * * 5 2 0 1 1 3 * 10 2 0 4 2 2 10 5 1 5 * 1 0 5 6 2 0 5 5 2 5 * 2 5 * * * * * * * * * * * * 2 5 0 2 0 * 5 0 1 0 0 5 5 0 0 2 * 2 2 2 5 0 2 0 0 0 2 * 0 0 * * * * * * * * * * * * * 5 0 0 5 * 5 5 5 10 2 2 0 2 0 4 * 3 5 5 1 4 0 0 3 0 4 * 0 0 * * * * * * * * * * * * * * 10 0 0 * 0 5 10 5 1 0 1 5 2 2 * 0 5 0 5 1 3 10 5 2 1 * 2 5 * * * * * * * * * * * * * * * 10 5 * 2 0 1 0 0 1 1 1 1 0 * 1 1 0 0 5 2 5 5 4 5 * 0 0 * * * * * * * * * * * * * * * * 5 * 3 1 0 5 0 5 0 0 5 2 * 10 1 0 2 5 0 0 2 2 6 * 0 0 * * * * * * * * * * * * * * * * * * 2 1 0 1 4 2 10 2 0 5 * 0 0 4 4 3 2 2 1 10 0 * 2 1 * * * * * * * 2 5 0 0 4 5 10 2 0 2 * 2 0 1 5 2 0 0 5 2 0 2 2 2 2 2 0 0 2 0 1 1 5 0 2 2 0 0 0 0 6 * * * * * * * * * * * * * 1 1 5 2 1 10 4 0 4 * 0 2 10 0 2 0 5 0 0 2 * 2 5 * * * * * * * * * * * * * * * * * * * * 0 10 2 4 5 0 10 0 * 5 6 0 5 1 5 0 5 5 5 * 2 1 * * * * * * * * * * * * * * * * * * * * * 3 10 10 0 1 3 10 * 1 5 2 0 0 1 0 4 0 1 * 2 5 * * * * * * * * * * * * * * * * * * * * * * 5 5 5 2 10 10 * 2 1 0 2 1 0 0 0 0 2 * 1 2 * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 10 1 * 2 3 0 5 6 5 2 5 6 0 * 10 0 * * * * * * * * * * * * * * * * * * * * * * * * 2 0 10 5 * 0 5 0 1 2 1 3 10 10 2 * 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 * 0 1 2 1 1 1 6 6 0 3 * 10 4 * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 * 5 2 0 1 2 5 5 0 2 0 * 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * 4 5 4 10 1 0 10 1 0 0 * 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 5 1 4 0 1 1 0 * 10 0 * * * * * * * 5 1 2 0 0 2 5 1 3 0 * 10 1 10 0 2 5 0 10 10 5 * 1 0 1 5 0 0 2 0 2 2 1 0 1 0 2 2 1 2 5 * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 1 0 5 5 0 5 * 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 5 5 0 5 2 2 * 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 5 0 2 10 1 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 2 5 10 * 1 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 5 4 2 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 0 1 * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 2 * 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 * 6 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 * 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 * * * * * * * 2 5 10 0 5 5 10 5 1 5 * 1 5 1 0 5 0 0 1 2 3 * 0 1 1 1 2 2 1 1 10 1 * 6 0 1 10 0 1 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 2 5 2 2 5 3 2 * 0 2 2 5 5 10 5 1 0 3 * 1 0 0 0 0 0 4 10 1 1 * 0 5 * 4 1 5 2 0 * 2 1 5 0 5 0 0 0 2 1 * 2 10 0 0 0 4 5 4 2 0 * 10 6 6 5 1 6 2 1 0 5 * 3 2 * * 0 10 2 0 * 2 0 6 0 2 2 5 5 5 5 * 5 2 0 2 2 0 0 0 3 0 * 5 1 4 0 5 1 2 3 2 0 * 2 0 * * * 0 2 2 * 5 0 0 0 2 1 0 0 5 5 * 0 10 0 5 0 0 0 1 0 5 * 1 2 1 5 5 5 3 10 0 3 * 6 3 * * * * 6 5 * 5 2 2 5 0 0 0 1 5 10 * 5 0 0 5 0 1 10 2 5 10 * 0 2 0 2 0 5 0 5 5 1 * 1 0 * * * * * 5 * 2 10 10 0 1 1 0 5 5 5 * 0 3 5 2 0 0 2 5 5 10 * 0 6 5 0 0 0 10 1 10 0 * 0 1 * * * * * * 26 30 38 0 3 15 29 35 5 28 39 22 32 11 1 34 17 18 8 21 25 13 27 10 4 20 19 24 40 23 41 37 33 2 31 12 9 6 7 16 14 36 </values> 2520.06/2520.00 v </instantiation> 2520.06/2520.00
OK 9512
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 (11591 MiB free)
memory of node 1: 16384 MiB (15093 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298878-1532772026/watcher-4298878-1532772026 -o /tmp/evaluation-result-4298878-1532772026/solver-4298878-1532772026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532739149-2862 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298878-1532772026.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6511, runsolver pid=6508
[startup+0.100116 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27304396/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=48488 memory=24868 CPUtime=0.09 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 6420 0 0 0 9 0 0 0 20 0 1 0 94765781 49651712 6217 33554432000 4194304 6142532 140727145089712 140727145086344 5017767 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 12122 6217 803 476 0 5444 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48488 KiB
Current children cumulated memory: 24868 KiB
[startup+0.209863 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27301420/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=53112 memory=29620 CPUtime=0.21 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 7588 0 0 0 20 1 0 0 20 0 1 0 94765781 54386688 7405 33554432000 4194304 6142532 140727145089712 140727145086344 140714853157861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 13278 7405 850 476 0 6600 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53112 KiB
Current children cumulated memory: 29620 KiB
[startup+0.309803 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27297808/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=54828 memory=31204 CPUtime=0.31 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 8001 0 0 0 30 1 0 0 20 0 1 0 94765781 56143872 7801 33554432000 4194304 6142532 140727145089712 140727145086344 5018113 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 13707 7801 850 476 0 7029 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54828 KiB
Current children cumulated memory: 31204 KiB
[startup+0.70034 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27297808/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=54828 memory=31204 CPUtime=0.69 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 8008 0 0 0 68 1 0 0 20 0 1 0 94765781 56143872 7801 33554432000 4194304 6142532 140727145089712 140727145086344 5137884 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 13707 7801 850 476 0 7029 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54828 KiB
Current children cumulated memory: 31204 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27297452/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=55092 memory=31468 CPUtime=1.49 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 8076 0 0 0 148 1 0 0 20 0 1 0 94765781 56414208 7867 33554432000 4194304 6142532 140727145089712 140727145076984 5013907 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 13773 7867 850 476 0 7095 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55092 KiB
Current children cumulated memory: 31468 KiB
[startup+3.10967 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27297332/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=55620 memory=32204 CPUtime=3.09 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 14546 0 0 0 308 1 0 0 20 0 1 0 94765781 56954880 8051 33554432000 4194304 6142532 140727145089712 140727145087240 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 13905 8051 852 476 0 7227 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55620 KiB
Current children cumulated memory: 32204 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27296404/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=56016 memory=32660 CPUtime=6.29 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 21081 0 0 0 627 2 0 0 20 0 1 0 94765781 57360384 8165 33554432000 4194304 6142532 140727145089712 140727145076984 5017909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14004 8165 852 476 0 7326 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 56016 KiB
Current children cumulated memory: 32660 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27296420/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=56284 memory=32844 CPUtime=12.69 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 27662 0 0 0 1267 2 0 0 20 0 1 0 94765781 57634816 8211 33554432000 4194304 6142532 140727145089712 140727145087240 5017806 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14071 8211 852 476 0 7393 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 56284 KiB
Current children cumulated memory: 32844 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6512
/proc/meminfo: memFree=27296060/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=56680 memory=33264 CPUtime=25.49 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 40705 0 0 0 2547 2 0 0 20 0 1 0 94765781 58040320 8316 33554432000 4194304 6142532 140727145089712 140727145076984 5215639 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14170 8316 852 476 0 7492 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 56680 KiB
Current children cumulated memory: 33264 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6534
/proc/meminfo: memFree=27294868/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=56680 memory=33288 CPUtime=51.09 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 47169 0 0 0 5106 3 0 0 20 0 1 0 94765781 58040320 8322 33554432000 4194304 6142532 140727145089712 140727145086568 5017909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14170 8322 852 476 0 7492 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 56680 KiB
Current children cumulated memory: 33288 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6535
/proc/meminfo: memFree=27296048/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57080 memory=33552 CPUtime=102.28 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 48043 0 0 0 10225 3 0 0 20 0 1 0 94765781 58449920 8388 33554432000 4194304 6142532 140727145089712 140727145086536 5016570 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14270 8388 852 476 0 7592 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 57080 KiB
Current children cumulated memory: 33552 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6536
/proc/meminfo: memFree=27296396/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57080 memory=33712 CPUtime=162.28 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 48890 0 0 0 16225 3 0 0 20 0 1 0 94765781 58449920 8428 33554432000 4194304 6142532 140727145089712 140727145076984 5215647 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14270 8428 852 476 0 7592 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 57080 KiB
Current children cumulated memory: 33712 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 6537
/proc/meminfo: memFree=27295972/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57080 memory=33740 CPUtime=222.28 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 49544 0 0 0 22225 3 0 0 20 0 1 0 94765781 58449920 8435 33554432000 4194304 6142532 140727145089712 140727145076984 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14270 8435 852 476 0 7592 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 57080 KiB
Current children cumulated memory: 33740 KiB
[startup+282.3 s]
/proc/loadavg: 2.16 2.05 2.06 3/190 6538
/proc/meminfo: memFree=27295920/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57212 memory=33784 CPUtime=282.29 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 50414 0 0 0 28226 3 0 0 20 0 1 0 94765781 58585088 8446 33554432000 4194304 6142532 140727145089712 140727145087240 5017892 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14303 8446 852 476 0 7625 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 33784 KiB
[startup+342.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/190 6539
/proc/meminfo: memFree=27296016/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57344 memory=33864 CPUtime=342.29 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 51107 0 0 0 34226 3 0 0 20 0 1 0 94765781 58720256 8466 33554432000 4194304 6142532 140727145089712 140727145086536 5017759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14336 8466 852 476 0 7658 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 57344 KiB
Current children cumulated memory: 33864 KiB
[startup+402.3 s]
/proc/loadavg: 2.13 2.11 2.08 3/190 6540
/proc/meminfo: memFree=27295656/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57344 memory=33884 CPUtime=402.29 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 51793 0 0 0 40226 3 0 0 20 0 1 0 94765781 58720256 8471 33554432000 4194304 6142532 140727145089712 140727145086536 5139712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14336 8471 852 476 0 7658 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 57344 KiB
Current children cumulated memory: 33884 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.09 2.08 3/190 6541
/proc/meminfo: memFree=27295420/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57344 memory=33884 CPUtime=462.29 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 52480 0 0 0 46226 3 0 0 20 0 1 0 94765781 58720256 8471 33554432000 4194304 6142532 140727145089712 140727145086536 5017909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14336 8471 852 476 0 7658 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 57344 KiB
Current children cumulated memory: 33884 KiB
################
# More data... #
################
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+1782.3 s]
/proc/loadavg: 1.15 1.52 1.83 2/183 6638
/proc/meminfo: memFree=27300320/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=1782.33 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 66524 0 0 0 178229 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5017979 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+1842.3 s]
/proc/loadavg: 1.05 1.42 1.78 2/183 6639
/proc/meminfo: memFree=27301096/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=1842.33 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 67257 0 0 0 184229 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5215601 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+1902.3 s]
/proc/loadavg: 1.02 1.35 1.73 2/183 6640
/proc/meminfo: memFree=27301136/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=1902.33 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 67989 0 0 0 190229 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5137876 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+1962.3 s]
/proc/loadavg: 1.01 1.28 1.68 2/183 6641
/proc/meminfo: memFree=27300972/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=1962.33 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 68597 0 0 0 196229 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5215819 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.23 1.64 2/183 6642
/proc/meminfo: memFree=27301256/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=2022.34 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 69176 0 0 0 202230 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.19 1.60 2/183 6643
/proc/meminfo: memFree=27301132/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=2082.34 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 69736 0 0 0 208230 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.16 1.56 2/183 6644
/proc/meminfo: memFree=27301008/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34096 CPUtime=2142.34 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 70468 0 0 0 214230 4 0 0 20 0 1 0 94765781 58859520 8524 33554432000 4194304 6142532 140727145089712 140727145086568 5138259 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8524 852 476 0 7692 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34096 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.13 1.53 2/183 6645
/proc/meminfo: memFree=27301120/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34112 CPUtime=2202.34 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 71396 0 0 0 220230 4 0 0 20 0 1 0 94765781 58859520 8528 33554432000 4194304 6142532 140727145089712 140727145087240 5017816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8528 852 476 0 7692 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34112 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.10 1.50 2/184 6647
/proc/meminfo: memFree=27300856/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34132 CPUtime=2262.34 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 71864 0 0 0 226230 4 0 0 20 0 1 0 94765781 58859520 8533 33554432000 4194304 6142532 140727145089712 140727145087240 5017782 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8533 852 476 0 7692 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34132 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/184 6648
/proc/meminfo: memFree=27300832/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34132 CPUtime=2322.34 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 72332 0 0 0 232230 4 0 0 20 0 1 0 94765781 58859520 8533 33554432000 4194304 6142532 140727145089712 140727145087240 5017782 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8533 852 476 0 7692 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34132 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/184 6656
/proc/meminfo: memFree=27300444/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34132 CPUtime=2382.35 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 73073 0 0 0 238231 4 0 0 20 0 1 0 94765781 58859520 8533 33554432000 4194304 6142532 140727145089712 140727145087240 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8533 852 476 0 7692 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34132 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/184 6657
/proc/meminfo: memFree=27300668/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34132 CPUtime=2442.35 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 73674 0 0 0 244231 4 0 0 20 0 1 0 94765781 58859520 8533 33554432000 4194304 6142532 140727145089712 140727145087240 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8533 852 476 0 7692 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34132 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.05 1.38 2/184 6658
/proc/meminfo: memFree=27300504/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34132 CPUtime=2502.35 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 74266 0 0 0 250231 4 0 0 20 0 1 0 94765781 58859520 8533 33554432000 4194304 6142532 140727145089712 140727145087240 5013907 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8533 852 476 0 7692 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34132 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.04 1.38 2/184 6658
/proc/meminfo: memFree=27300380/32770624 swapFree=67108860/67108860
[pid=6511] ppid=6508 vsize=57480 memory=34132 CPUtime=2520.06 cores=1,3,5,7
/proc/6511/stat : 6511 (cosoco) R 6508 6511 2830 0 -1 4202496 74825 0 0 0 252002 4 0 0 20 0 1 0 94765781 58859520 8533 33554432000 4194304 6142532 140727145089712 140727145087240 5215647 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 37793792 140727145096326 140727145096456 140727145096456 140727145099214 0
/proc/6511/statm: 14370 8533 852 476 0 7692 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 57480 KiB
Current children cumulated memory: 34132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6511 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.02 s, system=0.044001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.02
CPU system time (s): 0.044001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 57480
Max. memory (cumulated for all children) (KiB): 34132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.044001
maximum resident set size= 34200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74893
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= 27
involuntary context switches= 677
# summary of solver processes directly reported to runsolver:
# pid: 6511
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.02
# total CPU system time (s): 0.044001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52027 second user time and 16.6132 second system time
The end
Begin job on node135 at 2018-07-28 12:00:26 IDJOB=4298878 IDBENCH=141246 IDSOLVER=2761 FILE ID=node135/4298878-1532772026 RUNJOBID= node135-1532739149-2862 PBS_JOBID= 21022438 Free space on /tmp= 48364 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko42_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298878-1532772026/watcher-4298878-1532772026 -o /tmp/evaluation-result-4298878-1532772026/solver-4298878-1532772026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532739149-2862 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298878-1532772026.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=597912927 node135.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.50 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.50 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.50 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.50 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: 27326824 kB MemAvailable: 31929536 kB Buffers: 191640 kB Cached: 4644104 kB SwapCached: 0 kB Active: 1644772 kB Inactive: 3247376 kB Active(anon): 7516 kB Inactive(anon): 76948 kB Active(file): 1637256 kB Inactive(file): 3170428 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 63736 kB Mapped: 44396 kB Shmem: 25248 kB Slab: 249628 kB SReclaimable: 221728 kB SUnreclaim: 27900 kB KernelStack: 3344 kB PageTables: 4728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 354092 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 48364 MiB End job on node135 at 2018-07-28 12:42:26