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)	181	2400.04	2400.31

0.00/0.00	c Mistral-2017-06-28
1.59/1.61	o 23821
1.59/1.61	o 19981
1.59/1.61	o 17037
1.59/1.62	o 14941
1.59/1.62	o 11709
1.59/1.63	o 9293
1.59/1.63	o 7549
1.59/1.64	o 6965
1.59/1.64	o 6333
1.59/1.65	o 4765
1.59/1.65	o 3901
1.59/1.66	o 3461
1.69/1.70	o 2461
1.69/1.71	o 2021
1.69/1.71	o 1645
1.69/1.72	o 1629
1.69/1.72	o 1533
1.69/1.73	o 1485
1.69/1.73	o 1469
1.69/1.75	o 1069
1.69/1.75	o 837
1.69/1.76	o 821
1.69/1.77	o 805
1.69/1.77	o 781
1.69/1.78	o 701
1.69/1.78	o 557
1.79/1.84	o 477
1.89/1.96	o 461
1.89/1.98	o 453
1.89/1.99	o 381
1.89/1.99	o 373
2.09/2.10	o 349
2.09/2.18	o 325
4.40/4.47	o 309
4.40/4.47	o 301
4.99/5.02	o 285
5.39/5.43	o 277
6.09/6.10	o 253
47.98/48.03	o 237
122.37/122.47	o 229
146.38/146.44	o 221
310.16/310.22	o 213
311.55/311.68	o 197
878.69/878.87	o 189
918.88/919.09	o 181
2400.02/2400.30	s SATISFIABLE
2400.02/2400.30	v <instantiation type="solution">
2400.02/2400.30	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] x[38] x[39] x[40] x[41] 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[0][37] y[0][38] y[0][39] y[0][40] 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[1][37] y[1][38] y[1][39] y[1][40] 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[2][37] y[2][38] y[2][39] y[2][40] 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[3][37] y[3][38] y[3][39] y[3][40] 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[4][37] y[4][38] y[4][39] y[4][40] 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[5][37] y[5][38] y[5][39] y[5][40] 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[6][37] y[6][38] y[6][39] y[6][40] 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[7][37] y[7][38] y[7][39] y[7][40] 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[8][37] y[8][38] y[8][39] y[8][40] 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[9][37] y[9][38] y[9][39] y[9][40] 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[10][37] y[10][38] y[10][39] y[10][40] 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[11][37] y[11][38] y[11][39] y[11][40] 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[12][37] y[12][38] y[12][39] y[12][40] 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[13][37] y[13][38] y[13][39] y[13][40] 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[14][37] y[14][38] y[14][39] y[14][40] 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[15][37] y[15][38] y[15][39] y[15][40] 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[16][37] y[16][38] y[16][39] y[16][40] 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[17][37] y[17][38] y[17][39] y[17][40] 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[18][37] y[18][38] y[18][39] y[18][40] 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[19][37] y[19][38] y[19][39] y[19][40] 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[20][37] y[20][38] y[20][39] y[20][40] 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[21][37] y[21][38] y[21][39] y[21][40] 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[22][37] y[22][38] y[22][39] y[22][40] 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[23][37] y[23][38] y[23][39] y[23][40] 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[24][37] y[24][38] y[24][39] y[24][40] 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[25][37] y[25][38] y[25][39] y[25][40] 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[26][37] y[26][38] y[26][39] y[26][40] 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[27][37] y[27][38] y[27][39] y[27][40] 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[28][37] y[28][38] y[28][39] y[28][40] 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[29][37] y[29][38] y[29][39] y[29][40] 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[30][37] y[30][38] y[30][39] y[30][40] 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[31][37] y[31][38] y[31][39] y[31][40] 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[32][37] y[32][38] y[32][39] y[32][40] 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[33][37] y[33][38] y[33][39] y[33][40] 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[34][37] y[34][38] y[34][39] y[34][40] 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[35][37] y[35][38] y[35][39] y[35][40] 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] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] 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] c[37] c[38] c[39] c[40] 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] s[37] s[38] s[39] s[40] </list>
2400.02/2400.30	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 1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -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 -4 1 -2 -1 -4 -1 2 -1 2 1 0 1 0 -1 -4 5 0 3 2 1 6 -1 -2 1 2 1 0 3 0 -1 2 -1 0 1 -2 1 -2 1 1 0 1 16 1 4 1 16 1 4 1 4 1 0 1 0 1 16 25 0 9 4 1 36 1 4 1 4 1 0 9 0 1 4 1 0 1 4 1 4 1 </values>
2400.02/2400.30	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-4241568-1500650880/watcher-4241568-1500650880 -o /tmp/evaluation-result-4241568-1500650880/solver-4241568-1500650880 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500648178-9868 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1372758943 HOME/instance-4241568-1500650880.xml 

