2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Mistral-2.0 2017-07-28	SAT (TO)	5	2519.96	2520

0.00/0.06	c 280717
629.91/630.09	o 6
675.02/675.12	o 5
2519.94/2520.00	s SATISFIABLE
2519.94/2520.00	v <instantiation type="solution">
2519.94/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[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] </list>
2519.94/2520.00	v   <values> * 5 3 0 4 2 5 5 1 5 1 2 3 5 3 3 1 2 5 3 1 1 1 5 3 1 5 4 5 2 4 1 5 2 0 4 1 3 3 1 4 3 5 2 3 3 * * 4 4 5 0 1 1 4 2 2 5 2 2 3 5 4 0 0 1 4 5 4 3 0 2 3 0 3 5 4 3 1 0 3 2 4 0 0 4 1 3 1 2 3 1 * * * 1 1 1 0 3 3 3 4 3 5 4 1 5 0 4 0 1 1 1 2 2 0 2 1 0 4 5 2 1 4 0 4 3 0 0 4 1 1 4 1 2 1 0 * * * * 4 4 1 5 1 4 2 5 3 3 4 3 2 1 1 3 5 2 5 3 3 4 0 0 3 0 1 5 1 4 4 5 2 0 2 5 2 2 2 0 3 0 * * * * * 5 1 2 1 1 2 4 5 1 3 1 3 3 0 4 3 4 2 2 0 3 3 0 5 3 1 3 3 2 2 2 0 0 1 2 2 3 4 4 4 1 * * * * * * 0 2 4 2 3 1 2 4 3 3 4 5 5 0 0 5 3 2 3 0 4 5 1 5 0 4 1 1 0 3 2 4 1 0 2 2 3 0 3 0 * * * * * * * 0 5 4 2 4 3 4 4 3 5 0 2 2 4 2 2 2 3 1 0 2 0 0 4 2 0 1 1 3 4 1 3 1 5 3 4 1 1 3 * * * * * * * * 0 0 4 1 4 2 0 1 3 3 4 0 2 2 4 3 0 4 2 2 1 3 0 0 2 3 5 1 3 3 1 1 3 5 3 0 5 0 * * * * * * * * * 5 3 4 4 5 5 0 0 2 5 4 2 2 2 3 2 4 2 0 2 3 3 5 2 0 4 1 0 3 4 0 4 2 3 5 3 2 * * * * * * * * * * 1 2 3 0 2 5 3 0 1 2 1 4 4 3 1 1 0 2 0 0 3 1 0 3 0 5 1 1 5 2 5 3 1 1 1 4 * * * * * * * * * * * 1 3 3 2 5 3 1 3 1 5 5 0 4 0 0 0 4 1 2 0 0 1 3 5 4 4 4 1 4 4 3 5 0 0 2 * * * * * * * * * * * * 2 2 0 3 4 4 3 5 2 1 1 4 1 2 2 4 4 1 5 2 2 5 1 4 1 1 0 3 1 0 0 1 5 3 * * * * * * * * * * * * * 1 0 4 4 3 2 2 1 2 0 4 0 1 0 4 0 1 1 0 3 5 3 5 3 0 1 1 5 4 3 1 4 0 * * * * * * * * * * * * * * 0 4 5 3 2 5 3 4 0 2 1 3 1 4 1 5 0 3 1 4 1 3 0 5 3 3 4 0 2 4 2 3 * * * * * * * * * * * * * * * 0 4 1 1 5 0 3 5 5 1 5 5 4 1 1 1 2 1 5 1 2 2 2 5 3 5 4 2 2 0 4 * * * * * * * * * * * * * * * * 5 1 1 5 4 0 4 0 0 1 2 1 0 1 4 3 4 5 1 2 4 1 4 2 3 5 4 2 5 2 * * * * * * * * * * * * * * * * * 2 2 2 5 5 0 0 1 4 0 3 5 1 2 0 0 4 4 5 5 1 4 5 1 0 4 0 2 3 * * * * * * * * * * * * * * * * * * 4 0 4 1 3 1 5 0 1 3 3 4 0 1 5 5 2 0 2 2 5 1 1 1 1 1 3 1 * * * * * * * * * * * * * * * * * * * 5 2 1 1 3 5 2 2 4 2 0 5 4 2 4 4 1 2 3 1 4 2 5 4 2 4 2 * * * * * * * * * * * * * * * * * * * * 2 5 0 1 4 3 3 4 0 1 1 4 4 2 3 3 4 0 0 5 2 4 3 2 0 2 * * * * * * * * * * * * * * * * * * * * * 4 0 2 4 5 4 5 3 2 5 4 0 3 3 1 3 2 5 2 0 1 2 4 2 5 * * * * * * * * * * * * * * * * * * * * * * 0 4 5 3 5 1 4 4 4 3 5 3 2 3 0 2 4 2 3 4 3 2 0 3 * * * * * * * * * * * * * * * * * * * * * * * 1 5 3 1 4 1 2 1 4 3 4 4 0 2 2 3 3 4 3 1 3 4 1 * * * * * * * * * * * * * * * * * * * * * * * * 4 3 2 1 2 5 5 5 2 1 4 5 0 1 1 3 0 5 4 5 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * 5 3 1 5 2 3 2 3 4 2 4 3 4 1 4 4 0 0 5 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 2 4 5 1 2 5 5 3 3 2 4 1 2 2 4 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 4 1 5 5 4 1 4 4 4 1 1 4 3 5 0 3 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 0 3 3 5 0 5 1 2 4 3 1 1 3 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 3 1 3 4 2 0 0 3 3 2 1 1 3 4 1 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 4 0 5 1 4 4 0 3 4 1 5 4 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 4 4 3 5 1 0 2 2 2 0 3 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 0 1 3 5 1 2 5 2 0 3 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 1 1 2 0 5 1 2 1 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 2 3 3 1 4 1 3 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 3 5 3 0 0 2 4 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 4 0 0 4 1 1 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 2 5 5 5 5 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 2 4 4 3 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 1 1 5 1 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 0 5 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 4 0 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.94/2520.00	v </instantiation>

