Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco 1.1 | No Cert. | 2400.01 | 2400 |
Name | Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml |
MD5SUM | 85969bfc3f0409b7eeff9db7f7011033 |
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.0601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1681 |
Number of constraints | 10660 |
Number of domains | 1 |
Minimum domain size | 820 |
Maximum domain size | 820 |
Distribution of domain sizes | [{"size":820,"count":820}] |
Minimum variable degree | 0 |
Maximum variable degree | 40 |
Distribution of variable degrees | [{"degree":0,"count":861},{"degree":40,"count":820}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":10660}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 10660 |
Distribution of constraint types | [{"type":"intension","count":10660}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
11.88/12.09 c best=?? lower=0 upper=819 13.29/13.45 c 13.29/13.45 c This is cosoco 1.0 -- 13.29/13.45 c 13.29/13.45 c enable optimization 13.29/13.45 c ========================================[ Problem Statistics ]=========================================== 13.29/13.45 c | 13.29/13.45 c | Parse time : 11.79 s 13.29/13.45 c | 13.29/13.45 c | Variables: 1681 13.29/13.45 c | Domain Sizes: 820..820 13.29/13.45 c | 13.29/13.45 c | Constraints: 10661 13.29/13.45 c | Arity: 3..820 -- Ternary: 10660 13.29/13.45 c | 13.29/13.45 c | Types: 13.29/13.45 c | Intension: 10660 13.29/13.45 c | Max constant: 1 13.29/13.45 c | 13.29/13.45 c ========================================================================================================= 13.29/13.45 o 7 13.29/13.45 c 1 calls to solver: best=7 lower=0 upper=6 13.49/13.64 o 5 13.59/13.78 o 4 13.59/13.78 c 3 calls to solver: best=4 lower=0 upper=3 2400.00/2400.00 2400.00/2400.00 c *** INTERRUPTED *** 2400.00/2400.00 s SATISFIABLE 2400.00/2400.00 c Best value found: 4 2400.00/2400.00 2400.00/2400.00 2400.00/2400.00 v <instantiation type='solution' cost='4'> 2400.00/2400.00 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list> 2400.00/2400.00 v <values>* 2 0 2 0 4 1 1 1 1 0 1 0 0 0 0 1 2 0 1 1 2 3 1 1 0 1 1 3 1 0 0 2 0 1 2 1 1 0 0 1 * * 2 0 3 2 1 1 0 1 0 0 4 0 1 1 0 3 2 1 1 1 2 0 0 2 1 0 2 1 0 3 4 2 1 0 0 1 0 1 0 * * * 2 2 0 1 1 0 1 1 2 2 1 1 1 0 0 3 1 1 1 0 0 0 4 1 0 0 1 1 2 0 3 1 2 0 1 1 1 0 * * * * 0 2 1 1 1
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-4242305-1502101013/watcher-4242305-1502101013 -o /tmp/evaluation-result-4242305-1502101013/solver-4242305-1502101013 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242305-1502101013.xml pid=25132 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/182 25135 /proc/meminfo: memFree=30914676/32770624 swapFree=0/416764 [pid=25135] ppid=25132 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25135/stat : 25135 (runsolver) D 25132 25135 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12322201 24240128 106 18446744073709551615 4194304 4338465 140735671703424 140735671701064 140212484678359 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22061056 140735671705759 140735671706186 140735671706186 140735671709642 0 /proc/25135/statm: 5918 106 53 36 0 2156 0 [startup+0.100155 s] /proc/loadavg: 2.00 2.01 2.05 3/182 25135 /proc/meminfo: memFree=30914676/32770624 swapFree=0/416764 [pid=25135] ppid=25132 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/25135/stat : 25135 (runsolver) D 25132 25135 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12322201 24240128 106 18446744073709551615 4194304 4338465 140735671703424 140735671701064 140212484678359 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22061056 140735671705759 140735671706186 140735671706186 140735671709642 0 /proc/25135/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200306 s] /proc/loadavg: 2.00 2.01 2.05 3/182 25135 /proc/meminfo: memFree=30914676/32770624 swapFree=0/416764 [pid=25135] ppid=25132 vsize=39092 CPUtime=0.09 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 3941 0 0 0 9 0 0 0 20 0 1 0 12322201 40030208 3771 18446744073709551615 4194304 5970956 140725316548416 140725316545016 5492362 0 0 1 0 0 0 0 17 6 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 9773 3771 711 434 0 3137 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39092 [startup+0.300305 s] /proc/loadavg: 2.00 2.01 2.05 3/182 25135 /proc/meminfo: memFree=30914676/32770624 swapFree=0/416764 [pid=25135] ppid=25132 vsize=39284 CPUtime=0.19 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 4041 0 0 0 19 0 0 0 20 0 1 0 12322201 40226816 3819 18446744073709551615 4194304 5970956 140725316548416 140725316545016 5386596 0 0 1 0 0 0 0 17 6 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 9821 3819 711 434 0 3185 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 39284 [startup+0.700196 s] /proc/loadavg: 2.00 2.01 2.05 3/182 25135 /proc/meminfo: memFree=30914676/32770624 swapFree=0/416764 [pid=25135] ppid=25132 vsize=57780 CPUtime=0.59 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 8739 0 0 0 58 1 0 0 20 0 1 0 12322201 59166720 8504 18446744073709551615 4194304 5970956 140725316548416 140725316542008 140402615275441 0 0 1 0 0 0 0 17 0 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 14445 8504 783 434 0 7809 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 57780 [startup+1.50019 s] /proc/loadavg: 2.00 2.01 2.05 3/183 25136 /proc/meminfo: memFree=30864820/32770624 swapFree=0/416748 [pid=25135] ppid=25132 vsize=96444 CPUtime=1.38 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 18412 0 0 0 136 2 0 0 20 0 1 0 12322201 98758656 18206 18446744073709551615 4194304 5970956 140725316548416 140725316542008 140402624611392 0 0 1 0 0 0 0 17 0 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 24111 18206 783 434 0 17475 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 96444 [startup+3.10018 s] /proc/loadavg: 2.00 2.01 2.05 3/183 25136 /proc/meminfo: memFree=30811004/32770624 swapFree=0/416748 [pid=25135] ppid=25132 vsize=173752 CPUtime=2.99 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 38864 0 0 0 294 5 0 0 20 0 1 0 12322201 177922048 37454 18446744073709551615 4194304 5970956 140725316548416 140725316542008 140402616010096 0 0 1 0 0 0 0 17 0 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 43438 37454 783 434 0 36802 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 173752 [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.05 3/183 25136 /proc/meminfo: memFree=30651660/32770624 swapFree=0/416760 [pid=25135] ppid=25132 vsize=328392 CPUtime=6.19 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 78616 0 0 0 608 11 0 0 20 0 1 0 12322201 336273408 76179 18446744073709551615 4194304 5970956 140725316548416 140725316542008 140402624624476 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 82098 76179 783 434 0 75462 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 328392 [startup+12.7003 s] /proc/loadavg: 1.92 2.00 2.04 3/183 25136 /proc/meminfo: memFree=30331644/32770624 swapFree=0/416760 [pid=25135] ppid=25132 vsize=729564 CPUtime=12.59 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 208734 0 0 0 1233 26 0 0 20 0 1 0 12322201 747073536 176535 18446744073709551615 4194304 5970956 140725316548416 140725316545384 140402615266277 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 182391 176573 827 434 0 175755 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 729564 [startup+25.5004 s] /proc/loadavg: 1.94 2.00 2.04 3/183 25137 /proc/meminfo: memFree=30051156/32770624 swapFree=0/416772 [pid=25135] ppid=25132 vsize=888892 CPUtime=25.39 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 314413 0 0 0 2505 34 0 0 20 0 1 0 12322201 910225408 216398 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4961194 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222223 216398 828 434 0 215587 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 888892 [startup+51.1004 s] /proc/loadavg: 1.96 2.00 2.04 3/183 25137 /proc/meminfo: memFree=30051032/32770624 swapFree=0/416788 [pid=25135] ppid=25132 vsize=888892 CPUtime=50.98 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 363904 0 0 0 5062 36 0 0 20 0 1 0 12322201 910225408 216400 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964389 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222223 216400 828 434 0 215587 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 888892 [startup+102.3 s] /proc/loadavg: 1.98 2.00 2.04 3/183 25139 /proc/meminfo: memFree=30049448/32770624 swapFree=0/416812 [pid=25135] ppid=25132 vsize=889156 CPUtime=102.18 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 416680 0 0 0 10180 38 0 0 20 0 1 0 12322201 910495744 216462 18446744073709551615 4194304 5970956 140725316548416 140725316545128 5070338 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216462 828 434 0 215653 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 889156 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/182 25141 /proc/meminfo: memFree=30050272/32770624 swapFree=0/416840 [pid=25135] ppid=25132 vsize=889156 CPUtime=162.17 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 458512 0 0 0 16177 40 0 0 20 0 1 0 12322201 910495744 216462 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4900064 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216462 828 434 0 215653 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 889156 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.04 3/181 25143 /proc/meminfo: memFree=30050448/32770624 swapFree=0/416868 [pid=25135] ppid=25132 vsize=889156 CPUtime=222.17 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 496062 0 0 0 22175 42 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 5071023 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 889156 [startup+282.3 s] /proc/loadavg: 2.07 2.03 2.05 3/181 25145 /proc/meminfo: memFree=30050440/32770624 swapFree=0/416884 [pid=25135] ppid=25132 vsize=889156 CPUtime=282.16 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 529245 0 0 0 28172 44 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4908486 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 889156 [startup+342.3 s] /proc/loadavg: 2.03 2.02 2.05 3/181 25147 /proc/meminfo: memFree=30050724/32770624 swapFree=0/416904 [pid=25135] ppid=25132 vsize=889156 CPUtime=342.15 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 557575 0 0 0 34170 45 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964355 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 889156 [startup+402.3 s] /proc/loadavg: 2.16 2.05 2.06 3/181 25149 /proc/meminfo: memFree=30050468/32770624 swapFree=0/416924 [pid=25135] ppid=25132 vsize=889156 CPUtime=402.15 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 576676 0 0 0 40169 46 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4965051 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 889156 [startup+462.3 s] /proc/loadavg: 2.12 2.05 2.06 3/184 25166 /proc/meminfo: memFree=30045532/32770624 swapFree=0/416976 [pid=25135] ppid=25132 vsize=889156 CPUtime=462.16 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 586768 0 0 0 46169 47 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964366 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 889156 [startup+522.3 s] /proc/loadavg: 2.04 2.04 2.05 3/184 25168 /proc/meminfo: memFree=30045820/32770624 swapFree=0/417004 [pid=25135] ppid=25132 vsize=889156 CPUtime=522.14 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 596945 0 0 0 52167 47 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4908196 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 889156 [startup+582.3 s] /proc/loadavg: 2.02 2.04 2.05 3/181 25170 /proc/meminfo: memFree=30049012/32770624 swapFree=0/417032 [pid=25135] ppid=25132 vsize=889156 CPUtime=582.14 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 599507 0 0 0 58166 48 0 0 20 0 1 0 12322201 910495744 216463 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4908967 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216463 828 434 0 215653 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 889156 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.05 3/181 25275 /proc/meminfo: memFree=29580688/32770624 swapFree=0/417432 [pid=25135] ppid=25132 vsize=889156 CPUtime=1482.21 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 611322 0 0 0 148173 48 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964777 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 889156 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25278 /proc/meminfo: memFree=29581272/32770624 swapFree=0/417456 [pid=25135] ppid=25132 vsize=889156 CPUtime=1542.22 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 612030 0 0 0 154174 48 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4908311 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1542.22 Current children cumulated vsize (KiB) 889156 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25280 /proc/meminfo: memFree=29581184/32770624 swapFree=0/417484 [pid=25135] ppid=25132 vsize=889156 CPUtime=1602.22 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 612861 0 0 0 160174 48 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964846 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1602.22 Current children cumulated vsize (KiB) 889156 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 25296 /proc/meminfo: memFree=29577964/32770624 swapFree=0/417532 [pid=25135] ppid=25132 vsize=889156 CPUtime=1662.23 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 613602 0 0 0 166175 48 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4965055 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1662.23 Current children cumulated vsize (KiB) 889156 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 25298 /proc/meminfo: memFree=29578156/32770624 swapFree=0/417560 [pid=25135] ppid=25132 vsize=889156 CPUtime=1722.24 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 614337 0 0 0 172175 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964389 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1722.24 Current children cumulated vsize (KiB) 889156 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 25300 /proc/meminfo: memFree=29580224/32770624 swapFree=0/417576 [pid=25135] ppid=25132 vsize=889156 CPUtime=1782.25 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 615124 0 0 0 178176 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4965055 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 889156 [startup+1842.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 25302 /proc/meminfo: memFree=29581128/32770624 swapFree=0/417596 [pid=25135] ppid=25132 vsize=889156 CPUtime=1842.25 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 615804 0 0 0 184176 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 5070304 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1842.25 Current children cumulated vsize (KiB) 889156 [startup+1902.3 s] /proc/loadavg: 2.11 2.05 2.06 3/181 25304 /proc/meminfo: memFree=29581024/32770624 swapFree=0/417616 [pid=25135] ppid=25132 vsize=889156 CPUtime=1902.26 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 616525 0 0 0 190177 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964389 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1902.26 Current children cumulated vsize (KiB) 889156 [startup+1962.3 s] /proc/loadavg: 2.07 2.06 2.05 3/181 25306 /proc/meminfo: memFree=29581224/32770624 swapFree=0/417648 [pid=25135] ppid=25132 vsize=889156 CPUtime=1962.26 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 617262 0 0 0 196177 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964784 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 1962.26 Current children cumulated vsize (KiB) 889156 [startup+2022.3 s] /proc/loadavg: 2.03 2.05 2.05 3/181 25308 /proc/meminfo: memFree=29581260/32770624 swapFree=0/417668 [pid=25135] ppid=25132 vsize=889156 CPUtime=2022.27 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 617870 0 0 0 202178 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4908690 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2022.27 Current children cumulated vsize (KiB) 889156 [startup+2082.3 s] /proc/loadavg: 2.01 2.04 2.05 3/181 25310 /proc/meminfo: memFree=29581420/32770624 swapFree=0/417688 [pid=25135] ppid=25132 vsize=889156 CPUtime=2082.28 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 618480 0 0 0 208179 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964440 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2082.28 Current children cumulated vsize (KiB) 889156 [startup+2142.3 s] /proc/loadavg: 2.00 2.03 2.05 3/181 25312 /proc/meminfo: memFree=29581084/32770624 swapFree=0/417708 [pid=25135] ppid=25132 vsize=889156 CPUtime=2142.28 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 619358 0 0 0 214179 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964440 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2142.28 Current children cumulated vsize (KiB) 889156 [startup+2202.31 s] /proc/loadavg: 2.00 2.03 2.05 3/181 25314 /proc/meminfo: memFree=29580996/32770624 swapFree=0/417732 [pid=25135] ppid=25132 vsize=889156 CPUtime=2202.29 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 620065 0 0 0 220180 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 5052118 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2202.29 Current children cumulated vsize (KiB) 889156 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/184 25330 /proc/meminfo: memFree=29576776/32770624 swapFree=0/417788 [pid=25135] ppid=25132 vsize=889156 CPUtime=2262.29 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 620828 0 0 0 226180 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964340 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2262.29 Current children cumulated vsize (KiB) 889156 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/184 25332 /proc/meminfo: memFree=29576924/32770624 swapFree=0/417808 [pid=25135] ppid=25132 vsize=889156 CPUtime=2322.29 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 621646 0 0 0 232180 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 5327993 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2322.29 Current children cumulated vsize (KiB) 889156 [startup+2382.3 s] /proc/loadavg: 2.15 2.07 2.06 3/181 25334 /proc/meminfo: memFree=29580452/32770624 swapFree=0/417828 [pid=25135] ppid=25132 vsize=889156 CPUtime=2382.3 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 622337 0 0 0 238181 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4968251 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2382.3 Current children cumulated vsize (KiB) 889156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s] /proc/loadavg: 2.18 2.08 2.06 3/181 25334 /proc/meminfo: memFree=29580452/32770624 swapFree=0/417836 [pid=25135] ppid=25132 vsize=889156 CPUtime=2400 cores=0,2,4,6 /proc/25135/stat : 25135 (cosoco) R 25132 25135 9955 0 -1 4202496 622480 0 0 0 239951 49 0 0 20 0 1 0 12322201 910495744 216468 18446744073709551615 4194304 5970956 140725316548416 140725316545128 4964584 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 32350208 140725316551116 140725316551246 140725316551246 140725316554702 0 /proc/25135/statm: 222289 216468 828 434 0 215653 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 889156 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 25135 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400 CPU time (s): 2400.01 CPU user time (s): 2399.52 CPU system time (s): 0.496042 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 889156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.52 system time used= 0.496042 maximum resident set size= 865912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 622516 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= 244 involuntary context switches= 747 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.64077 second user time and 8.88778 second system time The end
Begin job on node125 at 2017-08-07 12:02:49 IDJOB=4242305 IDBENCH=140586 IDSOLVER=2620 FILE ID=node125/4242305-1502101013 RUNJOBID= node125-1502042574-16652 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-41.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242305-1502101013/watcher-4242305-1502101013 -o /tmp/evaluation-result-4242305-1502101013/solver-4242305-1502101013 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242305-1502101013.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85969bfc3f0409b7eeff9db7f7011033 RANDOM SEED=1168730440 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30915220 kB MemAvailable: 31258408 kB Buffers: 143436 kB Cached: 488596 kB SwapCached: 0 kB Active: 1013188 kB Inactive: 433480 kB Active(anon): 815068 kB Inactive(anon): 16716 kB Active(file): 198120 kB Inactive(file): 416764 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2692 kB Writeback: 0 kB AnonPages: 814788 kB Mapped: 33404 kB Shmem: 17060 kB Slab: 112312 kB SReclaimable: 88276 kB SUnreclaim: 24036 kB KernelStack: 3232 kB PageTables: 6184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1069068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 763904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2017-08-07 12:42:49