0.00/0.00	c Mistral 16062018
41.88/41.99	s SATISFIABLE
41.88/41.99	v <instantiation type="solution">
41.88/41.99	v   <list> vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6] </list>
41.88/41.99	v   <values> 0 9 17 20 24 30 39 1 6 34 12 18 37 25 2 8 35 13 40 29 22 3 10 36 31 15 21 27 4 7 38 14 19 33 26 5 12 40 32 20 25 11 6 22 28 1 41 31 17 7 34 29 0 36 23 16 8 13 4 37 35 27 18 9 23 31 28 39 17 2 10 35 26 16 38 4 19 11 18 27 40 30 15 3 12 5 41 29 34 20 8 13 1 22 36 32 24 7 14 33 21 25 37 6 0 15 3 37 11 25 32 21 16 20 9 30 0 39 29 17 4 23 10 31 36 24 18 38 5 8 33 26 13 19 14 2 7 28 35 41 20 0 30 17 29 41 10 21 32 39 5 26 9 15 22 11 3 34 27 13 40 23 31 7 38 4 14 28 24 36 19 33 16 8 1 25 37 6 35 2 18 12 26 2 11 15 23 38 35 27 39 33 4 22 12 9 28 16 32 3 21 10 36 29 41 20 6 17 34 5 30 19 8 24 1 40 14 31 21 24 39 14 11 4 32 40 10 26 5 16 20 33 17 18 2 8 28 37 34 15 25 9 3 22 38 35 29 0 41 13 19 6 36 30 1 27 12 7 23 37 24 12 18 6 0 30 38 25 13 19 7 1 31 39 26 14 21 9 2 32 40 27 15 22 10 3 33 41 28 16 23 11 5 34 0 20 35 7 16 37 14 1 13 36 6 30 38 24 2 26 19 33 25 39 9 3 15 22 28 34 40 11 4 17 8 27 23 10 31 5 12 18 21 32 41 29 6 1 25 29 37 14 35 7 4 23 19 38 36 13 8 2 30 18 33 24 12 9 0 16 34 39 21 27 10 3 32 17 40 28 20 11 22 26 15 41 31 5 12 5 37 1 36 27 25 13 8 38 2 35 22 18 14 19 39 4 31 23 30 15 34 40 26 3 11 21 16 28 41 10 24 32 7 17 33 0 20 29 9 6 18 11 33 37 1 25 8 19 30 24 38 4 35 10 20 16 29 0 5 12 32 21 31 14 39 28 3 15 22 6 13 40 27 34 2 23 9 17 41 26 7 36 24 37 31 30 0 13 17 25 38 34 14 15 5 1 26 39 10 32 21 18 4 27 40 11 36 22 8 3 28 41 6 9 19 33 23 29 35 7 12 20 2 16 30 36 20 16 11 0 37 31 23 9 3 17 6 38 32 21 28 5 13 15 39 33 14 27 24 18 4 40 34 7 1 22 12 29 41 35 10 2 25 8 19 26 36 24 3 13 7 17 28 37 25 15 8 14 1 33 38 18 4 23 10 26 34 39 27 21 31 9 16 0 40 32 5 11 2 30 22 41 29 12 35 6 20 19 0 1 2 3 4 5 6 0 1 5 2 3 6 4 0 1 5 2 6 4 3 0 1 6 5 2 3 4 0 1 6 2 3 5 4 0 2 6 5 3 4 1 1 3 4 0 6 5 2 1 5 4 0 6 3 2 1 2 0 6 5 4 3 1 3 5 4 6 2 0 1 5 4 2 6 0 3 1 3 4 6 5 2 0 2 0 6 4 5 3 1 2 0 3 6 5 4 1 2 5 3 4 6 1 0 2 0 6 1 4 5 3 2 3 1 5 0 6 4 2 0 3 1 5 6 4 3 6 0 1 5 4 2 3 2 0 1 4 5 6 3 0 5 2 4 6 1 3 5 6 0 4 1 2 3 1 0 5 4 2 6 3 5 1 6 0 2 4 4 6 3 5 2 1 0 4 6 1 5 0 3 2 4 0 1 2 3 6 5 4 6 5 0 3 2 1 4 2 5 0 3 1 6 4 6 3 1 2 5 0 5 3 1 4 0 6 2 5 3 4 6 2 1 0 5 6 1 4 0 2 3 5 2 3 0 1 4 6 5 2 4 1 0 3 6 5 4 0 6 2 3 1 6 5 0 4 2 1 3 6 4 2 3 1 0 5 6 4 2 3 1 0 5 6 4 2 3 1 0 5 6 4 2 3 1 0 5 6 4 2 3 1 0 5 0 4 6 1 3 7 2 0 2 6 1 5 7 4 0 5 3 6 4 7 2 0 3 4 5 6 7 2 0 3 1 5 4 2 6 1 2 3 4 6 7 5 1 0 4 5 7 2 6 1 0 4 3 7 6 2 1 0 5 3 6 4 2 2 0 3 6 7 4 5 2 0 6 3 7 5 4 2 4 5 3 7 6 1 2 1 7 0 6 5 4 2 1 7 0 6 4 3 2 3 7 0 6 4 5 3 6 7 5 0 2 4 3 5 7 2 4 6 1 3 6 0 4 5 2 1 3 2 6 7 0 4 1 3 5 4 7 0 6 2 4 3 5 0 1 2 6 4 6 2 7 5 0 3 4 1 2 7 5 6 0 4 2 3 7 5 1 6 4 7 6 5 0 2 3 4 7 6 2 3 1 0 5 7 2 6 4 3 0 5 7 2 6 4 1 0 5 7 1 2 3 6 4 5 6 1 2 4 0 3 5 6 4 3 2 0 7 6 4 2 0 3 1 7 6 4 5 1 2 3 7 6 2 5 4 3 0 7 6 1 0 4 2 5 7 6 2 0 4 1 3 5 6 4 0 2 1 3 5 7 4 3 1 2 0 6 7 3 0 4 2 5 6 7 5 4 6 2 3 0 7 6 1 2 0 5 4 7 5 2 6 1 4 3 </values>
41.99/42.04	v </instantiation>

