Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.05 | 2400.6 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml |
MD5SUM | ccd62f28d001d5578c14e849049b60f5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 715 |
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.18/0.23 c best=?? lower=0 upper=70344 1.49/1.57 c 1.49/1.57 c This is cosoco 1.0 -- 1.49/1.57 c 1.49/1.57 c enable optimization 1.49/1.57 c ========================================[ Problem Statistics ]=========================================== 1.49/1.57 c | 1.49/1.57 c | Parse time : 0.22 s 1.49/1.57 c | 1.49/1.57 c | Variables: 2070 1.49/1.57 c | Domain Sizes: 1..101 1.49/1.57 c | 1.49/1.57 c | Constraints: 2025 1.49/1.57 c | Arity: 1..1974 -- Unary: 44 -- Ternary: 1892 1.49/1.57 c | 1.49/1.57 c | Types: 1.49/1.57 c | Exactly K: 88 1.49/1.57 c | Intension: 44 1.49/1.57 c | Sum: 1893 1.49/1.57 c | 1.49/1.57 c ========================================================================================================= 1.49/1.57 o 1808 1.49/1.57 c 1 calls to solver: best=1808 lower=0 upper=1807 1.89/1.99 o 1780 2.39/2.46 o 1775 2.39/2.46 c 3 calls to solver: best=1775 lower=0 upper=1774 2400.04/2400.60 2400.04/2400.60 c *** INTERRUPTED *** 2400.04/2400.60 s SATISFIABLE 2400.04/2400.60 c Best value found: 1775 2400.04/2400.60 2400.04/2400.60 2400.04/2400.60 v <instantiation type='solution' cost='1775'> 2400.04/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.04/2400.60 v <values>* 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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
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-4240892-1500640730/watcher-4240892-1500640730 -o /tmp/evaluation-result-4240892-1500640730/solver-4240892-1500640730 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500635921-7557 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240892-1500640730.xml pid=8183 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 1.99 3/186 8186 /proc/meminfo: memFree=29696960/32770624 swapFree=6172/1919216 [pid=8186] ppid=8183 vsize=27124 CPUtime=0 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 979 0 0 0 0 0 0 0 20 0 1 0 17505461 27774976 766 33554432000 4194304 5970956 140731949172112 140731949168712 140414336482277 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 6781 766 683 434 0 145 0 [startup+0.100165 s] /proc/loadavg: 2.03 2.03 1.99 3/186 8186 /proc/meminfo: memFree=29696960/32770624 swapFree=6172/1919216 [pid=8186] ppid=8183 vsize=38988 CPUtime=0.09 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 3968 0 0 0 9 0 0 0 20 0 1 0 17505461 39923712 3775 33554432000 4194304 5970956 140731949172112 140731949167512 5348015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 9747 3775 739 434 0 3111 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38988 [startup+0.200394 s] /proc/loadavg: 2.03 2.03 1.99 3/186 8186 /proc/meminfo: memFree=29696960/32770624 swapFree=6172/1919216 [pid=8186] ppid=8183 vsize=46732 CPUtime=0.18 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 5958 0 0 0 18 0 0 0 20 0 1 0 17505461 47853568 5785 33554432000 4194304 5970956 140731949172112 140731949165544 5472368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 11683 5785 795 434 0 5047 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 46732 [startup+0.300302 s] /proc/loadavg: 2.03 2.03 1.99 3/186 8186 /proc/meminfo: memFree=29696960/32770624 swapFree=6172/1919216 [pid=8186] ppid=8183 vsize=46996 CPUtime=0.28 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 6095 0 0 0 28 0 0 0 20 0 1 0 17505461 48123904 5917 33554432000 4194304 5970956 140731949172112 140731949159432 140414336482277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 11749 5917 837 434 0 5113 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 46996 [startup+0.70022 s] /proc/loadavg: 2.03 2.03 1.99 3/186 8186 /proc/meminfo: memFree=29696960/32770624 swapFree=6172/1919216 [pid=8186] ppid=8183 vsize=55648 CPUtime=0.69 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 8262 0 0 0 68 1 0 0 20 0 1 0 17505461 56983552 8095 33554432000 4194304 5970956 140731949172112 140731949168888 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 13912 8095 837 434 0 7276 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55648 [startup+1.50022 s] /proc/loadavg: 2.03 2.03 1.99 3/187 8187 /proc/meminfo: memFree=29660508/32770624 swapFree=6172/1919228 [pid=8186] ppid=8183 vsize=61388 CPUtime=1.49 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 9676 0 0 0 148 1 0 0 20 0 1 0 17505461 62861312 9481 33554432000 4194304 5970956 140731949172112 140731949168856 5045736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 15347 9481 837 434 0 8711 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61388 [startup+3.10022 s] /proc/loadavg: 2.03 2.03 1.99 3/187 8187 /proc/meminfo: memFree=29657532/32770624 swapFree=6172/1919228 [pid=8186] ppid=8183 vsize=65036 CPUtime=3.08 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 16543 0 0 0 307 1 0 0 20 0 1 0 17505461 66596864 10431 33554432000 4194304 5970956 140731949172112 140731949168984 5047599 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16259 10431 838 434 0 9623 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 65036 [startup+6.30022 s] /proc/loadavg: 2.03 2.02 1.99 3/187 8187 /proc/meminfo: memFree=29654524/32770624 swapFree=6172/1919236 [pid=8186] ppid=8183 vsize=66644 CPUtime=6.29 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 23228 0 0 0 627 2 0 0 20 0 1 0 17505461 68243456 10791 33554432000 4194304 5970956 140731949172112 140731949168888 5337505 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16661 10791 838 434 0 10025 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66644 [startup+12.7002 s] /proc/loadavg: 2.03 2.02 1.99 3/187 8187 /proc/meminfo: memFree=29653036/32770624 swapFree=6172/1919244 [pid=8186] ppid=8183 vsize=67464 CPUtime=12.68 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 29744 0 0 0 1266 2 0 0 20 0 1 0 17505461 69083136 11029 33554432000 4194304 5970956 140731949172112 140731949168888 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16866 11029 838 434 0 10230 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67464 [startup+25.5003 s] /proc/loadavg: 2.02 2.02 1.99 3/187 8187 /proc/meminfo: memFree=29652664/32770624 swapFree=6172/1919260 [pid=8186] ppid=8183 vsize=67736 CPUtime=25.48 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 38475 0 0 0 2545 3 0 0 20 0 1 0 17505461 69361664 11098 33554432000 4194304 5970956 140731949172112 140731949168984 5136560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11098 838 434 0 10298 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67736 [startup+51.1003 s] /proc/loadavg: 2.01 2.02 1.99 3/187 8187 /proc/meminfo: memFree=29651520/32770624 swapFree=6172/1919284 [pid=8186] ppid=8183 vsize=67736 CPUtime=51.08 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 46605 0 0 0 5105 3 0 0 20 0 1 0 17505461 69361664 11113 33554432000 4194304 5970956 140731949172112 140731949168984 5136560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11113 838 434 0 10298 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67736 [startup+102.3 s] /proc/loadavg: 2.01 2.02 1.99 3/188 8196 /proc/meminfo: memFree=29650368/32770624 swapFree=6172/1919332 [pid=8186] ppid=8183 vsize=67736 CPUtime=102.27 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 52646 0 0 0 10224 3 0 0 20 0 1 0 17505461 69361664 11113 33554432000 4194304 5970956 140731949172112 140731949168984 5136560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11113 838 434 0 10298 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 67736 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.99 3/188 8197 /proc/meminfo: memFree=29648784/32770624 swapFree=6172/1919360 [pid=8186] ppid=8183 vsize=67736 CPUtime=162.24 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 58271 0 0 0 16221 3 0 0 20 0 1 0 17505461 69361664 11123 33554432000 4194304 5970956 140731949172112 140731949168984 5136560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11123 838 434 0 10298 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 67736 [startup+222.306 s] /proc/loadavg: 2.00 2.01 1.99 3/188 8198 /proc/meminfo: memFree=29650072/32770624 swapFree=6172/1919412 [pid=8186] ppid=8183 vsize=67736 CPUtime=222.23 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 58671 0 0 0 22220 3 0 0 20 0 1 0 17505461 69361664 11123 33554432000 4194304 5970956 140731949172112 140731949168984 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11123 838 434 0 10298 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67736 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.99 3/188 8199 /proc/meminfo: memFree=29650720/32770624 swapFree=6172/1919436 [pid=8186] ppid=8183 vsize=67736 CPUtime=282.21 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 59062 0 0 0 28218 3 0 0 20 0 1 0 17505461 69361664 11123 33554432000 4194304 5970956 140731949172112 140731949168984 5047044 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11123 838 434 0 10298 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 67736 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.99 3/188 8200 /proc/meminfo: memFree=29650472/32770624 swapFree=6172/1919464 [pid=8186] ppid=8183 vsize=67736 CPUtime=342.2 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 59458 0 0 0 34217 3 0 0 20 0 1 0 17505461 69361664 11125 33554432000 4194304 5970956 140731949172112 140731949168984 5136560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11125 838 434 0 10298 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 67736 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.99 3/187 8201 /proc/meminfo: memFree=29650528/32770624 swapFree=6172/1919496 [pid=8186] ppid=8183 vsize=67736 CPUtime=402.18 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 59841 0 0 0 40215 3 0 0 20 0 1 0 17505461 69361664 11125 33554432000 4194304 5970956 140731949172112 140731949168984 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11125 838 434 0 10298 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 67736 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.99 3/187 8202 /proc/meminfo: memFree=29650416/32770624 swapFree=6172/1919524 [pid=8186] ppid=8183 vsize=67736 CPUtime=462.17 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 60243 0 0 0 46214 3 0 0 20 0 1 0 17505461 69361664 11125 33554432000 4194304 5970956 140731949172112 140731949168984 5136623 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11125 838 434 0 10298 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 67736 [startup+522.3 s] /proc/loadavg: 2.00 2.01 1.99 3/187 8203 /proc/meminfo: memFree=29650176/32770624 swapFree=6172/1919560 [pid=8186] ppid=8183 vsize=67736 CPUtime=522.16 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 60631 0 0 0 52212 4 0 0 20 0 1 0 17505461 69361664 11125 33554432000 4194304 5970956 140731949172112 140731949168984 5136570 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11125 838 434 0 10298 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 67736 [startup+582.3 s] /proc/loadavg: 2.00 2.01 1.99 3/187 8204 /proc/meminfo: memFree=29650304/32770624 swapFree=6172/1919592 [pid=8186] ppid=8183 vsize=67736 CPUtime=582.15 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 61020 0 0 0 58211 4 0 0 20 0 1 0 17505461 69361664 11125 33554432000 4194304 5970956 140731949172112 140731949168984 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11125 838 434 0 10298 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 67736 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/189 8259 /proc/meminfo: memFree=29648944/32770624 swapFree=6172/1920100 [pid=8186] ppid=8183 vsize=67736 CPUtime=1481.95 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 66169 0 0 0 148191 4 0 0 20 0 1 0 17505461 69361664 11125 33554432000 4194304 5970956 140731949172112 140731949168984 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11125 838 434 0 10298 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 67736 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.00 3/189 8260 /proc/meminfo: memFree=29649604/32770624 swapFree=6172/1920140 [pid=8186] ppid=8183 vsize=67736 CPUtime=1541.94 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 66575 0 0 0 154190 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 67736 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.00 3/188 8261 /proc/meminfo: memFree=29649176/32770624 swapFree=6172/1920168 [pid=8186] ppid=8183 vsize=67736 CPUtime=1601.92 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 66883 0 0 0 160188 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 67736 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.00 3/187 8262 /proc/meminfo: memFree=29649016/32770624 swapFree=6172/1920196 [pid=8186] ppid=8183 vsize=67736 CPUtime=1661.91 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 67262 0 0 0 166187 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 67736 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/187 8263 /proc/meminfo: memFree=29649068/32770624 swapFree=6172/1920232 [pid=8186] ppid=8183 vsize=67736 CPUtime=1721.89 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 67564 0 0 0 172185 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 67736 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8264 /proc/meminfo: memFree=29649232/32770624 swapFree=6172/1920264 [pid=8186] ppid=8183 vsize=67736 CPUtime=1781.88 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 67872 0 0 0 178184 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 67736 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8265 /proc/meminfo: memFree=29649324/32770624 swapFree=6172/1920292 [pid=8186] ppid=8183 vsize=67736 CPUtime=1841.87 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 68249 0 0 0 184183 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1841.87 Current children cumulated vsize (KiB) 67736 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8273 /proc/meminfo: memFree=29649168/32770624 swapFree=6172/1920328 [pid=8186] ppid=8183 vsize=67736 CPUtime=1901.85 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 68563 0 0 0 190181 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045640 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1901.85 Current children cumulated vsize (KiB) 67736 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8274 /proc/meminfo: memFree=29649504/32770624 swapFree=6172/1920356 [pid=8186] ppid=8183 vsize=67736 CPUtime=1961.84 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 68873 0 0 0 196180 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 1961.84 Current children cumulated vsize (KiB) 67736 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8275 /proc/meminfo: memFree=29649548/32770624 swapFree=6172/1920396 [pid=8186] ppid=8183 vsize=67736 CPUtime=2021.83 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 69248 0 0 0 202179 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045661 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 2021.83 Current children cumulated vsize (KiB) 67736 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8276 /proc/meminfo: memFree=29649480/32770624 swapFree=6172/1920424 [pid=8186] ppid=8183 vsize=67736 CPUtime=2081.82 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 69547 0 0 0 208178 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 2081.82 Current children cumulated vsize (KiB) 67736 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 8277 /proc/meminfo: memFree=29649748/32770624 swapFree=6172/1920452 [pid=8186] ppid=8183 vsize=67736 CPUtime=2141.8 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 69846 0 0 0 214176 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 2141.8 Current children cumulated vsize (KiB) 67736 [startup+2202.31 s] /proc/loadavg: 2.06 2.03 2.01 3/187 8278 /proc/meminfo: memFree=29649936/32770624 swapFree=6172/1920484 [pid=8186] ppid=8183 vsize=67736 CPUtime=2201.79 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 70144 0 0 0 220175 4 0 0 20 0 1 0 17505461 69361664 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16934 11128 838 434 0 10298 0 Current children cumulated CPU time (s) 2201.79 Current children cumulated vsize (KiB) 67736 [startup+2262.3 s] /proc/loadavg: 2.02 2.02 2.01 3/187 8279 /proc/meminfo: memFree=29649856/32770624 swapFree=6172/1920512 [pid=8186] ppid=8183 vsize=67868 CPUtime=2261.77 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 70526 0 0 0 226173 4 0 0 20 0 1 0 17505461 69496832 11128 33554432000 4194304 5970956 140731949172112 140731949168984 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16967 11128 838 434 0 10331 0 Current children cumulated CPU time (s) 2261.77 Current children cumulated vsize (KiB) 67868 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 2.01 3/187 8280 /proc/meminfo: memFree=29649864/32770624 swapFree=6172/1920544 [pid=8186] ppid=8183 vsize=67868 CPUtime=2321.76 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 70842 0 0 0 232172 4 0 0 20 0 1 0 17505461 69496832 11130 33554432000 4194304 5970956 140731949172112 140731949168984 5136560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16967 11130 838 434 0 10331 0 Current children cumulated CPU time (s) 2321.76 Current children cumulated vsize (KiB) 67868 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 8281 /proc/meminfo: memFree=29649124/32770624 swapFree=6172/1920576 [pid=8186] ppid=8183 vsize=67868 CPUtime=2381.74 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 71159 0 0 0 238170 4 0 0 20 0 1 0 17505461 69496832 11130 33554432000 4194304 5970956 140731949172112 140731949168984 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16967 11130 838 434 0 10331 0 Current children cumulated CPU time (s) 2381.74 Current children cumulated vsize (KiB) 67868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 2.01 3/187 8342 /proc/meminfo: memFree=29816020/32770624 swapFree=6172/1920616 [pid=8186] ppid=8183 vsize=67868 CPUtime=2400.04 cores=1,3,5,7 /proc/8186/stat : 8186 (cosoco) R 8183 8186 3700 0 -1 4202496 71468 0 0 0 240000 4 0 0 20 0 1 0 17505461 69496832 11130 33554432000 4194304 5970956 140731949172112 140731949168984 5047048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 36286464 140731949176001 140731949176131 140731949176131 140731949178830 0 /proc/8186/statm: 16967 11130 838 434 0 10331 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 67868 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 8186 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.05 CPU user time (s): 2400.01 CPU system time (s): 0.04399 CPU usage (%): 99.977 Max. virtual memory (cumulated for all children) (KiB): 67868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.04399 maximum resident set size= 44564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71503 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= 21 involuntary context switches= 120714 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.88322 second user time and 7.97903 second system time The end
Begin job on node147 at 2017-07-21 14:38:50 IDJOB=4240892 IDBENCH=124392 IDSOLVER=2620 FILE ID=node147/4240892-1500640730 RUNJOBID= node147-1500635921-7557 PBS_JOBID= 20622987 Free space on /tmp= 61936 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240892-1500640730/watcher-4240892-1500640730 -o /tmp/evaluation-result-4240892-1500640730/solver-4240892-1500640730 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500635921-7557 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240892-1500640730.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5 RANDOM SEED=552561560 node147.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.11 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 : 1600.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.11 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 : 1600.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 : 5334.11 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 : 1733.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.11 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: 29697800 kB MemAvailable: 31839816 kB Buffers: 162724 kB Cached: 2264368 kB SwapCached: 0 kB Active: 709432 kB Inactive: 1936272 kB Active(anon): 221420 kB Inactive(anon): 17056 kB Active(file): 488012 kB Inactive(file): 1919216 kB Unevictable: 6172 kB Mlocked: 6172 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2496 kB Writeback: 0 kB AnonPages: 224808 kB Mapped: 34588 kB Shmem: 17044 kB Slab: 126580 kB SReclaimable: 101248 kB SUnreclaim: 25332 kB KernelStack: 3280 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501856 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61936 MiB End job on node147 at 2017-07-21 15:18:51