0.50/0.56	c best=?? lower=0 upper=69926 
2456.23/2456.38	c
2456.23/2456.38	c This is cosoco 1.12 --  
2456.23/2456.38	c
2456.23/2456.38	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292951-1532300912.xml 
2456.23/2456.38	c enable optimization
2456.23/2456.38	c ========================================[ Problem Statistics ]===========================================
2456.23/2456.38	c |                                                                                                       
2456.23/2456.38	c |  Parse time        :         0.52 s 
2456.23/2456.38	c |
2456.23/2456.38	c |               Variables: 2475
2456.23/2456.38	c |            Domain Sizes: 1..43
2456.23/2456.38	c |
2456.23/2456.38	c |             Constraints: 6649
2456.23/2456.38	c |                   Arity: 1..569  -- Unary: 128  -- Binary: 2524  -- Ternary: 2080
2456.23/2456.38	c | 
2456.23/2456.38	c |                   Types: 
2456.23/2456.38	c |                          At least: 1177
2456.23/2456.38	c |                          Exactly K variable: 370
2456.23/2456.38	c |                          Extension: 1522  (nb tuples: 0..33) -- (shared: 1482)
2456.23/2456.38	c |                          Intension: 797
2456.23/2456.38	c |                          MDD: 2558
2456.23/2456.38	c |                          Sum: 97
2456.23/2456.38	c |                          Unary: 128
2456.23/2456.38	c |                          
2456.23/2456.38	c |               Objective: Minimize Sum
2456.23/2456.38	
2456.23/2456.38	c =========================================================================================================
2456.23/2456.38	o 27589
2456.23/2456.38	c    1 calls to solver: best=27589 lower=0 upper=27588 
2519.94/2520.00	
2519.94/2520.00	c *** INTERRUPTED ***
2519.94/2520.00	c restarts              : 97          
2519.94/2520.00	c conflicts             : 10150938     (4028 /sec)
2519.94/2520.00	c decisions             : 25501312     (10120 /sec)
2519.94/2520.00	c propagations          : 427536434   (169666 /sec)
2519.94/2520.00	c root propagations     : 6137        
2519.94/2520.00	c filter calls          : 1304513700     (517691 /sec)
2519.94/2520.00	c useless filter calls  : 1010933219     (77 %)
2519.94/2520.00	c Memory used           : 135.47 MB
2519.94/2520.00	c CPU time              : 2519.87 s
2519.94/2520.00	
2519.94/2520.00	c nb Solutions = 1
2519.94/2520.00	s SATISFIABLE
2519.94/2520.00	c Best value found: 27589
2519.94/2520.00	
2519.94/2520.00	
2519.94/2520.00	v <instantiation type='solution' cost='27589'>
2519.94/2520.00	v <list>cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[28][0] cc[28][1] cc[28][2] cc[28][3] cc[28][4] cc[29][0] cc[29][1] cc[29][2] cc[29][3] cc[29][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[30][0] cc[30][1] cc[30][2] cc[30][3] cc[30][4] cc[31][0] cc[31][1] cc[31][2] cc[31][3] cc[31][4] cc[32][0] cc[32][1] cc[32][2] cc[32][3] cc[32][4] cc[33][0] cc[33][1] cc[33][2] cc[33][3] cc[33][4] cc[34][0] cc[34][1] cc[34][2] cc[34][3] cc[34][4] cc[35][0] cc[35][1] cc[35][2] cc[35][3] cc[35][4] cc[36][0] cc[36][1] cc[36][2] cc[36][3] cc[36][4] cc[37][0] cc[37][1] cc[37][2] cc[37][3] cc[37][4] cc[38][0] cc[38][1] cc[38][2] cc[38][3] cc[38][4] cc[39][0] cc[39][1] cc[39][2] cc[39][3] cc[39][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[40][0] cc[40][1] cc[40][2] cc[40][3] cc[40][4] cc[41][0] cc[41][1] cc[41][2] cc[41][3] cc[41][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cf[0] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[1] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[2] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[3] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[4] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[5] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[6] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[7] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cf[88] cf[89] cf[8] cf[90] cf[91] cf[92] cf[9] cn[0] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[10] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[11] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[12] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[13] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[14] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[15] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[16] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[17] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[18] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[197] cn[198] cn[199] cn[19] cn[1] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] cn[20] cn[210] cn[211] cn[212] cn[213] cn[214] cn[215] cn[216] cn[217] cn[218] cn[219] cn[21] cn[220] cn[221] cn[222] cn[223] cn[224] cn[225] cn[226] cn[227] cn[228] cn[229] cn[22] cn[230] cn[231] cn[232] cn[233] cn[234] cn[235] cn[236] cn[237] cn[238] cn[239] cn[23] cn[240] cn[241] cn[242] cn[243] cn[244] cn[245] cn[246] cn[247] cn[248] cn[249] cn[24] cn[250] cn[251] cn[252] cn[253] cn[254] cn[255] cn[256] cn[257] cn[258] cn[259] cn[25] cn[260] cn[261] cn[262] cn[263] cn[264] cn[265] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[5] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[6] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[7] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[8] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[9] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[28][0] ds[28][1] ds[28][2] ds[28][3] ds[28][4] ds[29][0] ds[29][1] ds[29][2] ds[29][3] ds[29][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[30][0] ds[30][1] ds[30][2] ds[30][3] ds[30][4] ds[31][0] ds[31][1] ds[31][2] ds[31][3] ds[31][4] ds[32][0] ds[32][1] ds[32][2] ds[32][3] ds[32][4] ds[33][0] ds[33][1] ds[33][2] ds[33][3] ds[33][4] ds[34][0] ds[34][1] ds[34][2] ds[34][3] ds[34][4] ds[35][0] ds[35][1] ds[35][2] ds[35][3] ds[35][4] ds[36][0] ds[36][1] ds[36][2] ds[36][3] ds[36][4] ds[37][0] ds[37][1] ds[37][2] ds[37][3] ds[37][4] ds[38][0] ds[38][1] ds[38][2] ds[38][3] ds[38][4] ds[39][0] ds[39][1] ds[39][2] ds[39][3] ds[39][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[40][0] ds[40][1] ds[40][2] ds[40][3] ds[40][4] ds[41][0] ds[41][1] ds[41][2] ds[41][3] ds[41][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[0][4] wk[0][5] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[10][4] wk[10][5] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[11][4] wk[11][5] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[12][4] wk[12][5] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[13][4] wk[13][5] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[14][4] wk[14][5] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[15][4] wk[15][5] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[16][4] wk[16][5] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[17][4] wk[17][5] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[18][4] wk[18][5] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[19][4] wk[19][5] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[1][4] wk[1][5] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[20][4] wk[20][5] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[21][4] wk[21][5] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[22][4] wk[22][5] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[23][4] wk[23][5] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[24][4] wk[24][5] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[25][4] wk[25][5] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[26][4] wk[26][5] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[27][4] wk[27][5] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[28][4] wk[28][5] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[29][4] wk[29][5] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[2][4] wk[2][5] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[30][4] wk[30][5] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[31][4] wk[31][5] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[3][4] wk[3][5] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[4][4] wk[4][5] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[5][4] wk[5][5] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[6][4] wk[6][5] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[7][4] wk[7][5] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[8][4] wk[8][5] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[9][4] wk[9][5] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
2519.94/2520.01	v <values>4 7 500 300 0 2 2 500 200 0 100 1 400 100 0 2 100 500 400 0 2 3 500 300 0 7 4 700 300 0 9 4 300 300 0 3 7 700 300 0 4 6 600 100 0 3 2 400 200 0 0 200 500 200 0 4 9 500 300 0 2 0 600 200 0 2 7 500 0 0 10 6 300 1 0 5 2 400 100 0 8 3 400 1 0 5 100 100 0 0 300 0 400 100 0 1 1 500 200 0 5 5 500 0 0 7 11 400 100 0 8 4 300 200 0 7 7 300 100 0 3 2 200 0 0 3 200 400 100 0 4 200 400 200 0 4 100 300 200 0 8 4 300 200 0 6 7 400 100 0 8 5 300 100 0 8 10 400 100 0 1 4 600 200 0 3 6 500 300 0 200 2 400 300 0 2 0 0 100 0 0 5 500 100 0 2 0 500 300 0 6 200 400 400 0 7 3 300 300 0 5 5 400 200 0 6 6 500 300 0 0 0 0 0 0 2 2 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 3 0 0 0 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 3 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 0 2 0 0 0 0 1 2 0 0 0 0 0 0 3 3 3 0 2 2 1 3 3 3 3 2 3 3 3 0 0 0 3 3 0 1 2 1 1 1 1 1 0 0 0 0 2 0 2 2 2 2 2 1 1 2 2 2 0 0 0 3 3 3 3 3 0 0 0 0 2 2 0 1 1 1 1 1 1 1 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 2 1 0 0 2 2 2 2 2 2 0 0 2 2 2 2 2 3 3 3 3 3 0 0 3 0 0 0 0 0 1 1 2 2 3 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 0 0 0 0 3 1 3 0 3 1 0 2 2 2 0 0 1 1 1 1 1 3 3 2 2 2 2 3 2 0 0 0 0 3 3 3 3 3 2 1 1 0 1 1 0 2 1 1 2 0 2 1 1 1 1 1 3 3 3 3 0 0 0 0 0 0 3 3 3 3 3 2 3 3 3 3 2 2 1 1 1 0 3 2 2 2 2 1 1 1 0 0 1 3 1 1 0 2 2 2 2 2 2 2 3 2 2 2 2 0 2 2 2 1 3 3 3 3 3 3 3 3 3 0 0 0 2 10 12 1 0 9 8 7 1 1 15 6 5 0 2 19 6 5 0 0 21 7 8 1 0 16 11 11 0 0 10 14 10 0 0 8 8 12 0 1 11 8 11 0 1 12 7 7 0 0 18 5 3 0 0 24 10 13 0 0 9 6 5 0 0 21 8 11 0 2 11 13 11 1 2 5 11 8 1 2 10 11 8 0 2 11 7 5 1 1 18 4 3 1 0 24 5 6 0 0 21 10 9 0 2 11 11 15 0 2 4 13 11 0 1 7 10 11 2 0 9 9 5 3 2 13 8 2 0 0 22 6 4 0 0 22 10 3 1 0 18 12 8 1 0 11 11 11 0 1 9 12 10 0 1 9 12 12 0 1 7 6 10 0 1 15 9 12 0 2 9 4 6 0 1 21 3 3 1 1 24 6 11 0 1 14 7 5 0 0 20 9 3 0 0 20 11 8 0 0 13 10 10 1 0 11 11 11 0 0 10 19 5 1 1 16 20 6 0 0 16 20 0 0 4 18 0 25 0 0 17 20 4 0 1 17 0 25 0 0 17 0 27 0 0 15 0 25 0 0 17 18 1 0 5 18 19 6 2 0 15 0 26 0 0 16 0 26 0 0 16 20 4 1 0 17 21 4 0 0 17 0 20 0 4 18 20 0 0 4 18 20 5 0 0 17 20 0 0 4 18 0 20 0 4 18 9 3 0 0 30 8 2 1 2 29 9 2 1 1 29 19 8 0 0 15 10 2 1 0 29 10 3 0 0 29 0 27 0 0 15 20 5 2 0 15 0 19 6 0 17 0 27 0 0 15 21 3 1 0 17 21 5 0 0 16 21 6 0 0 15 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 4 1 1 1 4 1 0 0 1 1 4 0 1 4 4 0 1 4 2 4 0 0 4 1 0 1 1 1 0 4 2 0 0 4 4 1 1 1 0 0 1 1 4 0 4 4 4 3 4 4 4 0 4 4 4 1 4 1 4 4 0 0 3 0 3 4 4 1 4 1 4 4 4 4 4 0 4 4 4 4 1 4 0 0 4 4 4 1 4 1 4 0 4 0 4 4 4 1 4 4 4 1 4 4 4 4 4 0 1 0 4 4 1 4 4 0 0 4 4 4 0 4 1 0 4 4 4 4 4 1 4 4 4 1 0 0 1 1 4 4 1 0 4 4 1 1 4 2 0 4 4 4 0 4 1 0 0 4 4 1 0 1 0 4 1 4 0 0 1 1 0 4 1 0 1 0 1 4 4 4 0 4 4 1 0 4 1 0 0 1 4 0 0 1 0 4 1 4 0 0 1 1 0 4 1 0 0 0 1 4 0 4 0 4 4 1 0 1 1 0 0 1 4 0 4 1 0 4 1 4 0 0 1 1 0 1 1 3 0 0 1 4 4 4 4 4 4 1 1 1 1 4 0 1 4 1 4 4 0 4 1 1 0 0 1 1 1 0 1 3 0 0 4 0 4 4 4 1 4 1 4 1 4 4 0 1 0 1 0 4 0 1 1 1 4 4 4 4 4 0 4 4 0 0 4 0 4 4 4 1 4 4 4 1 4 4 4 1 0 4 0 4 4 1 4 1 4 4 4 4 4 0 4 4 4 4 4 0 4 4 4 0 4 4 4 1 4 4 4 4 0 0 4 1 1 1 1 1 0 0 1 1 4 0 1 4 4 0 1 4 4 4 0 0 4 1 0 1 1 1 0 4 0 4 0 4 4 1 4 1 4 1 1 4 4 0 4 4 4 4 4 0 4 4 0 4 4 4 4 4 1 4 0 4 0 4 0 1 4 1 1 1 3 1 1 1 0 4 1 0 4 4 1 4 3 4 0 4 4 4 1 4 1 0 0 0 1 0 0 1 0 1 1 4 3 1 1 1 0 4 1 0 0 0 1 4 4 3 0 4 0 1 0 2 1 0 0 0 4 0 4 4 0 4 1 4 3 1 1 1 0 4 3 0 0 0 1 4 4 4 0 4 1 1 0 2 1 0 0 0 4 0 4 4 0 4 1 1 3 4 1 1 0 1 3 0 1 0 4 4 4 4 0 4 0 1 0 4 1 0 0 0 0 0 4 4 0 1 4 1 3 4 4 1 0 1 4 4 4 0 4 4 4 1 4 4 4 4 2 4 4 0 4 0 0 0 4 4 0 1 4 1 4 4 4 4 4 4 4 4 4 0 4 4 1 4 4 2 4 4 4 4 4 4 4 4 0 4 0 4 4 1 1 4 4 4 4 4 4 4 4 4 4 0 1 4 0 4 4 4 0 1 4 1 1 4 4 4 0 4 0 4 4 1 1 4 4 1 4 1 4 4 3 3 0 4 1 0 0 0 0 4 0 1 1 1 1 0 4 0 0 1 0 1 0 1 1 1 4 1 1 1 0 4 3 3 0 4 1 1 0 0 0 4 0 1 1 1 1 0 1 0 0 0 3 1 4 1 1 1 0 0 1 1 4 0 1 0 0 0 1 4 4 0 0 0 4 1 0 1 1 4 0 4 4 1 0 1 0 4 1 1 4 2 1 4 0 4 4 4 0 4 1 0 0 0 0 4 0 1 1 2 1 0 1 1 4 1 0 1 3 4 1 4 4 2 4 4 0 0 4 4 0 0 3 4 4 0 0 4 0 1 2 2 1 0 4 4 0 4 4 1 4 4 4 4 4 4 4 1 0 0 4 4 0 0 4 4 4 0 0 4 4 4 4 4 4 0 4 4 0 4 4 1 4 4 4 4 4 4 4 1 0 4 1 0 0 4 4 0 1 4 4 4 4 4 4 4 4 4 4 0 0 0 0 4 0 1 4 4 0 4 4 1 0 4 1 0 4 4 4 0 4 4 4 4 4 4 0 2 4 4 4 0 0 0 0 4 0 1 4 1 0 0 1 1 4 4 1 0 4 4 1 0 4 4 1 0 4 4 0 2 1 4 0 0 4 0 0 1 0 1 1 1 0 0 1 1 4 0 1 0 4 4 3 1 4 4 1 0 4 1 0 4 1 4 0 0 4 0 0 1 0 1 1 1 0 0 1 4 4 0 1 0 0 4 3 4 4 4 1 0 0 1 0 4 1 4 1 0 0 0 0 1 0 1 1 1 0 0 1 4 1 0 1 0 0 4 3 4 4 4 1 0 0 1 0 1 1 4 1 4 0 4 4 1 4 4 1 1 4 0 1 4 1 0 4 4 1 3 4 4 4 4 1 0 0 1 4 1 4 0 1 4 0 4 3 1 4 1 1 1 1 0 1 1 4 0 1 0 0 0 1 4 3 4 4 0 4 1 4 1 1 4 0 0 4 4 4 1 4 4 1 4 4 4 4 4 1 0 4 4 1 3 4 4 0 4 4 4 1 1 4 4 4 0 4 0 4 4 4 4 4 4 4 4 4 4 4 4 2 1 4 4 1 3 4 4 0 4 4 4 1 4 4 4 4 0 4 0 1 4 3 1 4 1 1 1 4 4 4 4 0 0 1 0 0 0 1 4 4 4 4 4 4 1 4 1 1 1 4 0 4 4 4 4 1 4 1 4 4 4 4 4 0 4 1 0 0 0 1 4 4 1 0 4 4 4 0 4 4 0 4 4 4 4 4 4 1 4 4 4 0 0 1 1 0 4 4 0 0 4 4 4 4 4 0 4 4 4 0 4 4 0 0 4 1 0 4 1 0 1 4 4 0 0 1 1 0 4 4 0 0 4 4 4 4 4 1 4 4 1 0 4 1 0 0 0 1 0 0 1 0 1 1 4 0 0 1 1 0 0 4 4 4 4 4 4 4 4 1 4 4 1 0 1 1 2 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 4 4 4 0 4 4 4 4 1 4 4 1 0 1 1 4 0 0 </values>
2519.94/2520.01	v </instantiation>
2519.94/2520.01	

OK	27589

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292951-1532300912/watcher-4292951-1532300912 -o /tmp/evaluation-result-4292951-1532300912/solver-4292951-1532300912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292951-1532300912.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=11365, runsolver pid=11362

[startup+0.100203 s]*
/proc/loadavg: 2.09 2.12 2.08 3/192 11366
/proc/meminfo: memFree=27488628/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=37404 memory=13752 CPUtime=0.1 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 3634 0 0 0 10 0 0 0 20 0 1 0 47654429 38301696 3438 33554432000 4194304 6142532 140724268106736 140724268103368 140585761221605 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 9351 3438 841 476 0 2673 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37404 KiB
Current children cumulated memory: 13752 KiB

[startup+0.209847 s]*
/proc/loadavg: 2.09 2.12 2.08 3/192 11366
/proc/meminfo: memFree=27479700/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=46032 memory=22516 CPUtime=0.21 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 5799 0 0 0 20 1 0 0 20 0 1 0 47654429 47136768 5629 33554432000 4194304 6142532 140724268106736 140724268103368 140585761221605 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 11508 5629 841 476 0 4830 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46032 KiB
Current children cumulated memory: 22516 KiB

[startup+0.30988 s]*
/proc/loadavg: 2.09 2.12 2.08 3/192 11366
/proc/meminfo: memFree=27455396/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=71324 memory=47692 CPUtime=0.3 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 12128 0 0 0 29 1 0 0 20 0 1 0 47654429 73035776 11923 33554432000 4194304 6142532 140724268106736 140724268103368 140585761221605 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 17831 11923 850 476 0 11153 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71324 KiB
Current children cumulated memory: 47692 KiB

[startup+0.700405 s]
/proc/loadavg: 2.09 2.12 2.08 3/192 11366
/proc/meminfo: memFree=27415632/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=120636 memory=97292 CPUtime=0.69 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 24502 0 0 0 65 4 0 0 20 0 1 0 47654429 123531264 24323 33554432000 4194304 6142532 140724268106736 140724268103384 140585761221605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 30159 24323 899 476 0 23481 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120636 KiB
Current children cumulated memory: 97292 KiB

[startup+1.50038 s]
/proc/loadavg: 2.00 2.10 2.08 3/192 11366
/proc/meminfo: memFree=27397660/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=131120 memory=107852 CPUtime=1.49 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 27119 0 0 0 145 4 0 0 20 0 1 0 47654429 134266880 26963 33554432000 4194304 6142532 140724268106736 140724268103384 5001200 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 32780 26963 899 476 0 26102 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 107852 KiB

[startup+3.10939 s]
/proc/loadavg: 2.00 2.10 2.08 3/192 11430
/proc/meminfo: memFree=27409844/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=131120 memory=107856 CPUtime=3.09 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 31253 0 0 0 305 4 0 0 20 0 1 0 47654429 134266880 26964 33554432000 4194304 6142532 140724268106736 140724268103464 5001184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 32780 26964 899 476 0 26102 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131120 KiB
Current children cumulated memory: 107856 KiB

[startup+6.30034 s]
/proc/loadavg: 2.00 2.10 2.08 3/192 11430
/proc/meminfo: memFree=27348996/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=131532 memory=108320 CPUtime=6.29 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 46663 0 0 0 624 5 0 0 20 0 1 0 47654429 134688768 27080 33554432000 4194304 6142532 140724268106736 140724268103464 5001184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 32883 27080 899 476 0 26205 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 131532 KiB
Current children cumulated memory: 108320 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 2.08 2.07 3/192 11430
/proc/meminfo: memFree=27343664/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=133284 memory=109964 CPUtime=12.69 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 62879 0 0 0 1263 6 0 0 20 0 1 0 47654429 136482816 27491 33554432000 4194304 6142532 140724268106736 140724268103592 5001204 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 33321 27491 899 476 0 26643 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 133284 KiB
Current children cumulated memory: 109964 KiB

[startup+25.5004 s]
/proc/loadavg: 1.93 2.07 2.07 3/192 11430
/proc/meminfo: memFree=27338644/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113168 CPUtime=25.49 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 84876 0 0 0 2542 7 0 0 20 0 1 0 47654429 139661312 28292 33554432000 4194304 6142532 140724268106736 140724268103496 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28292 899 476 0 27419 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113168 KiB

[startup+51.1091 s]
/proc/loadavg: 1.96 2.07 2.07 3/192 11430
/proc/meminfo: memFree=27338100/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113172 CPUtime=51.08 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 87928 0 0 0 5101 7 0 0 20 0 1 0 47654429 139661312 28293 33554432000 4194304 6142532 140724268106736 140724268103496 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28293 899 476 0 27419 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113172 KiB

[startup+102.3 s]
/proc/loadavg: 2.61 2.23 2.12 3/191 11438
/proc/meminfo: memFree=27336852/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=102.26 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88219 0 0 0 10219 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5335943 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB

[startup+162.3 s]
/proc/loadavg: 2.22 2.19 2.12 3/191 11439
/proc/meminfo: memFree=27337696/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=162.26 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88289 0 0 0 16219 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5215658 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB

[startup+222.3 s]
/proc/loadavg: 2.14 2.17 2.12 3/191 11440
/proc/meminfo: memFree=27338192/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=222.26 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88359 0 0 0 22219 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5347481 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.14 2.11 3/191 11441
/proc/meminfo: memFree=27338240/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=282.26 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88429 0 0 0 28219 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.11 2.10 3/191 11443
/proc/meminfo: memFree=27337980/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=342.26 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88499 0 0 0 34219 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5138352 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.09 2.10 3/191 11444
/proc/meminfo: memFree=27338172/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=402.25 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88569 0 0 0 40218 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5335934 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/191 11445
/proc/meminfo: memFree=27338124/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=136388 memory=113188 CPUtime=462.25 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 88639 0 0 0 46218 7 0 0 20 0 1 0 47654429 139661312 28297 33554432000 4194304 6142532 140724268106736 140724268103496 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34097 28297 899 476 0 27419 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 136388 KiB
Current children cumulated memory: 113188 KiB


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

/proc/11365/statm: 34265 28464 899 476 0 27587 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 137060 KiB
Current children cumulated memory: 113856 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11489
/proc/meminfo: memFree=27333976/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=137060 memory=113856 CPUtime=1782.24 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 90870 0 0 0 178217 7 0 0 20 0 1 0 47654429 140349440 28464 33554432000 4194304 6142532 140724268106736 140724268103592 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34265 28464 899 476 0 27587 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 137060 KiB
Current children cumulated memory: 113856 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11490
/proc/meminfo: memFree=27334120/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=137060 memory=113856 CPUtime=1842.24 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 90940 0 0 0 184217 7 0 0 20 0 1 0 47654429 140349440 28464 33554432000 4194304 6142532 140724268106736 140724268103592 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34265 28464 899 476 0 27587 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 137060 KiB
Current children cumulated memory: 113856 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11499
/proc/meminfo: memFree=27333000/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=137060 memory=113856 CPUtime=1902.24 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 91010 0 0 0 190217 7 0 0 20 0 1 0 47654429 140349440 28464 33554432000 4194304 6142532 140724268106736 140724268103592 5215611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34265 28464 899 476 0 27587 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 137060 KiB
Current children cumulated memory: 113856 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11501
/proc/meminfo: memFree=27333148/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=137880 memory=114416 CPUtime=1962.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 91465 0 0 0 196216 7 0 0 20 0 1 0 47654429 141189120 28604 33554432000 4194304 6142532 140724268106736 140724268103560 5124115 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34470 28604 899 476 0 27792 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 137880 KiB
Current children cumulated memory: 114416 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11502
/proc/meminfo: memFree=27333260/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=137880 memory=114720 CPUtime=2022.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 91549 0 0 0 202216 7 0 0 20 0 1 0 47654429 141189120 28680 33554432000 4194304 6142532 140724268106736 140724268103560 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34470 28680 899 476 0 27792 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 137880 KiB
Current children cumulated memory: 114720 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 11504
/proc/meminfo: memFree=27333396/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=137880 memory=114720 CPUtime=2082.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 91618 0 0 0 208216 7 0 0 20 0 1 0 47654429 141189120 28680 33554432000 4194304 6142532 140724268106736 140724268103560 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34470 28680 899 476 0 27792 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 137880 KiB
Current children cumulated memory: 114720 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 11505
/proc/meminfo: memFree=27333280/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138296 memory=114768 CPUtime=2142.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 91796 0 0 0 214216 7 0 0 20 0 1 0 47654429 141615104 28692 33554432000 4194304 6142532 140724268106736 140724268103384 5001204 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34574 28692 899 476 0 27896 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 114768 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11506
/proc/meminfo: memFree=27332892/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138296 memory=115024 CPUtime=2202.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 91852 0 0 0 220216 7 0 0 20 0 1 0 47654429 141615104 28756 33554432000 4194304 6142532 140724268106736 140724268103384 5215644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34574 28756 899 476 0 27896 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 115024 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/192 11508
/proc/meminfo: memFree=27332736/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138296 memory=115096 CPUtime=2262.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 92012 0 0 0 226216 7 0 0 20 0 1 0 47654429 141615104 28774 33554432000 4194304 6142532 140724268106736 140724268103384 5319106 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34574 28774 899 476 0 27896 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 115096 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 11509
/proc/meminfo: memFree=27332496/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138296 memory=115152 CPUtime=2322.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 92069 0 0 0 232216 7 0 0 20 0 1 0 47654429 141615104 28788 33554432000 4194304 6142532 140724268106736 140724268103384 5215644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34574 28788 899 476 0 27896 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 115152 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11510
/proc/meminfo: memFree=27332364/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138296 memory=115152 CPUtime=2382.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 92126 0 0 0 238216 7 0 0 20 0 1 0 47654429 141615104 28788 33554432000 4194304 6142532 140724268106736 140724268103384 5138432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34574 28788 899 476 0 27896 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 115152 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11511
/proc/meminfo: memFree=27332652/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138296 memory=115152 CPUtime=2442.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 92183 0 0 0 244216 7 0 0 20 0 1 0 47654429 141615104 28788 33554432000 4194304 6142532 140724268106736 140724268103384 5138432 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34574 28788 899 476 0 27896 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 138296 KiB
Current children cumulated memory: 115152 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11520
/proc/meminfo: memFree=27331148/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138720 memory=115400 CPUtime=2502.23 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 92557 0 0 0 250216 7 0 0 20 0 1 0 47654429 142049280 28850 33554432000 4194304 6142532 140724268106736 140724268103592 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34680 28850 900 476 0 28002 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 138720 KiB
Current children cumulated memory: 115400 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 11520
/proc/meminfo: memFree=27331148/32770624 swapFree=67108860/67108860
[pid=11365] ppid=11362 vsize=138720 memory=115476 CPUtime=2519.94 cores=0,2,4,6
/proc/11365/stat : 11365 (cosoco) R 11362 11365 10531 0 -1 4202496 92626 0 0 0 251987 7 0 0 20 0 1 0 47654429 142049280 28869 33554432000 4194304 6142532 140724268106736 140724268103592 5001200 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18554880 140724268110982 140724268111112 140724268111112 140724268113870 0
/proc/11365/statm: 34680 28869 900 476 0 28002 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 138720 KiB
Current children cumulated memory: 115476 KiB

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

[startup+2520.01 s]
# the end of solver process 11365 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.87 s, system=0.073998 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.95
CPU user time (s): 2519.87
CPU system time (s): 0.073998
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 138720
Max. memory (cumulated for all children) (KiB): 115476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.073998
maximum resident set size= 115540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92677
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= 54
involuntary context switches= 849


# summary of solver processes directly reported to runsolver:
#   pid: 11365
#   total CPU time (s): 2519.95
#   total CPU user time (s): 2519.87
#   total CPU system time (s): 0.073998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.06153 second user time and 17.0247 second system time

The end

Begin job on node134 at 2018-07-23 01:08:32
IDJOB=4292951
IDBENCH=141045
IDSOLVER=2752
FILE ID=node134/4292951-1532300912
RUNJOBID= node134-1532293349-10562
PBS_JOBID= 21018978
Free space on /tmp= 55992 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292951-1532300912/watcher-4292951-1532300912 -o /tmp/evaluation-result-4292951-1532300912/solver-4292951-1532300912 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292951-1532300912.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=713370294

node134.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.68
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.68
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.68
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.68
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:        27497876 kB
MemAvailable:   31950996 kB
Buffers:          175216 kB
Cached:          4541896 kB
SwapCached:            0 kB
Active:          1412384 kB
Inactive:        3389560 kB
Active(anon):      33748 kB
Inactive(anon):    70304 kB
Active(file):    1378636 kB
Inactive(file):  3319256 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3052 kB
Writeback:             0 kB
AnonPages:         90992 kB
Mapped:            38224 kB
Shmem:             17056 kB
Slab:             170288 kB
SReclaimable:     142124 kB
SUnreclaim:        28164 kB
KernelStack:        3424 kB
PageTables:         5520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     372144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55988 MiB
End job on node134 at 2018-07-23 01:50:32