0.00/0.06	c 280717
0.00/0.09	o 172
0.00/0.10	o 171
0.00/0.10	o 169
0.00/0.10	o 168
0.04/0.11	o 167
0.04/0.11	o 165
0.04/0.12	o 164
0.04/0.12	o 161
0.04/0.13	o 157
0.04/0.14	o 153
0.04/0.14	o 150
0.04/0.15	o 149
0.04/0.16	o 147
0.04/0.16	o 145
0.04/0.17	o 143
0.04/0.18	o 139
0.04/0.18	o 137
0.04/0.19	o 135
0.04/0.19	o 134
0.04/0.20	o 130
0.14/0.21	o 128
0.14/0.22	o 127
0.14/0.22	o 124
0.14/0.23	o 122
0.14/0.24	o 120
0.14/0.24	o 114
0.14/0.28	o 112
0.24/0.35	o 111
0.24/0.36	o 109
0.24/0.36	o 107
0.24/0.37	o 105
0.24/0.37	o 103
0.24/0.39	o 101
0.34/0.50	o 100
0.34/0.51	o 99
0.44/0.52	o 97
0.44/0.53	o 96
0.44/0.55	o 91
0.44/0.55	o 87
0.44/0.57	o 86
0.44/0.58	o 85
0.44/0.58	o 83
0.44/0.59	o 81
0.44/0.60	o 77
0.54/0.64	o 76
0.54/0.68	o 75
0.63/0.74	o 74
10.53/10.60	o 73
10.63/10.70	o 71
10.83/10.93	o 68
13.53/13.64	o 67
14.83/14.90	o 66
251.91/252.01	s SATISFIABLE
251.91/252.01	v <instantiation type="solution">
251.91/252.01	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] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] </list>
251.91/252.07	v   <values> 25 27 24 28 31 29 15 3 26 18 13 21 9 11 10 7 5 8 12 22 4 17 6 2 1 23 0 30 14 19 16 20 * 0 0 * * 0 * * * * 1 * 0 * * * * * * * * 0 * * * * * * * * * * * * 1 * 0 * * * 0 * * * * 0 * * * * * * * * * * * * * * * * * * * * * 0 * * * * 0 * * * * * 1 * * 0 * * * * * * * * * * * * * * * * * * 1 0 * * 1 * * * * * 2 * * 1 * * * * * * * * * * * * * * * * * * * 0 * * 1 * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 1 * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 * * * 2 * 1 0 0 * 1 * * * * * * * * * * * * * * * * * * 1 0 * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * 0 * * * 0 * 0 * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 * * * * 0 * * * 0 * * * * * * * * * * * * * * * * * * * 0 1 * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 0 1 * 0 2 * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * 0 * 1 * * 1 * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * 2 * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
251.91/252.07	v </instantiation>

OK	66

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259154-1502647940/watcher-4259154-1502647940 -o /tmp/evaluation-result-4259154-1502647940/solver-4259154-1502647940 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 542089198 HOME/instance-4259154-1502647940.xml 

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

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

solver pid=1687, runsolver pid=1684

[startup+0.1002 s]*
/proc/loadavg: 1.91 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31563608/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=45460 memory=19988 CPUtime=0.04 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 5231 0 0 0 4 0 0 0 20 0 1 0 66989432 46551040 4997 18446744073709551615 4194304 7396336 140730093191696 140730093188696 5165805 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11365 4997 689 782 0 4381 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 19988 KiB

[startup+0.20944 s]*
/proc/loadavg: 1.91 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31563236/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=45988 memory=20516 CPUtime=0.14 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 5369 0 0 0 14 0 0 0 20 0 1 0 66989432 47091712 5129 18446744073709551615 4194304 7396336 140730093191696 140730093188696 4246560 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11497 5129 696 782 0 4513 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 45988 KiB
Current children cumulated memory: 20516 KiB

[startup+0.309348 s]*
/proc/loadavg: 1.91 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31562988/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=45988 memory=20516 CPUtime=0.24 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 5393 0 0 0 24 0 0 0 20 0 1 0 66989432 47091712 5129 18446744073709551615 4194304 7396336 140730093191696 140730093188696 5792043 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11497 5129 696 782 0 4513 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 45988 KiB
Current children cumulated memory: 20516 KiB

[startup+0.700407 s]
/proc/loadavg: 1.91 1.95 2.01 4/181 1688
/proc/meminfo: memFree=31562668/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=46252 memory=20780 CPUtime=0.63 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 5457 0 0 0 63 0 0 0 20 0 1 0 66989432 47362048 5195 18446744073709551615 4194304 7396336 140730093191696 140730093186712 4249751 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11563 5195 696 782 0 4579 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 46252 KiB
Current children cumulated memory: 20780 KiB

[startup+1.5004 s]
/proc/loadavg: 1.91 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31562668/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=46516 memory=21044 CPUtime=1.43 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 5507 0 0 0 143 0 0 0 20 0 1 0 66989432 47632384 5261 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5792270 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11629 5261 697 782 0 4645 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 46516 KiB
Current children cumulated memory: 21044 KiB

[startup+3.10922 s]
/proc/loadavg: 1.91 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31561428/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=46648 memory=21364 CPUtime=3.04 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 8243 0 0 0 303 1 0 0 20 0 1 0 66989432 47767552 5341 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5792235 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11662 5341 698 782 0 4678 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 46648 KiB
Current children cumulated memory: 21364 KiB