pid=10418
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: 1.99 2.03 1.91 2/245 10421
/proc/meminfo: memFree=31993024/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=29192 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 1057 0 0 0 1 0 0 0 20 0 1 0 357068 29892608 886 33554432000 4194304 7402444 140728551448208 140728551445256 140097133521893 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 7298 886 618 784 0 312 0

[startup+0.100124 s]
/proc/loadavg: 1.99 2.03 1.91 2/245 10421
/proc/meminfo: memFree=31993024/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=31504 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 1765 0 0 0 9 0 0 0 20 0 1 0 357068 32260096 1546 33554432000 4194304 7402444 140728551448208 140728551437984 5935982 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 7876 1546 688 784 0 890 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31504

[startup+0.200317 s]
/proc/loadavg: 1.99 2.03 1.91 2/245 10421
/proc/meminfo: memFree=31993024/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=31628 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 1795 0 0 0 19 0 0 0 20 0 1 0 357068 32387072 1607 33554432000 4194304 7402444 140728551448208 140728551438872 140097133531109 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 7907 1607 728 784 0 921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31628

[startup+0.300262 s]
/proc/loadavg: 1.99 2.03 1.91 2/245 10421
/proc/meminfo: memFree=31993024/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=31752 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 1832 0 0 0 29 0 0 0 20 0 1 0 357068 32514048 1638 33554432000 4194304 7402444 140728551448208 140728551438872 6030533 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 7938 1638 728 784 0 952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31752

[startup+0.700237 s]
/proc/loadavg: 1.99 2.03 1.91 2/245 10421
/proc/meminfo: memFree=31993024/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=32548 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 2006 0 0 0 69 0 0 0 20 0 1 0 357068 33329152 1836 33554432000 4194304 7402444 140728551448208 140728551438904 6012400 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8137 1836 728 784 0 1151 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32548

[startup+1.50027 s]
/proc/loadavg: 1.91 2.01 1.90 3/246 10423
/proc/meminfo: memFree=31987088/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=34088 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 2459 0 0 0 149 0 0 0 20 0 1 0 357068 34906112 2192 33554432000 4194304 7402444 140728551448208 140728551438856 6057869 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8522 2192 728 784 0 1536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34088

[startup+3.10028 s]
/proc/loadavg: 1.91 2.01 1.90 3/246 10423
/proc/meminfo: memFree=31984980/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=35752 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 4375 0 0 0 309 0 0 0 20 0 1 0 357068 36610048 2728 33554432000 4194304 7402444 140728551448208 140728551443224 5750759 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2728 789 784 0 1952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35752

[startup+6.30029 s]
/proc/loadavg: 1.92 2.01 1.90 3/244 10423
/proc/meminfo: memFree=31984112/32770624 swapFree=6092/183616
[pid=10421] ppid=10418 vsize=35752 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 5812 0 0 0 629 0 0 0 20 0 1 0 357068 36610048 2728 33554432000 4194304 7402444 140728551448208 140728551443224 4466768 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2728 789 784 0 1952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35752

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 1.91 3/243 10423
/proc/meminfo: memFree=31983124/32770624 swapFree=6092/183672
[pid=10421] ppid=10418 vsize=35752 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 7223 0 0 0 1269 0 0 0 20 0 1 0 357068 36610048 2728 33554432000 4194304 7402444 140728551448208 140728551443224 5758711 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2728 789 784 0 1952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35752

