0.00/0.08	c Mistral-2017-06-28
1114.11/1114.36	o 7
1114.21/1114.41	o 6
1154.81/1155.06	o 5
2400.05/2400.30	s SATISFIABLE
2400.05/2400.30	v <instantiation type="solution">
2400.05/2400.30	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[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[0][47] x[0][48] 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[1][47] x[1][48] 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[2][47] x[2][48] 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[3][47] x[3][48] 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[4][47] x[4][48] 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[5][47] x[5][48] 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[6][47] x[6][48] 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[7][47] x[7][48] 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[8][47] x[8][48] 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[9][47] x[9][48] 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[10][47] x[10][48] 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[11][47] x[11][48] 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[12][47] x[12][48] 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[13][47] x[13][48] 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[14][47] x[14][48] 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[15][47] x[15][48] 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[16][47] x[16][48] 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[17][47] x[17][48] 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[18][47] x[18][48] 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[19][47] x[19][48] 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[20][47] x[20][48] 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[21][47] x[21][48] 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[22][47] x[22][48] 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[23][47] x[23][48] 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[24][47] x[24][48] 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[25][47] x[25][48] 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[26][47] x[26][48] 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[27][47] x[27][48] 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[28][47] x[28][48] 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[29][47] x[29][48] 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[30][47] x[30][48] 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[31][47] x[31][48] 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[32][47] x[32][48] 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[33][47] x[33][48] 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[34][47] x[34][48] 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[35][47] x[35][48] 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[36][47] x[36][48] 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[37][47] x[37][48] 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[38][47] x[38][48] 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[39][47] x[39][48] 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[40][47] x[40][48] 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[41][47] x[41][48] 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[42][47] x[42][48] 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[43][47] x[43][48] 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[44][47] x[44][48] 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[45][47] x[45][48] 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] x[46][47] x[46][48] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] </list>
2400.05/2400.30	v   <values> * 1 2 1 3 2 1 3 3 4 3 3 1 1 3 2 2 2 3 1 4 1 2 1 1 5 1 1 3 1 3 3 3 3 3 2 3 1 5 1 3 3 4 0 3 2 1 0 2 * * 2 5 5 1 2 2 1 2 1 2 5 0 0 0 0 4 2 4 2 2 3 5 0 2 0 2 2 3 1 2 0 2 1 0 1 2 0 0 1 1 0 3 1 5 4 2 4 * * * 3 5 3 0 0 2 3 2 0 4 2 3 3 4 0 3 4 3 0 5 1 5 1 0 3 5 3 0 5 0 5 5 5 1 3 4 2 5 5 5 2 2 5 0 0 4 * * * * 2 4 4 2 1 2 3 1 3 3 4 0 3 0 2 4 5 2 2 2 0 1 2 5 1 5 0 2 5 1 3 1 3 0 1 5 2 1 5 5 2 1 4 0 5 * * * * * 2 5 4 2 5 4 2 4 0 1 0 4 2 1 0 0 3 4 4 1 3 1 2 0 2 5 1 0 2 4 3 2 2 2 3 1 2 2 1 1 2 3 2 2 * * * * * * 2 4 5 1 2 1 2 3 5 4 1 4 0 5 4 4 5 4 2 2 1 1 4 0 3 1 0 5 0 0 5 1 5 5 2 5 5 0 5 4 1 1 0 * * * * * * * 3 1 3 1 4 4 3 3 5 4 4 3 0 4 4 2 2 5 0 3 4 5 4 3 0 2 1 2 1 3 4 0 5 1 0 0 5 0 2 3 4 4 * * * * * * * * 0 1 2 1 5 2 5 0 5 3 0 1 1 1 1 3 3 1 4 0 5 3 2 5 4 5 1 4 5 0 2 0 4 0 5 5 4 1 4 4 2 * * * * * * * * * 1 0 4 1 4 2 2 2 5 1 1 2 0 1 0 1 2 1 4 0 1 2 2 4 0 0 4 0 1 3 1 2 4 1 4 4 3 1 5 3 * * * * * * * * * * 5 3 3 4 1 4 3 3 5 2 5 0 0 3 3 5 4 5 4 5 0 5 1 1 2 2 4 0 2 0 5 2 2 1 1 0 2 0 4 * * * * * * * * * * * 2 1 1 2 3 2 0 1 0 4 2 0 2 1 0 3 3 2 4 5 4 2 2 5 3 2 1 5 1 4 2 0 1 0 0 1 2 5 * * * * * * * * * * * * 2 3 1 2 5 5 0 3 3 3 2 4 1 4 3 5 0 5 4 4 5 4 2 3 4 0 0 2 2 0 5 1 2 3 3 3 1 * * * * * * * * * * * * * 4 3 3 2 2 5 5 0 2 0 0 4 0 2 5 2 5 1 2 4 3 1 4 1 2 1 4 1 1 2 2 1 3 2 0 5 * * * * * * * * * * * * * * 1 2 2 2 0 4 5 2 2 3 2 1 2 5 3 4 4 0 1 2 4 1 5 4 4 5 1 0 3 0 1 2 2 0 1 * * * * * * * * * * * * * * * 5 1 0 2 3 0 1 1 3 5 4 2 2 4 1 1 0 4 0 5 3 1 1 2 2 5 1 4 4 2 5 1 3 0 * * * * * * * * * * * * * * * * 5 3 2 1 1 0 1 0 1 1 5 4 2 1 3 5 1 1 4 4 5 2 4 3 3 5 2 2 1 0 4 5 0 * * * * * * * * * * * * * * * * * 0 2 3 1 3 0 5 1 1 4 0 1 2 3 4 4 1 5 4 4 0 2 1 1 0 3 3 1 5 3 0 1 * * * * * * * * * * * * * * * * * * 0 2 2 1 1 5 1 2 3 1 0 1 4 3 2 3 1 0 4 1 0 2 5 5 4 5 3 1 1 3 3 * * * * * * * * * * * * * * * * * * * 0 1 3 0 4 0 3 4 1 5 4 0 4 2 1 1 5 2 5 1 5 4 1 5 5 5 2 2 3 2 * * * * * * * * * * * * * * * * * * * * 4 0 3 4 3 3 0 0 5 3 2 2 3 4 0 1 4 5 3 0 2 1 4 5 2 4 5 0 1 * * * * * * * * * * * * * * * * * * * * * 0 5 2 2 4 2 0 3 2 1 1 3 5 3 2 1 0 4 0 3 5 3 3 5 2 4 5 2 * * * * * * * * * * * * * * * * * * * * * * 3 3 4 5 4 3 1 2 4 1 4 5 5 2 4 3 1 5 0 5 4 0 1 5 4 5 3 * * * * * * * * * * * * * * * * * * * * * * * 1 4 2 0 4 3 2 2 1 5 4 3 3 2 2 4 3 0 2 3 2 4 4 4 1 1 * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 4 1 0 3 5 4 3 3 4 3 2 1 2 1 1 2 4 3 3 2 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 2 2 5 2 4 5 3 4 1 2 5 2 2 0 2 2 0 3 3 3 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 3 4 0 1 0 0 3 2 0 1 2 0 0 4 5 1 2 3 2 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 1 0 2 0 2 1 0 4 3 5 5 1 5 3 0 4 5 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 1 3 0 3 5 2 1 5 5 3 4 5 1 2 0 3 2 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 4 5 4 1 4 1 3 3 4 2 4 0 0 2 0 1 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 2 3 2 3 3 0 1 2 1 0 4 1 2 0 2 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 2 2 5 3 0 5 4 5 5 1 4 2 5 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 2 1 2 5 2 1 0 2 3 3 5 2 3 4 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 2 5 0 4 3 2 0 1 2 5 1 3 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 3 0 2 2 0 3 0 2 0 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 4 3 3 1 0 0 4 2 4 4 5 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 5 2 0 3 4 1 0 4 1 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 1 4 0 3 0 2 1 0 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 3 1 3 0 3 2 5 3 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 4 3 5 3 5 0 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 4 0 3 4 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 4 5 1 1 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 2 3 4 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 3 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 4 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2400.05/2400.30	v </instantiation>

