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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: Mistral-2.0 2017-06-28	SAT (TO)	151	2400.09	2400.4

0.00/0.00	c Mistral-2017-06-28
1.29/1.32	o 17575
1.29/1.33	o 14911
1.29/1.33	o 11671
1.29/1.33	o 9183
1.29/1.33	o 7335
1.29/1.34	o 6031
1.29/1.34	o 4343
1.29/1.34	o 3287
1.29/1.34	o 3191
1.29/1.35	o 2975
1.29/1.35	o 2951
1.29/1.36	o 2895
1.29/1.36	o 2447
1.29/1.37	o 2391
1.39/1.40	o 2103
1.39/1.41	o 1567
1.39/1.42	o 1399
1.39/1.44	o 1247
1.39/1.48	o 495
1.39/1.48	o 471
1.49/1.52	o 375
1.49/1.58	o 263
1.79/1.83	o 247
2.69/2.73	o 231
3.30/3.37	o 223
3.59/3.65	o 215
51.18/51.22	o 183
51.38/51.40	o 175
51.98/52.00	o 167
56.09/56.14	o 159
58.68/58.75	o 151
2400.07/2400.40	s SATISFIABLE
2400.07/2400.40	v <instantiation type="solution">
2400.07/2400.40	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] </list>
2400.07/2400.40	v   <values> -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 * -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 * * -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 * * * -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 * * * * -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 * * * * * -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 * * * * * * -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 * * * * * * * -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 * * * * * * * * 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 * * * * * * * * * -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 0 -1 0 -3 0 -1 4 -1 2 1 -2 -5 2 -1 -2 1 2 -1 0 1 0 3 0 3 0 -3 0 -1 -2 -1 2 5 2 -1 -2 -1 1 0 1 0 9 0 1 16 1 4 1 4 25 4 1 4 1 4 1 0 1 0 9 0 9 0 9 0 1 4 1 4 25 4 1 4 1 </values>
2400.07/2400.40	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241586-1500652977/watcher-4241586-1500652977 -o /tmp/evaluation-result-4241586-1500652977/solver-4241586-1500652977 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9858 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 885329952 HOME/instance-4241586-1500652977.xml 

pid=10347
running on 8 cores: 0,2,4,6,8,10,12,14

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.00 2.02 2.00 3/244 10350
/proc/meminfo: memFree=32033616/32770624 swapFree=6096/185700
[pid=10350] ppid=10347 vsize=29460 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 1134 0 0 0 1 0 0 0 20 0 1 0 562600 30167040 920 33554432000 4194304 7402444 140726896772800 140726896763912 139994642066405 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 7365 920 618 784 0 379 0

