Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.06 | 2400.4 |
Name | Opd/Opd-sum-large/ Opd-46-035-010.xml |
MD5SUM | 9882d57d510e95008d99aa62e0238ec8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 2400.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1611 |
Number of constraints | 1082 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 33 |
Distribution of domain sizes | [{"size":2,"count":1610},{"size":33,"count":1}] |
Minimum variable degree | 47 |
Maximum variable degree | 1036 |
Distribution of variable degrees | [{"degree":47,"count":1610},{"degree":1036,"count":1}] |
Minimum constraint arity | 35 |
Maximum constraint arity | 1610 |
Distribution of constraint arities | [{"arity":35,"count":46},{"arity":71,"count":1035},{"arity":1610,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":1081}] |
Optimization problem | YES |
Type of objective | min VAR |
1.59/1.66 c best=?? lower=0 upper=32 9.39/9.42 c 9.39/9.42 c This is cosoco 1.0 -- 9.39/9.42 c 9.39/9.42 c enable optimization 9.39/9.42 c ========================================[ Problem Statistics ]=========================================== 9.39/9.42 c | 9.39/9.42 c | Parse time : 1.65 s 9.39/9.42 c | 9.39/9.42 c | Variables: 1611 9.39/9.42 c | Domain Sizes: 2..33 9.39/9.42 c | 9.39/9.42 c | Constraints: 1161 9.39/9.42 c | Arity: 1..92 -- Unary: 1 9.39/9.42 c | 9.39/9.42 c | Types: 9.39/9.42 c | Intension: 1036 9.39/9.42 c | Lex: 79 9.39/9.42 c | Sum: 46 9.39/9.42 c | 9.39/9.42 c ========================================================================================================= 9.39/9.42 o 10 9.39/9.42 c 1 calls to solver: best=10 lower=0 upper=9 2400.05/2400.40 2400.05/2400.40 c *** INTERRUPTED *** 2400.05/2400.40 s SATISFIABLE 2400.05/2400.40 c Best value found: 10 2400.05/2400.40 2400.05/2400.40 2400.05/2400.40 v <instantiation type='solution' cost='10'> 2400.05/2400.40 v <list>z 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] </list> 2400.05/2400.40 v <values>10 0 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 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 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-4240457-1500638208/watcher-4240457-1500638208 -o /tmp/evaluation-result-4240457-1500638208/solver-4240457-1500638208 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500635807-6909 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240457-1500638208.xml pid=7133 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.01 2.03 1.97 3/186 7136 /proc/meminfo: memFree=31278376/32770624 swapFree=6192/475908 [pid=7136] ppid=7133 vsize=27120 CPUtime=0 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 17249810 27770880 807 33554432000 4194304 5970956 140726902641184 140726902637832 140201800469477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 6780 807 703 434 0 144 0 [startup+0.100175 s] /proc/loadavg: 2.01 2.03 1.97 3/186 7136 /proc/meminfo: memFree=31278376/32770624 swapFree=6192/475908 [pid=7136] ppid=7133 vsize=29440 CPUtime=0.09 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 1649 0 0 0 9 0 0 0 20 0 1 0 17249810 30146560 1489 33554432000 4194304 5970956 140726902641184 140726902634424 140201800930284 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 7360 1489 801 434 0 724 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29440 [startup+0.200365 s] /proc/loadavg: 2.01 2.03 1.97 3/186 7136 /proc/meminfo: memFree=31278376/32770624 swapFree=6192/475908 [pid=7136] ppid=7133 vsize=30968 CPUtime=0.19 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 2047 0 0 0 19 0 0 0 20 0 1 0 17249810 31711232 1872 33554432000 4194304 5970956 140726902641184 140726902634424 140201800469477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 7742 1872 801 434 0 1106 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30968 [startup+0.300325 s] /proc/loadavg: 2.01 2.03 1.97 3/186 7136 /proc/meminfo: memFree=31278376/32770624 swapFree=6192/475908 [pid=7136] ppid=7133 vsize=32992 CPUtime=0.29 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 2534 0 0 0 29 0 0 0 20 0 1 0 17249810 33783808 2344 33554432000 4194304 5970956 140726902641184 140726902634424 140201800469477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 8248 2344 801 434 0 1612 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32992 [startup+0.700284 s] /proc/loadavg: 2.01 2.03 1.97 3/186 7136 /proc/meminfo: memFree=31278376/32770624 swapFree=6192/475908 [pid=7136] ppid=7133 vsize=40796 CPUtime=0.69 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 4494 0 0 0 69 0 0 0 20 0 1 0 17249810 41775104 4327 33554432000 4194304 5970956 140726902641184 140726902632200 140201800469477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 10199 4327 802 434 0 3563 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40796 [startup+1.50028 s] /proc/loadavg: 2.01 2.03 1.97 3/187 7198 /proc/meminfo: memFree=31249980/32770624 swapFree=6192/475932 [pid=7136] ppid=7133 vsize=56528 CPUtime=1.49 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 8426 0 0 0 149 0 0 0 20 0 1 0 17249810 57884672 8262 33554432000 4194304 5970956 140726902641184 140726902634024 140201800469477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 14132 8262 802 434 0 7496 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56528 [startup+3.10034 s] /proc/loadavg: 1.93 2.02 1.96 3/187 7198 /proc/meminfo: memFree=31214320/32770624 swapFree=6192/475936 [pid=7136] ppid=7133 vsize=114084 CPUtime=3.09 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 31171 0 0 0 307 2 0 0 20 0 1 0 17249810 116822016 22713 33554432000 4194304 5970956 140726902641184 140726902638152 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 28521 22713 842 434 0 21885 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 114084 [startup+6.3003 s] /proc/loadavg: 1.93 2.02 1.96 3/187 7198 /proc/meminfo: memFree=31181312/32770624 swapFree=6192/475932 [pid=7136] ppid=7133 vsize=116992 CPUtime=6.29 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 52289 0 0 0 626 3 0 0 20 0 1 0 17249810 119799808 23433 33554432000 4194304 5970956 140726902641184 140726902638072 4964428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 29248 23433 843 434 0 22612 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 116992 [startup+12.7003 s] /proc/loadavg: 2.01 2.03 1.97 3/187 7198 /proc/meminfo: memFree=31175280/32770624 swapFree=6192/475932 [pid=7136] ppid=7133 vsize=120464 CPUtime=12.68 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75530 0 0 0 1264 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 120464 [startup+25.5003 s] /proc/loadavg: 2.01 2.03 1.97 3/187 7198 /proc/meminfo: memFree=31175016/32770624 swapFree=6192/475940 [pid=7136] ppid=7133 vsize=120464 CPUtime=25.48 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75542 0 0 0 2544 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 4908988 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 120464 [startup+51.1003 s] /proc/loadavg: 2.01 2.03 1.97 3/187 7198 /proc/meminfo: memFree=31173596/32770624 swapFree=6192/475948 [pid=7136] ppid=7133 vsize=120464 CPUtime=51.08 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75548 0 0 0 5104 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 120464 [startup+102.3 s] /proc/loadavg: 2.00 2.02 1.97 3/187 7200 /proc/meminfo: memFree=31174916/32770624 swapFree=6192/476008 [pid=7136] ppid=7133 vsize=120464 CPUtime=102.27 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75554 0 0 0 10223 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 120464 [startup+162.3 s] /proc/loadavg: 2.00 2.02 1.97 3/187 7201 /proc/meminfo: memFree=31175180/32770624 swapFree=6192/476032 [pid=7136] ppid=7133 vsize=120464 CPUtime=162.26 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75560 0 0 0 16222 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5052080 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 120464 [startup+222.306 s] /proc/loadavg: 2.00 2.01 1.97 3/187 7209 /proc/meminfo: memFree=31166848/32770624 swapFree=6192/476060 [pid=7136] ppid=7133 vsize=120464 CPUtime=222.26 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75566 0 0 0 22222 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070523 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 120464 [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 7233 /proc/meminfo: memFree=31166076/32770624 swapFree=6192/476096 [pid=7136] ppid=7133 vsize=120464 CPUtime=282.24 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75572 0 0 0 28220 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070480 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 120464 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 7234 /proc/meminfo: memFree=31166792/32770624 swapFree=6192/476112 [pid=7136] ppid=7133 vsize=120464 CPUtime=342.24 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75578 0 0 0 34220 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 120464 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 7235 /proc/meminfo: memFree=31167220/32770624 swapFree=6192/476140 [pid=7136] ppid=7133 vsize=120464 CPUtime=402.23 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75584 0 0 0 40219 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070523 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 120464 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 7236 /proc/meminfo: memFree=31166968/32770624 swapFree=6192/476172 [pid=7136] ppid=7133 vsize=120464 CPUtime=462.22 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75590 0 0 0 46218 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 4964584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 120464 [startup+522.3 s] /proc/loadavg: 2.07 2.03 1.97 3/188 7237 /proc/meminfo: memFree=31167228/32770624 swapFree=6192/476192 [pid=7136] ppid=7133 vsize=120464 CPUtime=522.21 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75596 0 0 0 52217 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 120464 [startup+582.3 s] /proc/loadavg: 2.02 2.02 1.97 3/187 7238 /proc/meminfo: memFree=31167240/32770624 swapFree=6192/476212 [pid=7136] ppid=7133 vsize=120464 CPUtime=582.2 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75602 0 0 0 58216 4 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070400 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 120464 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.99 3/188 7270 /proc/meminfo: memFree=31167040/32770624 swapFree=6192/476592 [pid=7136] ppid=7133 vsize=120464 CPUtime=1482.08 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75692 0 0 0 148203 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5052062 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1482.08 Current children cumulated vsize (KiB) 120464 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 1.99 3/188 7271 /proc/meminfo: memFree=31167184/32770624 swapFree=6192/476612 [pid=7136] ppid=7133 vsize=120464 CPUtime=1542.08 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75698 0 0 0 154203 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070437 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1542.08 Current children cumulated vsize (KiB) 120464 [startup+1602.3 s] /proc/loadavg: 2.09 2.04 2.00 3/188 7272 /proc/meminfo: memFree=31166944/32770624 swapFree=6192/476640 [pid=7136] ppid=7133 vsize=120464 CPUtime=1602.06 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75704 0 0 0 160201 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1602.06 Current children cumulated vsize (KiB) 120464 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/187 7273 /proc/meminfo: memFree=31167908/32770624 swapFree=6192/476668 [pid=7136] ppid=7133 vsize=120464 CPUtime=1662.06 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75710 0 0 0 166201 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1662.06 Current children cumulated vsize (KiB) 120464 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/187 7276 /proc/meminfo: memFree=31166904/32770624 swapFree=6192/476692 [pid=7136] ppid=7133 vsize=120464 CPUtime=1722.05 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75716 0 0 0 172200 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070502 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1722.05 Current children cumulated vsize (KiB) 120464 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/187 7277 /proc/meminfo: memFree=31166628/32770624 swapFree=6192/476720 [pid=7136] ppid=7133 vsize=120464 CPUtime=1782.04 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75722 0 0 0 178199 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1782.04 Current children cumulated vsize (KiB) 120464 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.00 3/187 7278 /proc/meminfo: memFree=31166704/32770624 swapFree=6192/476744 [pid=7136] ppid=7133 vsize=120464 CPUtime=1842.03 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75728 0 0 0 184198 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070480 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1842.03 Current children cumulated vsize (KiB) 120464 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7280 /proc/meminfo: memFree=31166452/32770624 swapFree=6192/476776 [pid=7136] ppid=7133 vsize=120464 CPUtime=1902.02 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75734 0 0 0 190197 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1902.02 Current children cumulated vsize (KiB) 120464 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7281 /proc/meminfo: memFree=31166216/32770624 swapFree=6192/476800 [pid=7136] ppid=7133 vsize=120464 CPUtime=1962.01 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75740 0 0 0 196196 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 4908985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 1962.01 Current children cumulated vsize (KiB) 120464 [startup+2022.3 s] /proc/loadavg: 2.04 2.03 2.00 3/187 7289 /proc/meminfo: memFree=31165228/32770624 swapFree=6192/476824 [pid=7136] ppid=7133 vsize=120464 CPUtime=2022.01 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75746 0 0 0 202196 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2022.01 Current children cumulated vsize (KiB) 120464 [startup+2082.3 s] /proc/loadavg: 2.02 2.02 2.00 3/187 7290 /proc/meminfo: memFree=31165916/32770624 swapFree=6192/476856 [pid=7136] ppid=7133 vsize=120464 CPUtime=2082 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75752 0 0 0 208195 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 4908971 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2082 Current children cumulated vsize (KiB) 120464 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.00 3/187 7291 /proc/meminfo: memFree=31166636/32770624 swapFree=6192/476872 [pid=7136] ppid=7133 vsize=120464 CPUtime=2141.99 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75758 0 0 0 214194 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5052090 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2141.99 Current children cumulated vsize (KiB) 120464 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7292 /proc/meminfo: memFree=31166492/32770624 swapFree=6192/476900 [pid=7136] ppid=7133 vsize=120464 CPUtime=2201.98 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75764 0 0 0 220193 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2201.98 Current children cumulated vsize (KiB) 120464 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7293 /proc/meminfo: memFree=31166492/32770624 swapFree=6192/476924 [pid=7136] ppid=7133 vsize=120464 CPUtime=2261.97 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75770 0 0 0 226192 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5070480 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2261.97 Current children cumulated vsize (KiB) 120464 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7294 /proc/meminfo: memFree=31166676/32770624 swapFree=6192/476944 [pid=7136] ppid=7133 vsize=120464 CPUtime=2321.96 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75776 0 0 0 232191 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 4964576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2321.96 Current children cumulated vsize (KiB) 120464 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7295 /proc/meminfo: memFree=31165844/32770624 swapFree=6192/476964 [pid=7136] ppid=7133 vsize=120464 CPUtime=2381.95 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75782 0 0 0 238190 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2381.95 Current children cumulated vsize (KiB) 120464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 2.00 2.01 2.00 3/187 7295 /proc/meminfo: memFree=31166136/32770624 swapFree=6192/476968 [pid=7136] ppid=7133 vsize=120464 CPUtime=2400.05 cores=0,2,4,6 /proc/7136/stat : 7136 (cosoco) R 7133 7136 4702 0 -1 4202496 75788 0 0 0 240000 5 0 0 20 0 1 0 17249810 123355136 24310 33554432000 4194304 5970956 140726902641184 140726902628488 5098954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14213120 140726902645953 140726902646083 140726902646083 140726902648782 0 /proc/7136/statm: 30116 24310 846 434 0 23480 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 120464 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 7136 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.4 CPU time (s): 2400.06 CPU user time (s): 2400.01 CPU system time (s): 0.051992 CPU usage (%): 99.9857 Max. virtual memory (cumulated for all children) (KiB): 120464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.051992 maximum resident set size= 97288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75837 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= 15 involuntary context switches= 120635 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.1495 second user time and 7.96229 second system time The end
Begin job on node146 at 2017-07-21 13:56:48 IDJOB=4240457 IDBENCH=122959 IDSOLVER=2620 FILE ID=node146/4240457-1500638208 RUNJOBID= node146-1500635807-6909 PBS_JOBID= 20622988 Free space on /tmp= 61796 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-46-035-010.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240457-1500638208/watcher-4240457-1500638208 -o /tmp/evaluation-result-4240457-1500638208/solver-4240457-1500638208 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500635807-6909 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240457-1500638208.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9882d57d510e95008d99aa62e0238ec8 RANDOM SEED=1681411498 node146.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.06 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.06 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 : 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.06 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 : 2133.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.06 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: 31278912 kB MemAvailable: 32011652 kB Buffers: 164244 kB Cached: 845348 kB SwapCached: 0 kB Active: 580196 kB Inactive: 484748 kB Active(anon): 58256 kB Inactive(anon): 8840 kB Active(file): 521940 kB Inactive(file): 475908 kB Unevictable: 6192 kB Mlocked: 6200 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2284 kB Writeback: 0 kB AnonPages: 62172 kB Mapped: 34304 kB Shmem: 8852 kB Slab: 126076 kB SReclaimable: 101452 kB SUnreclaim: 24624 kB KernelStack: 3280 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 328204 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: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61792 MiB End job on node146 at 2017-07-21 14:36:49