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)	6	2519.79	2520

0.00/0.07	c 280717
327.28/327.44	o 7
327.38/327.54	o 6
2519.78/2520.00	s SATISFIABLE
2519.78/2520.00	v <instantiation type="solution">
2519.78/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[0][46] 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[1][46] 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[2][46] 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[3][46] 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[4][46] 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[5][46] 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[6][46] 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[7][46] 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[8][46] 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[9][46] 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[10][46] 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[11][46] 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[12][46] 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[13][46] 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[14][46] 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[15][46] 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[16][46] 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[17][46] 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[18][46] 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[19][46] 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[20][46] 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[21][46] 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[22][46] 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[23][46] 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[24][46] 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[25][46] 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[26][46] 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[27][46] 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[28][46] 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[29][46] 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[30][46] 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[31][46] 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[32][46] 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[33][46] 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[34][46] 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[35][46] 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[36][46] 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[37][46] 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[38][46] 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[39][46] 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[40][46] 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[41][46] 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[42][46] 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[43][46] 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[44][46] 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] x[45][46] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] </list>
2519.78/2520.00	v   <values> * 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 2 1 2 1 0 1 0 1 0 2 0 1 0 1 1 0 1 1 1 0 * * 2 1 2 2 3 0 2 3 1 2 1 2 2 2 2 2 2 1 0 3 2 2 2 2 3 1 0 1 0 2 0 1 0 2 1 0 2 1 3 0 1 0 0 2 1 * * * 3 3 4 0 0 1 3 4 0 1 3 1 0 0 3 0 3 3 2 4 1 4 3 2 0 1 3 1 1 2 1 3 1 2 3 0 3 1 0 1 2 2 1 1 * * * * 0 2 0 3 2 2 3 2 2 1 0 1 2 2 2 2 1 1 3 3 1 4 3 2 1 0 1 1 2 3 2 2 3 4 2 4 2 0 2 0 0 1 2 * * * * * 3 3 0 3 1 1 0 4 0 4 0 3 4 0 0 0 0 3 5 0 1 3 2 5 1 2 1 0 4 2 0 2 2 5 0 0 2 2 3 3 0 1 * * * * * * 2 4 0 4 2 3 3 0 3 0 4 1 0 0 4 0 6 3 0 3 2 0 4 1 3 1 0 0 4 4 2 6 0 1 3 0 1 2 2 4 5 * * * * * * * 4 2 6 0 3 1 0 2 2 2 0 2 1 5 5 0 2 1 3 0 5 0 2 5 1 3 0 2 3 0 0 2 4 4 4 4 5 5 0 2 * * * * * * * * 0 3 0 5 1 2 0 2 2 1 3 3 3 4 0 2 1 2 2 1 5 1 4 2 4 5 3 2 4 3 3 1 6 3 1 6 3 3 0 * * * * * * * * * 0 2 0 4 3 6 3 0 0 6 1 3 2 4 3 1 0 0 1 4 1 4 0 5 2 3 4 0 0 4 0 5 3 4 2 2 3 5 * * * * * * * * * * 2 4 1 2 0 2 1 5 0 5 5 4 0 1 1 5 2 1 1 5 0 5 0 2 0 1 2 1 6 6 1 4 5 3 0 1 5 * * * * * * * * * * * 5 3 1 4 0 0 2 0 2 1 1 5 4 1 2 1 4 5 0 1 5 0 4 3 2 4 5 3 4 1 0 3 4 1 1 4 * * * * * * * * * * * * 1 4 4 5 4 3 3 3 5 6 0 0 1 1 3 3 2 2 0 1 5 6 0 1 3 4 3 4 4 3 0 3 3 3 0 * * * * * * * * * * * * * 0 5 3 4 5 1 3 2 1 1 2 3 2 0 4 2 2 5 2 4 3 1 3 0 3 1 2 0 2 5 1 3 0 3 * * * * * * * * * * * * * * 0 5 0 4 3 2 6 2 3 4 3 0 3 3 5 0 4 0 2 4 2 1 1 1 3 2 2 4 4 0 2 4 1 * * * * * * * * * * * * * * * 0 6 3 3 2 2 0 6 0 0 1 4 0 2 3 4 4 2 0 3 4 3 0 4 2 0 4 4 2 4 4 5 * * * * * * * * * * * * * * * * 5 0 3 1 2 2 3 4 4 0 5 1 0 5 2 3 3 4 6 1 0 4 3 3 2 5 1 2 4 5 0 * * * * * * * * * * * * * * * * * 1 5 3 3 3 0 0 3 3 4 5 3 1 2 5 3 2 3 3 2 3 4 3 0 4 5 6 5 0 5 * * * * * * * * * * * * * * * * * * 1 6 4 3 1 3 3 1 5 0 1 2 0 4 1 1 0 3 1 2 4 5 4 0 6 0 1 1 1 * * * * * * * * * * * * * * * * * * * 1 2 6 4 3 1 3 2 1 4 1 2 0 5 4 5 5 0 2 4 1 3 2 4 0 6 4 0 * * * * * * * * * * * * * * * * * * * * 6 5 3 0 6 1 0 4 1 6 2 4 1 2 0 4 0 1 4 4 3 1 3 4 1 1 4 * * * * * * * * * * * * * * * * * * * * * 6 5 0 2 1 3 0 5 1 3 3 6 3 2 1 2 1 2 4 3 4 2 4 2 5 0 * * * * * * * * * * * * * * * * * * * * * * 0 2 5 1 4 1 2 1 0 3 5 1 0 1 3 2 3 4 4 2 0 4 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * 6 5 4 2 0 3 1 3 1 4 2 3 1 2 2 0 0 6 4 1 2 4 6 4 * * * * * * * * * * * * * * * * * * * * * * * * 6 1 4 2 0 5 5 3 0 5 4 0 2 5 3 0 2 5 3 3 5 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 2 0 3 2 3 1 1 0 4 0 6 6 6 2 2 3 1 6 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 4 4 1 3 0 3 0 5 2 2 1 1 4 3 1 1 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 0 5 1 0 4 2 3 1 1 6 1 5 0 3 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 3 1 1 3 3 3 0 0 3 1 2 3 1 0 2 2 0 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 0 5 2 2 2 2 6 0 4 5 4 0 3 3 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 6 1 2 0 2 4 0 4 0 1 4 0 2 2 1 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 4 0 1 1 3 2 4 3 6 3 3 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 0 3 2 3 6 6 2 0 2 1 3 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 4 1 0 2 6 4 4 3 1 3 5 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 5 1 1 2 2 2 3 3 0 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 4 1 0 5 1 2 5 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 3 1 3 0 5 3 0 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 5 5 0 3 1 0 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 2 4 1 6 2 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 2 5 6 0 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 3 2 0 3 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 6 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 2 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.78/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-4261781-1502408494/watcher-4261781-1502408494 -o /tmp/evaluation-result-4261781-1502408494/solver-4261781-1502408494 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1243398035 HOME/instance-4261781-1502408494.xml 

