0.00/0.09	c best=?? lower=-167 upper=0 
870.58/870.63	c
870.58/870.63	c This is cosoco 1.12 --  
870.58/870.63	c
870.58/870.63	c command line: cosoco -lc -model -restarts HOME/instance-4267573-1502517819.xml 
870.58/870.63	c enable optimization
870.58/870.63	c ========================================[ Problem Statistics ]===========================================
870.58/870.63	c |                                                                                                       
870.58/870.63	c |  Parse time        :         0.03 s 
870.58/870.63	c |
870.58/870.63	c |               Variables: 3507
870.58/870.63	c |            Domain Sizes: 2..20
870.58/870.63	c |
870.58/870.63	c |             Constraints: 520
870.58/870.63	c |                   Arity: 2..167  -- Binary: 166
870.58/870.63	c | 
870.58/870.63	c |                   Types: 
870.58/870.63	c |                          (X -Y <= k): 166
870.58/870.63	c |                          Lex: 166
870.58/870.63	c |                          Sum: 188
870.58/870.63	c |                          
870.58/870.63	c =========================================================================================================
870.58/870.63	o -167
870.58/870.63	c    1 calls to solver: best=-167 lower=-166 upper=0 
2520.09/2520.00	
2520.09/2520.00	c *** INTERRUPTED ***
2520.09/2520.00	c restarts              : 76          
2520.09/2520.00	c conflicts             : 1369051      (543 /sec)
2520.09/2520.00	c decisions             : 54550923     (21647 /sec)
2520.09/2520.00	c propagations          : 728696621   (289160 /sec)
2520.09/2520.00	c root propagations     : 27889       
2520.09/2520.00	c filter calls          : 515776162      (204669 /sec)
2520.09/2520.00	c useless filter calls  : 421691713      (81 %)
2520.09/2520.00	c Memory used           : 82.64 MB
2520.09/2520.00	c CPU time              : 2520.05 s
2520.09/2520.00	
2520.09/2520.00	c nb Solutions = 1
2520.09/2520.00	s SATISFIABLE
2520.09/2520.00	c Best value found: -167
2520.09/2520.00	
2520.09/2520.00	
2520.09/2520.00	v <instantiation type='solution' cost='-167'>
2520.09/2520.00	v <list>p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] r[0][0] 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[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[100][0] 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[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[101][0] 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[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[102][0] 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[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[103][0] 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[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[104][0] 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[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[105][0] 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[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[106][0] 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[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[107][0] 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[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[108][0] 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[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[109][0] 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[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[10][0] 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[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[110][0] 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[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[111][0] 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[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[112][0] 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[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[113][0] 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[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[114][0] 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[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[115][0] 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[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[116][0] 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[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[117][0] 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[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[118][0] 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[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[119][0] 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[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[11][0] 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[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[120][0] 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[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[121][0] 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[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[122][0] 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[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[123][0] 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[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[124][0] 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[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[125][0] 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[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[126][0] 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[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[127][0] 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[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[128][0] 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[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[129][0] 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[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[12][0] 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[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[130][0] 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[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[131][0] 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[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[132][0] 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[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[133][0] 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[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[134][0] 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[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[135][0] 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[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[136][0] 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[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[137][0] 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[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[138][0] 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[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[139][0] 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[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[13][0] 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[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[140][0] 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[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[141][0] 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[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[142][0] 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[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[143][0] 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[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[144][0] 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[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[145][0] 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] 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[146][0] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[14][0] 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[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[150][0] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[15][0] 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[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[160][0] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[16][0] 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[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[17][0] 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[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[18][0] 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[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[19][0] 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[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[1][0] 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[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[20][0] 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[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[21][0] 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[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[22][0] 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[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[23][0] 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[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[24][0] 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[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[25][0] 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[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[26][0] 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[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[27][0] 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[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[28][0] 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[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[29][0] 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[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[2][0] 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[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[30][0] 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[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[31][0] 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[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[32][0] 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[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[33][0] 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[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[34][0] 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[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[35][0] 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[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[36][0] 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[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[37][0] 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[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[38][0] 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[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[39][0] 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[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[3][0] 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[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[40][0] 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[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[41][0] 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[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[42][0] 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[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[43][0] 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[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[44][0] 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[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[45][0] 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[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[46][0] 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[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[47][0] 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[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[48][0] 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[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[49][0] 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[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[4][0] 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[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[50][0] 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[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[51][0] 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[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[52][0] 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[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[53][0] 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[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[54][0] 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[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[55][0] 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[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[56][0] 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[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[57][0] 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[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[58][0] 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[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[59][0] 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[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[5][0] 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[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[60][0] 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[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[61][0] 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[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[62][0] 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[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[63][0] 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[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[64][0] 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[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[65][0] 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[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[66][0] 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[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[67][0] 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[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[68][0] 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[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[69][0] 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[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[6][0] 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[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[70][0] 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[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[71][0] 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[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[72][0] 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[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[73][0] 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[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[74][0] 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[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[75][0] 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[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[76][0] 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[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[77][0] 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[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[78][0] 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[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[79][0] 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[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[7][0] 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[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[80][0] 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[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[81][0] 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[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[82][0] 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[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[83][0] 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[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[84][0] 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[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[85][0] 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[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[86][0] 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[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[87][0] 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[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[88][0] 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[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[89][0] 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[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[8][0] 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[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[90][0] 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[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[91][0] 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[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[92][0] 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[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[93][0] 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[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[94][0] 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[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[95][0] 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[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[96][0] 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[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[97][0] 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[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[98][0] 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[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[99][0] 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[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[9][0] 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[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] </list>
2520.09/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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 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 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 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 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 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 1 0 0 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 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 1 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 0 2 0 0 0 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 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 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 0 0 0 1 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 1 1 1 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 1 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 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 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 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 1 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 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 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 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 1 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 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 1 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 </values>
2520.09/2520.00	v </instantiation>
2520.09/2520.00	

OK	167

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-4267573-1502517819/watcher-4267573-1502517819 -o /tmp/evaluation-result-4267573-1502517819/solver-4267573-1502517819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267573-1502517819.xml 

pid=6396
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.00 2.01 2.05 2/185 6399
/proc/meminfo: memFree=31072436/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6399/stat : 6399 (runsolver) D 6396 6399 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 93693128 24240128 106 18446744073709551615 4194304 4338465 140736965466800 140736965464440 139908076913367 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 32776192 140736965468354 140736965468745 140736965468745 140736965472202 0
/proc/6399/statm: 5918 106 53 36 0 2156 0

[startup+0.1002 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 6399
/proc/meminfo: memFree=31072436/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=37060 CPUtime=0.04 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 3571 0 0 0 4 0 0 0 20 0 1 0 93693128 37949440 3361 18446744073709551615 4194304 5972588 140723267893584 140723267890232 5328506 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 9265 3361 754 435 0 2628 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 37060

[startup+0.20036 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 6399
/proc/meminfo: memFree=31072436/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=40096 CPUtime=0.14 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 4319 0 0 0 14 0 0 0 20 0 1 0 93693128 41058304 4153 18446744073709551615 4194304 5972588 140723267893584 140723267890232 140297398311909 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 10024 4153 795 435 0 3387 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 40096

[startup+0.300348 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 6399
/proc/meminfo: memFree=31072436/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=40756 CPUtime=0.24 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 4478 0 0 0 24 0 0 0 20 0 1 0 93693128 41734144 4285 18446744073709551615 4194304 5972588 140723267893584 140723267890232 5338159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 10189 4285 795 435 0 3552 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 40756

[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.05 2/185 6399
/proc/meminfo: memFree=31072436/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=60648 CPUtime=0.64 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 9421 0 0 0 63 1 0 0 20 0 1 0 93693128 62103552 9243 18446744073709551615 4194304 5972588 140723267893584 140723267890232 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 15162 9243 795 435 0 8525 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 60648

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6400
/proc/meminfo: memFree=31038600/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=60648 CPUtime=1.44 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 9421 0 0 0 143 1 0 0 20 0 1 0 93693128 62103552 9243 18446744073709551615 4194304 5972588 140723267893584 140723267890216 5041428 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 15162 9243 795 435 0 8525 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 60648

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6400
/proc/meminfo: memFree=31038204/32770624 swapFree=0/479676
[pid=6399] ppid=6396 vsize=60648 CPUtime=3.03 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 13913 0 0 0 302 1 0 0 20 0 1 0 93693128 62103552 9262 18446744073709551615 4194304 5972588 140723267893584 140723267890216 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 15162 9262 795 435 0 8525 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 60648

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6400
/proc/meminfo: memFree=31036220/32770624 swapFree=0/479676
[pid=6399] ppid=6396 vsize=62240 CPUtime=6.24 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 20206 0 0 0 622 2 0 0 20 0 1 0 93693128 63733760 9657 18446744073709551615 4194304 5972588 140723267893584 140723267890216 5039159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 15560 9657 795 435 0 8923 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 62240

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6400
/proc/meminfo: memFree=31018680/32770624 swapFree=0/479676
[pid=6399] ppid=6396 vsize=78040 CPUtime=12.64 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 31077 0 0 0 1261 3 0 0 20 0 1 0 93693128 79912960 13588 18446744073709551615 4194304 5972588 140723267893584 140723267890216 5338181 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 19510 13588 795 435 0 12873 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 78040

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6415
/proc/meminfo: memFree=31009480/32770624 swapFree=0/479488
[pid=6399] ppid=6396 vsize=79532 CPUtime=25.43 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 46238 0 0 0 2540 3 0 0 20 0 1 0 93693128 81440768 13947 18446744073709551615 4194304 5972588 140723267893584 140723267890280 5039164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 19883 13947 795 435 0 13246 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 79532

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6416
/proc/meminfo: memFree=31005280/32770624 swapFree=0/479472
[pid=6399] ppid=6396 vsize=80344 CPUtime=51.02 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 50252 0 0 0 5099 3 0 0 20 0 1 0 93693128 82272256 14132 18446744073709551615 4194304 5972588 140723267893584 140723267890200 5039139 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20086 14132 795 435 0 13449 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 80344

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 6418
/proc/meminfo: memFree=30999612/32770624 swapFree=0/479484
[pid=6399] ppid=6396 vsize=80344 CPUtime=102.24 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 50917 0 0 0 10220 4 0 0 20 0 1 0 93693128 82272256 14132 18446744073709551615 4194304 5972588 140723267893584 140723267890200 5046264 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20086 14132 795 435 0 13449 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 80344

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6420
/proc/meminfo: memFree=30996276/32770624 swapFree=0/479492
[pid=6399] ppid=6396 vsize=80344 CPUtime=162.23 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 51475 0 0 0 16219 4 0 0 20 0 1 0 93693128 82272256 14135 18446744073709551615 4194304 5972588 140723267893584 140723267890200 5041437 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20086 14135 795 435 0 13449 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 80344

[startup+222.306 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 6422
/proc/meminfo: memFree=30988932/32770624 swapFree=0/479508
[pid=6399] ppid=6396 vsize=80476 CPUtime=222.24 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 52062 0 0 0 22220 4 0 0 20 0 1 0 93693128 82407424 14217 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20119 14217 795 435 0 13482 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 80476

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 6425
/proc/meminfo: memFree=30987828/32770624 swapFree=0/479520
[pid=6399] ppid=6396 vsize=80476 CPUtime=282.24 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 52067 0 0 0 28220 4 0 0 20 0 1 0 93693128 82407424 14217 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5139319 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20119 14217 795 435 0 13482 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 80476

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 6428
/proc/meminfo: memFree=30987712/32770624 swapFree=0/479524
[pid=6399] ppid=6396 vsize=80476 CPUtime=342.25 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 52347 0 0 0 34221 4 0 0 20 0 1 0 93693128 82407424 14234 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039478 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20119 14234 795 435 0 13482 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 80476

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6430
/proc/meminfo: memFree=30987960/32770624 swapFree=0/479536
[pid=6399] ppid=6396 vsize=80608 CPUtime=402.25 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 52432 0 0 0 40221 4 0 0 20 0 1 0 93693128 82542592 14240 18446744073709551615 4194304 5972588 140723267893584 140723267890216 5039164 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20152 14240 795 435 0 13515 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 80608

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6433
/proc/meminfo: memFree=30988184/32770624 swapFree=0/479548
[pid=6399] ppid=6396 vsize=80876 CPUtime=462.25 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 52839 0 0 0 46221 4 0 0 20 0 1 0 93693128 82817024 14323 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20219 14323 795 435 0 13582 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 80876

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6436
/proc/meminfo: memFree=30988184/32770624 swapFree=0/479560
[pid=6399] ppid=6396 vsize=81012 CPUtime=522.26 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 52890 0 0 0 52222 4 0 0 20 0 1 0 93693128 82956288 14323 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20253 14323 795 435 0 13616 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 81012

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6438
/proc/meminfo: memFree=30988668/32770624 swapFree=0/479572
[pid=6399] ppid=6396 vsize=81012 CPUtime=582.26 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 53163 0 0 0 58222 4 0 0 20 0 1 0 93693128 82956288 14367 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5312315 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 20253 14367 795 435 0 13616 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 81012


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6527
/proc/meminfo: memFree=30983452/32770624 swapFree=0/479788
[pid=6399] ppid=6396 vsize=84348 CPUtime=1602.32 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 57976 0 0 0 160228 4 0 0 20 0 1 0 93693128 86372352 15200 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338177 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21087 15200 796 435 0 14450 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 84348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6529
/proc/meminfo: memFree=30984488/32770624 swapFree=0/479800
[pid=6399] ppid=6396 vsize=84484 CPUtime=1662.33 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 58291 0 0 0 166229 4 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 84484

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6531
/proc/meminfo: memFree=30984796/32770624 swapFree=0/479804
[pid=6399] ppid=6396 vsize=84484 CPUtime=1722.33 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 58298 0 0 0 172229 4 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039688 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 84484

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 6533
/proc/meminfo: memFree=30985772/32770624 swapFree=0/479824
[pid=6399] ppid=6396 vsize=84484 CPUtime=1782.34 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 58584 0 0 0 178229 5 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 84484

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6550
/proc/meminfo: memFree=30980568/32770624 swapFree=0/479848
[pid=6399] ppid=6396 vsize=84484 CPUtime=1842.35 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 58589 0 0 0 184230 5 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039167 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 84484

[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 6553
/proc/meminfo: memFree=30980488/32770624 swapFree=0/479860
[pid=6399] ppid=6396 vsize=84484 CPUtime=1902.35 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 58825 0 0 0 190230 5 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 84484

[startup+1962.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 6555
/proc/meminfo: memFree=30983784/32770624 swapFree=0/479872
[pid=6399] ppid=6396 vsize=84484 CPUtime=1962.36 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 58828 0 0 0 196231 5 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 84484

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 6557
/proc/meminfo: memFree=30983852/32770624 swapFree=0/479880
[pid=6399] ppid=6396 vsize=84484 CPUtime=2022.36 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59085 0 0 0 202231 5 0 0 20 0 1 0 93693128 86511616 15220 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5040154 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21121 15220 796 435 0 14484 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 84484

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6559
/proc/meminfo: memFree=30984092/32770624 swapFree=0/479892
[pid=6399] ppid=6396 vsize=84616 CPUtime=2082.37 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59182 0 0 0 208232 5 0 0 20 0 1 0 93693128 86646784 15248 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039701 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15248 796 435 0 14517 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 84616

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 6623
/proc/meminfo: memFree=31013140/32770624 swapFree=0/479924
[pid=6399] ppid=6396 vsize=84616 CPUtime=2142.37 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59500 0 0 0 214232 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2142.37
Current children cumulated vsize (KiB) 84616

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 6626
/proc/meminfo: memFree=31013336/32770624 swapFree=0/479932
[pid=6399] ppid=6396 vsize=84616 CPUtime=2202.38 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59507 0 0 0 220233 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5099630 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 84616

[startup+2262.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 6628
/proc/meminfo: memFree=31013344/32770624 swapFree=0/479936
[pid=6399] ppid=6396 vsize=84616 CPUtime=2262.38 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59696 0 0 0 226233 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 84616

[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 6631
/proc/meminfo: memFree=31012460/32770624 swapFree=0/479932
[pid=6399] ppid=6396 vsize=84616 CPUtime=2322.38 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59775 0 0 0 232233 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2322.38
Current children cumulated vsize (KiB) 84616

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 6634
/proc/meminfo: memFree=31012832/32770624 swapFree=0/479956
[pid=6399] ppid=6396 vsize=84616 CPUtime=2382.38 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59963 0 0 0 238233 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5041546 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 84616

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 6650
/proc/meminfo: memFree=31007776/32770624 swapFree=0/479968
[pid=6399] ppid=6396 vsize=84616 CPUtime=2442.39 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 59969 0 0 0 244234 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2442.39
Current children cumulated vsize (KiB) 84616

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 6652
/proc/meminfo: memFree=31007776/32770624 swapFree=0/479984
[pid=6399] ppid=6396 vsize=84616 CPUtime=2502.39 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 60230 0 0 0 250234 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039310 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2502.39
Current children cumulated vsize (KiB) 84616



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6652
/proc/meminfo: memFree=31010304/32770624 swapFree=0/479976
[pid=6399] ppid=6396 vsize=84616 CPUtime=2520.09 cores=0,2,4,6
/proc/6399/stat : 6399 (cosoco) R 6396 6399 1478 0 -1 4202496 60232 0 0 0 252004 5 0 0 20 0 1 0 93693128 86646784 15261 18446744073709551615 4194304 5972588 140723267893584 140723267890344 5039330 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 30302208 140723267899886 140723267899981 140723267899981 140723267903438 0
/proc/6399/statm: 21154 15261 796 435 0 14517 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 84616

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

Child status: 1
Real time (s): 2520
CPU time (s): 2520.1
CPU user time (s): 2520.05
CPU system time (s): 0.052003
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 84616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.052003
maximum resident set size= 61120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60296
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= 33
involuntary context switches= 812

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27065 second user time and 8.94976 second system time

The end

Begin job on node135 at 2017-08-12 07:49:45
IDJOB=4267573
IDBENCH=124135
IDSOLVER=2658
FILE ID=node135/4267573-1502517819
RUNJOBID= node135-1502500348-1543
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267573-1502517819/watcher-4267573-1502517819 -o /tmp/evaluation-result-4267573-1502517819/solver-4267573-1502517819 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267573-1502517819.xml

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

MD5SUM BENCH= b82332625d17a81d2c62c757de216262
RANDOM SEED=1369948459

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:        31073480 kB
MemAvailable:   31896616 kB
Buffers:          302068 kB
Cached:           811912 kB
SwapCached:            0 kB
Active:           744484 kB
Inactive:         512632 kB
Active(anon):     143376 kB
Inactive(anon):    33140 kB
Active(file):     601108 kB
Inactive(file):   479492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2180 kB
Writeback:             0 kB
AnonPages:        143084 kB
Mapped:            53580 kB
Shmem:             33464 kB
Slab:             144132 kB
SReclaimable:     116740 kB
SUnreclaim:        27392 kB
KernelStack:        3312 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     410784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 62028 MiB
End job on node135 at 2017-08-12 08:31:45