OK	

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7669 MiB free)
  memory of node 1: 16384 MiB (10525 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289496-1532197781/watcher-4289496-1532197781 -o /tmp/evaluation-result-4289496-1532197781/solver-4289496-1532197781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532190500-25137 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 769498018 HOME/instance-4289496-1532197781.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26243, runsolver pid=26240

[startup+0.100364 s]*
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18616640/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=43232 memory=17888 CPUtime=0.1 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 4963 0 0 0 10 0 0 0 20 0 1 0 37341246 44269568 4472 33554432000 4194304 7498468 140736801095856 140736801087768 4564416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 10808 4472 697 807 0 3799 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43232 KiB
Current children cumulated memory: 17888 KiB

[startup+0.209627 s]*
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18613552/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=46556 memory=21052 CPUtime=0.21 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 5803 0 0 0 21 0 0 0 20 0 1 0 37341246 47673344 5263 33554432000 4194304 7498468 140736801095856 140736801087768 4564424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 11639 5263 697 807 0 4630 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46556 KiB
Current children cumulated memory: 21052 KiB

[startup+0.309444 s]*
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18610768/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=49764 memory=24156 CPUtime=0.3 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 6623 0 0 0 30 0 0 0 20 0 1 0 37341246 50958336 6039 33554432000 4194304 7498468 140736801095856 140736801087768 140704664988645 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 12441 6039 697 807 0 5432 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49764 KiB
Current children cumulated memory: 24156 KiB

[startup+0.700348 s]
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18605188/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=58500 memory=33044 CPUtime=0.68 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 8937 0 0 0 68 0 0 0 20 0 1 0 37341246 59904000 8261 33554432000 4194304 7498468 140736801095856 140736801087768 4564583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 14625 8261 697 807 0 7616 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58500 KiB
Current children cumulated memory: 33044 KiB

[startup+1.50035 s]
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18587960/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=75308 memory=49772 CPUtime=1.49 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 12828 0 0 0 148 1 0 0 20 0 1 0 37341246 77115392 12443 33554432000 4194304 7498468 140736801095856 140736801087768 4564576 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 18827 12443 704 807 0 11818 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75308 KiB
Current children cumulated memory: 49772 KiB

[startup+3.10948 s]
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18521884/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138572 memory=113252 CPUtime=3.1 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 40230 0 0 0 307 3 0 0 20 0 1 0 37341246 141897728 28313 33554432000 4194304 7498468 140736801095856 140736801090312 5684703 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34643 28313 752 807 0 27634 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 138572 KiB
Current children cumulated memory: 113252 KiB

[startup+6.30042 s]
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18521820/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138572 memory=113284 CPUtime=6.28 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 52032 0 0 0 624 4 0 0 20 0 1 0 37341246 141897728 28321 33554432000 4194304 7498468 140736801095856 140736801090312 5575289 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34643 28321 752 807 0 27634 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 138572 KiB
Current children cumulated memory: 113284 KiB

[startup+12.7004 s]
/proc/loadavg: 2.02 2.09 2.06 3/187 26244
/proc/meminfo: memFree=18522124/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138572 memory=113316 CPUtime=12.69 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 63869 0 0 0 1264 5 0 0 20 0 1 0 37341246 141897728 28329 33554432000 4194304 7498468 140736801095856 140736801090312 5161513 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34643 28329 752 807 0 27634 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 138572 KiB
Current children cumulated memory: 113316 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18521440/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138704 memory=113484 CPUtime=25.49 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 83970 0 0 0 2543 6 0 0 20 0 1 0 37341246 142032896 28371 33554432000 4194304 7498468 140736801095856 140736801090312 4378930 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34676 28371 752 807 0 27667 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 138704 KiB
Current children cumulated memory: 113484 KiB

[startup+42.0544 s]
# the end of solver process 26243 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=41.9642 s, system=0.078996 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 2.02 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18521440/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138704 memory=113484 CPUtime=25.59 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 83971 0 0 0 2553 6 0 0 20 0 1 0 37341246 142032896 28371 33554432000 4194304 7498468 140736801095856 140736801090312 4317336 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34676 28371 752 807 0 27667 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 138704 KiB
Current children cumulated memory: 113484 KiB

[startup+32.0004 s]*
/proc/loadavg: 2.01 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18521644/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138704 memory=113484 CPUtime=32 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 87750 0 0 0 3194 6 0 0 20 0 1 0 37341246 142032896 28371 33554432000 4194304 7498468 140736801095856 140736801090312 5161526 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34676 28371 752 807 0 27667 0
Current children cumulated CPU time: 32 s
Current children cumulated vsize: 138704 KiB
Current children cumulated memory: 113484 KiB

[startup+38.4004 s]
/proc/loadavg: 2.01 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18520768/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138836 memory=113560 CPUtime=38.38 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 87805 0 0 0 3832 6 0 0 20 0 1 0 37341246 142168064 28390 33554432000 4194304 7498468 140736801095856 140736801090392 4542238 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34709 28390 752 807 0 27700 0
Current children cumulated CPU time: 38.38 s
Current children cumulated vsize: 138836 KiB
Current children cumulated memory: 113560 KiB

[startup+40.0004 s]*
/proc/loadavg: 2.01 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18521016/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138836 memory=113596 CPUtime=39.99 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 94748 0 0 0 3992 7 0 0 20 0 1 0 37341246 142168064 28399 33554432000 4194304 7498468 140736801095856 140736801090392 4541166 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34709 28399 752 807 0 27700 0
Current children cumulated CPU time: 39.99 s
Current children cumulated vsize: 138836 KiB
Current children cumulated memory: 113596 KiB

[startup+40.8003 s]
/proc/loadavg: 2.01 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18521016/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138836 memory=113660 CPUtime=40.78 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 94871 0 0 0 4071 7 0 0 20 0 1 0 37341246 142168064 28415 33554432000 4194304 7498468 140736801095856 140736801090392 4580152 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34709 28415 752 807 0 27700 0
Current children cumulated CPU time: 40.78 s
Current children cumulated vsize: 138836 KiB
Current children cumulated memory: 113660 KiB

[startup+41.6003 s]
/proc/loadavg: 2.01 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18521016/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138836 memory=113660 CPUtime=41.58 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 94873 0 0 0 4151 7 0 0 20 0 1 0 37341246 142168064 28415 33554432000 4194304 7498468 140736801095856 140736801090392 4249735 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34709 28415 752 807 0 27700 0
Current children cumulated CPU time: 41.58 s
Current children cumulated vsize: 138836 KiB
Current children cumulated memory: 113660 KiB

[startup+42.0004 s]*
/proc/loadavg: 2.01 2.08 2.05 3/188 26252
/proc/meminfo: memFree=18520892/32770624 swapFree=67108860/67108860
[pid=26243] ppid=26240 vsize=138968 memory=113768 CPUtime=41.99 cores=0,2,4,6
/proc/26243/stat : 26243 (MistralXCSP) R 26240 26243 25105 0 -1 4202496 97042 0 0 0 4192 7 0 0 20 0 1 0 37341246 142303232 28442 33554432000 4194304 7498468 140736801095856 140736801090392 140704664981270 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 17510400 140736801105006 140736801105155 140736801105155 140736801107913 0
/proc/26243/statm: 34742 28442 757 807 0 27733 0
Current children cumulated CPU time: 41.99 s
Current children cumulated vsize: 138968 KiB
Current children cumulated memory: 113768 KiB

Child status: 0
Real time (s): 42.0544
CPU time (s): 42.0432
CPU user time (s): 41.9642
CPU system time (s): 0.078996
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 138968
Max. memory (cumulated for all children) (KiB): 113768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.9642
system time used= 0.078996
maximum resident set size= 113788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98494
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= 14
involuntary context switches= 36


# summary of solver processes directly reported to runsolver:
#   pid: 26243
#   total CPU time (s): 42.0432
#   total CPU user time (s): 41.9642
#   total CPU system time (s): 0.078996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180238 second user time and 0.347603 second system time

The end

Begin job on node139 at 2018-07-21 20:29:41
IDJOB=4289496
IDBENCH=141393
IDSOLVER=2741
FILE ID=node139/4289496-1532197781
RUNJOBID= node139-1532190500-25137
PBS_JOBID= 21018928
Free space on /tmp= 45920 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06d_c18.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-4289496-1532197781/watcher-4289496-1532197781 -o /tmp/evaluation-result-4289496-1532197781/solver-4289496-1532197781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532190500-25137 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 769498018 HOME/instance-4289496-1532197781.xml

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

MD5SUM BENCH= 71f002b78114a95e8a0fa642f39b0e56
RANDOM SEED=769498018

node139.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.80
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.80
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.80
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.80
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:        18631520 kB
MemAvailable:   31938232 kB
Buffers:          119456 kB
Cached:         13243988 kB
SwapCached:            0 kB
Active:          1083628 kB
Inactive:       12334304 kB
Active(anon):      10352 kB
Inactive(anon):    64124 kB
Active(file):    1073276 kB
Inactive(file): 12270180 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9404 kB
Writeback:             0 kB
AnonPages:         61228 kB
Mapped:            36620 kB
Shmem:             17036 kB
Slab:             418888 kB
SReclaimable:     391716 kB
SUnreclaim:        27172 kB
KernelStack:        3360 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     346528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 45908 MiB
End job on node139 at 2018-07-21 20:30:23