0.00/0.00	c Mistral-2017-06-28
21.38/21.48	o 146
21.38/21.49	o 145
21.38/21.49	o 144
21.48/21.50	o 143
21.48/21.50	o 142
21.48/21.51	o 141
21.48/21.51	o 140
21.48/21.51	o 139
21.48/21.52	o 138
21.48/21.52	o 137
21.48/21.53	o 136
21.48/21.54	o 135
21.48/21.55	o 134
21.48/21.56	o 133
21.48/21.56	o 132
21.48/21.57	o 131
21.48/21.58	o 130
21.48/21.59	o 129
21.58/21.60	o 128
21.58/21.61	o 127
21.58/21.68	o 126
21.68/21.72	o 125
21.68/21.73	o 124
21.68/21.74	o 123
21.68/21.75	o 122
21.68/21.75	o 121
21.68/21.77	o 120
21.68/21.80	o 119
21.78/21.80	o 118
21.88/21.91	o 117
21.88/21.92	o 116
21.88/21.94	o 115
21.88/21.96	o 114
21.99/22.09	o 113
21.99/22.10	o 112
22.17/22.21	o 111
22.27/22.35	o 110
22.67/22.72	o 109
22.67/22.72	o 108
22.67/22.77	o 107
23.08/23.13	o 106
23.18/23.21	o 105
2341.86/2342.29	o 104
2400.05/2400.40	s SATISFIABLE
2400.05/2400.40	v <instantiation type="solution">
2400.05/2400.40	v   <list> p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] </list>
2400.05/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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2400.05/2400.40	v </instantiation>

OK	104

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-4240798-1500641388/watcher-4240798-1500641388 -o /tmp/evaluation-result-4240798-1500641388/solver-4240798-1500641388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500623778-5150 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 371608921 HOME/instance-4240798-1500641388.xml 

pid=8401
running on 8 cores: 4-7,12-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.07 2.05 2.05 2/246 8404
/proc/meminfo: memFree=30792672/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=28932 CPUtime=0 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 17582730 29626368 821 33554432000 4194304 7402444 140735361893968 140735361891016 139861508848613 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 7233 821 617 784 0 247 0

[startup+0.100159 s]
/proc/loadavg: 2.07 2.05 2.05 2/246 8404
/proc/meminfo: memFree=30792672/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=37800 CPUtime=0.09 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 3311 0 0 0 9 0 0 0 20 0 1 0 17582730 38707200 3092 33554432000 4194304 7402444 140735361893968 140735361885144 139861508896672 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 9450 3092 684 784 0 2464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37800

[startup+0.20037 s]
/proc/loadavg: 2.07 2.05 2.05 2/246 8404
/proc/meminfo: memFree=30792672/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=46268 CPUtime=0.18 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 5683 0 0 0 18 0 0 0 20 0 1 0 17582730 47378432 5180 33554432000 4194304 7402444 140735361893968 140735361885240 4731480 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 11567 5180 684 784 0 4581 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 46268

[startup+0.300329 s]
/proc/loadavg: 2.07 2.05 2.05 2/246 8404
/proc/meminfo: memFree=30792672/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=51336 CPUtime=0.29 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 6970 0 0 0 28 1 0 0 20 0 1 0 17582730 52568064 6500 33554432000 4194304 7402444 140735361893968 140735361885144 4731632 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 12834 6500 684 784 0 5848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51336

[startup+0.700253 s]
/proc/loadavg: 2.07 2.05 2.05 2/246 8404
/proc/meminfo: memFree=30792672/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=68536 CPUtime=0.69 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 11150 0 0 0 68 1 0 0 20 0 1 0 17582730 70180864 10770 33554432000 4194304 7402444 140735361893968 140735361889320 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17134 10770 703 784 0 10148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68536

[startup+1.50029 s]
/proc/loadavg: 2.07 2.05 2.05 3/247 8405
/proc/meminfo: memFree=30751868/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=69256 CPUtime=1.49 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 11340 0 0 0 148 1 0 0 20 0 1 0 17582730 70918144 10968 33554432000 4194304 7402444 140735361893968 140735361888664 5327160 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 10968 726 784 0 10328 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69256

[startup+3.1003 s]
/proc/loadavg: 2.07 2.05 2.05 3/247 8405
/proc/meminfo: memFree=30750088/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=69256 CPUtime=3.09 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 18524 0 0 0 308 1 0 0 20 0 1 0 17582730 70918144 10998 33554432000 4194304 7402444 140735361893968 140735361888664 5747655 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 10998 726 784 0 10328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69256

