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)	152	2400.09	2400.4

0.00/0.00	c Mistral-2017-06-28
1.39/1.44	o 20540
1.39/1.45	o 17296
1.39/1.45	o 14916
1.39/1.45	o 11680
1.39/1.46	o 9228
1.39/1.46	o 7416
1.39/1.46	o 6132
1.39/1.47	o 4496
1.39/1.47	o 3548
1.39/1.48	o 3436
1.39/1.48	o 2992
1.39/1.49	o 2680
1.39/1.49	o 2608
1.49/1.53	o 1988
1.49/1.53	o 1440
1.49/1.54	o 1416
1.49/1.54	o 1212
1.49/1.54	o 1100
1.49/1.55	o 1076
1.49/1.55	o 812
1.49/1.56	o 792
1.59/1.65	o 588
1.59/1.65	o 492
1.59/1.66	o 456
1.59/1.66	o 408
1.59/1.67	o 404
1.59/1.68	o 396
1.59/1.68	o 392
1.69/1.72	o 388
1.69/1.72	o 384
1.69/1.73	o 376
1.89/1.94	o 252
2.09/2.16	o 244
2.49/2.52	o 224
32.88/32.95	o 212
47.39/47.44	o 200
54.48/54.59	o 188
541.12/541.24	o 172
1325.92/1326.12	o 168
1333.42/1333.66	o 152
2400.08/2400.40	s SATISFIABLE
2400.08/2400.40	v <instantiation type="solution">
2400.08/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] x[38] x[39] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] 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] </list>
2400.08/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 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 2 -3 -2 -1 -2 1 0 1 -2 3 0 -5 0 -1 0 -1 -4 1 -2 -5 0 1 0 1 0 -3 0 1 -2 -1 0 -1 -2 1 2 3 2 1 1 4 9 4 1 4 1 0 1 4 9 0 25 0 1 0 1 16 1 4 25 0 1 0 1 0 9 0 1 4 1 0 1 4 1 4 9 4 1 </values>
2400.08/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-4241592-1500652979/watcher-4241592-1500652979 -o /tmp/evaluation-result-4241592-1500652979/solver-4241592-1500652979 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9859 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 499131486 HOME/instance-4241592-1500652979.xml 

pid=10479
running on 8 cores: 1,3,5,7,9,11,13,15

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 10482
/proc/meminfo: memFree=32026644/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=29060 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 1046 0 0 0 1 0 0 0 20 0 1 0 562808 29757440 821 33554432000 4194304 7402444 140737347176000 140737347173048 140568165841893 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 7265 821 618 784 0 279 0