OK	5

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-4242277-1502107288/watcher-4242277-1502107288 -o /tmp/evaluation-result-4242277-1502107288/solver-4242277-1502107288 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1826288739 HOME/instance-4242277-1502107288.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.04 2.05 2/180 6797
/proc/meminfo: memFree=31481712/32770624 swapFree=0/383136
[pid=6797] ppid=6794 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6797/stat : 6797 (runsolver) D 6794 6797 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12922535 24240128 106 18446744073709551615 4194304 4338465 140732156974960 140732156972600 140614745707223 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 6619136 140732156981387 140732156981834 140732156981834 140732156985290 0
/proc/6797/statm: 5918 106 53 36 0 2156 0

[startup+0.100155 s]
/proc/loadavg: 2.09 2.04 2.05 2/180 6797
/proc/meminfo: memFree=31481712/32770624 swapFree=0/383136
[pid=6797] ppid=6794 vsize=32100 CPUtime=0.01 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 1823 0 0 0 1 0 0 0 20 0 1 0 12922535 32870400 1609 18446744073709551615 4194304 7402444 140725653719200 140725653716248 5888323 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 8025 1609 619 784 0 1039 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 32100

[startup+0.200302 s]
/proc/loadavg: 2.09 2.04 2.05 2/180 6797
/proc/meminfo: memFree=31481712/32770624 swapFree=0/383136
[pid=6797] ppid=6794 vsize=32432 CPUtime=0.11 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 1882 0 0 0 11 0 0 0 20 0 1 0 12922535 33210368 1674 18446744073709551615 4194304 7402444 140725653719200 140725653716248 6143819 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 8108 1674 632 784 0 1122 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32432