[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 1.91 3/243 10423
/proc/meminfo: memFree=31982572/32770624 swapFree=6092/183672
[pid=10421] ppid=10418 vsize=35752 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 10036 0 0 0 2548 0 0 0 20 0 1 0 357068 36610048 2728 33554432000 4194304 7402444 140728551448208 140728551443224 4465328 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2728 789 784 0 1952 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35752

[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 1.91 3/243 10423
/proc/meminfo: memFree=31982952/32770624 swapFree=6092/183696
[pid=10421] ppid=10418 vsize=35752 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 11077 0 0 0 5108 0 0 0 20 0 1 0 357068 36610048 2730 33554432000 4194304 7402444 140728551448208 140728551443224 4747326 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2730 789 784 0 1952 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35752

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 1.92 3/243 10424
/proc/meminfo: memFree=31982720/32770624 swapFree=6092/183748
[pid=10421] ppid=10418 vsize=35752 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 11249 0 0 0 10228 0 0 0 20 0 1 0 357068 36610048 2730 33554432000 4194304 7402444 140728551448208 140728551443224 5871327 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2730 789 784 0 1952 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35752

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/243 10432
/proc/meminfo: memFree=31982192/32770624 swapFree=6092/183780
[pid=10421] ppid=10418 vsize=35752 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 11454 0 0 0 16227 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5695885 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 35752

[startup+222.308 s]
/proc/loadavg: 2.01 2.03 1.93 3/243 10433
/proc/meminfo: memFree=31982456/32770624 swapFree=6092/183832
[pid=10421] ppid=10418 vsize=35752 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 11627 0 0 0 22227 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4709427 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 35752

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/243 10434
/proc/meminfo: memFree=31982556/32770624 swapFree=6092/183868
[pid=10421] ppid=10418 vsize=35752 CPUtime=282.25 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 11802 0 0 0 28225 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4365925 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35752

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/243 10435
/proc/meminfo: memFree=31983308/32770624 swapFree=6092/183904
[pid=10421] ppid=10418 vsize=35752 CPUtime=342.25 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 12003 0 0 0 34225 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4248926 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 35752

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/243 10436
/proc/meminfo: memFree=31983824/32770624 swapFree=6092/183944
[pid=10421] ppid=10418 vsize=35752 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 12183 0 0 0 40224 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5758807 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 35752

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/243 10437
/proc/meminfo: memFree=31983828/32770624 swapFree=6092/183980
[pid=10421] ppid=10418 vsize=35752 CPUtime=462.23 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 12358 0 0 0 46223 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4747417 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 35752

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/243 10438
/proc/meminfo: memFree=31984216/32770624 swapFree=6092/184012
[pid=10421] ppid=10418 vsize=35752 CPUtime=522.23 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 12532 0 0 0 52223 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4747965 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 35752

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/243 10439
/proc/meminfo: memFree=31984584/32770624 swapFree=6092/184048
[pid=10421] ppid=10418 vsize=35752 CPUtime=582.22 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 12706 0 0 0 58222 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4708089 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 35752


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.97 3/244 10471
/proc/meminfo: memFree=31981736/32770624 swapFree=6092/184636
[pid=10421] ppid=10418 vsize=35752 CPUtime=1542.12 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 15527 0 0 0 154212 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5754032 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 35752

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/244 10472
/proc/meminfo: memFree=31981736/32770624 swapFree=6092/184672
[pid=10421] ppid=10418 vsize=35752 CPUtime=1602.11 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 15700 0 0 0 160211 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5696144 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 35752

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10474
/proc/meminfo: memFree=31981052/32770624 swapFree=6092/184728
[pid=10421] ppid=10418 vsize=35752 CPUtime=1662.1 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 15872 0 0 0 166210 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4237768 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 35752

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10475
/proc/meminfo: memFree=31981568/32770624 swapFree=6092/184752
[pid=10421] ppid=10418 vsize=35752 CPUtime=1722.09 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 16043 0 0 0 172209 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5750752 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 35752

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10476
/proc/meminfo: memFree=31981544/32770624 swapFree=6092/184792
[pid=10421] ppid=10418 vsize=35752 CPUtime=1782.09 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 16218 0 0 0 178209 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4747176 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 35752

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 10478
/proc/meminfo: memFree=31981500/32770624 swapFree=6092/184828
[pid=10421] ppid=10418 vsize=35752 CPUtime=1842.08 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 16398 0 0 0 184208 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4747338 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 35752

[startup+1902.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/243 10479
/proc/meminfo: memFree=31982728/32770624 swapFree=6092/184876
[pid=10421] ppid=10418 vsize=35752 CPUtime=1902.07 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 16566 0 0 0 190207 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5695885 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 35752

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/243 10487
/proc/meminfo: memFree=31979224/32770624 swapFree=6092/184920
[pid=10421] ppid=10418 vsize=35752 CPUtime=1962.07 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 16741 0 0 0 196207 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5750752 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 35752

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/243 10510
/proc/meminfo: memFree=31979284/32770624 swapFree=6092/184964
[pid=10421] ppid=10418 vsize=35752 CPUtime=2022.06 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 16913 0 0 0 202206 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4463708 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 35752

[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/243 10511
/proc/meminfo: memFree=31979968/32770624 swapFree=6092/184996
[pid=10421] ppid=10418 vsize=35752 CPUtime=2082.06 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 17087 0 0 0 208206 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4747314 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 35752

[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/243 10512
/proc/meminfo: memFree=31979740/32770624 swapFree=6092/185032
[pid=10421] ppid=10418 vsize=35752 CPUtime=2142.05 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 17262 0 0 0 214205 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4529232 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2142.05
Current children cumulated vsize (KiB) 35752

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 1.98 3/243 10513
/proc/meminfo: memFree=31979840/32770624 swapFree=6092/185060
[pid=10421] ppid=10418 vsize=35752 CPUtime=2202.05 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 17434 0 0 0 220205 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4747323 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 35752

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10514
/proc/meminfo: memFree=31978212/32770624 swapFree=6092/185104
[pid=10421] ppid=10418 vsize=35752 CPUtime=2262.03 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 17609 0 0 0 226203 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4465328 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 35752

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 10515
/proc/meminfo: memFree=31979472/32770624 swapFree=6092/185120
[pid=10421] ppid=10418 vsize=35752 CPUtime=2322.03 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 17781 0 0 0 232203 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 5750759 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 35752

[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/243 10516
/proc/meminfo: memFree=31978892/32770624 swapFree=6092/185172
[pid=10421] ppid=10418 vsize=35752 CPUtime=2382.02 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 17954 0 0 0 238202 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4341789 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 35752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.05 2.03 1.98 3/243 10589
/proc/meminfo: memFree=32021188/32770624 swapFree=6092/185176
[pid=10421] ppid=10418 vsize=35752 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 18123 0 0 0 240002 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4709396 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35752

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

[startup+2400.31 s]
/proc/loadavg: 2.05 2.03 1.98 3/243 10589
/proc/meminfo: memFree=32021188/32770624 swapFree=6092/185176
[pid=10421] ppid=10418 vsize=35752 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14
/proc/10421/stat : 10421 (MistralXCSP) R 10418 10421 9835 0 -1 4202496 18123 0 0 0 240002 0 0 0 20 0 1 0 357068 36610048 2731 33554432000 4194304 7402444 140728551448208 140728551443224 4709396 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 20594688 140728551449768 140728551449918 140728551449918 140728551452617 0
/proc/10421/statm: 8938 2731 789 784 0 1952 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 35752

Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.006999
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 35752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.006999
maximum resident set size= 10948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18160
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= 9
involuntary context switches= 120620

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62277 second user time and 12.0669 second system time

The end

Launcher Data

Begin job on node115 at 2017-07-21 17:28:00
IDJOB=4241568
IDBENCH=126989
IDSOLVER=2622
FILE ID=node115/4241568-1500650880
RUNJOBID= node115-1500648178-9868
PBS_JOBID= 20623303
Free space on /tmp= 61980 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.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-4241568-1500650880/watcher-4241568-1500650880 -o /tmp/evaluation-result-4241568-1500650880/solver-4241568-1500650880 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500648178-9868 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1372758943 HOME/instance-4241568-1500650880.xml

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

MD5SUM BENCH= 406abf126875c7059afeaa5170034bef
RANDOM SEED=1372758943

node115.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.41
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.41
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		: 1600.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.41
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		: 2400.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.41
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.41
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		: 2668.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.41
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		: 2533.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		: 1867.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.41
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		: 2668.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.41
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		: 1600.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:        31993524 kB
MemAvailable:   31984600 kB
Buffers:           28784 kB
Cached:           272696 kB
SwapCached:            0 kB
Active:           208852 kB
Inactive:         191876 kB
Active(anon):     102528 kB
Inactive(anon):     8548 kB
Active(file):     106324 kB
Inactive(file):   183328 kB
Unevictable:        6092 kB
Mlocked:            6092 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5960 kB
Writeback:             0 kB
AnonPages:        105376 kB
Mapped:            30596 kB
Shmem:              8848 kB
Slab:              66412 kB
SReclaimable:      34520 kB
SUnreclaim:        31892 kB
KernelStack:        4304 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     374424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61976 MiB
End job on node115 at 2017-07-21 18:08:01

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	20003.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"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":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"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}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"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},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4241568

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