[startup+0.100121 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10350
/proc/meminfo: memFree=32033616/32770624 swapFree=6096/185700
[pid=10350] ppid=10347 vsize=31164 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 1658 0 0 0 9 0 0 0 20 0 1 0 562600 31911936 1489 33554432000 4194304 7402444 140726896772800 140726896761608 6072941 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 7791 1489 728 784 0 805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31164

[startup+0.200255 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10350
/proc/meminfo: memFree=32033616/32770624 swapFree=6096/185700
[pid=10350] ppid=10347 vsize=31288 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 1688 0 0 0 19 0 0 0 20 0 1 0 562600 32038912 1520 33554432000 4194304 7402444 140726896772800 140726896763496 6048462 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 7822 1520 728 784 0 836 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31288

[startup+0.300201 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10350
/proc/meminfo: memFree=32033616/32770624 swapFree=6096/185700
[pid=10350] ppid=10347 vsize=31412 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 1729 0 0 0 29 0 0 0 20 0 1 0 562600 32165888 1551 33554432000 4194304 7402444 140726896772800 140726896763464 6057815 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 7853 1551 728 784 0 867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31412

[startup+0.700172 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10350
/proc/meminfo: memFree=32033616/32770624 swapFree=6096/185700
[pid=10350] ppid=10347 vsize=32080 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 1889 0 0 0 69 0 0 0 20 0 1 0 562600 32849920 1679 33554432000 4194304 7402444 140726896772800 140726896763800 6047508 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8020 1679 728 784 0 1034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32080

[startup+1.50018 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10417
/proc/meminfo: memFree=32027940/32770624 swapFree=6096/185320
[pid=10350] ppid=10347 vsize=34632 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 2652 0 0 0 149 0 0 0 20 0 1 0 562600 35463168 2431 33554432000 4194304 7402444 140726896772800 140726896767816 4463616 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2431 783 784 0 1672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34632

[startup+3.10021 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32023668/32770624 swapFree=6096/185032
[pid=10350] ppid=10347 vsize=34632 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 3870 0 0 0 309 0 0 0 20 0 1 0 562600 35463168 2442 33554432000 4194304 7402444 140726896772800 140726896767816 5758736 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2442 789 784 0 1672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34632

[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32018964/32770624 swapFree=6096/185032
[pid=10350] ppid=10347 vsize=34632 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 5068 0 0 0 629 0 0 0 20 0 1 0 562600 35463168 2445 33554432000 4194304 7402444 140726896772800 140726896767816 5750759 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2445 789 784 0 1672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34632

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32017836/32770624 swapFree=6096/185032
[pid=10350] ppid=10347 vsize=34632 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 5436 0 0 0 1269 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5754032 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34632

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32017208/32770624 swapFree=6096/185068
[pid=10350] ppid=10347 vsize=34632 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 6166 0 0 0 2548 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5877531 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34632

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32017456/32770624 swapFree=6096/185076
[pid=10350] ppid=10347 vsize=34632 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 6536 0 0 0 5108 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4466152 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34632

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10484
/proc/meminfo: memFree=32016704/32770624 swapFree=6096/185120
[pid=10350] ppid=10347 vsize=34632 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 6922 0 0 0 10228 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4529237 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34632

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/244 10485
/proc/meminfo: memFree=32017308/32770624 swapFree=6096/185156
[pid=10350] ppid=10347 vsize=34632 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 7286 0 0 0 16227 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4709328 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 34632

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10486
/proc/meminfo: memFree=32017092/32770624 swapFree=6096/185180
[pid=10350] ppid=10347 vsize=34632 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 7660 0 0 0 22227 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4747656 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 34632

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10487
/proc/meminfo: memFree=32017124/32770624 swapFree=6096/185208
[pid=10350] ppid=10347 vsize=34632 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 8024 0 0 0 28225 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4237755 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 34632

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/244 10489
/proc/meminfo: memFree=32017200/32770624 swapFree=6096/185232
[pid=10350] ppid=10347 vsize=34632 CPUtime=342.24 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 8388 0 0 0 34224 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4747743 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 34632

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10490
/proc/meminfo: memFree=32018096/32770624 swapFree=6096/185256
[pid=10350] ppid=10347 vsize=34632 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 8752 0 0 0 40224 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5877690 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 34632

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10500
/proc/meminfo: memFree=32016748/32770624 swapFree=6096/185304
[pid=10350] ppid=10347 vsize=34632 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 9116 0 0 0 46223 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5878971 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 34632

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10501
/proc/meminfo: memFree=32017092/32770624 swapFree=6096/185324
[pid=10350] ppid=10347 vsize=34632 CPUtime=522.22 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 9479 0 0 0 52222 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4748177 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 34632

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10502
/proc/meminfo: memFree=32017208/32770624 swapFree=6096/185364
[pid=10350] ppid=10347 vsize=34632 CPUtime=582.21 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 9842 0 0 0 58221 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4240640 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 34632


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


[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/244 10526
/proc/meminfo: memFree=32015180/32770624 swapFree=5960/185804
[pid=10350] ppid=10347 vsize=34632 CPUtime=1482.1 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 15298 0 0 0 148210 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5879104 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 34632

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.02 3/244 10528
/proc/meminfo: memFree=32016148/32770624 swapFree=5960/185840
[pid=10350] ppid=10347 vsize=34632 CPUtime=1542.1 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 15662 0 0 0 154210 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5758807 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 34632

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 10529
/proc/meminfo: memFree=32016076/32770624 swapFree=5960/185864
[pid=10350] ppid=10347 vsize=34632 CPUtime=1602.09 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 16025 0 0 0 160209 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5758751 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 34632

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/243 10537
/proc/meminfo: memFree=32014568/32770624 swapFree=5960/185904
[pid=10350] ppid=10347 vsize=34632 CPUtime=1662.08 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 16389 0 0 0 166208 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4463616 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 34632

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10538
/proc/meminfo: memFree=32015476/32770624 swapFree=5960/185928
[pid=10350] ppid=10347 vsize=34632 CPUtime=1722.07 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 16753 0 0 0 172207 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5696151 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 34632

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10539
/proc/meminfo: memFree=32016080/32770624 swapFree=5960/185952
[pid=10350] ppid=10347 vsize=34632 CPUtime=1782.06 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 17118 0 0 0 178206 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5878897 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 34632

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10540
/proc/meminfo: memFree=32016216/32770624 swapFree=5960/185980
[pid=10350] ppid=10347 vsize=34632 CPUtime=1842.05 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 17481 0 0 0 184205 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4367496 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 34632

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10541
/proc/meminfo: memFree=32014844/32770624 swapFree=5960/186000
[pid=10350] ppid=10347 vsize=34632 CPUtime=1902.04 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 17845 0 0 0 190204 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4365407 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 34632

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/243 10542
/proc/meminfo: memFree=32016244/32770624 swapFree=5960/186040
[pid=10350] ppid=10347 vsize=34632 CPUtime=1962.03 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 18209 0 0 0 196203 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5758830 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 1962.03
Current children cumulated vsize (KiB) 34632

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 10543
/proc/meminfo: memFree=32016072/32770624 swapFree=5960/186060
[pid=10350] ppid=10347 vsize=34632 CPUtime=2022.03 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 18573 0 0 0 202203 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4341748 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 34632

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 10544
/proc/meminfo: memFree=32016440/32770624 swapFree=5960/186092
[pid=10350] ppid=10347 vsize=34632 CPUtime=2082.03 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 18936 0 0 0 208203 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5695876 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 34632

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10545
/proc/meminfo: memFree=32015688/32770624 swapFree=5960/186112
[pid=10350] ppid=10347 vsize=34632 CPUtime=2142.01 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 19297 0 0 0 214201 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4465337 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 34632

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10546
/proc/meminfo: memFree=32016576/32770624 swapFree=5960/186144
[pid=10350] ppid=10347 vsize=34632 CPUtime=2202.01 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 19658 0 0 0 220201 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4708070 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 34632

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10554
/proc/meminfo: memFree=32015260/32770624 swapFree=5960/186184
[pid=10350] ppid=10347 vsize=34632 CPUtime=2261.99 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 20019 0 0 0 226199 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5877540 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 34632

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10555
/proc/meminfo: memFree=32015356/32770624 swapFree=5960/186216
[pid=10350] ppid=10347 vsize=34632 CPUtime=2321.99 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 20383 0 0 0 232199 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5758792 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 34632

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/243 10556
/proc/meminfo: memFree=32016256/32770624 swapFree=5960/186232
[pid=10350] ppid=10347 vsize=34632 CPUtime=2381.98 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 20747 0 0 0 238198 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 4747326 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 34632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.04 2.03 2.03 3/243 10556
/proc/meminfo: memFree=32015364/32770624 swapFree=5960/186240
[pid=10350] ppid=10347 vsize=34632 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/10350/stat : 10350 (MistralXCSP) R 10347 10350 9826 0 -1 4202496 21111 0 0 0 240007 0 0 0 20 0 1 0 562600 35463168 2446 33554432000 4194304 7402444 140726896772800 140726896767816 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 35569664 140726896780457 140726896780606 140726896780606 140726896783305 0
/proc/10350/statm: 8658 2446 789 784 0 1672 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 34632

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

Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.006999
CPU usage (%): 99.9869
Max. virtual memory (cumulated for all children) (KiB): 34632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.006999
maximum resident set size= 9808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21149
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= 8
involuntary context switches= 120623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72272 second user time and 9.93004 second system time

The end

Launcher Data

Begin job on node149 at 2017-07-21 18:02:57
IDJOB=4241586
IDBENCH=127025
IDSOLVER=2622
FILE ID=node149/4241586-1500652977
RUNJOBID= node149-1500648172-9858
PBS_JOBID= 20623272
Free space on /tmp= 62020 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-038.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-4241586-1500652977/watcher-4241586-1500652977 -o /tmp/evaluation-result-4241586-1500652977/solver-4241586-1500652977 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9858 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 885329952 HOME/instance-4241586-1500652977.xml

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

MD5SUM BENCH= 5c46c59146557e02d06c9ff3e1746190
RANDOM SEED=885329952

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

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32033328 kB
MemAvailable:   32026104 kB
Buffers:           29884 kB
Cached:           273116 kB
SwapCached:            0 kB
Active:           168588 kB
Inactive:         194248 kB
Active(anon):      62588 kB
Inactive(anon):     8548 kB
Active(file):     106000 kB
Inactive(file):   185700 kB
Unevictable:        6096 kB
Mlocked:            6096 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11732 kB
Writeback:             0 kB
AnonPages:         70392 kB
Mapped:            30412 kB
Shmem:              8848 kB
Slab:              65756 kB
SReclaimable:      33820 kB
SUnreclaim:        31936 kB
KernelStack:        4624 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     328432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 62016 MiB
End job on node149 at 2017-07-21 18:42:58

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml
MD5SUM	5c46c59146557e02d06c9ff3e1746190
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	95
Best CPU time to get the best result obtained on this benchmark	20037.801
Satisfiable
(Un)Satisfiability was proved
Number of variables	1481
Number of constraints	777
Number of domains	75
Minimum domain size	2
Maximum domain size	75
Distribution of domain sizes	[{"size":2,"count":742},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":33,"count":2}, {"size":34,"count":1}, {"size":35,"count":2}, {"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}]
Minimum variable degree	0
Maximum variable degree	37
Distribution of variable degrees	[{"degree":0,"count":666},{"degree":2,"count":777},{"degree":37,"count":38}]
Minimum constraint arity	2
Maximum constraint arity	38
Distribution of constraint arities	[{"arity":2,"count":38},{"arity":3,"count":704},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	740
Distribution of constraint types	[{"type":"intension","count":740},{"type":"sum","count":37}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4241586

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data