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) | 1209 | 2520.01 | 2520.01 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml |
| MD5SUM | aadfd6ed706e08b9468e37c047f4c189 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 508 |
| Best CPU time to get the best result obtained on this benchmark | 19845.3 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1640 |
| Number of constraints | 1599 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 141 |
| Distribution of domain sizes | [{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 77 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 39 |
| Distribution of constraint arities | [{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 39 |
| Distribution of constraint types | [{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.30/1.07 c 0.30/1.07 c This is cosoco 2.00 -- 0.30/1.07 c 0.30/1.07 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408463-1569794610.xml 0.30/1.07 c enable optimization 0.30/1.07 c ========================================[ Problem Statistics ]=========================================== 0.30/1.07 c | 0.30/1.07 c | Parse time : 0.17 s 0.30/1.07 c | 0.30/1.07 c | Variables: 1640 0.30/1.07 c | Domain Sizes: 1..141 0.30/1.07 c | 0.30/1.07 c | Constraints: 1600 0.30/1.07 c | Arity: 1..1560 -- Unary: 39 -- Ternary: 1482 0.30/1.07 c | 0.30/1.07 c | Types: 0.30/1.07 c | Exactly K: 78 0.30/1.07 c | Sum: 1483 0.30/1.07 c | Unary: 39 0.30/1.07 c | 0.30/1.07 c | Objective: Minimize Sum 0.30/1.07 0.30/1.07 c ========================================================================================================= 0.30/1.07 o 1342 0.30/3.37 c 1 calls to solver(id=0): best=1342 lower=0 upper=1341 0.30/3.37 o 1322 0.30/3.37 o 1312 0.30/3.37 c 3 calls to solver(id=0): best=1312 lower=0 upper=1311 0.30/3.37 o 1311 4.00/4.01 o 1285 4.00/4.01 c 5 calls to solver(id=0): best=1285 lower=0 upper=1284 4.69/4.76 o 1278 5.49/5.52 o 1276 5.49/5.52 c 7 calls to solver(id=0): best=1276 lower=0 upper=1275 6.19/6.28 o 1266 7.00/7.05 o 1265 7.00/7.05 c 9 calls to solver(id=0): best=1265 lower=0 upper=1264 7.79/7.82 o 1258 8.59/8.60 o 1242 8.59/8.60 c 11 calls to solver(id=0): best=1242 lower=0 upper=1241 9.29/9.37 o 1225 10.19/10.20 o 1224 10.19/10.20 c 13 calls to solver(id=0): best=1224 lower=0 upper=1223 10.89/10.98 o 1216 11.69/11.75 o 1214 11.69/11.75 c 15 calls to solver(id=0): best=1214 lower=0 upper=1213 12.49/12.52 o 1209 2520.00/2520.00 2520.00/2520.00 c *** INTERRUPTED *** 2520.00/2520.00 c call to solver : 16 2520.00/2520.00 c 2520.00/2520.00 c restarts : 95 2520.00/2520.00 c conflicts : 406330 (161 /sec) 2520.00/2520.00 c decisions : 14985353 (5947 /sec) 2520.00/2520.00 c propagations : 343131228 (136164 /sec) 2520.00/2520.00 c root propagations : 618 2520.00/2520.00 c filter calls : 198250416 (78671 /sec) 2520.00/2520.00 c useless filter calls : 160019252 (80 %) 2520.00/2520.00 c Memory used : 52.17 MB 2520.00/2520.00 c Best bound time (wc) : 12.5221 s 2520.00/2520.00 c CPU time : 2519.98 s 2520.00/2520.00 c real time : 2520 s 2520.00/2520.00 2520.00/2520.00 c nb Solutions = 16 2520.00/2520.00 s SATISFIABLE 2520.00/2520.00 c Best value found: 1209 2520.00/2520.00 2520.00/2520.00 2520.00/2520.00 v <instantiation type='solution' cost='1209'> 2520.00/2520.00 v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[3] u[4] u[5] u[6] u[7] u[8] u[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2520.00/2520.01 v <values>* 139 38 89 42 110 10 61 107 83 19 18 66 104 25 96 19 124 96 34 80 89 126 37 11 46 60 96 17 90 9 134 104 70 119 21 139 19 84 11 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * </values> 2520.00/2520.01 v </instantiation> 2520.00/2520.01
OK 1209
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 (15172 MiB free)
memory of node 1: 16384 MiB (14810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408463-1569794610/watcher-4408463-1569794610 -o /tmp/evaluation-result-4408463-1569794610/solver-4408463-1569794610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17998 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408463-1569794610.xml
running on 4 cores: 0,2,4,6
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
solver pid=19680, runsolver pid=19677
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 2.08 2.07 2.06 3/202 19681
/proc/meminfo: memFree=30694644/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=36380 memory=12808 CPUtime=0.1 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 3378 0 0 0 10 0 0 0 20 0 1 0 555727777 37253120 3202 33554432000 4194304 6211132 140729530399216 140729530395752 5812636 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 9095 3202 841 493 0 2400 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36380 KiB
Current children cumulated memory: 12808 KiB
[startup+0.210378 s]*
/proc/loadavg: 2.08 2.07 2.06 3/202 19681
/proc/meminfo: memFree=30690180/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=40108 memory=16532 CPUtime=0.21 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 4360 0 0 0 21 0 0 0 20 0 1 0 555727777 41070592 4133 33554432000 4194304 6211132 140729530399216 140729530395752 140425925225445 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 10027 4133 853 493 0 3332 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40108 KiB
Current children cumulated memory: 16532 KiB
[startup+0.309927 s]*
/proc/loadavg: 2.08 2.07 2.06 3/202 19681
/proc/meminfo: memFree=30687204/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=43548 memory=19964 CPUtime=0.3 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 5215 0 0 0 30 0 0 0 20 0 1 0 555727777 44593152 4991 33554432000 4194304 6211132 140729530399216 140729530395752 5185175 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 10887 4991 894 493 0 4192 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43548 KiB
Current children cumulated memory: 19964 KiB
[startup+3.46755 s]*
/proc/loadavg: 2.08 2.07 2.06 4/202 19683
/proc/meminfo: memFree=30674480/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=50876 memory=27572 CPUtime=3.47 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 11157 0 0 0 346 1 0 0 20 0 1 0 555727777 52097024 6893 33554432000 4194304 6211132 140729530399216 140729530387096 5155849 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 12719 6893 895 493 0 6024 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 50876 KiB
Current children cumulated memory: 27572 KiB
[startup+3.5101 s]*
/proc/loadavg: 2.16 2.08 2.07 3/202 19683
/proc/meminfo: memFree=30666540/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=50876 memory=27572 CPUtime=3.51 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 11162 0 0 0 350 1 0 0 20 0 1 0 555727777 52097024 6893 33554432000 4194304 6211132 140729530399216 140729530387096 5380336 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 12719 6893 895 493 0 6024 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 50876 KiB
Current children cumulated memory: 27572 KiB
[startup+3.60954 s]
/proc/loadavg: 2.16 2.08 2.07 3/202 19683
/proc/meminfo: memFree=30666540/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=50876 memory=27572 CPUtime=3.6 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 11173 0 0 0 359 1 0 0 20 0 1 0 555727777 52097024 6893 33554432000 4194304 6211132 140729530399216 140729530387096 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 12719 6893 895 493 0 6024 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 50876 KiB
Current children cumulated memory: 27572 KiB
[startup+6.30037 s]
/proc/loadavg: 2.16 2.08 2.07 3/202 19683
/proc/meminfo: memFree=30999280/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=51012 memory=27668 CPUtime=6.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 15368 0 0 0 628 1 0 0 20 0 1 0 555727777 52236288 6917 33554432000 4194304 6211132 140729530399216 140729530387096 5250330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 12753 6917 895 493 0 6058 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 51012 KiB
Current children cumulated memory: 27668 KiB
[startup+12.7003 s]
/proc/loadavg: 2.22 2.10 2.07 3/201 19686
/proc/meminfo: memFree=31410316/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=51412 memory=28128 CPUtime=12.69 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 19768 0 0 0 1268 1 0 0 20 0 1 0 555727777 52645888 7032 33554432000 4194304 6211132 140729530399216 140729530387096 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 12853 7032 895 493 0 6158 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 51412 KiB
Current children cumulated memory: 28128 KiB
[startup+25.5003 s]
/proc/loadavg: 2.17 2.09 2.07 3/201 19686
/proc/meminfo: memFree=31409344/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53152 memory=29808 CPUtime=25.49 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 28960 0 0 0 2547 2 0 0 20 0 1 0 555727777 54427648 7452 33554432000 4194304 6211132 140729530399216 140729530396488 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13288 7452 895 493 0 6593 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 53152 KiB
Current children cumulated memory: 29808 KiB
[startup+51.1093 s]
/proc/loadavg: 2.11 2.09 2.07 3/202 19689
/proc/meminfo: memFree=31409352/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53288 memory=30012 CPUtime=51.09 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 30660 0 0 0 5107 2 0 0 20 0 1 0 555727777 54566912 7503 33554432000 4194304 6211132 140729530399216 140729530396456 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13322 7503 895 493 0 6627 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 53288 KiB
Current children cumulated memory: 30012 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.07 2.07 3/202 19694
/proc/meminfo: memFree=31409192/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30092 CPUtime=102.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 31028 0 0 0 10226 2 0 0 20 0 1 0 555727777 54702080 7523 33554432000 4194304 6211132 140729530399216 140729530396616 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7523 895 493 0 6660 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30092 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/202 19698
/proc/meminfo: memFree=31409912/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30108 CPUtime=162.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 31355 0 0 0 16226 2 0 0 20 0 1 0 555727777 54702080 7527 33554432000 4194304 6211132 140729530399216 140729530396616 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7527 895 493 0 6660 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30108 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/200 19702
/proc/meminfo: memFree=31409272/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30132 CPUtime=222.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 31684 0 0 0 22226 2 0 0 20 0 1 0 555727777 54702080 7533 33554432000 4194304 6211132 140729530399216 140729530396616 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7533 895 493 0 6660 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30132 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 19708
/proc/meminfo: memFree=31409484/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30140 CPUtime=282.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 32019 0 0 0 28226 2 0 0 20 0 1 0 555727777 54702080 7535 33554432000 4194304 6211132 140729530399216 140729530396616 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7535 895 493 0 6660 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30140 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 19713
/proc/meminfo: memFree=31410176/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30148 CPUtime=342.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 32328 0 0 0 34226 2 0 0 20 0 1 0 555727777 54702080 7537 33554432000 4194304 6211132 140729530399216 140729530396616 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7537 895 493 0 6660 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30148 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 19717
/proc/meminfo: memFree=31409980/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30148 CPUtime=402.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 32412 0 0 0 40226 2 0 0 20 0 1 0 555727777 54702080 7537 33554432000 4194304 6211132 140729530399216 140729530396616 5155836 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7537 895 493 0 6660 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30148 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 19732
/proc/meminfo: memFree=31409336/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30148 CPUtime=462.28 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 32938 0 0 0 46226 2 0 0 20 0 1 0 555727777 54702080 7537 33554432000 4194304 6211132 140729530399216 140729530396616 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7537 895 493 0 6660 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30148 KiB
################
# More data... #
################
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+1782.3 s]
/proc/loadavg: 2.29 2.09 2.07 3/200 19978
/proc/meminfo: memFree=31413576/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=1782.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 36963 0 0 0 178226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5155836 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+1842.3 s]
/proc/loadavg: 2.44 2.19 2.10 3/200 19982
/proc/meminfo: memFree=31413384/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=1842.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37038 0 0 0 184226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+1902.3 s]
/proc/loadavg: 2.16 2.16 2.10 3/200 19988
/proc/meminfo: memFree=31413140/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=1902.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37116 0 0 0 190226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.13 2.09 3/199 19992
/proc/meminfo: memFree=31413116/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=1962.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37382 0 0 0 196226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/199 19996
/proc/meminfo: memFree=31413656/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2022.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37439 0 0 0 202226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/199 20002
/proc/meminfo: memFree=31414164/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2082.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37498 0 0 0 208226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 20006
/proc/meminfo: memFree=31414244/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2142.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37776 0 0 0 214226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5155836 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 20010
/proc/meminfo: memFree=31413244/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2202.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37847 0 0 0 220226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5156264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 20023
/proc/meminfo: memFree=31413572/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2262.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37923 0 0 0 226226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5158138 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 20027
/proc/meminfo: memFree=31413964/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2322.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 37999 0 0 0 232226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5157576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/199 20031
/proc/meminfo: memFree=31414260/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2382.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 38279 0 0 0 238226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 20037
/proc/meminfo: memFree=31413972/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2442.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 38357 0 0 0 244226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 20040
/proc/meminfo: memFree=31413984/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2502.29 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 38434 0 0 0 250226 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5158127 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 20041
/proc/meminfo: memFree=31413960/32770624 swapFree=66975648/67108860
[pid=19680] ppid=19677 vsize=53420 memory=30156 CPUtime=2520 cores=0,2,4,6
/proc/19680/stat : 19680 (cosoco) R 19677 19680 17967 0 -1 4202496 38511 0 0 0 251997 3 0 0 20 0 1 0 555727777 54702080 7539 33554432000 4194304 6211132 140729530399216 140729530396616 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 10051584 140729530401803 140729530401905 140729530401905 140729530404814 0
/proc/19680/statm: 13355 7539 895 493 0 6660 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 53420 KiB
Current children cumulated memory: 30156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 19680 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.98 s, system=0.032 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.01
CPU user time (s): 2519.98
CPU system time (s): 0.032
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 53420
Max. memory (cumulated for all children) (KiB): 30156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.032
maximum resident set size= 30220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38567
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= 26
involuntary context switches= 3153
# summary of solver processes directly reported to runsolver:
# pid: 19680
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.98
# total CPU system time (s): 0.032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98807 second user time and 16.8628 second system time
The end
Begin job on node125 at 2019-09-30 00:02:47 IDJOB=4408463 IDBENCH=124389 IDSOLVER=2874 FILE ID=node125/4408463-1569794610 RUNJOBID= node125-1569787350-17998 PBS_JOBID= 21705828 Free space on /tmp= 61672 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408463-1569794610/watcher-4408463-1569794610 -o /tmp/evaluation-result-4408463-1569794610/solver-4408463-1569794610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17998 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408463-1569794610.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189 RANDOM SEED=236993948 node125.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.29 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.29 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.29 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.29 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: 30702892 kB MemAvailable: 31779324 kB Buffers: 192996 kB Cached: 1218008 kB SwapCached: 29880 kB Active: 451736 kB Inactive: 1057908 kB Active(anon): 81540 kB Inactive(anon): 97860 kB Active(file): 370196 kB Inactive(file): 960048 kB Unevictable: 107476 kB Mlocked: 107476 kB SwapTotal: 67108860 kB SwapFree: 66975648 kB Dirty: 522312 kB Writeback: 80512 kB AnonPages: 178040 kB Mapped: 29480 kB Shmem: 72028 kB Slab: 153176 kB SReclaimable: 124044 kB SUnreclaim: 29132 kB KernelStack: 3536 kB PageTables: 5772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 633568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2019-09-30 00:44:47