Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 4 | 2400.0801 | 2400.3101 |
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 Mistral-2017-06-28 340.06/340.27 o 6 340.16/340.32 o 5 1516.50/1516.71 o 4 2400.08/2400.30 s SATISFIABLE 2400.08/2400.30 v <instantiation type="solution"> 2400.08/2400.30 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> 2400.08/2400.30 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> 2400.08/2400.30 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-4242274-1502100079/watcher-4242274-1502100079 -o /tmp/evaluation-result-4242274-1502100079/solver-4242274-1502100079 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1776840851 HOME/instance-4242274-1502100079.xml pid=5959 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.01 2.04 2/180 5962 /proc/meminfo: memFree=31602744/32770624 swapFree=0/378524 [pid=5962] ppid=5959 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/5962/stat : 5962 (runsolver) D 5959 5962 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12201614 24240128 106 18446744073709551615 4194304 4338465 140736012613376 140736012611016 139922070790871 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16658432 140736012619915 140736012620362 140736012620362 140736012623818 0 /proc/5962/statm: 5918 106 53 36 0 2156 0 [startup+0.100152 s] /proc/loadavg: 2.08 2.01 2.04 2/180 5962 /proc/meminfo: memFree=31602744/32770624 swapFree=0/378524 [pid=5962] ppid=5959 vsize=30372 CPUtime=0.01 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 1371 0 0 0 1 0 0 0 20 0 1 0 12201614 31100928 1160 18446744073709551615 4194304 7402444 140735915945728 140735915942776 6143796 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 7593 1160 619 784 0 607 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 30372 [startup+0.200287 s] /proc/loadavg: 2.08 2.01 2.04 2/180 5962 /proc/meminfo: memFree=31602744/32770624 swapFree=0/378524 [pid=5962] ppid=5959 vsize=30740 CPUtime=0.11 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 1460 0 0 0 11 0 0 0 20 0 1 0 12201614 31477760 1292 18446744073709551615 4194304 7402444 140735915945728 140735915942776 139636806710161 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 7685 1292 632 784 0 699 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 30740 [startup+0.300246 s] /proc/loadavg: 2.08 2.01 2.04 2/180 5962 /proc/meminfo: memFree=31602744/32770624 swapFree=0/378524 [pid=5962] ppid=5959 vsize=31196 CPUtime=0.21 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 1692 0 0 0 21 0 0 0 20 0 1 0 12201614 31944704 1454 18446744073709551615 4194304 7402444 140735915945728 140735915942776 139636800503604 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 7799 1454 733 784 0 813 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 31196 [startup+0.700227 s] /proc/loadavg: 2.08 2.01 2.04 2/180 5962 /proc/meminfo: memFree=31602744/32770624 swapFree=0/378524 [pid=5962] ppid=5959 vsize=33544 CPUtime=0.6 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 2303 0 0 0 60 0 0 0 20 0 1 0 12201614 34349056 2052 18446744073709551615 4194304 7402444 140735915945728 140735915936216 6047855 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 8386 2052 733 784 0 1400 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 33544 [startup+1.50022 s] /proc/loadavg: 2.08 2.01 2.04 3/181 5963 /proc/meminfo: memFree=31595944/32770624 swapFree=0/378476 [pid=5962] ppid=5959 vsize=37196 CPUtime=1.4 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 3240 0 0 0 140 0 0 0 20 0 1 0 12201614 38088704 2972 18446744073709551615 4194304 7402444 140735915945728 140735915936216 6015243 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 9299 2972 733 784 0 2313 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 37196 [startup+3.10022 s] /proc/loadavg: 2.08 2.01 2.04 3/181 5963 /proc/meminfo: memFree=31591020/32770624 swapFree=0/378524 [pid=5962] ppid=5959 vsize=45348 CPUtime=3 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 7863 0 0 0 300 0 0 0 20 0 1 0 12201614 46436352 4976 18446744073709551615 4194304 7402444 140735915945728 140735915936216 6030204 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 11337 4976 733 784 0 4351 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 45348 [startup+6.30023 s] /proc/loadavg: 2.15 2.03 2.05 3/181 5963 /proc/meminfo: memFree=31575060/32770624 swapFree=0/378536 [pid=5962] ppid=5959 vsize=58664 CPUtime=6.2 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 12620 0 0 0 619 1 0 0 20 0 1 0 12201614 60071936 8326 18446744073709551615 4194304 7402444 140735915945728 140735915936280 5929149 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 14666 8326 733 784 0 7680 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 58664 [startup+12.7002 s] /proc/loadavg: 2.14 2.03 2.05 3/181 5963 /proc/meminfo: memFree=31543808/32770624 swapFree=0/378544 [pid=5962] ppid=5959 vsize=89372 CPUtime=12.61 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 28381 0 0 0 1258 3 0 0 20 0 1 0 12201614 91516928 16002 18446744073709551615 4194304 7402444 140735915945728 140735915936280 6011259 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 22343 16002 733 784 0 15357 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 89372 [startup+25.5003 s] /proc/loadavg: 2.11 2.02 2.05 3/181 5964 /proc/meminfo: memFree=31520548/32770624 swapFree=0/378552 [pid=5962] ppid=5959 vsize=110324 CPUtime=25.4 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 59519 0 0 0 2536 4 0 0 20 0 1 0 12201614 112971776 21351 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5824039 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 27581 21351 776 784 0 20595 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 110324 [startup+51.1003 s] /proc/loadavg: 2.07 2.02 2.05 3/181 5964 /proc/meminfo: memFree=31519680/32770624 swapFree=0/378560 [pid=5962] ppid=5959 vsize=111248 CPUtime=51 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 74537 0 0 0 5095 5 0 0 20 0 1 0 12201614 113917952 21565 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5871603 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 27812 21565 776 784 0 20826 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 111248 [startup+102.3 s] /proc/loadavg: 2.03 2.02 2.05 3/181 5966 /proc/meminfo: memFree=31518188/32770624 swapFree=0/378596 [pid=5962] ppid=5959 vsize=112304 CPUtime=102.19 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 92790 0 0 0 10213 6 0 0 20 0 1 0 12201614 114999296 21825 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5878255 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28076 21825 776 784 0 21090 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 112304 [startup+162.3 s] /proc/loadavg: 1.95 2.00 2.04 3/181 5968 /proc/meminfo: memFree=31517748/32770624 swapFree=0/378624 [pid=5962] ppid=5959 vsize=112304 CPUtime=162.17 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 95661 0 0 0 16211 6 0 0 20 0 1 0 12201614 114999296 21847 18446744073709551615 4194304 7402444 140735915945728 140735915940008 4680496 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28076 21847 776 784 0 21090 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 112304 [startup+222.306 s] /proc/loadavg: 1.98 2.00 2.04 3/184 5984 /proc/meminfo: memFree=31511268/32770624 swapFree=0/378684 [pid=5962] ppid=5959 vsize=113096 CPUtime=222.17 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 96679 0 0 0 22211 6 0 0 20 0 1 0 12201614 115810304 22021 18446744073709551615 4194304 7402444 140735915945728 140735915940008 4724736 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28274 22021 776 784 0 21288 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 113096 [startup+282.3 s] /proc/loadavg: 2.03 2.01 2.05 3/181 5986 /proc/meminfo: memFree=31514416/32770624 swapFree=0/378720 [pid=5962] ppid=5959 vsize=113096 CPUtime=282.16 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 97643 0 0 0 28210 6 0 0 20 0 1 0 12201614 115810304 22035 18446744073709551615 4194304 7402444 140735915945728 140735915940008 4262907 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28274 22035 776 784 0 21288 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 113096 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.05 3/181 5988 /proc/meminfo: memFree=31513284/32770624 swapFree=0/378744 [pid=5962] ppid=5959 vsize=114416 CPUtime=342.16 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 99130 0 0 0 34210 6 0 0 20 0 1 0 12201614 117161984 22363 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5327353 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28604 22363 777 784 0 21618 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 114416 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5990 /proc/meminfo: memFree=31513532/32770624 swapFree=0/378776 [pid=5962] ppid=5959 vsize=114548 CPUtime=402.15 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 100472 0 0 0 40209 6 0 0 20 0 1 0 12201614 117297152 22393 18446744073709551615 4194304 7402444 140735915945728 140735915940424 5327250 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28637 22393 777 784 0 21651 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 114548 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5992 /proc/meminfo: memFree=31513716/32770624 swapFree=0/378804 [pid=5962] ppid=5959 vsize=114680 CPUtime=462.16 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 101913 0 0 0 46209 7 0 0 20 0 1 0 12201614 117432320 22422 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5747605 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28670 22422 777 784 0 21684 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 114680 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5995 /proc/meminfo: memFree=31513548/32770624 swapFree=0/378840 [pid=5962] ppid=5959 vsize=114680 CPUtime=522.15 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 102809 0 0 0 52208 7 0 0 20 0 1 0 12201614 117432320 22426 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5327336 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28670 22426 777 784 0 21684 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 114680 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5997 /proc/meminfo: memFree=31514044/32770624 swapFree=0/378868 [pid=5962] ppid=5959 vsize=114680 CPUtime=582.15 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 103679 0 0 0 58208 7 0 0 20 0 1 0 12201614 117432320 22429 18446744073709551615 4194304 7402444 140735915945728 140735915940008 5327213 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28670 22429 777 784 0 21684 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 114680 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.08 2.04 2.05 3/181 6143 /proc/meminfo: memFree=31469564/32770624 swapFree=0/379544 [pid=5962] ppid=5959 vsize=115396 CPUtime=1542.11 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 119137 0 0 0 154204 7 0 0 20 0 1 0 12201614 118165504 22601 18446744073709551615 4194304 7402444 140735915945728 140735915940744 5327336 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28849 22601 777 784 0 21863 0 Current children cumulated CPU time (s) 1542.11 Current children cumulated vsize (KiB) 115396 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.05 3/180 6145 /proc/meminfo: memFree=31471212/32770624 swapFree=0/379572 [pid=5962] ppid=5959 vsize=115396 CPUtime=1602.11 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 120171 0 0 0 160203 8 0 0 20 0 1 0 12201614 118165504 22618 18446744073709551615 4194304 7402444 140735915945728 140735915940744 5327250 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28849 22618 777 784 0 21863 0 Current children cumulated CPU time (s) 1602.11 Current children cumulated vsize (KiB) 115396 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 6148 /proc/meminfo: memFree=31469956/32770624 swapFree=0/379596 [pid=5962] ppid=5959 vsize=115396 CPUtime=1662.11 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 121170 0 0 0 166203 8 0 0 20 0 1 0 12201614 118165504 22628 18446744073709551615 4194304 7402444 140735915945728 140735915940744 5746096 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28849 22628 777 784 0 21863 0 Current children cumulated CPU time (s) 1662.11 Current children cumulated vsize (KiB) 115396 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 6150 /proc/meminfo: memFree=31470452/32770624 swapFree=0/379640 [pid=5962] ppid=5959 vsize=115528 CPUtime=1722.1 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 122165 0 0 0 172202 8 0 0 20 0 1 0 12201614 118300672 22634 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22634 777 784 0 21896 0 Current children cumulated CPU time (s) 1722.1 Current children cumulated vsize (KiB) 115528 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.05 3/181 6152 /proc/meminfo: memFree=31470064/32770624 swapFree=0/379668 [pid=5962] ppid=5959 vsize=115528 CPUtime=1782.1 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 123129 0 0 0 178202 8 0 0 20 0 1 0 12201614 118300672 22641 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22641 777 784 0 21896 0 Current children cumulated CPU time (s) 1782.1 Current children cumulated vsize (KiB) 115528 [startup+1842.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 6154 /proc/meminfo: memFree=31469940/32770624 swapFree=0/379692 [pid=5962] ppid=5959 vsize=115528 CPUtime=1842.09 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 124103 0 0 0 184201 8 0 0 20 0 1 0 12201614 118300672 22645 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327336 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22645 777 784 0 21896 0 Current children cumulated CPU time (s) 1842.09 Current children cumulated vsize (KiB) 115528 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 6156 /proc/meminfo: memFree=31469476/32770624 swapFree=0/379728 [pid=5962] ppid=5959 vsize=115528 CPUtime=1902.09 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 125084 0 0 0 190201 8 0 0 20 0 1 0 12201614 118300672 22650 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22650 777 784 0 21896 0 Current children cumulated CPU time (s) 1902.09 Current children cumulated vsize (KiB) 115528 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 6158 /proc/meminfo: memFree=31469104/32770624 swapFree=0/379756 [pid=5962] ppid=5959 vsize=115528 CPUtime=1962.09 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 126062 0 0 0 196201 8 0 0 20 0 1 0 12201614 118300672 22653 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22653 777 784 0 21896 0 Current children cumulated CPU time (s) 1962.09 Current children cumulated vsize (KiB) 115528 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 6175 /proc/meminfo: memFree=31465204/32770624 swapFree=0/379812 [pid=5962] ppid=5959 vsize=115528 CPUtime=2022.09 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 127059 0 0 0 202201 8 0 0 20 0 1 0 12201614 118300672 22656 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22656 777 784 0 21896 0 Current children cumulated CPU time (s) 2022.09 Current children cumulated vsize (KiB) 115528 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6177 /proc/meminfo: memFree=31468040/32770624 swapFree=0/379848 [pid=5962] ppid=5959 vsize=115528 CPUtime=2082.09 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 128019 0 0 0 208201 8 0 0 20 0 1 0 12201614 118300672 22663 18446744073709551615 4194304 7402444 140735915945728 140735915940136 5327208 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28882 22663 777 784 0 21896 0 Current children cumulated CPU time (s) 2082.09 Current children cumulated vsize (KiB) 115528 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/183 6180 /proc/meminfo: memFree=31468380/32770624 swapFree=0/379880 [pid=5962] ppid=5959 vsize=115660 CPUtime=2142.08 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 129026 0 0 0 214200 8 0 0 20 0 1 0 12201614 118435840 22665 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22665 777 784 0 21929 0 Current children cumulated CPU time (s) 2142.08 Current children cumulated vsize (KiB) 115660 [startup+2202.31 s] /proc/loadavg: 2.12 2.04 2.05 3/183 6182 /proc/meminfo: memFree=31468380/32770624 swapFree=0/379908 [pid=5962] ppid=5959 vsize=115660 CPUtime=2202.08 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 130039 0 0 0 220200 8 0 0 20 0 1 0 12201614 118435840 22670 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5327179 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22670 777 784 0 21929 0 Current children cumulated CPU time (s) 2202.08 Current children cumulated vsize (KiB) 115660 [startup+2262.3 s] /proc/loadavg: 2.05 2.04 2.05 3/183 6184 /proc/meminfo: memFree=31468380/32770624 swapFree=0/379940 [pid=5962] ppid=5959 vsize=115660 CPUtime=2262.07 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 131044 0 0 0 226199 8 0 0 20 0 1 0 12201614 118435840 22673 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22673 777 784 0 21929 0 Current children cumulated CPU time (s) 2262.07 Current children cumulated vsize (KiB) 115660 [startup+2322.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 6187 /proc/meminfo: memFree=31468024/32770624 swapFree=0/379980 [pid=5962] ppid=5959 vsize=115660 CPUtime=2322.07 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 132048 0 0 0 232199 8 0 0 20 0 1 0 12201614 118435840 22676 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5327213 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22676 777 784 0 21929 0 Current children cumulated CPU time (s) 2322.07 Current children cumulated vsize (KiB) 115660 [startup+2382.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 6189 /proc/meminfo: memFree=31467900/32770624 swapFree=0/380012 [pid=5962] ppid=5959 vsize=115660 CPUtime=2382.07 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 133089 0 0 0 238198 9 0 0 20 0 1 0 12201614 118435840 22680 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5327250 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22680 777 784 0 21929 0 Current children cumulated CPU time (s) 2382.07 Current children cumulated vsize (KiB) 115660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6190 /proc/meminfo: memFree=31468512/32770624 swapFree=0/380032 [pid=5962] ppid=5959 vsize=115660 CPUtime=2400.08 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 134000 0 0 0 239999 9 0 0 20 0 1 0 12201614 118435840 22684 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5747647 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22684 777 784 0 21929 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 115660 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 5962 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6190 /proc/meminfo: memFree=31468512/32770624 swapFree=0/380032 [pid=5962] ppid=5959 vsize=115660 CPUtime=2400.08 cores=1,3,5,7 /proc/5962/stat : 5962 (MistralXCSP) R 5959 5962 20633 0 -1 4202496 134000 0 0 0 239999 9 0 0 20 0 1 0 12201614 118435840 22684 18446744073709551615 4194304 7402444 140735915945728 140735915940072 5747647 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9500608 9505824 38825984 140735915950515 140735915950665 140735915950665 140735915954121 0 /proc/5962/statm: 28915 22684 777 784 0 21929 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 115660 Child status: 0 Real time (s): 2400.31 CPU time (s): 2400.08 CPU user time (s): 2399.99 CPU system time (s): 0.091995 CPU usage (%): 99.9907 Max. virtual memory (cumulated for all children) (KiB): 115660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.99 system time used= 0.091995 maximum resident set size= 90760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134036 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= 41 involuntary context switches= 949 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.81554 second user time and 9.61257 second system time The end
Begin job on node127 at 2017-08-07 11:47:14 IDJOB=4242274 IDBENCH=140583 IDSOLVER=2622 FILE ID=node127/4242274-1502100079 RUNJOBID= node127-1502041295-28343 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-06-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-4242274-1502100079/watcher-4242274-1502100079 -o /tmp/evaluation-result-4242274-1502100079/solver-4242274-1502100079 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1776840851 HOME/instance-4242274-1502100079.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8d5128c7bc11e119a8a7f8e485ceae3 RANDOM SEED=1776840851 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: 31603116 kB MemAvailable: 31952476 kB Buffers: 145632 kB Cached: 491712 kB SwapCached: 0 kB Active: 363592 kB Inactive: 395240 kB Active(anon): 121828 kB Inactive(anon): 16716 kB Active(file): 241764 kB Inactive(file): 378524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 6264 kB Writeback: 4 kB AnonPages: 121252 kB Mapped: 33160 kB Shmem: 17060 kB Slab: 114352 kB SReclaimable: 89816 kB SUnreclaim: 24536 kB KernelStack: 3216 kB PageTables: 4972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 373364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 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= 62020 MiB End job on node127 at 2017-08-07 12:27:15