Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.01 | 2400.6 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml |
MD5SUM | 4e8baeb7bdba194b7c2724961347fdb9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 756 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2070 |
Number of constraints | 2024 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}] |
Minimum variable degree | 0 |
Maximum variable degree | 87 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 44 |
Distribution of constraint arities | [{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 44 |
Distribution of constraint types | [{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}] |
Optimization problem | YES |
Type of objective | min SUM |
0.19/0.23 c best=?? lower=0 upper=105766 1.59/1.62 c 1.59/1.62 c This is cosoco 1.0 -- 1.59/1.62 c 1.59/1.62 c enable optimization 1.59/1.62 c ========================================[ Problem Statistics ]=========================================== 1.59/1.62 c | 1.59/1.62 c | Parse time : 0.22 s 1.59/1.62 c | 1.59/1.62 c | Variables: 2070 1.59/1.62 c | Domain Sizes: 1..101 1.59/1.62 c | 1.59/1.62 c | Constraints: 2025 1.59/1.62 c | Arity: 1..1980 -- Unary: 44 -- Ternary: 1892 1.59/1.62 c | 1.59/1.62 c | Types: 1.59/1.62 c | Exactly K: 88 1.59/1.62 c | Intension: 44 1.59/1.62 c | Sum: 1893 1.59/1.62 c | 1.59/1.62 c ========================================================================================================= 1.59/1.62 o 2542 1.59/1.62 c 1 calls to solver: best=2542 lower=0 upper=2541 1.89/1.99 o 2444 2.48/2.54 o 2442 2.48/2.54 c 3 calls to solver: best=2442 lower=0 upper=2441 2.98/3.09 o 2432 2400.00/2400.60 2400.00/2400.60 c *** INTERRUPTED *** 2400.00/2400.60 s SATISFIABLE 2400.00/2400.60 c Best value found: 2432 2400.00/2400.60 2400.00/2400.60 2400.00/2400.60 v <instantiation type='solution' cost='2432'> 2400.00/2400.60 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] 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][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][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][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] 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][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][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][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] 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][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][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][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] 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][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][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][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] 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][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][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][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] 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][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][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][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] 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][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][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][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] 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][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][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][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] 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][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][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][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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][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][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][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] 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][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][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][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] 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][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][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][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] 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][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][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][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] 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][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][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][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] 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][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][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][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] 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][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][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][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] 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][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][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][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] 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][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][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][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] 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][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][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][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] 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][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][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][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] 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][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][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][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] 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][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][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][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] 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][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][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][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] 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][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][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][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] 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][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][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][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] 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][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][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][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] 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][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][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][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] 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][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][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][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] 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][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][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][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] 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][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][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][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] 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][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][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][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] 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][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][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][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] 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][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][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][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] 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][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][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][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] 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][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][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][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] 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][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][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][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] 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][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][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][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] 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][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][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][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] 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][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][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][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] 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][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][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][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list> 2400.00/2400.60 v <values>* 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0
ERROR: no instantiation found
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240913-1500640865/watcher-4240913-1500640865 -o /tmp/evaluation-result-4240913-1500640865/solver-4240913-1500640865 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500636062-7851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240913-1500640865.xml pid=8262 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 1.98 1/184 8265 /proc/meminfo: memFree=31205264/32770624 swapFree=6492/749436 [pid=8265] ppid=8262 vsize=27124 CPUtime=0 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 17524484 27774976 766 33554432000 4194304 5970956 140722912570512 140722912567160 140131747515365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 6781 766 684 434 0 145 0 [startup+0.100176 s] /proc/loadavg: 2.00 2.02 1.98 1/184 8265 /proc/meminfo: memFree=31205264/32770624 swapFree=6492/749436 [pid=8265] ppid=8262 vsize=38600 CPUtime=0.08 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 3876 0 0 0 8 0 0 0 20 0 1 0 17524484 39526400 3711 33554432000 4194304 5970956 140722912570512 140722912564888 140131747515365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 9650 3711 739 434 0 3014 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 38600 [startup+0.200407 s] /proc/loadavg: 2.00 2.02 1.98 1/184 8265 /proc/meminfo: memFree=31205264/32770624 swapFree=6492/749436 [pid=8265] ppid=8262 vsize=46732 CPUtime=0.19 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 5958 0 0 0 18 1 0 0 20 0 1 0 17524484 47853568 5795 33554432000 4194304 5970956 140722912570512 140722912564712 5633612 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 11683 5795 795 434 0 5047 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 46732 [startup+0.300361 s] /proc/loadavg: 2.00 2.02 1.98 1/184 8265 /proc/meminfo: memFree=31205264/32770624 swapFree=6492/749436 [pid=8265] ppid=8262 vsize=46996 CPUtime=0.29 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 6093 0 0 0 28 1 0 0 20 0 1 0 17524484 48123904 5927 33554432000 4194304 5970956 140722912570512 140722912567544 140131747515365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 11749 5927 837 434 0 5113 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46996 [startup+0.700279 s] /proc/loadavg: 2.00 2.02 1.98 1/184 8265 /proc/meminfo: memFree=31205264/32770624 swapFree=6492/749436 [pid=8265] ppid=8262 vsize=55660 CPUtime=0.69 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 8262 0 0 0 68 1 0 0 20 0 1 0 17524484 56995840 8039 33554432000 4194304 5970956 140722912570512 140722912567288 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 13915 8039 837 434 0 7279 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55660 [startup+1.50028 s] /proc/loadavg: 2.00 2.02 1.98 3/188 8298 /proc/meminfo: memFree=31103300/32770624 swapFree=6492/749452 [pid=8265] ppid=8262 vsize=60868 CPUtime=1.49 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 9563 0 0 0 148 1 0 0 20 0 1 0 17524484 62328832 9359 33554432000 4194304 5970956 140722912570512 140722912567288 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 15217 9359 837 434 0 8581 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60868 [startup+3.10028 s] /proc/loadavg: 2.00 2.02 1.98 3/188 8298 /proc/meminfo: memFree=31080856/32770624 swapFree=6492/749452 [pid=8265] ppid=8262 vsize=64920 CPUtime=3.08 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 16480 0 0 0 307 1 0 0 20 0 1 0 17524484 66478080 10399 33554432000 4194304 5970956 140722912570512 140722912568072 5045760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16230 10399 838 434 0 9594 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 64920 [startup+6.30028 s] /proc/loadavg: 2.00 2.02 1.98 3/188 8298 /proc/meminfo: memFree=31056936/32770624 swapFree=6492/749460 [pid=8265] ppid=8262 vsize=66820 CPUtime=6.29 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 23482 0 0 0 627 2 0 0 20 0 1 0 17524484 68423680 10864 33554432000 4194304 5970956 140722912570512 140722912567256 5047044 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16705 10864 838 434 0 10069 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66820 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 1.98 3/188 8298 /proc/meminfo: memFree=31047536/32770624 swapFree=6492/749468 [pid=8265] ppid=8262 vsize=67492 CPUtime=12.68 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 29895 0 0 0 1266 2 0 0 20 0 1 0 17524484 69111808 11018 33554432000 4194304 5970956 140722912570512 140722912567288 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16873 11018 838 434 0 10237 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67492 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 1.98 3/188 8298 /proc/meminfo: memFree=31043520/32770624 swapFree=6492/749472 [pid=8265] ppid=8262 vsize=67632 CPUtime=25.48 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 41265 0 0 0 2546 2 0 0 20 0 1 0 17524484 69255168 11087 33554432000 4194304 5970956 140722912570512 140722912567384 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16908 11087 838 434 0 10272 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67632 [startup+51.1003 s] /proc/loadavg: 2.06 2.03 1.98 3/188 8298 /proc/meminfo: memFree=31040576/32770624 swapFree=6492/749480 [pid=8265] ppid=8262 vsize=67772 CPUtime=51.07 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 46104 0 0 0 5104 3 0 0 20 0 1 0 17524484 69398528 11108 33554432000 4194304 5970956 140722912570512 140722912567256 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16943 11108 838 434 0 10307 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 67772 [startup+102.3 s] /proc/loadavg: 2.03 2.03 1.98 3/188 8299 /proc/meminfo: memFree=31039636/32770624 swapFree=6492/749512 [pid=8265] ppid=8262 vsize=67772 CPUtime=102.26 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 46512 0 0 0 10223 3 0 0 20 0 1 0 17524484 69398528 11118 33554432000 4194304 5970956 140722912570512 140722912567256 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16943 11118 838 434 0 10307 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 67772 [startup+162.3 s] /proc/loadavg: 2.01 2.02 1.98 3/188 8300 /proc/meminfo: memFree=31038444/32770624 swapFree=6492/749532 [pid=8265] ppid=8262 vsize=67904 CPUtime=162.24 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 46915 0 0 0 16221 3 0 0 20 0 1 0 17524484 69533696 11151 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11151 838 434 0 10340 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 67904 [startup+222.306 s] /proc/loadavg: 2.00 2.02 1.98 3/188 8301 /proc/meminfo: memFree=31038464/32770624 swapFree=6492/749552 [pid=8265] ppid=8262 vsize=67904 CPUtime=222.23 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 47268 0 0 0 22220 3 0 0 20 0 1 0 17524484 69533696 11154 33554432000 4194304 5970956 140722912570512 140722912567384 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11154 838 434 0 10340 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67904 [startup+282.3 s] /proc/loadavg: 2.08 2.03 1.99 3/187 8302 /proc/meminfo: memFree=31038984/32770624 swapFree=6492/749576 [pid=8265] ppid=8262 vsize=67904 CPUtime=282.21 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 47605 0 0 0 28218 3 0 0 20 0 1 0 17524484 69533696 11159 33554432000 4194304 5970956 140722912570512 140722912567384 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11159 838 434 0 10340 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 67904 [startup+342.3 s] /proc/loadavg: 2.08 2.04 1.99 3/187 8303 /proc/meminfo: memFree=31039108/32770624 swapFree=6492/749604 [pid=8265] ppid=8262 vsize=67904 CPUtime=342.2 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 47940 0 0 0 34217 3 0 0 20 0 1 0 17524484 69533696 11159 33554432000 4194304 5970956 140722912570512 140722912567384 5136615 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11159 838 434 0 10340 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 67904 [startup+402.3 s] /proc/loadavg: 2.03 2.04 1.99 3/187 8304 /proc/meminfo: memFree=31038760/32770624 swapFree=6492/749624 [pid=8265] ppid=8262 vsize=67904 CPUtime=402.18 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 48264 0 0 0 40215 3 0 0 20 0 1 0 17524484 69533696 11159 33554432000 4194304 5970956 140722912570512 140722912567384 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11159 838 434 0 10340 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 67904 [startup+462.3 s] /proc/loadavg: 2.01 2.03 1.99 3/187 8305 /proc/meminfo: memFree=31038752/32770624 swapFree=6492/749648 [pid=8265] ppid=8262 vsize=67904 CPUtime=462.17 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 48598 0 0 0 46214 3 0 0 20 0 1 0 17524484 69533696 11161 33554432000 4194304 5970956 140722912570512 140722912567384 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11161 838 434 0 10340 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 67904 [startup+522.3 s] /proc/loadavg: 2.08 2.04 2.00 3/187 8306 /proc/meminfo: memFree=31038760/32770624 swapFree=6492/749668 [pid=8265] ppid=8262 vsize=67904 CPUtime=522.15 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 48909 0 0 0 52212 3 0 0 20 0 1 0 17524484 69533696 11164 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11164 838 434 0 10340 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 67904 [startup+582.3 s] /proc/loadavg: 2.03 2.03 2.00 3/188 8315 /proc/meminfo: memFree=31038072/32770624 swapFree=6492/749692 [pid=8265] ppid=8262 vsize=67904 CPUtime=582.14 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 49012 0 0 0 58211 3 0 0 20 0 1 0 17524484 69533696 11164 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11164 838 434 0 10340 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 67904 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.02 3/188 8363 /proc/meminfo: memFree=31037460/32770624 swapFree=6492/750080 [pid=8265] ppid=8262 vsize=67904 CPUtime=1481.92 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 52436 0 0 0 148189 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 67904 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.02 3/187 8364 /proc/meminfo: memFree=31037588/32770624 swapFree=6492/750108 [pid=8265] ppid=8262 vsize=67904 CPUtime=1541.92 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 52509 0 0 0 154189 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 67904 [startup+1602.3 s] /proc/loadavg: 2.03 2.03 2.03 3/187 8365 /proc/meminfo: memFree=31036904/32770624 swapFree=6492/750132 [pid=8265] ppid=8262 vsize=67904 CPUtime=1601.9 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 52588 0 0 0 160187 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136620 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 67904 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.03 3/187 8366 /proc/meminfo: memFree=31037044/32770624 swapFree=6492/750152 [pid=8265] ppid=8262 vsize=67904 CPUtime=1661.88 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 52663 0 0 0 166185 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 67904 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.03 3/187 8367 /proc/meminfo: memFree=31037168/32770624 swapFree=6492/750172 [pid=8265] ppid=8262 vsize=67904 CPUtime=1721.87 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 52999 0 0 0 172184 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 67904 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8376 /proc/meminfo: memFree=31036744/32770624 swapFree=6492/750204 [pid=8265] ppid=8262 vsize=67904 CPUtime=1781.85 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 53096 0 0 0 178182 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 67904 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8377 /proc/meminfo: memFree=31036844/32770624 swapFree=6492/750236 [pid=8265] ppid=8262 vsize=67904 CPUtime=1841.84 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 53370 0 0 0 184181 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1841.84 Current children cumulated vsize (KiB) 67904 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8378 /proc/meminfo: memFree=31037000/32770624 swapFree=6492/750260 [pid=8265] ppid=8262 vsize=67904 CPUtime=1901.82 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 53455 0 0 0 190179 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136577 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1901.82 Current children cumulated vsize (KiB) 67904 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8379 /proc/meminfo: memFree=31036876/32770624 swapFree=6492/750276 [pid=8265] ppid=8262 vsize=67904 CPUtime=1961.81 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 53740 0 0 0 196178 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 1961.81 Current children cumulated vsize (KiB) 67904 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8380 /proc/meminfo: memFree=31036752/32770624 swapFree=6492/750304 [pid=8265] ppid=8262 vsize=67904 CPUtime=2021.79 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 53828 0 0 0 202176 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2021.79 Current children cumulated vsize (KiB) 67904 [startup+2082.3 s] /proc/loadavg: 2.04 2.03 2.03 3/187 8381 /proc/meminfo: memFree=31036892/32770624 swapFree=6492/750320 [pid=8265] ppid=8262 vsize=67904 CPUtime=2081.78 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 53914 0 0 0 208175 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2081.78 Current children cumulated vsize (KiB) 67904 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.03 3/187 8382 /proc/meminfo: memFree=31036752/32770624 swapFree=6492/750348 [pid=8265] ppid=8262 vsize=67904 CPUtime=2141.76 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 54206 0 0 0 214173 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2141.76 Current children cumulated vsize (KiB) 67904 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.03 3/187 8383 /proc/meminfo: memFree=31037024/32770624 swapFree=6492/750372 [pid=8265] ppid=8262 vsize=67904 CPUtime=2201.76 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 54271 0 0 0 220173 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2201.76 Current children cumulated vsize (KiB) 67904 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.03 3/187 8384 /proc/meminfo: memFree=31037148/32770624 swapFree=6492/750392 [pid=8265] ppid=8262 vsize=67904 CPUtime=2261.74 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 54336 0 0 0 226171 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2261.74 Current children cumulated vsize (KiB) 67904 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.03 3/187 8385 /proc/meminfo: memFree=31036908/32770624 swapFree=6492/750412 [pid=8265] ppid=8262 vsize=67904 CPUtime=2321.72 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 54401 0 0 0 232169 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2321.72 Current children cumulated vsize (KiB) 67904 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8394 /proc/meminfo: memFree=31036348/32770624 swapFree=6492/750436 [pid=8265] ppid=8262 vsize=67904 CPUtime=2381.71 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 54467 0 0 0 238168 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045464 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2381.71 Current children cumulated vsize (KiB) 67904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 2.03 3/188 8394 /proc/meminfo: memFree=31036348/32770624 swapFree=6492/750444 [pid=8265] ppid=8262 vsize=67904 CPUtime=2400 cores=0,2,4,6 /proc/8265/stat : 8265 (cosoco) R 8262 8265 3966 0 -1 4202496 54521 0 0 0 239997 3 0 0 20 0 1 0 17524484 69533696 11170 33554432000 4194304 5970956 140722912570512 140722912567384 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 24670208 140722912572609 140722912572739 140722912572739 140722912575438 0 /proc/8265/statm: 16976 11170 838 434 0 10340 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 67904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8265 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.01 CPU user time (s): 2399.98 CPU system time (s): 0.034991 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 67904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.98 system time used= 0.034991 maximum resident set size= 44724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54555 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= 28 involuntary context switches= 123035 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.07391 second user time and 8.19854 second system time The end
Begin job on node136 at 2017-07-21 14:41:05 IDJOB=4240913 IDBENCH=124419 IDSOLVER=2620 FILE ID=node136/4240913-1500640865 RUNJOBID= node136-1500636062-7851 PBS_JOBID= 20622997 Free space on /tmp= 62000 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k5.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240913-1500640865/watcher-4240913-1500640865 -o /tmp/evaluation-result-4240913-1500640865/solver-4240913-1500640865 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500636062-7851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240913-1500640865.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9 RANDOM SEED=1825607012 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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 : 5334.10 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 : 1600.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 : 2533.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 : 5334.10 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 : 1733.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 : 1600.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 : 5334.10 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 : 1600.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 : 5334.10 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 : 1600.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: 31205664 kB MemAvailable: 32004824 kB Buffers: 160676 kB Cached: 925692 kB SwapCached: 0 kB Active: 374948 kB Inactive: 766428 kB Active(anon): 57644 kB Inactive(anon): 16992 kB Active(file): 317304 kB Inactive(file): 749436 kB Unevictable: 6492 kB Mlocked: 6500 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2480 kB Writeback: 0 kB AnonPages: 66896 kB Mapped: 32552 kB Shmem: 17044 kB Slab: 122240 kB SReclaimable: 96508 kB SUnreclaim: 25732 kB KernelStack: 3552 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61996 MiB End job on node136 at 2017-07-21 15:21:06