[startup+0.100148 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10482
/proc/meminfo: memFree=32026644/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=31328 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 1711 0 0 0 9 0 0 0 20 0 1 0 562808 32079872 1480 33554432000 4194304 7402444 140737347176000 140737347165776 6029264 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 7832 1480 677 784 0 846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31328

[startup+0.200299 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10482
/proc/meminfo: memFree=32026644/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=31460 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 1741 0 0 0 19 0 0 0 20 0 1 0 562808 32215040 1546 33554432000 4194304 7402444 140737347176000 140737347166568 6063819 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 7865 1546 728 784 0 879 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31460

[startup+0.300234 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10482
/proc/meminfo: memFree=32026644/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=31584 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 1778 0 0 0 29 0 0 0 20 0 1 0 562808 32342016 1596 33554432000 4194304 7402444 140737347176000 140737347166664 6011182 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 7896 1596 728 784 0 910 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31584

[startup+0.700203 s]
/proc/loadavg: 2.00 2.02 2.00 3/244 10482
/proc/meminfo: memFree=32026644/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=32264 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 1945 0 0 0 69 0 0 0 20 0 1 0 562808 33038336 1733 33554432000 4194304 7402444 140737347176000 140737347166664 140568165852035 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8066 1733 728 784 0 1080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32264

[startup+1.5002 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32020692/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=35232 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 2791 0 0 0 149 0 0 0 20 0 1 0 562808 36077568 2536 33554432000 4194304 7402444 140737347176000 140737347171016 4542800 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2536 781 784 0 1822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35232

[startup+3.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32018964/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=35232 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 4091 0 0 0 309 0 0 0 20 0 1 0 562808 36077568 2580 33554432000 4194304 7402444 140737347176000 140737347171016 4367632 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2580 789 784 0 1822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35232

[startup+6.30021 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32018548/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=35232 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 5368 0 0 0 629 0 0 0 20 0 1 0 562808 36077568 2580 33554432000 4194304 7402444 140737347176000 140737347171016 4747413 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2580 789 784 0 1822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35232

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32017836/32770624 swapFree=6096/185032
[pid=10482] ppid=10479 vsize=35232 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 6646 0 0 0 1269 0 0 0 20 0 1 0 562808 36077568 2580 33554432000 4194304 7402444 140737347176000 140737347171016 4465328 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2580 789 784 0 1822 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35232

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32017208/32770624 swapFree=6096/185068
[pid=10482] ppid=10479 vsize=35232 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 8345 0 0 0 2548 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5878048 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35232

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/245 10483
/proc/meminfo: memFree=32017704/32770624 swapFree=6096/185076
[pid=10482] ppid=10479 vsize=35232 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 8837 0 0 0 5108 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4249086 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35232

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10484
/proc/meminfo: memFree=32016704/32770624 swapFree=6096/185120
[pid=10482] ppid=10479 vsize=35232 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 9284 0 0 0 10228 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5879696 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 35232

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/244 10485
/proc/meminfo: memFree=32017308/32770624 swapFree=6096/185156
[pid=10482] ppid=10479 vsize=35232 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 9725 0 0 0 16226 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4295984 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35232

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10486
/proc/meminfo: memFree=32017092/32770624 swapFree=6096/185180
[pid=10482] ppid=10479 vsize=35232 CPUtime=222.26 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 10178 0 0 0 22226 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4746968 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 35232

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10487
/proc/meminfo: memFree=32017124/32770624 swapFree=6096/185208
[pid=10482] ppid=10479 vsize=35232 CPUtime=282.25 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 10620 0 0 0 28225 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5695876 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35232

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/244 10489
/proc/meminfo: memFree=32017200/32770624 swapFree=6096/185232
[pid=10482] ppid=10479 vsize=35232 CPUtime=342.24 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 11060 0 0 0 34224 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5750752 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 35232

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/243 10490
/proc/meminfo: memFree=32018096/32770624 swapFree=6096/185256
[pid=10482] ppid=10479 vsize=35232 CPUtime=402.23 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 11503 0 0 0 40223 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4463552 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 35232

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10500
/proc/meminfo: memFree=32016748/32770624 swapFree=6096/185304
[pid=10482] ppid=10479 vsize=35232 CPUtime=462.22 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 11944 0 0 0 46222 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5758792 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 35232

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10501
/proc/meminfo: memFree=32017092/32770624 swapFree=6096/185324
[pid=10482] ppid=10479 vsize=35232 CPUtime=522.22 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 12384 0 0 0 52222 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4464722 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 35232

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/245 10502
/proc/meminfo: memFree=32017208/32770624 swapFree=6096/185364
[pid=10482] ppid=10479 vsize=35232 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 12850 0 0 0 58221 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5695876 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 35232


################
# 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=10482] ppid=10479 vsize=35232 CPUtime=1482.1 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 19502 0 0 0 148210 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5327179 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 35232

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.02 3/244 10528
/proc/meminfo: memFree=32016148/32770624 swapFree=5960/185840
[pid=10482] ppid=10479 vsize=35232 CPUtime=1542.1 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 19945 0 0 0 154210 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4747743 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 35232

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 10529
/proc/meminfo: memFree=32016076/32770624 swapFree=5960/185864
[pid=10482] ppid=10479 vsize=35232 CPUtime=1602.09 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 20387 0 0 0 160209 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 140568169277137 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 35232

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/243 10537
/proc/meminfo: memFree=32014568/32770624 swapFree=5960/185904
[pid=10482] ppid=10479 vsize=35232 CPUtime=1662.08 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 20829 0 0 0 166208 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4364897 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 35232

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10538
/proc/meminfo: memFree=32015476/32770624 swapFree=5960/185928
[pid=10482] ppid=10479 vsize=35232 CPUtime=1722.07 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 21268 0 0 0 172207 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5746103 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 35232

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10539
/proc/meminfo: memFree=32016176/32770624 swapFree=5960/185956
[pid=10482] ppid=10479 vsize=35232 CPUtime=1782.06 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 21709 0 0 0 178206 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5758807 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 35232

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10540
/proc/meminfo: memFree=32016460/32770624 swapFree=5960/185980
[pid=10482] ppid=10479 vsize=35232 CPUtime=1842.05 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 22151 0 0 0 184205 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4747897 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 35232

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10541
/proc/meminfo: memFree=32015360/32770624 swapFree=5960/186004
[pid=10482] ppid=10479 vsize=35232 CPUtime=1902.04 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 22592 0 0 0 190204 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5874736 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 35232

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/243 10542
/proc/meminfo: memFree=32016244/32770624 swapFree=5960/186040
[pid=10482] ppid=10479 vsize=35232 CPUtime=1962.03 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 23034 0 0 0 196203 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5750759 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 1962.03
Current children cumulated vsize (KiB) 35232

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/243 10543
/proc/meminfo: memFree=32016072/32770624 swapFree=5960/186064
[pid=10482] ppid=10479 vsize=35232 CPUtime=2022.03 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 23475 0 0 0 202203 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4747176 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 35232

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/243 10544
/proc/meminfo: memFree=32016440/32770624 swapFree=5960/186092
[pid=10482] ppid=10479 vsize=35232 CPUtime=2082.03 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 23918 0 0 0 208203 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5696144 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 35232

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10545
/proc/meminfo: memFree=32016012/32770624 swapFree=5960/186112
[pid=10482] ppid=10479 vsize=35232 CPUtime=2142.01 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 24364 0 0 0 214201 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5754032 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 35232

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10546
/proc/meminfo: memFree=32016576/32770624 swapFree=5960/186144
[pid=10482] ppid=10479 vsize=35232 CPUtime=2202.01 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 24806 0 0 0 220201 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4467256 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 35232

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10554
/proc/meminfo: memFree=32015260/32770624 swapFree=5960/186184
[pid=10482] ppid=10479 vsize=35232 CPUtime=2261.99 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 25247 0 0 0 226199 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5877690 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 35232

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 10555
/proc/meminfo: memFree=32015356/32770624 swapFree=5960/186216
[pid=10482] ppid=10479 vsize=35232 CPUtime=2321.99 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 25687 0 0 0 232199 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5758807 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 35232

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/243 10556
/proc/meminfo: memFree=32016256/32770624 swapFree=5960/186232
[pid=10482] ppid=10479 vsize=35232 CPUtime=2381.98 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 26124 0 0 0 238198 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 4465272 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 35232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 1.96 2.01 2.02 3/243 10622
/proc/meminfo: memFree=31979416/32770624 swapFree=5960/186124
[pid=10482] ppid=10479 vsize=35232 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/10482/stat : 10482 (MistralXCSP) R 10479 10482 9826 0 -1 4202496 26560 0 0 0 240008 0 0 0 20 0 1 0 562808 36077568 2584 33554432000 4194304 7402444 140737347176000 140737347171016 5758807 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 21315584 140737347183785 140737347183934 140737347183934 140737347186633 0
/proc/10482/statm: 8808 2584 789 784 0 1822 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 35232

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 10482 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.009998
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 35232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.009998
maximum resident set size= 10360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26599
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= 120625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82867 second user time and 10.331 second system time

The end

Launcher Data

Begin job on node149 at 2017-07-21 18:02:59
IDJOB=4241592
IDBENCH=127041
IDSOLVER=2622
FILE ID=node149/4241592-1500652979
RUNJOBID= node149-1500648172-9859
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-040.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-4241592-1500652979/watcher-4241592-1500652979 -o /tmp/evaluation-result-4241592-1500652979/solver-4241592-1500652979 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500648172-9859 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 499131486 HOME/instance-4241592-1500652979.xml

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

MD5SUM BENCH= 4e9e0842de773da2d9de44121d9bf85e
RANDOM SEED=499131486

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		: 1600.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		: 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.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		: 1600.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		: 1600.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		: 2267.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		: 2668.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		: 1733.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		: 1600.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		: 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:        32027356 kB
MemAvailable:   32019844 kB
Buffers:           29960 kB
Cached:           272944 kB
SwapCached:            0 kB
Active:           174516 kB
Inactive:         193580 kB
Active(anon):      68148 kB
Inactive(anon):     8548 kB
Active(file):     106368 kB
Inactive(file):   185032 kB
Unevictable:        6096 kB
Mlocked:            6096 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11228 kB
Writeback:             0 kB
AnonPages:         83876 kB
Mapped:            30584 kB
Shmem:              8848 kB
Slab:              65704 kB
SReclaimable:      33848 kB
SUnreclaim:        31856 kB
KernelStack:        4624 kB
PageTables:         5024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:43:00

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	136
Best CPU time to get the best result obtained on this benchmark	19993
Satisfiable
(Un)Satisfiability was proved
Number of variables	1639
Number of constraints	858
Number of domains	79
Minimum domain size	2
Maximum domain size	79
Distribution of domain sizes	[{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"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}, {"size":77,"count":1}, {"size":79,"count":1}]
Minimum variable degree	0
Maximum variable degree	39
Distribution of variable degrees	[{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":40},{"arity":3,"count":781},{"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}]
Number of extensional constraints	0
Number of intensional constraints	819
Distribution of constraint types	[{"type":"intension","count":819},{"type":"sum","count":39}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4241592

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