0.00/0.06	c 280717
22.93/23.01	o 146
22.93/23.01	o 145
22.93/23.02	o 144
22.93/23.02	o 143
22.93/23.03	o 142
22.93/23.03	o 141
22.93/23.04	o 140
22.93/23.04	o 139
22.93/23.05	o 138
22.93/23.05	o 137
22.93/23.05	o 136
22.93/23.07	o 135
22.93/23.08	o 134
22.93/23.09	o 133
22.93/23.09	o 132
23.04/23.10	o 131
23.04/23.11	o 130
23.04/23.12	o 129
23.04/23.13	o 128
23.04/23.14	o 127
23.14/23.22	o 126
23.14/23.26	o 125
23.14/23.27	o 124
23.14/23.28	o 123
23.14/23.29	o 122
23.14/23.29	o 121
23.23/23.31	o 120
23.23/23.34	o 119
23.23/23.35	o 118
23.33/23.46	o 117
23.33/23.47	o 116
23.33/23.49	o 115
23.43/23.51	o 114
23.53/23.65	o 113
23.53/23.66	o 112
23.63/23.77	o 111
23.83/23.92	o 110
24.24/24.34	o 109
24.24/24.34	o 108
24.24/24.39	o 107
24.63/24.79	o 106
24.73/24.87	o 105
2385.99/2386.02	o 104
2519.99/2520.00	s SATISFIABLE
2519.99/2520.00	v <instantiation type="solution">
2519.99/2520.00	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>
2519.99/2520.00	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>
2519.99/2520.00	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-4260904-1502354877/watcher-4260904-1502354877 -o /tmp/evaluation-result-4260904-1502354877/solver-4260904-1502354877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1214498443 HOME/instance-4260904-1502354877.xml 

pid=3821
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.04 2.05 3/185 3824
/proc/meminfo: memFree=30137920/32770624 swapFree=0/439584
[pid=3824] ppid=3821 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3824/stat : 3824 (runsolver) D 3821 3824 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 77398794 24240128 106 18446744073709551615 4194304 4338465 140724280617808 140724280615448 140512168764119 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 22798336 140724280619146 140724280619593 140724280619593 140724280623050 0
/proc/3824/statm: 5918 106 53 36 0 2156 0