Verifier Data

Watcher Data

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-4261780-1502408449/watcher-4261780-1502408449 -o /tmp/evaluation-result-4261780-1502408449/solver-4261780-1502408449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27115 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1676193068 HOME/instance-4261780-1502408449.xml 

pid=7047
running on 4 cores: 1,3,5,7

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.00 2.01 2.05 3/180 7050
/proc/meminfo: memFree=31623936/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7050/stat : 7050 (runsolver) D 7047 7050 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 29185558 24240128 106 18446744073709551615 4194304 4338465 140737324541472 140737324539112 140041497424599 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 17424384 140737324548235 140737324548682 140737324548682 140737324552138 0
/proc/7050/statm: 5918 106 53 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 7050
/proc/meminfo: memFree=31623936/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=31152 CPUtime=0.03 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 1536 0 0 0 3 0 0 0 20 0 1 0 29185558 31899648 1321 18446744073709551615 4194304 7396336 140723977699600 140723977696600 5876660 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 7788 1321 608 782 0 804 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 31152

[startup+0.200295 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 7050
/proc/meminfo: memFree=31623936/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=31528 CPUtime=0.13 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 1607 0 0 0 13 0 0 0 20 0 1 0 29185558 32284672 1387 18446744073709551615 4194304 7396336 140723977699600 140723977692840 6017689 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 7882 1387 614 782 0 898 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 31528

[startup+0.300251 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 7050
/proc/meminfo: memFree=31623936/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=31852 CPUtime=0.23 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 1730 0 0 0 23 0 0 0 20 0 1 0 29185558 32616448 1463 18446744073709551615 4194304 7396336 140723977699600 140723977692840 140222111878144 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 7963 1463 614 782 0 979 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 31852

[startup+0.700231 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 7050
/proc/meminfo: memFree=31623936/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=33804 CPUtime=0.63 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 2382 0 0 0 63 0 0 0 20 0 1 0 29185558 34615296 2110 18446744073709551615 4194304 7396336 140723977699600 140723977690088 140222117631142 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 8451 2110 724 782 0 1467 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 33804

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7051
/proc/meminfo: memFree=31617048/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=37544 CPUtime=1.43 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 3318 0 0 0 143 0 0 0 20 0 1 0 29185558 38445056 3031 18446744073709551615 4194304 7396336 140723977699600 140723977690152 140222117611680 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 9386 3031 724 782 0 2402 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 37544

[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7051
/proc/meminfo: memFree=31611968/32770624 swapFree=0/383636
[pid=7050] ppid=7047 vsize=45464 CPUtime=3.03 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 7837 0 0 0 303 0 0 0 20 0 1 0 29185558 46555136 5044 18446744073709551615 4194304 7396336 140723977699600 140723977690152 6163638 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 11366 5044 725 782 0 4382 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 45464

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7051
/proc/meminfo: memFree=31596280/32770624 swapFree=0/383644
[pid=7050] ppid=7047 vsize=58184 CPUtime=6.23 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 12282 0 0 0 622 1 0 0 20 0 1 0 29185558 59580416 8210 18446744073709551615 4194304 7396336 140723977699600 140723977690152 6163522 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 14546 8210 725 782 0 7562 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 58184

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7052
/proc/meminfo: memFree=31565584/32770624 swapFree=0/383644
[pid=7050] ppid=7047 vsize=88072 CPUtime=12.63 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 26958 0 0 0 1261 2 0 0 20 0 1 0 29185558 90185728 15645 18446744073709551615 4194304 7396336 140723977699600 140723977690152 6163895 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 22018 15645 725 782 0 15034 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 88072

[startup+25.5056 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7052
/proc/meminfo: memFree=31517968/32770624 swapFree=0/383652
[pid=7050] ppid=7047 vsize=133880 CPUtime=25.44 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 42703 0 0 0 2539 5 0 0 20 0 1 0 29185558 137093120 27108 18446744073709551615 4194304 7396336 140723977699600 140723977690152 140222118222509 0 0 1 0 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 33470 27108 725 782 0 26486 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 133880

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7052
/proc/meminfo: memFree=31462072/32770624 swapFree=0/383640
[pid=7050] ppid=7047 vsize=188728 CPUtime=51.02 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 101378 0 0 0 5092 10 0 0 20 0 1 0 29185558 193257472 40910 18446744073709551615 4194304 7396336 140723977699600 140723977694232 5165796 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47182 40910 767 782 0 40198 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 188728

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7055
/proc/meminfo: memFree=31461512/32770624 swapFree=0/383680
[pid=7050] ppid=7047 vsize=188728 CPUtime=102.2 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 116091 0 0 0 10209 11 0 0 20 0 1 0 29185558 193257472 40913 18446744073709551615 4194304 7396336 140723977699600 140723977694232 5839152 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47182 40913 770 782 0 40198 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 188728

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 7057
/proc/meminfo: memFree=31461608/32770624 swapFree=0/383676
[pid=7050] ppid=7047 vsize=188728 CPUtime=162.2 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 117272 0 0 0 16209 11 0 0 20 0 1 0 29185558 193257472 40913 18446744073709551615 4194304 7396336 140723977699600 140723977694232 5610185 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47182 40913 770 782 0 40198 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 188728

[startup+222.3 s]
/proc/loadavg: 2.20 2.07 2.06 3/185 7075
/proc/meminfo: memFree=31457704/32770624 swapFree=0/383724
[pid=7050] ppid=7047 vsize=188728 CPUtime=222.22 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 118394 0 0 0 22210 12 0 0 20 0 1 0 29185558 193257472 40913 18446744073709551615 4194304 7396336 140723977699600 140723977694232 4249440 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47182 40913 770 782 0 40198 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 188728

[startup+282.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/185 7077
/proc/meminfo: memFree=31457044/32770624 swapFree=0/383744
[pid=7050] ppid=7047 vsize=188728 CPUtime=282.21 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 119264 0 0 0 28209 12 0 0 20 0 1 0 29185558 193257472 40913 18446744073709551615 4194304 7396336 140723977699600 140723977694232 4252880 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47182 40913 770 782 0 40198 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 188728

[startup+342.306 s]
/proc/loadavg: 2.03 2.05 2.05 3/182 7079
/proc/meminfo: memFree=31459928/32770624 swapFree=0/383764
[pid=7050] ppid=7047 vsize=189652 CPUtime=342.22 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 120790 0 0 0 34210 12 0 0 20 0 1 0 29185558 194203648 41102 18446744073709551615 4194304 7396336 140723977699600 140723977693880 4252536 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47413 41102 770 782 0 40429 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 189652

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 7144
/proc/meminfo: memFree=31349352/32770624 swapFree=0/383764
[pid=7050] ppid=7047 vsize=189652 CPUtime=402.21 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 121997 0 0 0 40209 12 0 0 20 0 1 0 29185558 194203648 41158 18446744073709551615 4194304 7396336 140723977699600 140723977693880 5586259 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47413 41158 770 782 0 40429 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 189652

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 7147
/proc/meminfo: memFree=31340264/32770624 swapFree=0/383788
[pid=7050] ppid=7047 vsize=189652 CPUtime=462.21 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 123158 0 0 0 46209 12 0 0 20 0 1 0 29185558 194203648 41164 18446744073709551615 4194304 7396336 140723977699600 140723977693880 4323093 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47413 41164 770 782 0 40429 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 189652

[startup+522.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 7149
/proc/meminfo: memFree=31333944/32770624 swapFree=0/383804
[pid=7050] ppid=7047 vsize=189784 CPUtime=522.21 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 124490 0 0 0 52209 12 0 0 20 0 1 0 29185558 194338816 41164 18446744073709551615 4194304 7396336 140723977699600 140723977693880 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47446 41164 770 782 0 40462 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 189784

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 7151
/proc/meminfo: memFree=31334988/32770624 swapFree=0/383824
[pid=7050] ppid=7047 vsize=189784 CPUtime=582.21 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 125648 0 0 0 58209 12 0 0 20 0 1 0 29185558 194338816 41206 18446744073709551615 4194304 7396336 140723977699600 140723977693880 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 47446 41206 770 782 0 40462 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 189784


################
# More data... #
################


[startup+1662.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7215
/proc/meminfo: memFree=31321048/32770624 swapFree=0/384284
[pid=7050] ppid=7047 vsize=194536 CPUtime=1662.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 154949 0 0 0 166209 15 0 0 20 0 1 0 29185558 199204864 42390 18446744073709551615 4194304 7396336 140723977699600 140723977694024 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48634 42390 772 782 0 41650 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 194536

[startup+1722.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/181 7218
/proc/meminfo: memFree=31321172/32770624 swapFree=0/384308
[pid=7050] ppid=7047 vsize=194536 CPUtime=1722.23 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 156507 0 0 0 172208 15 0 0 20 0 1 0 29185558 199204864 42393 18446744073709551615 4194304 7396336 140723977699600 140723977694024 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48634 42393 772 782 0 41650 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 194536

[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/181 7220
/proc/meminfo: memFree=31321188/32770624 swapFree=0/384320
[pid=7050] ppid=7047 vsize=194536 CPUtime=1782.23 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 157999 0 0 0 178208 15 0 0 20 0 1 0 29185558 199204864 42394 18446744073709551615 4194304 7396336 140723977699600 140723977694024 5165796 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48634 42394 772 782 0 41650 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 194536

[startup+1842.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/181 7222
/proc/meminfo: memFree=31321436/32770624 swapFree=0/384332
[pid=7050] ppid=7047 vsize=194536 CPUtime=1842.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 159525 0 0 0 184208 16 0 0 20 0 1 0 29185558 199204864 42395 18446744073709551615 4194304 7396336 140723977699600 140723977694024 4246577 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48634 42395 772 782 0 41650 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 194536

[startup+1902.3 s]
/proc/loadavg: 2.14 2.09 2.06 3/181 7225
/proc/meminfo: memFree=31321188/32770624 swapFree=0/384344
[pid=7050] ppid=7047 vsize=194668 CPUtime=1902.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 161052 0 0 0 190208 16 0 0 20 0 1 0 29185558 199340032 42402 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165928 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42402 772 782 0 41683 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 194668

[startup+1962.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/181 7227
/proc/meminfo: memFree=31321436/32770624 swapFree=0/384360
[pid=7050] ppid=7047 vsize=194668 CPUtime=1962.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 162503 0 0 0 196208 16 0 0 20 0 1 0 29185558 199340032 42402 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165771 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42402 772 782 0 41683 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 194668

[startup+2022.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/184 7243
/proc/meminfo: memFree=31317712/32770624 swapFree=0/384400
[pid=7050] ppid=7047 vsize=194668 CPUtime=2022.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 164002 0 0 0 202208 16 0 0 20 0 1 0 29185558 199340032 42403 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42403 772 782 0 41683 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 194668

[startup+2082.3 s]
/proc/loadavg: 2.18 2.10 2.06 3/185 7273
/proc/meminfo: memFree=31317336/32770624 swapFree=0/384432
[pid=7050] ppid=7047 vsize=194668 CPUtime=2082.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 165376 0 0 0 208208 16 0 0 20 0 1 0 29185558 199340032 42404 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165796 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42404 772 782 0 41683 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 194668

[startup+2142.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/185 7275
/proc/meminfo: memFree=31317240/32770624 swapFree=0/384448
[pid=7050] ppid=7047 vsize=194668 CPUtime=2142.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 166733 0 0 0 214207 17 0 0 20 0 1 0 29185558 199340032 42405 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42405 772 782 0 41683 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 194668

[startup+2202.3 s]
/proc/loadavg: 2.07 2.08 2.05 3/182 7277
/proc/meminfo: memFree=31320640/32770624 swapFree=0/384444
[pid=7050] ppid=7047 vsize=194668 CPUtime=2202.25 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 168227 0 0 0 220208 17 0 0 20 0 1 0 29185558 199340032 42406 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42406 772 782 0 41683 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 194668

[startup+2262.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/182 7279
/proc/meminfo: memFree=31320888/32770624 swapFree=0/384476
[pid=7050] ppid=7047 vsize=194668 CPUtime=2262.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 169833 0 0 0 226207 17 0 0 20 0 1 0 29185558 199340032 42417 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165834 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42417 772 782 0 41683 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 194668

[startup+2322.31 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 7281
/proc/meminfo: memFree=31321136/32770624 swapFree=0/384496
[pid=7050] ppid=7047 vsize=194668 CPUtime=2322.25 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 171410 0 0 0 232208 17 0 0 20 0 1 0 29185558 199340032 42418 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165796 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42418 772 782 0 41683 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 194668

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 7283
/proc/meminfo: memFree=31321136/32770624 swapFree=0/384516
[pid=7050] ppid=7047 vsize=194668 CPUtime=2382.24 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 172911 0 0 0 238207 17 0 0 20 0 1 0 29185558 199340032 42419 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42419 772 782 0 41683 0
Current children cumulated CPU time (s) 2382.24
Current children cumulated vsize (KiB) 194668

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 7285
/proc/meminfo: memFree=31321732/32770624 swapFree=0/384540
[pid=7050] ppid=7047 vsize=194668 CPUtime=2442.25 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 174461 0 0 0 244208 17 0 0 20 0 1 0 29185558 199340032 42421 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165796 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42421 772 782 0 41683 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 194668

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 7287
/proc/meminfo: memFree=31321608/32770624 swapFree=0/384560
[pid=7050] ppid=7047 vsize=194668 CPUtime=2502.25 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 175922 0 0 0 250208 17 0 0 20 0 1 0 29185558 199340032 42421 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165796 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42421 772 782 0 41683 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 194668



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 7288
/proc/meminfo: memFree=31322004/32770624 swapFree=0/384564
[pid=7050] ppid=7047 vsize=194668 CPUtime=2519.94 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 177344 0 0 0 251977 17 0 0 20 0 1 0 29185558 199340032 42423 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42423 772 782 0 41683 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 194668

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 7050 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 7288
/proc/meminfo: memFree=31322004/32770624 swapFree=0/384564
[pid=7050] ppid=7047 vsize=194668 CPUtime=2519.94 cores=1,3,5,7
/proc/7050/stat : 7050 (MistralXCSP) R 7047 7050 6971 0 -1 4202496 177344 0 0 0 251977 17 0 0 20 0 1 0 29185558 199340032 42423 18446744073709551615 4194304 7396336 140723977699600 140723977694008 5165805 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 23773184 140723977703859 140723977704009 140723977704009 140723977707465 0
/proc/7050/statm: 48667 42423 772 782 0 41683 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 194668

Child status: 0
Real time (s): 2520
CPU time (s): 2519.96
CPU user time (s): 2519.78
CPU system time (s): 0.179003
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 194668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.179003
maximum resident set size= 169712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177384
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= 57
involuntary context switches= 835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41282 second user time and 10.1332 second system time

The end

Launcher Data

Begin job on node124 at 2017-08-11 01:26:33
IDJOB=4261780
IDBENCH=140591
IDSOLVER=2649
FILE ID=node124/4261780-1502408449
RUNJOBID= node124-1502334771-27115
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-46.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-4261780-1502408449/watcher-4261780-1502408449 -o /tmp/evaluation-result-4261780-1502408449/solver-4261780-1502408449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27115 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1676193068 HOME/instance-4261780-1502408449.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7
RANDOM SEED=1676193068

node124.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.51
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.51
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.51
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.51
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:        31623936 kB
MemAvailable:   31953956 kB
Buffers:          182384 kB
Cached:           436736 kB
SwapCached:            0 kB
Active:           335320 kB
Inactive:         400404 kB
Active(anon):     117216 kB
Inactive(anon):    16768 kB
Active(file):     218104 kB
Inactive(file):   383636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6680 kB
Writeback:             0 kB
AnonPages:         63356 kB
Mapped:            38244 kB
Shmem:             17128 kB
Slab:             113396 kB
SReclaimable:      88232 kB
SUnreclaim:        25164 kB
KernelStack:        3520 kB
PageTables:         4796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     373104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62020 MiB
End job on node124 at 2017-08-11 02:08:33

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml
MD5SUM	6af071621bab6d4e45a1e2acc37440b7
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.1101
Satisfiable
(Un)Satisfiability was proved
Number of variables	2116
Number of constraints	15180
Number of domains	1
Minimum domain size	1035
Maximum domain size	1035
Distribution of domain sizes	[{"size":1035,"count":1035}]
Minimum variable degree	0
Maximum variable degree	45
Distribution of variable degrees	[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":15180}]
Number of extensional constraints	0
Number of intensional constraints	15180
Distribution of constraint types	[{"type":"intension","count":15180}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4261780

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data