Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 4 | 2519.77 | 2520 |
Name | Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml |
MD5SUM | f8d5128c7bc11e119a8a7f8e485ceae3 |
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.0801 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1444 |
Number of constraints | 8436 |
Number of domains | 1 |
Minimum domain size | 703 |
Maximum domain size | 703 |
Distribution of domain sizes | [{"size":703,"count":703}] |
Minimum variable degree | 0 |
Maximum variable degree | 37 |
Distribution of variable degrees | [{"degree":0,"count":741},{"degree":37,"count":703}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":8436}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 8436 |
Distribution of constraint types | [{"type":"intension","count":8436}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.09 c 280717 342.45/342.69 o 6 342.55/342.74 o 5 1521.99/1522.21 o 4 2519.76/2520.00 s SATISFIABLE 2519.76/2520.00 v <instantiation type="solution"> 2519.76/2520.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list> 2519.76/2520.00 v <values> * 1 2 0 4 0 3 2 1 1 4 2 2 3 4 4 0 0 0 1 1 2 3 3 1 0 3 1 0 4 3 2 1 1 0 0 2 4 * * 2 1 2 2 0 1 3 4 2 2 1 4 0 0 3 0 1 3 0 0 1 1 2 1 1 3 4 1 2 3 2 3 3 0 2 1 * * * 4 0 3 4 0 2 3 4 1 1 2 1 2 1 1 1 1 0 3 0 1 1 1 0 3 1 2 1 1 4 4 2 3 3 2 * * * * 4 4 2 0 2 0 3 0 3 0 1 3 1 1 2 4 3 1 0 0 1 2 2 3 1 0 0 1 1 3 3 4 2 4 * * * * * 0 0 1 0 4 3 0 3 1 2 3 4 1 0 2 2 4 2 4 4 3 4 3 1 0 0 0 0 0 0 2 1 1 * * * * * * 1 0 2 0 1 4 0 2 4 4 4 1 2 1 3 0 2 0 3 1 3 2 4 1 3 2 4 3 1 1 4 3 * * * * * * * 1 3 0 0 2 1 2 1 4 4 2 1 3 4 1 2 0 2 3 1 3 4 4 1 3 2 3 2 2 4 0 * * * * * * * * 0 4 1 1 3 4 0 2 1 0 0 1 1 3 2 4 1 3 2 2 3 3 3 1 0 1 2 0 0 0 * * * * * * * * * 4 2 3 3 0 1 3 1 1 1 0 2 3 0 2 0 4 1 0 2 1 1 1 4 4 4 2 3 4 * * * * * * * * * * 3 1 1 2 4 2 0 1 0 3 3 2 2 2 0 3 3 0 0 1 3 2 0 3 0 4 1 3 * * * * * * * * * * * 4 2 3 1 2 2 0 2 4 4 2 0 3 3 0 0 2 0 3 1 3 1 2 4 3 1 2 * * * * * * * * * * * * 4 4 0 1 2 4 4 0 2 0 1 3 3 0 1 4 2 3 4 3 1 3 1 0 0 2 * * * * * * * * * * * * * 0 3 4 3 3 0 4 0 4 0 4 2 2 2 1 4 4 0 0 4 0 1 1 0 3 * * * * * * * * * * * * * * 2 3 1 0 1 2 1 3 4 1 4 4 1 3 0 1 1 1 4 4 4 0 3 0 * * * * * * * * * * * * * * * 1 0 2 4 4 1 4 1 3 3 2 4 2 0 3 0 3 2 3 2 3 3 1 * * * * * * * * * * * * * * * * 1 2 0 1 2 1 3 3 2 1 4 0 3 1 0 3 0 4 0 4 0 0 * * * * * * * * * * * * * * * * * 4 4 2 0 0 1 3 2 3 2 1 3 2 3 4 2 0 1 4 1 0 * * * * * * * * * * * * * * * * * * 2 0 3 2 1 4 0 3 2 3 2 4 0 2 3 3 4 3 2 4 * * * * * * * * * * * * * * * * * * * 0 2 3 4 3 2 4 0 1 3 2 2 3 2 4 4 1 1 4 * * * * * * * * * * * * * * * * * * * * 0 3 4 3 3 2 1 4 0 0 2 0 0 0 0 3 2 1 * * * * * * * * * * * * * * * * * * * * * 3 3 3 0 2 2 2 3 3 4 3 4 2 1 1 1 4 * * * * * * * * * * * * * * * * * * * * * * 1 1 2 4 3 0 0 0 4 0 0 1 4 2 1 3 * * * * * * * * * * * * * * * * * * * * * * * 4 1 2 4 3 4 2 4 1 0 2 3 1 3 3 * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 3 0 2 2 4 0 0 3 1 4 3 * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 2 4 1 4 0 3 2 1 4 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 2 4 0 2 1 1 3 4 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 3 0 0 4 0 4 2 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 3 3 1 4 4 4 0 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 4 3 4 1 1 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 1 1 3 2 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 4 2 3 4 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 1 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 4 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 2519.76/2520.00 v </instantiation>
OK 4
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-4261776-1502407943/watcher-4261776-1502407943 -o /tmp/evaluation-result-4261776-1502407943/solver-4261776-1502407943 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1722781521 HOME/instance-4261776-1502407943.xml pid=19274 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.05 2.03 2.05 3/180 19277 /proc/meminfo: memFree=31244612/32770624 swapFree=0/537824 [pid=19277] ppid=19274 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/19277/stat : 19277 (runsolver) D 19274 19277 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 42987826 24240128 106 18446744073709551615 4194304 4338465 140734843787840 140734843785480 140417980109527 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37445632 140734843789452 140734843789898 140734843789898 140734843793354 0 /proc/19277/statm: 5918 106 53 36 0 2156 0 [startup+0.100169 s] /proc/loadavg: 2.05 2.03 2.05 3/180 19277 /proc/meminfo: memFree=31244612/32770624 swapFree=0/537824 [pid=19277] ppid=19274 vsize=28792 CPUtime=0 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 931 0 0 0 0 0 0 0 20 0 1 0 42987826 29483008 763 18446744073709551615 4194304 7396336 140730248241008 140730248238008 140490084887525 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 7198 763 591 782 0 214 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 28792 [startup+0.200327 s] /proc/loadavg: 2.05 2.03 2.05 3/180 19277 /proc/meminfo: memFree=31244612/32770624 swapFree=0/537824 [pid=19277] ppid=19274 vsize=30732 CPUtime=0.1 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 1438 0 0 0 10 0 0 0 20 0 1 0 42987826 31469568 1224 18446744073709551615 4194304 7396336 140730248241008 140730248238008 5880818 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 7683 1224 614 782 0 699 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 30732 [startup+0.300323 s] /proc/loadavg: 2.05 2.03 2.05 3/180 19277 /proc/meminfo: memFree=31244612/32770624 swapFree=0/537824 [pid=19277] ppid=19274 vsize=31188 CPUtime=0.2 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 1668 0 0 0 20 0 0 0 20 0 1 0 42987826 31936512 1436 18446744073709551615 4194304 7396336 140730248241008 140730248238008 140490091078720 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 7797 1436 724 782 0 813 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 31188 [startup+0.700283 s] /proc/loadavg: 2.05 2.03 2.05 3/180 19277 /proc/meminfo: memFree=31244612/32770624 swapFree=0/537824 [pid=19277] ppid=19274 vsize=33536 CPUtime=0.6 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 2294 0 0 0 60 0 0 0 20 0 1 0 42987826 34340864 2043 18446744073709551615 4194304 7396336 140730248241008 140730248229816 6099253 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 8384 2043 724 782 0 1400 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 33536 [startup+1.50028 s] /proc/loadavg: 2.05 2.03 2.05 4/181 19278 /proc/meminfo: memFree=31239592/32770624 swapFree=0/538028 [pid=19277] ppid=19274 vsize=36916 CPUtime=1.39 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 3168 0 0 0 139 0 0 0 20 0 1 0 42987826 37801984 2897 18446744073709551615 4194304 7396336 140730248241008 140730248229816 6200597 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 9229 2897 725 782 0 2245 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 36916 [startup+3.10028 s] /proc/loadavg: 2.05 2.03 2.05 4/181 19278 /proc/meminfo: memFree=31234508/32770624 swapFree=0/538028 [pid=19277] ppid=19274 vsize=45056 CPUtime=3 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 7710 0 0 0 299 1 0 0 20 0 1 0 42987826 46137344 4929 18446744073709551615 4194304 7396336 140730248241008 140730248231560 5922985 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 11264 4929 725 782 0 4280 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 45056 [startup+6.30028 s] /proc/loadavg: 2.05 2.03 2.05 4/181 19278 /proc/meminfo: memFree=31218408/32770624 swapFree=0/538028 [pid=19277] ppid=19274 vsize=57824 CPUtime=6.19 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 12266 0 0 0 618 1 0 0 20 0 1 0 42987826 59211776 8094 18446744073709551615 4194304 7396336 140730248241008 140730248231560 6207594 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 14456 8094 725 782 0 7472 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 57824 [startup+12.7003 s] /proc/loadavg: 2.13 2.04 2.05 4/181 19278 /proc/meminfo: memFree=31187348/32770624 swapFree=0/538028 [pid=19277] ppid=19274 vsize=87652 CPUtime=12.6 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 26998 0 0 0 1257 3 0 0 20 0 1 0 42987826 89755648 15576 18446744073709551615 4194304 7396336 140730248241008 140730248231496 6077069 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 21913 15576 725 782 0 14929 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 87652 [startup+25.5003 s] /proc/loadavg: 2.17 2.06 2.06 4/181 19278 /proc/meminfo: memFree=31162576/32770624 swapFree=0/537820 [pid=19277] ppid=19274 vsize=110316 CPUtime=25.4 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 59387 0 0 0 2535 5 0 0 20 0 1 0 42987826 112963584 21326 18446744073709551615 4194304 7396336 140730248241008 140730248235720 5575980 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 27579 21326 770 782 0 20595 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 110316 [startup+51.1003 s] /proc/loadavg: 2.11 2.05 2.05 4/181 19278 /proc/meminfo: memFree=31161832/32770624 swapFree=0/537820 [pid=19277] ppid=19274 vsize=111240 CPUtime=50.99 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 72289 0 0 0 5094 5 0 0 20 0 1 0 42987826 113909760 21559 18446744073709551615 4194304 7396336 140730248241008 140730248235288 4257784 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 27810 21559 770 782 0 20826 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 111240 [startup+102.3 s] /proc/loadavg: 2.05 2.04 2.05 4/181 19280 /proc/meminfo: memFree=31159060/32770624 swapFree=0/537836 [pid=19277] ppid=19274 vsize=112164 CPUtime=102.18 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 89891 0 0 0 10212 6 0 0 20 0 1 0 42987826 114855936 21792 18446744073709551615 4194304 7396336 140730248241008 140730248235288 5610008 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28041 21792 770 782 0 21057 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 112164 [startup+162.3 s] /proc/loadavg: 2.02 2.04 2.05 4/184 19296 /proc/meminfo: memFree=31153852/32770624 swapFree=0/537852 [pid=19277] ppid=19274 vsize=112296 CPUtime=162.16 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 90809 0 0 0 16210 6 0 0 20 0 1 0 42987826 114991104 21841 18446744073709551615 4194304 7396336 140730248241008 140730248235288 4252455 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28074 21841 770 782 0 21090 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 112296 [startup+222.306 s] /proc/loadavg: 2.01 2.03 2.05 4/180 19298 /proc/meminfo: memFree=31156584/32770624 swapFree=0/537884 [pid=19277] ppid=19274 vsize=113088 CPUtime=222.16 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 91928 0 0 0 22210 6 0 0 20 0 1 0 42987826 115802112 21973 18446744073709551615 4194304 7396336 140730248241008 140730248235288 4249751 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28272 21973 770 782 0 21288 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 113088 [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.05 4/181 19301 /proc/meminfo: memFree=31155700/32770624 swapFree=0/537888 [pid=19277] ppid=19274 vsize=113088 CPUtime=282.15 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 92854 0 0 0 28209 6 0 0 20 0 1 0 42987826 115802112 22027 18446744073709551615 4194304 7396336 140730248241008 140730248235288 4249751 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28272 22027 770 782 0 21288 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 113088 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.05 4/181 19303 /proc/meminfo: memFree=31157388/32770624 swapFree=0/537928 [pid=19277] ppid=19274 vsize=113220 CPUtime=342.15 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 93510 0 0 0 34209 6 0 0 20 0 1 0 42987826 115937280 22044 18446744073709551615 4194304 7396336 140730248241008 140730248235288 140490084887525 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28305 22044 770 782 0 21321 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 113220 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19305 /proc/meminfo: memFree=31155092/32770624 swapFree=0/537944 [pid=19277] ppid=19274 vsize=114540 CPUtime=402.14 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 94767 0 0 0 40208 6 0 0 20 0 1 0 42987826 117288960 22385 18446744073709551615 4194304 7396336 140730248241008 140730248235672 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28635 22385 772 782 0 21651 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 114540 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19309 /proc/meminfo: memFree=31155588/32770624 swapFree=0/537976 [pid=19277] ppid=19274 vsize=114672 CPUtime=462.14 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 95250 0 0 0 46208 6 0 0 20 0 1 0 42987826 117424128 22414 18446744073709551615 4194304 7396336 140730248241008 140730248235288 5165834 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28668 22414 772 782 0 21684 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 114672 [startup+522.3 s] /proc/loadavg: 2.05 2.03 2.05 4/181 19311 /proc/meminfo: memFree=31155900/32770624 swapFree=0/537984 [pid=19277] ppid=19274 vsize=114672 CPUtime=522.14 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 95720 0 0 0 52208 6 0 0 20 0 1 0 42987826 117424128 22421 18446744073709551615 4194304 7396336 140730248241008 140730248235288 5165846 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28668 22421 772 782 0 21684 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 114672 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.05 4/181 19313 /proc/meminfo: memFree=31156064/32770624 swapFree=0/537992 [pid=19277] ppid=19274 vsize=114672 CPUtime=582.13 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 96193 0 0 0 58207 6 0 0 20 0 1 0 42987826 117424128 22424 18446744073709551615 4194304 7396336 140730248241008 140730248235288 5165842 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28668 22424 772 782 0 21684 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 114672 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.05 4/181 19377 /proc/meminfo: memFree=31154540/32770624 swapFree=0/538252 [pid=19277] ppid=19274 vsize=115388 CPUtime=1602.09 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 105464 0 0 0 160202 7 0 0 20 0 1 0 42987826 118157312 22600 18446744073709551615 4194304 7396336 140730248241008 140730248236024 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28847 22600 772 782 0 21863 0 Current children cumulated CPU time (s) 1602.09 Current children cumulated vsize (KiB) 115388 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.05 4/181 19379 /proc/meminfo: memFree=31154464/32770624 swapFree=0/538288 [pid=19277] ppid=19274 vsize=115388 CPUtime=1662.09 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 106108 0 0 0 166202 7 0 0 20 0 1 0 42987826 118157312 22621 18446744073709551615 4194304 7396336 140730248241008 140730248236024 5165945 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28847 22621 772 782 0 21863 0 Current children cumulated CPU time (s) 1662.09 Current children cumulated vsize (KiB) 115388 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19381 /proc/meminfo: memFree=31153736/32770624 swapFree=0/538308 [pid=19277] ppid=19274 vsize=115520 CPUtime=1722.09 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 106761 0 0 0 172202 7 0 0 20 0 1 0 42987826 118292480 22627 18446744073709551615 4194304 7396336 140730248241008 140730248235416 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22627 772 782 0 21896 0 Current children cumulated CPU time (s) 1722.09 Current children cumulated vsize (KiB) 115520 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19383 /proc/meminfo: memFree=31154228/32770624 swapFree=0/538320 [pid=19277] ppid=19274 vsize=115520 CPUtime=1782.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 107401 0 0 0 178201 7 0 0 20 0 1 0 42987826 118292480 22636 18446744073709551615 4194304 7396336 140730248241008 140730248235416 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22636 772 782 0 21896 0 Current children cumulated CPU time (s) 1782.08 Current children cumulated vsize (KiB) 115520 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19385 /proc/meminfo: memFree=31154108/32770624 swapFree=0/538356 [pid=19277] ppid=19274 vsize=115520 CPUtime=1842.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 108045 0 0 0 184201 7 0 0 20 0 1 0 42987826 118292480 22642 18446744073709551615 4194304 7396336 140730248241008 140730248235416 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22642 772 782 0 21896 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 115520 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19387 /proc/meminfo: memFree=31154232/32770624 swapFree=0/538372 [pid=19277] ppid=19274 vsize=115520 CPUtime=1902.09 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 108692 0 0 0 190201 8 0 0 20 0 1 0 42987826 118292480 22645 18446744073709551615 4194304 7396336 140730248241008 140730248235416 4246577 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22645 772 782 0 21896 0 Current children cumulated CPU time (s) 1902.09 Current children cumulated vsize (KiB) 115520 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 4/184 19403 /proc/meminfo: memFree=31150052/32770624 swapFree=0/538372 [pid=19277] ppid=19274 vsize=115520 CPUtime=1962.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 109346 0 0 0 196200 8 0 0 20 0 1 0 42987826 118292480 22648 18446744073709551615 4194304 7396336 140730248241008 140730248235416 5165796 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22648 772 782 0 21896 0 Current children cumulated CPU time (s) 1962.08 Current children cumulated vsize (KiB) 115520 [startup+2022.3 s] /proc/loadavg: 2.06 2.03 2.05 4/181 19405 /proc/meminfo: memFree=31153720/32770624 swapFree=0/538392 [pid=19277] ppid=19274 vsize=115520 CPUtime=2022.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 110013 0 0 0 202200 8 0 0 20 0 1 0 42987826 118292480 22651 18446744073709551615 4194304 7396336 140730248241008 140730248235416 4246639 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22651 772 782 0 21896 0 Current children cumulated CPU time (s) 2022.08 Current children cumulated vsize (KiB) 115520 [startup+2082.3 s] /proc/loadavg: 2.02 2.02 2.05 4/181 19407 /proc/meminfo: memFree=31153736/32770624 swapFree=0/538396 [pid=19277] ppid=19274 vsize=115520 CPUtime=2082.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 110676 0 0 0 208200 8 0 0 20 0 1 0 42987826 118292480 22655 18446744073709551615 4194304 7396336 140730248241008 140730248235416 5773655 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28880 22655 772 782 0 21896 0 Current children cumulated CPU time (s) 2082.08 Current children cumulated vsize (KiB) 115520 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 4/181 19409 /proc/meminfo: memFree=31154316/32770624 swapFree=0/538396 [pid=19277] ppid=19274 vsize=115652 CPUtime=2142.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 111351 0 0 0 214200 8 0 0 20 0 1 0 42987826 118427648 22660 18446744073709551615 4194304 7396336 140730248241008 140730248235352 5165805 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22660 772 782 0 21929 0 Current children cumulated CPU time (s) 2142.08 Current children cumulated vsize (KiB) 115652 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19411 /proc/meminfo: memFree=31154052/32770624 swapFree=0/538412 [pid=19277] ppid=19274 vsize=115652 CPUtime=2202.08 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 112030 0 0 0 220200 8 0 0 20 0 1 0 42987826 118427648 22663 18446744073709551615 4194304 7396336 140730248241008 140730248235352 4257799 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22663 772 782 0 21929 0 Current children cumulated CPU time (s) 2202.08 Current children cumulated vsize (KiB) 115652 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19414 /proc/meminfo: memFree=31154028/32770624 swapFree=0/538424 [pid=19277] ppid=19274 vsize=115652 CPUtime=2262.07 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 112708 0 0 0 226199 8 0 0 20 0 1 0 42987826 118427648 22667 18446744073709551615 4194304 7396336 140730248241008 140730248235352 4246640 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22667 772 782 0 21929 0 Current children cumulated CPU time (s) 2262.07 Current children cumulated vsize (KiB) 115652 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19416 /proc/meminfo: memFree=31153672/32770624 swapFree=0/538428 [pid=19277] ppid=19274 vsize=115652 CPUtime=2322.07 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 113389 0 0 0 232199 8 0 0 20 0 1 0 42987826 118427648 22671 18446744073709551615 4194304 7396336 140730248241008 140730248235352 5165821 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22671 772 782 0 21929 0 Current children cumulated CPU time (s) 2322.07 Current children cumulated vsize (KiB) 115652 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 4/181 19418 /proc/meminfo: memFree=31153664/32770624 swapFree=0/538444 [pid=19277] ppid=19274 vsize=115652 CPUtime=2382.07 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 114085 0 0 0 238199 8 0 0 20 0 1 0 42987826 118427648 22675 18446744073709551615 4194304 7396336 140730248241008 140730248235352 5165763 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22675 772 782 0 21929 0 Current children cumulated CPU time (s) 2382.07 Current children cumulated vsize (KiB) 115652 [startup+2442.3 s] /proc/loadavg: 1.44 1.86 1.99 2/174 19466 /proc/meminfo: memFree=31195984/32770624 swapFree=0/538440 [pid=19277] ppid=19274 vsize=115652 CPUtime=2442.06 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 114766 0 0 0 244198 8 0 0 20 0 1 0 42987826 118427648 22679 18446744073709551615 4194304 7396336 140730248241008 140730248235352 4246597 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22679 772 782 0 21929 0 Current children cumulated CPU time (s) 2442.06 Current children cumulated vsize (KiB) 115652 [startup+2502.3 s] /proc/loadavg: 1.16 1.70 1.93 2/174 19468 /proc/meminfo: memFree=31196356/32770624 swapFree=0/538460 [pid=19277] ppid=19274 vsize=115652 CPUtime=2502.06 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 115467 0 0 0 250198 8 0 0 20 0 1 0 42987826 118427648 22682 18446744073709551615 4194304 7396336 140730248241008 140730248235352 4246647 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22682 772 782 0 21929 0 Current children cumulated CPU time (s) 2502.06 Current children cumulated vsize (KiB) 115652 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 1.11 1.66 1.91 2/177 19483 /proc/meminfo: memFree=31191312/32770624 swapFree=0/538460 [pid=19277] ppid=19274 vsize=115652 CPUtime=2519.76 cores=0,2,4,6 /proc/19277/stat : 19277 (MistralXCSP) R 19274 19277 16590 0 -1 4202496 116140 0 0 0 251968 8 0 0 20 0 1 0 42987826 118427648 22684 18446744073709551615 4194304 7396336 140730248241008 140730248235352 5165796 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 36790272 140730248245683 140730248245833 140730248245833 140730248249289 0 /proc/19277/statm: 28913 22684 772 782 0 21929 0 Current children cumulated CPU time (s) 2519.76 Current children cumulated vsize (KiB) 115652 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 19277 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.77 CPU user time (s): 2519.69 CPU system time (s): 0.081996 CPU usage (%): 99.9908 Max. virtual memory (cumulated for all children) (KiB): 115652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.69 system time used= 0.081996 maximum resident set size= 90756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116176 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= 42 involuntary context switches= 832 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.61827 second user time and 9.58075 second system time The end
Begin job on node127 at 2017-08-11 01:18:17 IDJOB=4261776 IDBENCH=140583 IDSOLVER=2649 FILE ID=node127/4261776-1502407943 RUNJOBID= node127-1502331240-8161 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-38.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261776-1502407943/watcher-4261776-1502407943 -o /tmp/evaluation-result-4261776-1502407943/solver-4261776-1502407943 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1722781521 HOME/instance-4261776-1502407943.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8d5128c7bc11e119a8a7f8e485ceae3 RANDOM SEED=1722781521 node127.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.92 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.92 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.92 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.92 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: 31244892 kB MemAvailable: 31969852 kB Buffers: 236968 kB Cached: 779196 kB SwapCached: 0 kB Active: 543468 kB Inactive: 562732 kB Active(anon): 90536 kB Inactive(anon): 24908 kB Active(file): 452932 kB Inactive(file): 537824 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6272 kB Writeback: 0 kB AnonPages: 89892 kB Mapped: 41920 kB Shmem: 25252 kB Slab: 125360 kB SReclaimable: 100076 kB SUnreclaim: 25284 kB KernelStack: 3216 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 350828 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 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 node127 at 2017-08-11 02:00:17