[startup+6.30029 s]
/proc/loadavg: 2.06 2.05 2.05 3/247 8405
/proc/meminfo: memFree=30750080/32770624 swapFree=6744/869056
[pid=8404] ppid=8401 vsize=69256 CPUtime=6.28 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 25717 0 0 0 627 1 0 0 20 0 1 0 17582730 70918144 10998 33554432000 4194304 7402444 140735361893968 140735361888664 5747568 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 10998 726 784 0 10328 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69256

[startup+12.7003 s]
/proc/loadavg: 2.06 2.05 2.05 3/247 8405
/proc/meminfo: memFree=30749672/32770624 swapFree=6744/869108
[pid=8404] ppid=8401 vsize=69256 CPUtime=12.68 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 32600 0 0 0 1266 2 0 0 20 0 1 0 17582730 70918144 10998 33554432000 4194304 7402444 140735361893968 140735361888664 5327179 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 10998 726 784 0 10328 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69256

[startup+25.5004 s]
/proc/loadavg: 2.12 2.06 2.05 3/248 8413
/proc/meminfo: memFree=30750000/32770624 swapFree=6744/869116
[pid=8404] ppid=8401 vsize=69256 CPUtime=25.47 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 38806 0 0 0 2545 2 0 0 20 0 1 0 17582730 70918144 11002 33554432000 4194304 7402444 140735361893968 140735361888984 4299810 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11002 730 784 0 10328 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 69256

[startup+51.1004 s]
/proc/loadavg: 2.08 2.05 2.05 3/248 8479
/proc/meminfo: memFree=30707372/32770624 swapFree=6748/869480
[pid=8404] ppid=8401 vsize=69256 CPUtime=51.06 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 39260 0 0 0 5104 2 0 0 20 0 1 0 17582730 70918144 11013 33554432000 4194304 7402444 140735361893968 140735361888984 4747965 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11013 730 784 0 10328 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69256

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/248 8545
/proc/meminfo: memFree=30301120/32770624 swapFree=6744/869216
[pid=8404] ppid=8401 vsize=69256 CPUtime=102.26 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 39709 0 0 0 10224 2 0 0 20 0 1 0 17582730 70918144 11013 33554432000 4194304 7402444 140735361893968 140735361888984 4747334 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11013 730 784 0 10328 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 69256

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 4/248 8546
/proc/meminfo: memFree=30288132/32770624 swapFree=6744/869292
[pid=8404] ppid=8401 vsize=69256 CPUtime=162.25 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 40160 0 0 0 16223 2 0 0 20 0 1 0 17582730 70918144 11014 33554432000 4194304 7402444 140735361893968 140735361888984 5871069 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11014 730 784 0 10328 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 69256

[startup+222.308 s]
/proc/loadavg: 2.15 2.06 2.06 4/248 8547
/proc/meminfo: memFree=30287508/32770624 swapFree=6744/869292
[pid=8404] ppid=8401 vsize=69256 CPUtime=222.25 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 40609 0 0 0 22223 2 0 0 20 0 1 0 17582730 70918144 11014 33554432000 4194304 7402444 140735361893968 140735361888984 5750479 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11014 730 784 0 10328 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 69256

[startup+282.3 s]
/proc/loadavg: 2.18 2.08 2.06 4/248 8548
/proc/meminfo: memFree=30289012/32770624 swapFree=6744/869368
[pid=8404] ppid=8401 vsize=69256 CPUtime=282.23 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 41060 0 0 0 28221 2 0 0 20 0 1 0 17582730 70918144 11014 33554432000 4194304 7402444 140735361893968 140735361888984 5747617 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11014 730 784 0 10328 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 69256

[startup+342.3 s]
/proc/loadavg: 2.07 2.07 2.05 4/246 8550
/proc/meminfo: memFree=30288160/32770624 swapFree=6744/869368
[pid=8404] ppid=8401 vsize=69256 CPUtime=342.22 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 41509 0 0 0 34220 2 0 0 20 0 1 0 17582730 70918144 11014 33554432000 4194304 7402444 140735361893968 140735361888984 5746096 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11014 730 784 0 10328 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 69256