[startup+0.30025 s]
/proc/loadavg: 2.09 2.04 2.05 2/180 6797
/proc/meminfo: memFree=31481712/32770624 swapFree=0/383136
[pid=6797] ppid=6794 vsize=32624 CPUtime=0.21 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 1962 0 0 0 21 0 0 0 20 0 1 0 12922535 33406976 1696 18446744073709551615 4194304 7402444 140725653719200 140725653716248 6188379 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 8156 1696 632 784 0 1170 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 32624

[startup+0.700224 s]
/proc/loadavg: 2.09 2.04 2.05 2/180 6797
/proc/meminfo: memFree=31481712/32770624 swapFree=0/383136
[pid=6797] ppid=6794 vsize=34092 CPUtime=0.6 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 2495 0 0 0 60 0 0 0 20 0 1 0 12922535 34910208 2096 18446744073709551615 4194304 7402444 140725653719200 140725653712440 139928597039648 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 8523 2096 733 784 0 1537 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 34092

[startup+1.50022 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 6798
/proc/meminfo: memFree=31474068/32770624 swapFree=0/383120
[pid=6797] ppid=6794 vsize=38168 CPUtime=1.4 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 3503 0 0 0 140 0 0 0 20 0 1 0 12922535 39084032 3149 18446744073709551615 4194304 7402444 140725653719200 140725653712440 139928597089155 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 9542 3149 733 784 0 2556 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 38168

[startup+3.10022 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 6798
/proc/meminfo: memFree=31465140/32770624 swapFree=0/383120
[pid=6797] ppid=6794 vsize=46312 CPUtime=3.01 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 8172 0 0 0 300 1 0 0 20 0 1 0 12922535 47423488 5165 18446744073709551615 4194304 7402444 140725653719200 140725653709784 5972307 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 11578 5165 733 784 0 4592 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 46312

[startup+6.30022 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 6798
/proc/meminfo: memFree=31452808/32770624 swapFree=0/383120
[pid=6797] ppid=6794 vsize=59672 CPUtime=6.21 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 12675 0 0 0 620 1 0 0 20 0 1 0 12922535 61104128 8495 18446744073709551615 4194304 7402444 140725653719200 140725653709784 6030439 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 14918 8495 733 784 0 7932 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 59672

[startup+12.7002 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 6798
/proc/meminfo: memFree=31421036/32770624 swapFree=0/383144
[pid=6797] ppid=6794 vsize=89836 CPUtime=12.61 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 28346 0 0 0 1258 3 0 0 20 0 1 0 12922535 91992064 16095 18446744073709551615 4194304 7402444 140725653719200 140725653709752 5981564 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 22459 16095 733 784 0 15473 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 89836

[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 6798
/proc/meminfo: memFree=31363492/32770624 swapFree=0/383144
[pid=6797] ppid=6794 vsize=146220 CPUtime=25.4 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 45412 0 0 0 2536 4 0 0 20 0 1 0 12922535 149729280 30130 18446744073709551615 4194304 7402444 140725653719200 140725653709752 139928594254524 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 36555 30130 733 784 0 29569 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 146220

[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 6799
/proc/meminfo: memFree=31303160/32770624 swapFree=0/383156
[pid=6797] ppid=6794 vsize=206004 CPUtime=51 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 104205 0 0 0 5092 8 0 0 20 0 1 0 12922535 210948096 45225 18446744073709551615 4194304 7402444 140725653719200 140725653713912 5327238 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 51501 45225 764 784 0 44515 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 206004

[startup+102.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 6801
/proc/meminfo: memFree=31297112/32770624 swapFree=0/383192
[pid=6797] ppid=6794 vsize=212236 CPUtime=102.21 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 145091 0 0 0 10210 11 0 0 20 0 1 0 12922535 217329664 46795 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5753468 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 53059 46795 776 784 0 46073 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 212236

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 6818
/proc/meminfo: memFree=31288752/32770624 swapFree=0/383264
[pid=6797] ppid=6794 vsize=216460 CPUtime=162.17 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 170620 0 0 0 16205 12 0 0 20 0 1 0 12922535 221655040 47852 18446744073709551615 4194304 7402444 140725653719200 140725653713480 5327336 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54115 47852 776 784 0 47129 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 216460

[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 6820
/proc/meminfo: memFree=31286024/32770624 swapFree=0/383308
[pid=6797] ppid=6794 vsize=218176 CPUtime=222.16 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 175365 0 0 0 22203 13 0 0 20 0 1 0 12922535 223412224 48295 18446744073709551615 4194304 7402444 140725653719200 140725653713480 5327204 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54544 48295 776 784 0 47558 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 218176

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6822
/proc/meminfo: memFree=31290040/32770624 swapFree=0/383332
[pid=6797] ppid=6794 vsize=218308 CPUtime=282.15 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 176468 0 0 0 28202 13 0 0 20 0 1 0 12922535 223547392 48301 18446744073709551615 4194304 7402444 140725653719200 140725653713416 4708304 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54577 48301 776 784 0 47591 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 218308

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6824
/proc/meminfo: memFree=31290064/32770624 swapFree=0/383360
[pid=6797] ppid=6794 vsize=218308 CPUtime=342.15 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 177545 0 0 0 34202 13 0 0 20 0 1 0 12922535 223547392 48316 18446744073709551615 4194304 7402444 140725653719200 140725653713416 4248787 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54577 48316 776 784 0 47591 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 218308

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6826
/proc/meminfo: memFree=31289692/32770624 swapFree=0/383392
[pid=6797] ppid=6794 vsize=218308 CPUtime=402.14 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 178540 0 0 0 40201 13 0 0 20 0 1 0 12922535 223547392 48319 18446744073709551615 4194304 7402444 140725653719200 140725653713416 4262911 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54577 48319 776 784 0 47591 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 218308

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6829
/proc/meminfo: memFree=31288576/32770624 swapFree=0/383424
[pid=6797] ppid=6794 vsize=219232 CPUtime=462.14 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 180347 0 0 0 46201 13 0 0 20 0 1 0 12922535 224493568 48551 18446744073709551615 4194304 7402444 140725653719200 140725653713416 5877644 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54808 48551 776 784 0 47822 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 219232

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6831
/proc/meminfo: memFree=31288788/32770624 swapFree=0/383452
[pid=6797] ppid=6794 vsize=219232 CPUtime=522.14 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 181438 0 0 0 52200 14 0 0 20 0 1 0 12922535 224493568 48565 18446744073709551615 4194304 7402444 140725653719200 140725653713416 4238480 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54808 48565 776 784 0 47822 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 219232

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 6833
/proc/meminfo: memFree=31289168/32770624 swapFree=0/383484
[pid=6797] ppid=6794 vsize=219232 CPUtime=582.14 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 182543 0 0 0 58200 14 0 0 20 0 1 0 12922535 224493568 48565 18446744073709551615 4194304 7402444 140725653719200 140725653713416 4248747 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 54808 48565 776 784 0 47822 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 219232


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


[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 7102
/proc/meminfo: memFree=31450352/32770624 swapFree=0/384136
[pid=6797] ppid=6794 vsize=225352 CPUtime=1542.09 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 208541 0 0 0 154192 17 0 0 20 0 1 0 12922535 230760448 50087 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327171 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50087 777 784 0 49352 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 225352

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 7104
/proc/meminfo: memFree=31450828/32770624 swapFree=0/384188
[pid=6797] ppid=6794 vsize=225352 CPUtime=1602.09 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 209908 0 0 0 160191 18 0 0 20 0 1 0 12922535 230760448 50088 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5753458 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50088 777 784 0 49352 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 225352

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 7106
/proc/meminfo: memFree=31451040/32770624 swapFree=0/384224
[pid=6797] ppid=6794 vsize=225352 CPUtime=1662.08 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 211195 0 0 0 166190 18 0 0 20 0 1 0 12922535 230760448 50089 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5747655 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50089 777 784 0 49352 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 225352

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 7108
/proc/meminfo: memFree=31450932/32770624 swapFree=0/384252
[pid=6797] ppid=6794 vsize=225352 CPUtime=1722.08 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 212483 0 0 0 172190 18 0 0 20 0 1 0 12922535 230760448 50089 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327204 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50089 777 784 0 49352 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 225352

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7110
/proc/meminfo: memFree=31450684/32770624 swapFree=0/384284
[pid=6797] ppid=6794 vsize=225352 CPUtime=1782.07 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 213832 0 0 0 178189 18 0 0 20 0 1 0 12922535 230760448 50091 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327204 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50091 777 784 0 49352 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 225352

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7112
/proc/meminfo: memFree=31450808/32770624 swapFree=0/384312
[pid=6797] ppid=6794 vsize=225352 CPUtime=1842.07 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 215107 0 0 0 184189 18 0 0 20 0 1 0 12922535 230760448 50091 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327204 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50091 777 784 0 49352 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 225352

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7114
/proc/meminfo: memFree=31450420/32770624 swapFree=0/384320
[pid=6797] ppid=6794 vsize=225352 CPUtime=1902.06 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 216478 0 0 0 190188 18 0 0 20 0 1 0 12922535 230760448 50092 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5746100 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50092 777 784 0 49352 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 225352

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7131
/proc/meminfo: memFree=31446060/32770624 swapFree=0/384352
[pid=6797] ppid=6794 vsize=225352 CPUtime=1962.07 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 217759 0 0 0 196188 19 0 0 20 0 1 0 12922535 230760448 50094 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327250 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50094 777 784 0 49352 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 225352

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7133
/proc/meminfo: memFree=31446048/32770624 swapFree=0/384424
[pid=6797] ppid=6794 vsize=225352 CPUtime=2022.07 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 219175 0 0 0 202188 19 0 0 20 0 1 0 12922535 230760448 50096 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327204 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50096 777 784 0 49352 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 225352

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7135
/proc/meminfo: memFree=31450088/32770624 swapFree=0/384476
[pid=6797] ppid=6794 vsize=225352 CPUtime=2082.07 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 220467 0 0 0 208188 19 0 0 20 0 1 0 12922535 230760448 50100 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5747655 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50100 777 784 0 49352 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 225352

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7137
/proc/meminfo: memFree=31450212/32770624 swapFree=0/384504
[pid=6797] ppid=6794 vsize=225352 CPUtime=2142.06 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 221736 0 0 0 214187 19 0 0 20 0 1 0 12922535 230760448 50100 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327193 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50100 777 784 0 49352 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 225352

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7139
/proc/meminfo: memFree=31450584/32770624 swapFree=0/384536
[pid=6797] ppid=6794 vsize=225352 CPUtime=2202.06 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 223098 0 0 0 220187 19 0 0 20 0 1 0 12922535 230760448 50103 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327250 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50103 777 784 0 49352 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 225352

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7142
/proc/meminfo: memFree=31449984/32770624 swapFree=0/384572
[pid=6797] ppid=6794 vsize=225352 CPUtime=2262.06 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 224363 0 0 0 226186 20 0 0 20 0 1 0 12922535 230760448 50103 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5747655 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50103 777 784 0 49352 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 225352

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7144
/proc/meminfo: memFree=31449736/32770624 swapFree=0/384588
[pid=6797] ppid=6794 vsize=225352 CPUtime=2322.05 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 225675 0 0 0 232185 20 0 0 20 0 1 0 12922535 230760448 50105 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5747568 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50105 777 784 0 49352 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 225352

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7146
/proc/meminfo: memFree=31449436/32770624 swapFree=0/384620
[pid=6797] ppid=6794 vsize=225352 CPUtime=2382.05 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 226922 0 0 0 238185 20 0 0 20 0 1 0 12922535 230760448 50105 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5327204 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50105 777 784 0 49352 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 225352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7146
/proc/meminfo: memFree=31449752/32770624 swapFree=0/384648
[pid=6797] ppid=6794 vsize=225352 CPUtime=2400.05 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 228113 0 0 0 239985 20 0 0 20 0 1 0 12922535 230760448 50105 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5747655 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50105 777 784 0 49352 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 225352

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

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7146
/proc/meminfo: memFree=31449752/32770624 swapFree=0/384648
[pid=6797] ppid=6794 vsize=225352 CPUtime=2400.05 cores=1,3,5,7
/proc/6797/stat : 6797 (MistralXCSP) R 6794 6797 20633 0 -1 4202496 228113 0 0 0 239985 20 0 0 20 0 1 0 12922535 230760448 50105 18446744073709551615 4194304 7402444 140725653719200 140725653713672 5747655 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9500608 9505824 42389504 140725653721523 140725653721673 140725653721673 140725653725129 0
/proc/6797/statm: 56338 50105 777 784 0 49352 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 225352

Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2399.86
CPU system time (s): 0.204989
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 225352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.86
system time used= 0.204989
maximum resident set size= 200444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228162
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= 62
involuntary context switches= 745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20747 second user time and 9.83743 second system time

The end

Begin job on node127 at 2017-08-07 13:47:24
IDJOB=4242277
IDBENCH=140594
IDSOLVER=2622
FILE ID=node127/4242277-1502107288
RUNJOBID= node127-1502041295-28343
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.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-4242277-1502107288/watcher-4242277-1502107288 -o /tmp/evaluation-result-4242277-1502107288/solver-4242277-1502107288 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1826288739 HOME/instance-4242277-1502107288.xml

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

MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153
RANDOM SEED=1826288739

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31482400 kB
MemAvailable:   31838316 kB
Buffers:          148592 kB
Cached:           495180 kB
SwapCached:            0 kB
Active:           479256 kB
Inactive:         399852 kB
Active(anon):     235676 kB
Inactive(anon):    16716 kB
Active(file):     243580 kB
Inactive(file):   383136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6696 kB
Writeback:             0 kB
AnonPages:        327172 kB
Mapped:            33608 kB
Shmem:             17060 kB
Slab:             114520 kB
SReclaimable:      90072 kB
SUnreclaim:        24448 kB
KernelStack:        3472 kB
PageTables:         4904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     487964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-07 14:27:24