[startup+6.30039 s]
/proc/loadavg: 1.92 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31560020/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=46780 memory=21528 CPUtime=6.23 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 11013 0 0 0 622 1 0 0 20 0 1 0 66989432 47902720 5382 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5771158 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11695 5382 698 782 0 4711 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 46780 KiB
Current children cumulated memory: 21528 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 1.95 2.01 3/181 1688
/proc/meminfo: memFree=31558904/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47044 memory=21692 CPUtime=12.63 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 13859 0 0 0 1262 1 0 0 20 0 1 0 66989432 48173056 5423 18446744073709551615 4194304 7396336 140730093191696 140730093186232 4581576 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11761 5423 698 782 0 4777 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 47044 KiB
Current children cumulated memory: 21692 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.96 2.01 3/181 1689
/proc/meminfo: memFree=31556796/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47308 memory=21940 CPUtime=25.43 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 19609 0 0 0 2542 1 0 0 20 0 1 0 66989432 48443392 5485 18446744073709551615 4194304 7396336 140730093191696 140730093186232 4249751 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11827 5485 698 782 0 4843 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47308 KiB
Current children cumulated memory: 21940 KiB

[startup+51.1093 s]
/proc/loadavg: 1.96 1.96 2.01 3/181 1689
/proc/meminfo: memFree=31553984/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47440 memory=22088 CPUtime=51.03 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 22541 0 0 0 5102 1 0 0 20 0 1 0 66989432 48578560 5522 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5772120 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11860 5522 698 782 0 4876 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 47440 KiB
Current children cumulated memory: 22088 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.96 2.01 3/181 1691
/proc/meminfo: memFree=31552912/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47572 memory=22172 CPUtime=102.22 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 25495 0 0 0 10221 1 0 0 20 0 1 0 66989432 48713728 5543 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5792027 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11893 5543 698 782 0 4909 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 22172 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 2.01 3/185 1708
/proc/meminfo: memFree=31547896/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47572 memory=22300 CPUtime=162.21 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 27610 0 0 0 16220 1 0 0 20 0 1 0 66989432 48713728 5575 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5772895 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11893 5575 698 782 0 4909 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 22300 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/185 1734
/proc/meminfo: memFree=31546920/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47572 memory=22356 CPUtime=222.2 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 28095 0 0 0 22219 1 0 0 20 0 1 0 66989432 48713728 5589 18446744073709551615 4194304 7396336 140730093191696 140730093186232 5792030 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11893 5589 698 782 0 4909 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 22356 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.98 2.01 3/185 1799
/proc/meminfo: memFree=31304352/32770624 swapFree=67105588/67108860
[pid=1687] ppid=1684 vsize=47572 memory=22380 CPUtime=251.91 cores=0,2,4,6
/proc/1687/stat : 1687 (MistralXCSP) R 1684 1687 12560 0 -1 4202496 28584 0 0 0 25190 1 0 0 20 0 1 0 66989432 48713728 5595 18446744073709551615 4194304 7396336 140730093191696 140730093186232 4581409 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 27373568 140730093195667 140730093195816 140730093195816 140730093199305 0
/proc/1687/statm: 11893 5595 698 782 0 4909 0
Current children cumulated CPU time: 251.91 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 22380 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.011 s]
# the end of solver process 1687 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.905 s, system=0.018998 s

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

Child status: 0
Real time (s): 252.011
CPU time (s): 251.924
CPU user time (s): 251.905
CPU system time (s): 0.018998
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 47572
Max. memory (cumulated for all children) (KiB): 22380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.905
system time used= 0.018998
maximum resident set size= 22416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 316


# summary of solver processes directly reported to runsolver:
#   pid: 1687
#   total CPU time (s): 251.924
#   total CPU user time (s): 251.905
#   total CPU system time (s): 0.018998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.964583 second user time and 1.72519 second system time

The end

Begin job on node126 at 2017-08-13 19:58:19
IDJOB=4259154
IDBENCH=123050
IDSOLVER=2645
FILE ID=node126/4259154-1502647940
RUNJOBID= node126-1502640747-30539
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-esc32a.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-4259154-1502647940/watcher-4259154-1502647940 -o /tmp/evaluation-result-4259154-1502647940/solver-4259154-1502647940 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30539 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 542089198 HOME/instance-4259154-1502647940.xml

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

MD5SUM BENCH= ca8832984a17c67db3e889c6d91adcf4
RANDOM SEED=542089198

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31580956 kB
MemAvailable:   31871016 kB
Buffers:          272488 kB
Cached:           288160 kB
SwapCached:          524 kB
Active:           533596 kB
Inactive:         178864 kB
Active(anon):      99820 kB
Inactive(anon):    85428 kB
Active(file):     433776 kB
Inactive(file):    93436 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              6000 kB
Writeback:             4 kB
AnonPages:        151416 kB
Mapped:            48052 kB
Shmem:             33440 kB
Slab:             183716 kB
SReclaimable:     157368 kB
SUnreclaim:        26348 kB
KernelStack:        3232 kB
PageTables:         4652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     429328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62020 MiB
End job on node126 at 2017-08-13 20:02:31