[startup+402.3 s]
/proc/loadavg: 2.02 2.06 2.05 4/246 8551
/proc/meminfo: memFree=30287716/32770624 swapFree=6744/869452
[pid=8404] ppid=8401 vsize=69256 CPUtime=402.21 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 41961 0 0 0 40219 2 0 0 20 0 1 0 17582730 70918144 11014 33554432000 4194304 7402444 140735361893968 140735361888984 4708123 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11014 730 784 0 10328 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 69256

[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.05 4/246 8552
/proc/meminfo: memFree=30287668/32770624 swapFree=6744/869452
[pid=8404] ppid=8401 vsize=69256 CPUtime=462.21 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 42414 0 0 0 46219 2 0 0 20 0 1 0 17582730 70918144 11015 33554432000 4194304 7402444 140735361893968 140735361888984 5327179 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11015 730 784 0 10328 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 69256

[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/246 8554
/proc/meminfo: memFree=30288156/32770624 swapFree=6744/869512
[pid=8404] ppid=8401 vsize=69256 CPUtime=522.2 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 42864 0 0 0 52218 2 0 0 20 0 1 0 17582730 70918144 11015 33554432000 4194304 7402444 140735361893968 140735361888984 4712858 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11015 730 784 0 10328 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 69256

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/246 8555
/proc/meminfo: memFree=30288672/32770624 swapFree=6744/869556
[pid=8404] ppid=8401 vsize=69256 CPUtime=582.19 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 43308 0 0 0 58217 2 0 0 20 0 1 0 17582730 70918144 11015 33554432000 4194304 7402444 140735361893968 140735361888984 5750512 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11015 730 784 0 10328 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 69256


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


[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/248 8611
/proc/meminfo: memFree=30287792/32770624 swapFree=6744/870112
[pid=8404] ppid=8401 vsize=69256 CPUtime=1482.07 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 50022 0 0 0 148205 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 4747291 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 69256

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 4/247 8612
/proc/meminfo: memFree=30287736/32770624 swapFree=6744/870112
[pid=8404] ppid=8401 vsize=69256 CPUtime=1542.07 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 50469 0 0 0 154205 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 5759176 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 69256

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/247 8613
/proc/meminfo: memFree=30288120/32770624 swapFree=6744/870188
[pid=8404] ppid=8401 vsize=69256 CPUtime=1602.06 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 50919 0 0 0 160204 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 69256

[startup+1662.3 s]
/proc/loadavg: 1.96 2.00 2.04 4/246 8614
/proc/meminfo: memFree=30288320/32770624 swapFree=6744/870188
[pid=8404] ppid=8401 vsize=69256 CPUtime=1662.05 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 51372 0 0 0 166203 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 4464537 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 69256

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.04 4/247 8616
/proc/meminfo: memFree=30288544/32770624 swapFree=6744/870260
[pid=8404] ppid=8401 vsize=69256 CPUtime=1722.04 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 51818 0 0 0 172202 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 5750768 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 69256

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.05 4/247 8617
/proc/meminfo: memFree=30288904/32770624 swapFree=6744/870300
[pid=8404] ppid=8401 vsize=69256 CPUtime=1782.03 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 52269 0 0 0 178201 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 5327204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 69256

[startup+1842.3 s]
/proc/loadavg: 2.03 2.01 2.05 4/247 8625
/proc/meminfo: memFree=30285000/32770624 swapFree=6744/870348
[pid=8404] ppid=8401 vsize=69256 CPUtime=1842.02 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 52716 0 0 0 184200 2 0 0 20 0 1 0 17582730 70918144 11016 33554432000 4194304 7402444 140735361893968 140735361888984 4238800 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11016 730 784 0 10328 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 69256

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 4/247 8626
/proc/meminfo: memFree=30285800/32770624 swapFree=6744/870348
[pid=8404] ppid=8401 vsize=69256 CPUtime=1902.02 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 53160 0 0 0 190200 2 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 4248836 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 69256

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/247 8627
/proc/meminfo: memFree=30287024/32770624 swapFree=6744/870404
[pid=8404] ppid=8401 vsize=69256 CPUtime=1962.01 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 53613 0 0 0 196199 2 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 69256

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/246 8628
/proc/meminfo: memFree=30286852/32770624 swapFree=6744/870420
[pid=8404] ppid=8401 vsize=69256 CPUtime=2022 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 54061 0 0 0 202198 2 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 4708314 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 69256

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/246 8629
/proc/meminfo: memFree=30287904/32770624 swapFree=6744/870476
[pid=8404] ppid=8401 vsize=69256 CPUtime=2082.01 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 54507 0 0 0 208198 3 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 4747123 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 69256

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/246 8631
/proc/meminfo: memFree=30287436/32770624 swapFree=6744/870476
[pid=8404] ppid=8401 vsize=69256 CPUtime=2141.99 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 54963 0 0 0 214196 3 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 5696144 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 69256

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 4/246 8632
/proc/meminfo: memFree=30286588/32770624 swapFree=6744/870548
[pid=8404] ppid=8401 vsize=69256 CPUtime=2201.99 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 55414 0 0 0 220196 3 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 4747871 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 69256

[startup+2262.3 s]
/proc/loadavg: 2.18 2.06 2.06 4/246 8633
/proc/meminfo: memFree=30286540/32770624 swapFree=6744/870548
[pid=8404] ppid=8401 vsize=69256 CPUtime=2261.97 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 55863 0 0 0 226194 3 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 5754004 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 69256

[startup+2322.3 s]
/proc/loadavg: 2.07 2.05 2.05 4/246 8635
/proc/meminfo: memFree=30287152/32770624 swapFree=6744/870620
[pid=8404] ppid=8401 vsize=69256 CPUtime=2321.97 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 56317 0 0 0 232194 3 0 0 20 0 1 0 17582730 70918144 11017 33554432000 4194304 7402444 140735361893968 140735361888984 5327250 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11017 730 784 0 10328 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 69256

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/246 8636
/proc/meminfo: memFree=30287732/32770624 swapFree=6744/870660
[pid=8404] ppid=8401 vsize=69256 CPUtime=2381.96 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 56785 0 0 0 238193 3 0 0 20 0 1 0 17582730 70918144 11020 33554432000 4194304 7402444 140735361893968 140735361888984 5327213 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11020 730 784 0 10328 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 69256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.02 2.04 2.05 4/246 8637
/proc/meminfo: memFree=30287480/32770624 swapFree=6744/870660
[pid=8404] ppid=8401 vsize=69256 CPUtime=2400.05 cores=4-7,12-15
/proc/8404/stat : 8404 (MistralXCSP) R 8401 8404 5118 0 -1 4202496 57230 0 0 0 240002 3 0 0 20 0 1 0 17582730 70918144 11020 33554432000 4194304 7402444 140735361893968 140735361888984 5750715 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31248384 140735361901737 140735361901886 140735361901886 140735361904585 0
/proc/8404/statm: 17314 11020 730 784 0 10328 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 69256

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 8404 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.06
CPU user time (s): 2400.03
CPU system time (s): 0.032995
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 69256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.032995
maximum resident set size= 44112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57270
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= 26
involuntary context switches= 120706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04388 second user time and 11.8799 second system time

The end

Begin job on node132 at 2017-07-21 14:49:48
IDJOB=4240798
IDBENCH=124142
IDSOLVER=2622
FILE ID=node132/4240798-1500641388
RUNJOBID= node132-1500623778-5150
PBS_JOBID= 20623001
Free space on /tmp= 61776 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-3.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-4240798-1500641388/watcher-4240798-1500641388 -o /tmp/evaluation-result-4240798-1500641388/solver-4240798-1500641388 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500623778-5150 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 371608921 HOME/instance-4240798-1500641388.xml

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

MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f
RANDOM SEED=371608921

node132.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.23
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	: 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.23
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		: 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.23
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	: 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.23
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		: 2400.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	: 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		: 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	: 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	: 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	: 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.23
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		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 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	: 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		: 2400.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	: 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		: 2400.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	: 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		: 2400.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:        30792348 kB
MemAvailable:   31972400 kB
Buffers:          159020 kB
Cached:          1303980 kB
SwapCached:            0 kB
Active:           642564 kB
Inactive:         886096 kB
Active(anon):      68220 kB
Inactive(anon):    17040 kB
Active(file):     574344 kB
Inactive(file):   869056 kB
Unevictable:        6744 kB
Mlocked:            6744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5816 kB
Writeback:             0 kB
AnonPages:         72208 kB
Mapped:            33940 kB
Shmem:             17064 kB
Slab:             138392 kB
SReclaimable:     104972 kB
SUnreclaim:        33420 kB
KernelStack:        4304 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     349064 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:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61768 MiB
End job on node132 at 2017-07-21 15:29:48