pid=16197
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16200
/proc/meminfo: memFree=31461164/32770624 swapFree=0/287932
[pid=16200] ppid=16197 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16200/stat : 16200 (runsolver) D 16197 16200 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 43044945 24240128 107 18446744073709551615 4194304 4338465 140736597377456 140736597375096 139889672843991 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15233024 140736597385356 140736597385802 140736597385802 140736597389258 0
/proc/16200/statm: 5918 107 54 36 0 2156 0

[startup+0.100195 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16200
/proc/meminfo: memFree=31461164/32770624 swapFree=0/287932
[pid=16200] ppid=16197 vsize=32060 CPUtime=0.02 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 1796 0 0 0 2 0 0 0 20 0 1 0 43044945 32829440 1588 18446744073709551615 4194304 7396336 140731934362464 140731934359464 6019896 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 8015 1588 607 782 0 1031 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 32060

[startup+0.200361 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16200
/proc/meminfo: memFree=31461164/32770624 swapFree=0/287932
[pid=16200] ppid=16197 vsize=32388 CPUtime=0.12 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 1857 0 0 0 12 0 0 0 20 0 1 0 43044945 33165312 1653 18446744073709551615 4194304 7396336 140731934362464 140731934359464 140477053062144 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 8097 1653 614 782 0 1113 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 32388

[startup+0.300317 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16200
/proc/meminfo: memFree=31461164/32770624 swapFree=0/287932
[pid=16200] ppid=16197 vsize=32580 CPUtime=0.22 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 1938 0 0 0 22 0 0 0 20 0 1 0 43044945 33361920 1668 18446744073709551615 4194304 7396336 140731934362464 140731934354936 6034747 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 8145 1668 614 782 0 1161 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 32580

[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16200
/proc/meminfo: memFree=31461164/32770624 swapFree=0/287932
[pid=16200] ppid=16197 vsize=33772 CPUtime=0.62 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 2374 0 0 0 62 0 0 0 20 0 1 0 43044945 34582528 2063 18446744073709551615 4194304 7396336 140731934362464 140731934354936 140477058827346 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 8443 2063 724 782 0 1459 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 33772

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16201
/proc/meminfo: memFree=31454652/32770624 swapFree=0/287956
[pid=16200] ppid=16197 vsize=37392 CPUtime=1.42 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 3305 0 0 0 142 0 0 0 20 0 1 0 43044945 38289408 3050 18446744073709551615 4194304 7396336 140731934362464 140731934354936 6180776 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 9348 3050 724 782 0 2364 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 37392

[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16201
/proc/meminfo: memFree=31450312/32770624 swapFree=0/287956
[pid=16200] ppid=16197 vsize=44476 CPUtime=3.02 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 7335 0 0 0 301 1 0 0 20 0 1 0 43044945 45543424 4764 18446744073709551615 4194304 7396336 140731934362464 140731934353048 6164295 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 11119 4764 725 782 0 4135 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 44476

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16201
/proc/meminfo: memFree=31434156/32770624 swapFree=0/287956
[pid=16200] ppid=16197 vsize=57796 CPUtime=6.21 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 11658 0 0 0 620 1 0 0 20 0 1 0 43044945 59183104 8153 18446744073709551615 4194304 7396336 140731934362464 140731934353016 140477058815218 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 14449 8153 725 782 0 7465 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 57796

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16201
/proc/meminfo: memFree=31404516/32770624 swapFree=0/287956
[pid=16200] ppid=16197 vsize=86872 CPUtime=12.61 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 24563 0 0 0 1259 2 0 0 20 0 1 0 43044945 88956928 15366 18446744073709551615 4194304 7396336 140731934362464 140731934353016 140477053371128 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 21718 15366 725 782 0 14734 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 86872

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16201
/proc/meminfo: memFree=31356888/32770624 swapFree=0/287956
[pid=16200] ppid=16197 vsize=132392 CPUtime=25.41 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 39427 0 0 0 2537 4 0 0 20 0 1 0 43044945 135569408 26750 18446744073709551615 4194304 7396336 140731934362464 140731934353016 6189980 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 33098 26750 725 782 0 26114 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 132392

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16203
/proc/meminfo: memFree=31293056/32770624 swapFree=0/287956
[pid=16200] ppid=16197 vsize=195812 CPUtime=51 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 77904 0 0 0 5093 7 0 0 20 0 1 0 43044945 200511488 42681 18446744073709551615 4194304 7396336 140731934362464 140731934357096 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 48953 42681 767 782 0 41969 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 195812

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16205
/proc/meminfo: memFree=31291852/32770624 swapFree=0/287964
[pid=16200] ppid=16197 vsize=197000 CPUtime=102.2 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 80475 0 0 0 10212 8 0 0 20 0 1 0 43044945 201728000 42960 18446744073709551615 4194304 7396336 140731934362464 140731934356744 5165834 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 49250 42960 770 782 0 42266 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 197000

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 16221
/proc/meminfo: memFree=31286980/32770624 swapFree=0/287984
[pid=16200] ppid=16197 vsize=197792 CPUtime=162.19 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 82015 0 0 0 16211 8 0 0 20 0 1 0 43044945 202539008 43148 18446744073709551615 4194304 7396336 140731934362464 140731934356744 4542704 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 49448 43148 770 782 0 42464 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 197792

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 16223
/proc/meminfo: memFree=31284020/32770624 swapFree=0/288000
[pid=16200] ppid=16197 vsize=200696 CPUtime=222.19 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 84265 0 0 0 22211 8 0 0 20 0 1 0 43044945 205512704 43907 18446744073709551615 4194304 7396336 140731934362464 140731934356680 5586259 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 50174 43907 770 782 0 43190 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 200696

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16225
/proc/meminfo: memFree=31286552/32770624 swapFree=0/288016
[pid=16200] ppid=16197 vsize=200696 CPUtime=282.18 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 85772 0 0 0 28209 9 0 0 20 0 1 0 43044945 205512704 43908 18446744073709551615 4194304 7396336 140731934362464 140731934356680 4264768 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 50174 43908 770 782 0 43190 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 200696

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16227
/proc/meminfo: memFree=31281204/32770624 swapFree=0/288028
[pid=16200] ppid=16197 vsize=206504 CPUtime=342.18 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 88676 0 0 0 34209 9 0 0 20 0 1 0 43044945 211460096 45332 18446744073709551615 4194304 7396336 140731934362464 140731934356808 4246653 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51626 45332 771 782 0 44642 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 206504

[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 16229
/proc/meminfo: memFree=31281060/32770624 swapFree=0/288048
[pid=16200] ppid=16197 vsize=206768 CPUtime=402.17 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 91529 0 0 0 40208 9 0 0 20 0 1 0 43044945 211730432 45450 18446744073709551615 4194304 7396336 140731934362464 140731934356888 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51692 45450 772 782 0 44708 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 206768

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 16231
/proc/meminfo: memFree=31280652/32770624 swapFree=0/288064
[pid=16200] ppid=16197 vsize=206900 CPUtime=462.17 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 94083 0 0 0 46208 9 0 0 20 0 1 0 43044945 211865600 45480 18446744073709551615 4194304 7396336 140731934362464 140731934356888 5165928 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51725 45480 772 782 0 44741 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 206900

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 16233
/proc/meminfo: memFree=31280636/32770624 swapFree=0/288080
[pid=16200] ppid=16197 vsize=206900 CPUtime=522.17 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 95298 0 0 0 52207 10 0 0 20 0 1 0 43044945 211865600 45489 18446744073709551615 4194304 7396336 140731934362464 140731934356888 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51725 45489 772 782 0 44741 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 206900

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 16235
/proc/meminfo: memFree=31280760/32770624 swapFree=0/288104
[pid=16200] ppid=16197 vsize=207032 CPUtime=582.17 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 96516 0 0 0 58207 10 0 0 20 0 1 0 43044945 212000768 45490 18446744073709551615 4194304 7396336 140731934362464 140731934356872 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51758 45490 772 782 0 44774 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 207032


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16320
/proc/meminfo: memFree=31279612/32770624 swapFree=0/288528
[pid=16200] ppid=16197 vsize=207300 CPUtime=1602.13 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 118195 0 0 0 160201 12 0 0 20 0 1 0 43044945 212275200 45559 18446744073709551615 4194304 7396336 140731934362464 140731934357128 4246647 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45559 772 782 0 44841 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 207300

[startup+1662.3 s]
/proc/loadavg: 1.85 1.98 2.03 2/174 16369
/proc/meminfo: memFree=31302664/32770624 swapFree=0/288588
[pid=16200] ppid=16197 vsize=207300 CPUtime=1662.13 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 119522 0 0 0 166201 12 0 0 20 0 1 0 43044945 212275200 45560 18446744073709551615 4194304 7396336 140731934362464 140731934357128 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45560 772 782 0 44841 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 207300

[startup+1722.3 s]
/proc/loadavg: 1.34 1.82 1.98 2/174 16371
/proc/meminfo: memFree=31302880/32770624 swapFree=0/288592
[pid=16200] ppid=16197 vsize=207300 CPUtime=1722.12 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 120844 0 0 0 172200 12 0 0 20 0 1 0 43044945 212275200 45562 18446744073709551615 4194304 7396336 140731934362464 140731934357128 5165945 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45562 772 782 0 44841 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 207300

[startup+1782.3 s]
/proc/loadavg: 1.11 1.66 1.91 2/174 16373
/proc/meminfo: memFree=31303104/32770624 swapFree=0/288628
[pid=16200] ppid=16197 vsize=207300 CPUtime=1782.12 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 122178 0 0 0 178200 12 0 0 20 0 1 0 43044945 212275200 45564 18446744073709551615 4194304 7396336 140731934362464 140731934357128 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45564 772 782 0 44841 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 207300

[startup+1842.3 s]
/proc/loadavg: 1.05 1.55 1.86 2/174 16376
/proc/meminfo: memFree=31303112/32770624 swapFree=0/288644
[pid=16200] ppid=16197 vsize=207300 CPUtime=1842.11 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 123504 0 0 0 184199 12 0 0 20 0 1 0 43044945 212275200 45566 18446744073709551615 4194304 7396336 140731934362464 140731934357128 5165816 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45566 772 782 0 44841 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 207300

[startup+1902.3 s]
/proc/loadavg: 1.02 1.45 1.80 2/174 16378
/proc/meminfo: memFree=31303004/32770624 swapFree=0/288660
[pid=16200] ppid=16197 vsize=207300 CPUtime=1902.11 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 124825 0 0 0 190199 12 0 0 20 0 1 0 43044945 212275200 45567 18446744073709551615 4194304 7396336 140731934362464 140731934357128 4245088 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45567 772 782 0 44841 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 207300

[startup+1962.3 s]
/proc/loadavg: 1.07 1.38 1.76 2/178 16395
/proc/meminfo: memFree=31299516/32770624 swapFree=0/288696
[pid=16200] ppid=16197 vsize=207300 CPUtime=1962.1 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 126138 0 0 0 196198 12 0 0 20 0 1 0 43044945 212275200 45568 18446744073709551615 4194304 7396336 140731934362464 140731934357128 4543897 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45568 772 782 0 44841 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 207300

[startup+2022.3 s]
/proc/loadavg: 1.03 1.31 1.71 2/178 16424
/proc/meminfo: memFree=31298124/32770624 swapFree=0/288752
[pid=16200] ppid=16197 vsize=207300 CPUtime=2022.11 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 127456 0 0 0 202198 13 0 0 20 0 1 0 43044945 212275200 45568 18446744073709551615 4194304 7396336 140731934362464 140731934357128 4246597 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51825 45568 772 782 0 44841 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 207300

[startup+2082.3 s]
/proc/loadavg: 1.01 1.25 1.66 2/178 16426
/proc/meminfo: memFree=31299048/32770624 swapFree=0/288772
[pid=16200] ppid=16197 vsize=207484 CPUtime=2082.11 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 128832 0 0 0 208198 13 0 0 20 0 1 0 43044945 212463616 45604 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45604 772 782 0 44887 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 207484

[startup+2142.3 s]
/proc/loadavg: 1.00 1.21 1.63 2/175 16428
/proc/meminfo: memFree=31302888/32770624 swapFree=0/288796
[pid=16200] ppid=16197 vsize=207484 CPUtime=2142.1 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 130157 0 0 0 214197 13 0 0 20 0 1 0 43044945 212463616 45604 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45604 772 782 0 44887 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 207484

[startup+2202.31 s]
/proc/loadavg: 1.00 1.17 1.58 2/175 16430
/proc/meminfo: memFree=31302924/32770624 swapFree=0/288800
[pid=16200] ppid=16197 vsize=207484 CPUtime=2202.11 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 131484 0 0 0 220198 13 0 0 20 0 1 0 43044945 212463616 45604 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45604 772 782 0 44887 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 207484

[startup+2262.3 s]
/proc/loadavg: 1.00 1.14 1.55 2/174 16432
/proc/meminfo: memFree=31303080/32770624 swapFree=0/288812
[pid=16200] ppid=16197 vsize=207484 CPUtime=2262.1 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 132808 0 0 0 226197 13 0 0 20 0 1 0 43044945 212463616 45606 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45606 772 782 0 44887 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 207484

[startup+2322.3 s]
/proc/loadavg: 1.00 1.11 1.51 2/174 16434
/proc/meminfo: memFree=31303572/32770624 swapFree=0/288832
[pid=16200] ppid=16197 vsize=207484 CPUtime=2322.09 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 134175 0 0 0 232196 13 0 0 20 0 1 0 43044945 212463616 45611 18446744073709551615 4194304 7396336 140731934362464 140731934356968 4246597 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45611 772 782 0 44887 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 207484

[startup+2382.3 s]
/proc/loadavg: 1.00 1.09 1.48 2/174 16436
/proc/meminfo: memFree=31303184/32770624 swapFree=0/288824
[pid=16200] ppid=16197 vsize=207484 CPUtime=2382.09 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 135526 0 0 0 238196 13 0 0 20 0 1 0 43044945 212463616 45614 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45614 772 782 0 44887 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 207484

[startup+2442.3 s]
/proc/loadavg: 1.08 1.09 1.46 2/174 16438
/proc/meminfo: memFree=31303676/32770624 swapFree=0/288840
[pid=16200] ppid=16197 vsize=207484 CPUtime=2442.08 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 136876 0 0 0 244195 13 0 0 20 0 1 0 43044945 212463616 45614 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165752 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45614 772 782 0 44887 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 207484

[startup+2502.3 s]
/proc/loadavg: 1.03 1.08 1.43 2/174 16440
/proc/meminfo: memFree=31303292/32770624 swapFree=0/288844
[pid=16200] ppid=16197 vsize=207484 CPUtime=2502.08 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 138226 0 0 0 250195 13 0 0 20 0 1 0 43044945 212463616 45616 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165945 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45616 772 782 0 44887 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 207484



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.02 1.07 1.42 2/174 16440
/proc/meminfo: memFree=31303416/32770624 swapFree=0/288868
[pid=16200] ppid=16197 vsize=207484 CPUtime=2519.78 cores=0,2,4,6
/proc/16200/stat : 16200 (MistralXCSP) R 16197 16200 15981 0 -1 4202496 139246 0 0 0 251965 13 0 0 20 0 1 0 43044945 212463616 45619 18446744073709551615 4194304 7396336 140731934362464 140731934356968 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 13012992 140731934364083 140731934364233 140731934364233 140731934367689 0
/proc/16200/statm: 51871 45619 772 782 0 44887 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 207484

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

Child status: 0
Real time (s): 2520
CPU time (s): 2519.79
CPU user time (s): 2519.65
CPU system time (s): 0.141993
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 207484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.141993
maximum resident set size= 182496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139306
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= 53
involuntary context switches= 761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55584 second user time and 11.1585 second system time

The end

Launcher Data

Begin job on node126 at 2017-08-11 01:27:34
IDJOB=4261781
IDBENCH=140592
IDSOLVER=2649
FILE ID=node126/4261781-1502408494
RUNJOBID= node126-1502333727-2686
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-47.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-4261781-1502408494/watcher-4261781-1502408494 -o /tmp/evaluation-result-4261781-1502408494/solver-4261781-1502408494 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1243398035 HOME/instance-4261781-1502408494.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=1243398035

node126.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.81
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.81
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.81
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.81
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:        31461184 kB
MemAvailable:   31970060 kB
Buffers:          264024 kB
Cached:           518596 kB
SwapCached:          524 kB
Active:           494716 kB
Inactive:         359264 kB
Active(anon):      25496 kB
Inactive(anon):    71332 kB
Active(file):     469220 kB
Inactive(file):   287932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              6484 kB
Writeback:             0 kB
AnonPages:         71528 kB
Mapped:            41368 kB
Shmem:             25248 kB
Slab:             160960 kB
SReclaimable:     135120 kB
SUnreclaim:        25840 kB
KernelStack:        3488 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node126 at 2017-08-11 02:09:34

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml
MD5SUM	b40b46819fbd3a38fcaaee2fdd389509
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables	2209
Number of constraints	16215
Number of domains	1
Minimum domain size	1081
Maximum domain size	1081
Distribution of domain sizes	[{"size":1081,"count":1081}]
Minimum variable degree	0
Maximum variable degree	46
Distribution of variable degrees	[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":16215}]
Number of extensional constraints	0
Number of intensional constraints	16215
Distribution of constraint types	[{"type":"intension","count":16215}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4261781

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