[startup+0.100582 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3824
/proc/meminfo: memFree=30137920/32770624 swapFree=0/439584
[pid=3824] ppid=3821 vsize=33612 CPUtime=0.03 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 2259 0 0 0 3 0 0 0 20 0 1 0 77398794 34418688 2028 18446744073709551615 4194304 7396336 140721961378656 140721961367192 6066699 0 0 1 0 0 0 0 17 6 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 8403 2028 666 782 0 1419 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 33612

[startup+0.200579 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3824
/proc/meminfo: memFree=30137920/32770624 swapFree=0/439584
[pid=3824] ppid=3821 vsize=46260 CPUtime=0.12 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 5661 0 0 0 12 0 0 0 20 0 1 0 77398794 47370240 5176 18446744073709551615 4194304 7396336 140721961378656 140721961369832 5799136 0 0 1 0 0 0 0 17 6 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 11565 5176 680 782 0 4581 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 46260

[startup+0.300576 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3824
/proc/meminfo: memFree=30137920/32770624 swapFree=0/439584
[pid=3824] ppid=3821 vsize=51328 CPUtime=0.22 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 6944 0 0 0 22 0 0 0 20 0 1 0 77398794 52559872 6430 18446744073709551615 4194304 7396336 140721961378656 140721961369832 4566039 0 0 1 0 0 0 0 17 6 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 12832 6430 680 782 0 5848 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 51328

[startup+0.700315 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3824
/proc/meminfo: memFree=30137920/32770624 swapFree=0/439584
[pid=3824] ppid=3821 vsize=68528 CPUtime=0.62 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 11138 0 0 0 61 1 0 0 20 0 1 0 77398794 70172672 10766 18446744073709551615 4194304 7396336 140721961378656 140721961369832 5165796 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17132 10766 699 782 0 10148 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 68528

[startup+1.50033 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 3826
/proc/meminfo: memFree=30098048/32770624 swapFree=0/439580
[pid=3824] ppid=3821 vsize=69248 CPUtime=1.42 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 11324 0 0 0 141 1 0 0 20 0 1 0 77398794 70909952 10964 18446744073709551615 4194304 7396336 140721961378656 140721961374008 5586259 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10964 718 782 0 10328 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 69248

[startup+3.10033 s]
/proc/loadavg: 2.08 2.06 2.05 3/186 3826
/proc/meminfo: memFree=30096896/32770624 swapFree=0/439580
[pid=3824] ppid=3821 vsize=69248 CPUtime=3.03 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 18606 0 0 0 301 2 0 0 20 0 1 0 77398794 70909952 10990 18446744073709551615 4194304 7396336 140721961378656 140721961373320 4246602 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10990 718 782 0 10328 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 69248

[startup+6.30033 s]
/proc/loadavg: 2.08 2.06 2.05 3/186 3826
/proc/meminfo: memFree=30097168/32770624 swapFree=0/439576
[pid=3824] ppid=3821 vsize=69248 CPUtime=6.23 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 25896 0 0 0 621 2 0 0 20 0 1 0 77398794 70909952 10990 18446744073709551615 4194304 7396336 140721961378656 140721961373320 5607723 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10990 718 782 0 10328 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 69248

[startup+12.7003 s]
/proc/loadavg: 2.07 2.06 2.05 3/186 3826
/proc/meminfo: memFree=30096780/32770624 swapFree=0/439576
[pid=3824] ppid=3821 vsize=69248 CPUtime=12.63 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 32833 0 0 0 1260 3 0 0 20 0 1 0 77398794 70909952 10990 18446744073709551615 4194304 7396336 140721961378656 140721961373320 4543984 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10990 718 782 0 10328 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 69248

[startup+25.5004 s]
/proc/loadavg: 2.06 2.05 2.05 3/186 3826
/proc/meminfo: memFree=30096872/32770624 swapFree=0/439576
[pid=3824] ppid=3821 vsize=69248 CPUtime=25.43 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 47027 0 0 0 2540 3 0 0 20 0 1 0 77398794 70909952 10994 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5588182 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10994 722 782 0 10328 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 69248

[startup+51.1004 s]
/proc/loadavg: 2.04 2.05 2.05 3/186 3826
/proc/meminfo: memFree=30055036/32770624 swapFree=0/439576
[pid=3824] ppid=3821 vsize=69248 CPUtime=51.03 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 51476 0 0 0 5100 3 0 0 20 0 1 0 77398794 70909952 10998 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5165842 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10998 722 782 0 10328 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 69248

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 3829
/proc/meminfo: memFree=30009772/32770624 swapFree=0/439596
[pid=3824] ppid=3821 vsize=69248 CPUtime=102.23 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 55904 0 0 0 10220 3 0 0 20 0 1 0 77398794 70909952 10998 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4249456 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10998 722 782 0 10328 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 69248

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 3832
/proc/meminfo: memFree=29918156/32770624 swapFree=0/439612
[pid=3824] ppid=3821 vsize=69248 CPUtime=162.24 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 60342 0 0 0 16220 4 0 0 20 0 1 0 77398794 70909952 10999 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4582512 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10999 722 782 0 10328 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 69248

[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 3834
/proc/meminfo: memFree=29705656/32770624 swapFree=0/439636
[pid=3824] ppid=3821 vsize=69248 CPUtime=222.25 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 64773 0 0 0 22221 4 0 0 20 0 1 0 77398794 70909952 10999 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4543902 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10999 722 782 0 10328 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 69248

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 3836
/proc/meminfo: memFree=29704752/32770624 swapFree=0/439644
[pid=3824] ppid=3821 vsize=69248 CPUtime=282.24 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 69195 0 0 0 28220 4 0 0 20 0 1 0 77398794 70909952 10999 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4379189 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10999 722 782 0 10328 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 69248

[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/187 3838
/proc/meminfo: memFree=29704604/32770624 swapFree=0/439664
[pid=3824] ppid=3821 vsize=69248 CPUtime=342.24 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 73616 0 0 0 34220 4 0 0 20 0 1 0 77398794 70909952 10999 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4246650 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10999 722 782 0 10328 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 69248

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/189 3854
/proc/meminfo: memFree=29701040/32770624 swapFree=0/439696
[pid=3824] ppid=3821 vsize=69248 CPUtime=402.24 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 78053 0 0 0 40220 4 0 0 20 0 1 0 77398794 70909952 10999 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5165805 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10999 722 782 0 10328 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 69248

[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/186 3857
/proc/meminfo: memFree=29702784/32770624 swapFree=0/439716
[pid=3824] ppid=3821 vsize=69248 CPUtime=462.24 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 82482 0 0 0 46220 4 0 0 20 0 1 0 77398794 70909952 10999 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5165821 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 10999 722 782 0 10328 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 69248

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 3859
/proc/meminfo: memFree=29703156/32770624 swapFree=0/439720
[pid=3824] ppid=3821 vsize=69248 CPUtime=522.25 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 86910 0 0 0 52220 5 0 0 20 0 1 0 77398794 70909952 11000 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4582143 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11000 722 782 0 10328 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 69248

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 3862
/proc/meminfo: memFree=29702640/32770624 swapFree=0/439728
[pid=3824] ppid=3821 vsize=69248 CPUtime=582.24 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 91352 0 0 0 58219 5 0 0 20 0 1 0 77398794 70909952 11000 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4379138 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11000 722 782 0 10328 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 69248


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


[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 3930
/proc/meminfo: memFree=29698840/32770624 swapFree=0/439964
[pid=3824] ppid=3821 vsize=69248 CPUtime=1602.27 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 95856 0 0 0 160222 5 0 0 20 0 1 0 77398794 70909952 11008 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4582588 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11008 722 782 0 10328 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 69248

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 3978
/proc/meminfo: memFree=29697944/32770624 swapFree=0/439992
[pid=3824] ppid=3821 vsize=69248 CPUtime=1662.27 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 96205 0 0 0 166222 5 0 0 20 0 1 0 77398794 70909952 11008 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4581738 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11008 722 782 0 10328 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 69248

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 3980
/proc/meminfo: memFree=29699828/32770624 swapFree=0/440008
[pid=3824] ppid=3821 vsize=69248 CPUtime=1722.27 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 96554 0 0 0 172222 5 0 0 20 0 1 0 77398794 70909952 11008 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4249504 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11008 722 782 0 10328 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 69248

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 3982
/proc/meminfo: memFree=29701944/32770624 swapFree=0/440016
[pid=3824] ppid=3821 vsize=69248 CPUtime=1782.27 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 96898 0 0 0 178222 5 0 0 20 0 1 0 77398794 70909952 11008 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5774332 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11008 722 782 0 10328 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 69248

[startup+1842.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/186 3984
/proc/meminfo: memFree=29702592/32770624 swapFree=0/440028
[pid=3824] ppid=3821 vsize=69248 CPUtime=1842.27 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 97247 0 0 0 184222 5 0 0 20 0 1 0 77398794 70909952 11008 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5576291 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11008 722 782 0 10328 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 69248

[startup+1902.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 3987
/proc/meminfo: memFree=29702204/32770624 swapFree=0/440048
[pid=3824] ppid=3821 vsize=69248 CPUtime=1902.27 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 97597 0 0 0 190222 5 0 0 20 0 1 0 77398794 70909952 11008 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4582752 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11008 722 782 0 10328 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 69248

[startup+1962.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 3989
/proc/meminfo: memFree=29702436/32770624 swapFree=0/440064
[pid=3824] ppid=3821 vsize=69248 CPUtime=1962.28 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 97942 0 0 0 196223 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4399564 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 69248

[startup+2022.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 3991
/proc/meminfo: memFree=29702312/32770624 swapFree=0/440072
[pid=3824] ppid=3821 vsize=69248 CPUtime=2022.28 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 98287 0 0 0 202223 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4379197 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 69248

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 3994
/proc/meminfo: memFree=29702544/32770624 swapFree=0/440084
[pid=3824] ppid=3821 vsize=69248 CPUtime=2082.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 98632 0 0 0 208224 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4249767 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 69248

[startup+2142.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 4179
/proc/meminfo: memFree=31208508/32770624 swapFree=0/440140
[pid=3824] ppid=3821 vsize=69248 CPUtime=2142.28 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 98982 0 0 0 214223 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 5165805 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 69248

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 4195
/proc/meminfo: memFree=31205164/32770624 swapFree=0/440156
[pid=3824] ppid=3821 vsize=69248 CPUtime=2202.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 99332 0 0 0 220224 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4582542 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 69248

[startup+2262.3 s]
/proc/loadavg: 2.25 2.08 2.06 3/187 4197
/proc/meminfo: memFree=31206144/32770624 swapFree=0/440144
[pid=3824] ppid=3821 vsize=69248 CPUtime=2262.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 99677 0 0 0 226224 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4582516 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 69248

[startup+2322.3 s]
/proc/loadavg: 2.09 2.07 2.06 3/186 4199
/proc/meminfo: memFree=31208276/32770624 swapFree=0/440152
[pid=3824] ppid=3821 vsize=69248 CPUtime=2322.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 100022 0 0 0 232224 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4317615 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 69248

[startup+2382.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/185 4201
/proc/meminfo: memFree=31207440/32770624 swapFree=0/440160
[pid=3824] ppid=3821 vsize=69248 CPUtime=2382.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 100372 0 0 0 238224 5 0 0 20 0 1 0 77398794 70909952 11009 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4542718 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11009 722 782 0 10328 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 69248

[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 4203
/proc/meminfo: memFree=31207820/32770624 swapFree=0/440172
[pid=3824] ppid=3821 vsize=69248 CPUtime=2442.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 100737 0 0 0 244224 5 0 0 20 0 1 0 77398794 70909952 11012 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4249767 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11012 722 782 0 10328 0
Current children cumulated CPU time (s) 2442.29
Current children cumulated vsize (KiB) 69248

[startup+2502.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/185 4205
/proc/meminfo: memFree=31207572/32770624 swapFree=0/440188
[pid=3824] ppid=3821 vsize=69248 CPUtime=2502.29 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 101088 0 0 0 250224 5 0 0 20 0 1 0 77398794 70909952 11012 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4257607 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11012 722 782 0 10328 0
Current children cumulated CPU time (s) 2502.29
Current children cumulated vsize (KiB) 69248



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.08 2.06 2.05 3/185 4205
/proc/meminfo: memFree=31207576/32770624 swapFree=0/440184
[pid=3824] ppid=3821 vsize=69248 CPUtime=2519.99 cores=0,2,4,6
/proc/3824/stat : 3824 (MistralXCSP) R 3821 3824 9153 0 -1 4202496 101438 0 0 0 251994 5 0 0 20 0 1 0 77398794 70909952 11012 18446744073709551615 4194304 7396336 140721961378656 140721961373672 4547248 0 0 1 16386 0 0 0 17 2 0 0 6 0 0 9496464 9501696 33464320 140721961382322 140721961382472 140721961382472 140721961385929 0
/proc/3824/statm: 17312 11012 722 782 0 10328 0
Current children cumulated CPU time (s) 2519.99
Current children cumulated vsize (KiB) 69248

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

Child status: 0
Real time (s): 2520
CPU time (s): 2520.01
CPU user time (s): 2519.95
CPU system time (s): 0.060001
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 69248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.060001
maximum resident set size= 44076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101471
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= 23
involuntary context switches= 3160

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18143 second user time and 10.5285 second system time

The end

Begin job on node135 at 2017-08-10 10:34:01
IDJOB=4260904
IDBENCH=124142
IDSOLVER=2649
FILE ID=node135/4260904-1502354877
RUNJOBID= node135-1502330739-31365
PBS_JOBID= 
Free space on /tmp= 62012 MiB

SOLVER NAME= Mistral-2.0 2017-07-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-4260904-1502354877/watcher-4260904-1502354877 -o /tmp/evaluation-result-4260904-1502354877/solver-4260904-1502354877 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31365 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1214498443 HOME/instance-4260904-1502354877.xml

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

MD5SUM BENCH= 0b4fb4a315b6bd8f0348750a3d90443f
RANDOM SEED=1214498443

node135.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.21
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.21
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.21
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.21
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:        30138168 kB
MemAvailable:   30880856 kB
Buffers:          273500 kB
Cached:           762084 kB
SwapCached:            0 kB
Active:          1719272 kB
Inactive:         472724 kB
Active(anon):    1156828 kB
Inactive(anon):    33140 kB
Active(file):     562444 kB
Inactive(file):   439584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5832 kB
Writeback:             0 kB
AnonPages:       1156384 kB
Mapped:            48520 kB
Shmem:             33464 kB
Slab:             140112 kB
SReclaimable:     112988 kB
SUnreclaim:        27124 kB
KernelStack:        3248 kB
PageTables:         6924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1424804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    774144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62020 MiB
End job on node135 at 2017-08-10 11:16:01